| 2025-10-28 00:00:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 00:03:36 +0100 | Alex_test_ | (~al_test@85.174.182.61) |
| 2025-10-28 00:05:43 +0100 | Googulator5 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 00:05:49 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 00:10:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 00:15:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 00:16:24 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-28 00:18:29 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-10-28 00:21:55 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 264 seconds) |
| 2025-10-28 00:24:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 00:29:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-28 00:31:18 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-28 00:40:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 00:41:21 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-28 00:41:35 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-28 00:42:07 +0100 | Zemy_ | (~Zemy@2600:100c:b046:9707:e433:baff:fecb:789f) |
| 2025-10-28 00:42:07 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-28 00:42:46 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-28 00:43:36 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-10-28 00:43:58 +0100 | Zemy_ | (~Zemy@2600:100c:b046:9707:e433:baff:fecb:789f) (Read error: Connection reset by peer) |
| 2025-10-28 00:44:12 +0100 | Zemy_ | (~Zemy@2600:100c:b046:9707:54d4:21ff:fef3:7616) |
| 2025-10-28 00:44:15 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-10-28 00:45:29 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-28 00:45:46 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-28 00:46:01 +0100 | Zemy_ | (~Zemy@2600:100c:b046:9707:54d4:21ff:fef3:7616) (Read error: Connection reset by peer) |
| 2025-10-28 00:46:39 +0100 | Zemy_ | (~Zemy@2600:100c:b046:9707:446a:f4ff:feb4:7eab) |
| 2025-10-28 00:46:40 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-28 00:46:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-28 00:47:12 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-28 00:48:06 +0100 | Zemy_ | (~Zemy@2600:100c:b046:9707:446a:f4ff:feb4:7eab) (Read error: Connection reset by peer) |
| 2025-10-28 00:48:30 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-28 00:48:33 +0100 | Zemy_ | (~Zemy@2600:100c:b046:9707:e814:97ff:feff:6dd6) |
| 2025-10-28 00:49:04 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-28 00:52:15 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-28 00:52:43 +0100 | Zemy_ | (~Zemy@2600:100c:b046:9707:e814:97ff:feff:6dd6) (Ping timeout: 255 seconds) |
| 2025-10-28 00:58:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 01:02:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-28 01:05:22 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 01:05:34 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 01:10:45 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 01:11:12 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 01:11:23 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-28 01:13:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 01:19:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-28 01:20:42 +0100 | Lears | Leary |
| 2025-10-28 01:25:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 01:26:32 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-28 01:31:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-10-28 01:31:32 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-28 01:31:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-28 01:31:54 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-28 01:35:46 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 01:35:50 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 01:40:13 +0100 | trickard__ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-28 01:41:11 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-10-28 01:41:25 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-28 01:42:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 01:48:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 01:49:23 +0100 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) (Remote host closed the connection) |
| 2025-10-28 01:49:41 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-10-28 01:50:34 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 01:50:35 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-28 01:50:39 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 01:55:56 +0100 | Googulator48 | (~Googulato@84-236-65-182.pool.digikabel.hu) |
| 2025-10-28 01:56:17 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 01:57:44 +0100 | kaskal | (~kaskal@2a02:8388:1a8b:7d00:2bf0:62e:e362:6c40) (Ping timeout: 265 seconds) |
| 2025-10-28 01:58:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 01:59:48 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
| 2025-10-28 02:01:19 +0100 | kaskal | (~kaskal@84-115-235-223.cable.dynamic.surfer.at) kaskal |
| 2025-10-28 02:03:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-28 02:05:39 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 02:05:42 +0100 | Googulator48 | (~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 02:10:02 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-28 02:14:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 02:21:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 02:22:56 +0100 | otto_s | (~user@p5b0443f3.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-10-28 02:24:50 +0100 | otto_s | (~user@p5b044d54.dip0.t-ipconnect.de) |
| 2025-10-28 02:25:40 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 02:25:40 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 02:25:40 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:80f9:f3a2:4980:7e12) (Read error: Connection reset by peer) |
| 2025-10-28 02:26:51 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:4c21:135:a77d:75dc) synchromesh |
| 2025-10-28 02:28:48 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2025-10-28 02:32:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 02:32:47 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-28 02:32:58 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-10-28 02:35:56 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 02:36:18 +0100 | Googulator45 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 02:36:21 +0100 | kaskal | (~kaskal@84-115-235-223.cable.dynamic.surfer.at) (Ping timeout: 256 seconds) |
| 2025-10-28 02:37:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-28 02:40:58 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-28 02:41:20 +0100 | kaskal | (~kaskal@84-115-235-223.cable.dynamic.surfer.at) kaskal |
| 2025-10-28 02:43:52 +0100 | califax | (~califax@user/califx) califx |
| 2025-10-28 02:45:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8892:ecf5:ee58:72c0) (Ping timeout: 255 seconds) |
| 2025-10-28 02:46:23 +0100 | werneta | (~werneta@71.83.160.242) (Remote host closed the connection) |
| 2025-10-28 02:46:55 +0100 | trickard__ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-28 02:48:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 02:50:04 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-28 02:52:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8892:ecf5:ee58:72c0) |
| 2025-10-28 02:52:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-28 02:57:37 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-28 03:01:01 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-28 03:03:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 03:08:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-28 03:19:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 03:20:34 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 03:20:41 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 03:25:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 03:27:17 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-28 03:32:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-10-28 03:35:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 03:39:50 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-28 03:40:24 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-28 03:40:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-28 03:42:59 +0100 | annamalai | (~annamalai@157.33.245.57) annamalai |
| 2025-10-28 03:45:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-28 03:45:33 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 03:45:45 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 03:47:26 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-10-28 03:47:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-28 03:48:06 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-28 03:51:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 03:58:21 +0100 | Zemy_ | (~Zemy@2600:100c:b00a:1a12:4cc:25ff:fe0d:1c34) |
| 2025-10-28 03:58:21 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-28 03:58:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 03:58:54 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-28 03:59:20 +0100 | Zemy_ | (~Zemy@2600:100c:b00a:1a12:4cc:25ff:fe0d:1c34) (Read error: Connection reset by peer) |
| 2025-10-28 04:00:31 +0100 | Zemy_ | (~Zemy@2600:100c:b00a:1a12:20de:61ff:feff:8f91) |
| 2025-10-28 04:00:31 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-28 04:04:55 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-28 04:07:02 +0100 | Zemy_ | (~Zemy@2600:100c:b00a:1a12:20de:61ff:feff:8f91) (Ping timeout: 256 seconds) |
| 2025-10-28 04:09:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 04:14:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-28 04:15:38 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 04:15:40 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 04:25:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 04:30:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-28 04:31:01 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 04:31:06 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 04:32:19 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-28 04:32:28 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:c673:b06b:ce7a:3d44) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-28 04:32:45 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:f54f:18e:6e22:e35f) nschoe |
| 2025-10-28 04:33:36 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-28 04:33:51 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-28 04:33:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8892:ecf5:ee58:72c0) (Ping timeout: 264 seconds) |
| 2025-10-28 04:34:48 +0100 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-10-28 04:34:55 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 240 seconds) |
| 2025-10-28 04:35:44 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 04:35:44 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-28 04:36:30 +0100 | qqe | (~qqq@185.54.23.200) |
| 2025-10-28 04:39:27 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-28 04:41:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 04:43:43 +0100 | td_ | (~td@i5387093E.versanet.de) (Ping timeout: 240 seconds) |
| 2025-10-28 04:45:47 +0100 | td_ | (~td@i5387093D.versanet.de) td_ |
| 2025-10-28 04:46:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-28 04:47:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-28 04:56:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 05:02:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 05:08:19 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-10-28 05:08:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-28 05:08:57 +0100 | Dhark8 | Shark8 |
| 2025-10-28 05:12:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 05:17:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-28 05:21:18 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-28 05:28:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 05:34:52 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-28 05:34:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-28 05:35:43 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 05:35:45 +0100 | Googulator69 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 05:38:11 +0100 | aforemny | (~aforemny@i577B139D.versanet.de) aforemny |
| 2025-10-28 05:38:46 +0100 | aforemny_ | (~aforemny@2001:9e8:6cf1:1000:4e89:d612:c448:7493) (Ping timeout: 246 seconds) |
| 2025-10-28 05:45:56 +0100 | fgidim | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2025-10-28 05:46:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 05:48:54 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-10-28 05:49:51 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 252 seconds) |
| 2025-10-28 05:51:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-28 05:55:14 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-10-28 06:01:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 06:04:03 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-10-28 06:04:11 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-28 06:06:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-28 06:11:32 +0100 | fgarcia | fgidim |
| 2025-10-28 06:15:43 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 06:15:44 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 06:17:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 06:21:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-28 06:22:09 +0100 | foo3 | (~Square@user/square) Square |
| 2025-10-28 06:22:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-28 06:25:19 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-10-28 06:30:58 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-10-28 06:32:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 06:35:43 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 06:35:44 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 06:36:10 +0100 | michalz | (~michalz@185.246.207.205) |
| 2025-10-28 06:38:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-28 06:40:58 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-28 06:48:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 06:52:31 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-10-28 06:53:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-28 06:54:23 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-28 06:56:45 +0100 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-28 07:02:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-28 07:04:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 07:05:02 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-28 07:11:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 07:22:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 07:27:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-28 07:30:06 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-28 07:35:40 +0100 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 07:35:45 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 07:36:52 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-10-28 07:38:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 07:39:55 +0100 | foo3 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-10-28 07:43:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 07:46:33 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-10-28 07:53:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 07:55:40 +0100 | Googulator51 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 07:56:20 +0100 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 07:57:48 +0100 | raym_ | (~ray@user/raym) (Quit: leaving) |
| 2025-10-28 07:58:43 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-28 07:59:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 08:02:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 08:07:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 08:09:32 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-28 08:15:49 +0100 | tromp | (~textual@2001:1c00:3487:1b00:b825:23c0:1f89:fdbd) |
| 2025-10-28 08:16:03 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-28 08:18:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 08:23:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 08:23:26 +0100 | jle` | (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 244 seconds) |
| 2025-10-28 08:23:47 +0100 | jle` | (~jle`@2603:8001:3b00:11:9c2a:c79f:75a6:347f) jle` |
| 2025-10-28 08:29:58 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-10-28 08:33:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 08:35:50 +0100 | annamalai | (~annamalai@157.33.245.57) (Ping timeout: 244 seconds) |
| 2025-10-28 08:36:15 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-10-28 08:38:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 08:40:08 +0100 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Quit: WeeChat 2.6) |
| 2025-10-28 08:49:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-28 08:53:55 +0100 | annamalai | (~annamalai@157.33.245.57) annamalai |
| 2025-10-28 08:56:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 09:05:24 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-28 09:05:52 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-28 09:06:01 +0100 | ski | (~ski@remote11.chalmers.se) (Ping timeout: 264 seconds) |
| 2025-10-28 09:06:17 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-28 09:08:35 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-28 09:11:18 +0100 | bggd | (~bgg@2a01:e0a:819:1510:6332:8521:3edc:a84b) |
| 2025-10-28 09:12:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-10-28 09:14:03 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-28 09:20:32 +0100 | Googulator51 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 09:20:40 +0100 | Googulator51 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 09:23:29 +0100 | trickard_ | trickard |
| 2025-10-28 09:26:49 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-28 09:32:21 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-28 09:32:41 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-28 09:33:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-28 09:40:29 +0100 | gustrb | (~gustrb@191.243.134.87) (Quit: gustrb) |
| 2025-10-28 09:40:41 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 09:40:47 +0100 | Googulator51 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 09:40:50 +0100 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-28 09:42:38 +0100 | gustrb | (~gustrb@191.243.134.87) (Changing host) |
| 2025-10-28 09:42:38 +0100 | gustrb | (~gustrb@user/gustrb) gustrb |
| 2025-10-28 09:45:05 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-28 09:49:58 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-28 09:50:03 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-28 09:50:17 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-28 09:58:37 +0100 | bggd | (~bgg@2a01:e0a:819:1510:6332:8521:3edc:a84b) (Remote host closed the connection) |
| 2025-10-28 10:07:09 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-28 10:07:23 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-28 10:10:02 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:fd8e:ec0:9c94:e822) (Ping timeout: 260 seconds) |
| 2025-10-28 10:10:19 +0100 | Alex_test_ | (~al_test@85.174.182.61) (Quit: ;-) |
| 2025-10-28 10:10:33 +0100 | Googulator57 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 10:10:39 +0100 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 10:11:32 +0100 | jcarpenter2 | (~lol@96.78.87.197) |
| 2025-10-28 10:18:01 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-28 10:18:14 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-28 10:21:08 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-28 10:24:53 +0100 | nerdychip_ | (~nerdychip@212.129.73.90) |
| 2025-10-28 10:26:12 +0100 | nerdychip | (~nerdychip@user/nerdychip) (Ping timeout: 265 seconds) |
| 2025-10-28 10:27:32 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2025-10-28 10:29:34 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) kritzefitz |
| 2025-10-28 10:30:39 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 10:31:24 +0100 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 10:35:06 +0100 | <Square2> | Is it just me or is this definition of https://en.wikipedia.org/wiki/Currying the opposite of haskells curry/uncurry. I suspect the error lies with me. |
| 2025-10-28 10:39:39 +0100 | <Square2> | Oh nvm, the haskell wiki explained it to me. |
| 2025-10-28 10:40:25 +0100 | <sprout> | yah, it's consistent with the wikipedia page |
| 2025-10-28 10:40:42 +0100 | <sprout> | from axb->c to a->b->c |
| 2025-10-28 10:49:06 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-10-28 10:50:40 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 10:50:43 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 11:07:28 +0100 | trickard_ | trickard |
| 2025-10-28 11:10:44 +0100 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 11:10:44 +0100 | Googulator34 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 11:19:56 +0100 | <tomsmeding> | is there a way to tell ghc to don't raise an unused binding warning for one specific function? |
| 2025-10-28 11:20:05 +0100 | <tomsmeding> | perhaps some "unused" pragma? |
| 2025-10-28 11:21:08 +0100 | <sshine> | tomsmeding, it seems there's only CLI params |
| 2025-10-28 11:21:24 +0100 | <haskellbridge> | <Morj> Ah yes, rust pragmas have also spoilt me |
| 2025-10-28 11:21:33 +0100 | <sshine> | no #[allow(...)] equivalent |
| 2025-10-28 11:21:58 +0100 | <haskellbridge> | <Morj> For unused variables, can't you just use it vacuously? Like in a "const" somewhere ekse |
| 2025-10-28 11:22:24 +0100 | <srazkvt> | that's kind of ugly though |
| 2025-10-28 11:22:59 +0100 | <haskellbridge> | <Morj> Back in C++ we would "(void*)the_var" that shit |
| 2025-10-28 11:25:19 +0100 | <mauke> | named it with an underscore? |
| 2025-10-28 11:25:31 +0100 | <mauke> | s/d\b// |
| 2025-10-28 11:25:52 +0100 | <kuribas> | tomsmeding: use underscore? |
| 2025-10-28 11:26:07 +0100 | <kuribas> | _foo |
| 2025-10-28 11:26:07 +0100 | <tomsmeding> | oooh |
| 2025-10-28 11:26:09 +0100 | <tomsmeding> | that works! |
| 2025-10-28 11:26:14 +0100 | <tomsmeding> | thank you mauke kuribas |
| 2025-10-28 11:26:19 +0100 | <srazkvt> | Morj: void* ? you sure not just void ? at least in c we just do void |
| 2025-10-28 11:26:29 +0100 | <tomsmeding> | definitely (void) |
| 2025-10-28 11:27:03 +0100 | <tomsmeding> | though with modern (?) compilers you can __attribute__((unused)) |
| 2025-10-28 11:27:10 +0100 | <tomsmeding> | which IMO is neater than (void)'ing it somewhere |
| 2025-10-28 11:27:16 +0100 | <mauke> | s/modern/gcc/ |
| 2025-10-28 11:27:20 +0100 | <tomsmeding> | clang does that finew |
| 2025-10-28 11:27:23 +0100 | <kuribas> | (void*) is unsafecast |
| 2025-10-28 11:27:24 +0100 | <tomsmeding> | s/w// |
| 2025-10-28 11:27:34 +0100 | <mauke> | s/gcc/gcc and imitators/ |
| 2025-10-28 11:27:45 +0100 | <tomsmeding> | kuribas: yes which makes no sense and may well be rejected by the compiler if the thing is not a scalar in the first place, such as a struct |
| 2025-10-28 11:27:47 +0100 | <tomsmeding> | mauke: ah |
| 2025-10-28 11:28:27 +0100 | <tomsmeding> | mauke: is __attribute__ in general syntax that is parsed by other compilers, even if not this particular 'unused' attribute? |
| 2025-10-28 11:28:39 +0100 | <kuribas> | tomsmeding: does C distinguis between scalar and compound? I thought it's just all addresses for C. |
| 2025-10-28 11:28:40 +0100 | <tomsmeding> | because if this is just warning management, I wouldn't care so much about proper cross-compiler compatibility |
| 2025-10-28 11:28:50 +0100 | <mauke> | AFAIK __attribute__ is a GNU invention |
| 2025-10-28 11:28:54 +0100 | <tomsmeding> | kuribas: C distinguishes very much between values and pointers |
| 2025-10-28 11:29:05 +0100 | <tomsmeding> | pointers are just scalars, but structs are not scalars |
| 2025-10-28 11:29:20 +0100 | <mauke> | because they didn't like #pragma because you can't generate it from a macro |
| 2025-10-28 11:29:39 +0100 | <kuribas> | tomsmeding: you can convert pointer to int, no? |
| 2025-10-28 11:29:40 +0100 | <tomsmeding> | kuribas: `error: cannot convert to a pointer type` |
| 2025-10-28 11:29:48 +0100 | <tomsmeding> | yes but you cannot convert a struct to an int |
| 2025-10-28 11:30:11 +0100 | <kuribas> | tomsmeding: what if you cast the pointer, then back? |
| 2025-10-28 11:30:15 +0100 | <tomsmeding> | mauke: ah I see -- a viewpoint that I agree with, by the way, though that's beside the point here |
| 2025-10-28 11:30:47 +0100 | <mauke> | tomsmeding: maybe intel cc (is that still a thing?) might support it |
| 2025-10-28 11:30:48 +0100 | <kuribas> | (int *(int*)(&my_struct)) or something... |
| 2025-10-28 11:31:08 +0100 | <tomsmeding> | lol ok yeah |
| 2025-10-28 11:31:14 +0100 | <srazkvt> | icc is still a thing, but i don't know of anyone who uses it |
| 2025-10-28 11:31:24 +0100 | <tomsmeding> | you can just &my_struct; if you want |
| 2025-10-28 11:31:47 +0100 | <tomsmeding> | I guess (void)&my_struct; |
| 2025-10-28 11:32:01 +0100 | <haskellbridge> | <Morj> srazkvt: Yeah you're right, I was misremembering. In any case, for the last how many years of C++ for me it was Q_UNUSED(thevar) |
| 2025-10-28 11:32:29 +0100 | <srazkvt> | yea i usually make it a macro too |
| 2025-10-28 11:34:05 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-28 11:35:44 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 11:35:45 +0100 | Googulator20 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 11:37:39 +0100 | AlexNoo_ | AlexNoo |
| 2025-10-28 11:38:33 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-28 11:43:07 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-10-28 11:43:15 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-28 11:46:02 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 11:46:16 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 11:47:34 +0100 | <kuribas> | Why does always the argument that you can implement the wrong business logic comes up when talking about formal languages? In my experience, the majority of bugs (in those languages) or not business logic related. |
| 2025-10-28 11:48:35 +0100 | <kuribas> | Also, if the code reflects the business logic cleanly, it's easier to change when required, rather than have an dynamic, spagetty mess of imperative side-effects. |
| 2025-10-28 11:48:55 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-10-28 11:49:18 +0100 | <kuribas> | Of course, full on formal verification can be a huge time wast if you implement the wrong business logic. |
| 2025-10-28 11:49:59 +0100 | <kuribas> | But I find static types a nice middle ground, usually not a huge extra effort. |
| 2025-10-28 11:51:02 +0100 | <__monty__> | I do think it's fair to say the most impactful bugs are ones in the logic as implemented. The if statement that didn't actually guard its body comes to mind, was that Apple or Heartbleed? |
| 2025-10-28 11:52:01 +0100 | <__monty__> | That doesn't mean that I'm willing to waste time tracing through a dynamic OOP codebase to figure out where a number is being passed rather than a string. |
| 2025-10-28 11:52:32 +0100 | <mauke> | that was "goto fail" |
| 2025-10-28 11:52:33 +0100 | <__monty__> | But for some changing code and the type feels like too big a waste of time, I suppose. |
| 2025-10-28 11:54:59 +0100 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-10-28 11:58:13 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2025-10-28 12:00:17 +0100 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2025-10-28 12:11:58 +0100 | <kuribas> | __monty__: word |
| 2025-10-28 12:13:06 +0100 | <kuribas> | IMO types also help greatly with understanding a codebase better. |
| 2025-10-28 12:13:12 +0100 | <kuribas> | Especially if you have a good IDE. |
| 2025-10-28 12:16:22 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-28 12:18:14 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-28 12:23:44 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-28 12:23:57 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-28 12:25:53 +0100 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-28 12:26:59 +0100 | Zemy_ | (~Zemy@2600:100c:b0a5:5276:b418:b7ff:fead:8324) |
| 2025-10-28 12:26:59 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-28 12:29:04 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-28 12:29:15 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-28 12:29:52 +0100 | nerdychip | (~nerdychip@212.129.86.0) |
| 2025-10-28 12:29:52 +0100 | nerdychip | (~nerdychip@212.129.86.0) (Changing host) |
| 2025-10-28 12:29:52 +0100 | nerdychip | (~nerdychip@user/nerdychip) nerdychip |
| 2025-10-28 12:29:56 +0100 | nerdychip_ | (~nerdychip@212.129.73.90) (Ping timeout: 265 seconds) |
| 2025-10-28 12:31:31 +0100 | Zemy_ | (~Zemy@2600:100c:b0a5:5276:b418:b7ff:fead:8324) (Ping timeout: 264 seconds) |
| 2025-10-28 12:32:40 +0100 | Zemy_ | (~Zemy@2600:100c:b0a5:5276:7458:afff:fe16:3be) |
| 2025-10-28 12:32:40 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-28 12:33:49 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-28 12:37:02 +0100 | Zemy_ | (~Zemy@2600:100c:b0a5:5276:7458:afff:fe16:3be) (Ping timeout: 256 seconds) |
| 2025-10-28 12:38:21 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-28 12:38:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-10-28 12:39:43 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-28 12:46:03 +0100 | xff0x | (~xff0x@2405:6580:b080:900:be8e:c85:6713:439e) |
| 2025-10-28 12:47:04 +0100 | <__monty__> | Hoogle is a killer feature that's only possible due to Haskell's type system. |
| 2025-10-28 12:48:31 +0100 | trickard_ | trickard |
| 2025-10-28 12:49:01 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-10-28 12:54:32 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 12:54:48 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 12:56:46 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-28 12:56:59 +0100 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-28 12:57:40 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 246 seconds) |
| 2025-10-28 12:58:23 +0100 | koz | (~koz@121.99.240.58) |
| 2025-10-28 12:59:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-28 13:01:49 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-28 13:02:54 +0100 | <[exa]> | kuribas: people tend to ignore the 80-20 rule when talking about programs |
| 2025-10-28 13:03:29 +0100 | <[exa]> | in the case of business logic vs. stupid bugs that prevent you to refactor to new business logic, it becomes 99.99999-0.00001 rule |
| 2025-10-28 13:05:57 +0100 | <[exa]> | kuribas: btw the types are a good counter-argument, in haskell most of the "business logic" tends to get implemented in `data` definitions instead of functions. :D |
| 2025-10-28 13:06:45 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-28 13:06:55 +0100 | <__monty__> | Like the interpreter pattern? |
| 2025-10-28 13:06:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-28 13:07:09 +0100 | <__monty__> | IME it's definitely not most business logic. |
| 2025-10-28 13:08:35 +0100 | <[exa]> | ok not "most" but it constraints the implementation pretty well, esp. if you manage to have the interpretish types, and esp. if you manage to separate the issue into nice blobs that only touch each other's `data` |
| 2025-10-28 13:09:05 +0100 | bggd | (~bgg@2a01:e0a:819:1510:698b:6600:5c85:9225) |
| 2025-10-28 13:11:23 +0100 | <[exa]> | is there actually some tech docs behind hoogle? in particular, how complex queries it can handle |
| 2025-10-28 13:11:46 +0100 | Zemy_ | (~Zemy@2600:100c:b0a5:5276:63:4fff:fe56:bec) |
| 2025-10-28 13:12:27 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-28 13:13:05 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2025-10-28 13:13:25 +0100 | <[exa]> | (doc refers to papers from 1995-ish) |
| 2025-10-28 13:15:37 +0100 | Googulator62 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 13:15:44 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 13:15:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-28 13:16:07 +0100 | Zemy_ | (~Zemy@2600:100c:b0a5:5276:63:4fff:fe56:bec) (Ping timeout: 260 seconds) |
| 2025-10-28 13:17:17 +0100 | <kuribas> | [exa]: I see "data" as modelling the entities of the business logic. |
| 2025-10-28 13:17:45 +0100 | <kuribas> | [exa]: Without data, like in clojure, it's just loosely modelled "somewhere". |
| 2025-10-28 13:18:23 +0100 | <kuribas> | IMO even worse if it comes from the database, and you don't even know the shape of data without inspecting the database. |
| 2025-10-28 13:19:11 +0100 | chele | (~chele@user/chele) chele |