| 2025-12-27 00:04:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 00:11:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-27 00:11:28 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-27 00:11:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 00:16:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-27 00:17:35 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-12-27 00:26:01 +0100 | mangoiv | (~mangoiv@user/mangoiv) mangoiv |
| 2025-12-27 00:27:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 00:30:41 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-12-27 00:31:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-27 00:42:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 00:43:34 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-27 00:45:28 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 00:47:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-27 00:58:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 01:03:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 01:06:36 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-12-27 01:07:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-27 01:16:37 +0100 | shawwwn | (uid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2025-12-27 01:20:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-27 01:21:54 +0100 | rainbyte_ | (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2025-12-27 01:21:57 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-27 01:22:19 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-27 01:25:25 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2025-12-27 01:25:49 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-27 01:28:29 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2025-12-27 01:30:27 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-12-27 01:31:03 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 260 seconds) |
| 2025-12-27 01:33:37 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 264 seconds) |
| 2025-12-27 01:35:07 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Client Quit) |
| 2025-12-27 01:44:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 01:49:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-27 01:59:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 02:04:11 +0100 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 2025-12-27 02:04:23 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-27 02:04:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 02:13:41 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 02:15:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 02:16:37 +0100 | omidmash9 | (~omidmash@user/omidmash) omidmash |
| 2025-12-27 02:18:31 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2025-12-27 02:18:31 +0100 | omidmash9 | omidmash |
| 2025-12-27 02:22:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 02:23:49 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-27 02:24:36 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-27 02:24:54 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-27 02:31:55 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-12-27 02:32:31 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-27 02:33:29 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-27 02:33:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 02:34:40 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-27 02:35:11 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) (Read error: Connection reset by peer) |
| 2025-12-27 02:36:22 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) synchromesh |
| 2025-12-27 02:38:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 02:41:29 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-27 02:42:19 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-27 02:42:40 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Ping timeout: 246 seconds) |
| 2025-12-27 02:49:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 02:53:58 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 02:54:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 02:56:07 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-27 03:05:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 03:09:25 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-27 03:10:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-27 03:11:28 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 244 seconds) |
| 2025-12-27 03:13:07 +0100 | divya | (divya@140.238.251.170) (Ping timeout: 255 seconds) |
| 2025-12-27 03:16:22 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-27 03:21:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 03:25:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 03:31:54 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-12-27 03:36:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 03:42:10 +0100 | acidjnk | (~acidjnk@p200300d6e7171923edacc98e824f0ce3.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-12-27 03:42:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-27 03:48:19 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) Natch |
| 2025-12-27 03:52:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 03:58:11 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-27 03:59:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-27 03:59:57 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-27 04:04:13 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-12-27 04:05:44 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-27 04:05:47 +0100 | spew | (~spew@user/spew) (Client Quit) |
| 2025-12-27 04:09:18 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-27 04:09:24 +0100 | spew | (~spew@user/spew) (Client Quit) |
| 2025-12-27 04:10:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 04:15:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 04:26:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 04:30:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 04:35:52 +0100 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
| 2025-12-27 04:41:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 04:43:53 +0100 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 252 seconds) |
| 2025-12-27 04:44:34 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-27 04:46:53 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-27 04:46:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-27 04:48:51 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-27 04:51:19 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-12-27 04:53:09 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2025-12-27 04:57:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 04:59:18 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-27 05:02:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-27 05:03:32 +0100 | confusedalex_ | (~confuseda@user/confusedalex) confusedalex |
| 2025-12-27 05:04:37 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Quit: Konversation terminated!) |
| 2025-12-27 05:04:38 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2025-12-27 05:04:55 +0100 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 240 seconds) |
| 2025-12-27 05:04:55 +0100 | confusedalex_ | confusedalex |
| 2025-12-27 05:12:42 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 265 seconds) |
| 2025-12-27 05:13:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 05:14:09 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-12-27 05:18:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-27 05:29:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 05:31:15 +0100 | jreicher | (~user@user/jreicher) (Ping timeout: 240 seconds) |
| 2025-12-27 05:32:33 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-27 05:36:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-27 05:40:19 +0100 | iqubic | (~sophia@2601:602:9203:1660:9e23:79cc:546:311b) (Remote host closed the connection) |
| 2025-12-27 05:47:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 05:51:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 06:00:34 +0100 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
| 2025-12-27 06:01:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 06:06:01 +0100 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 252 seconds) |
| 2025-12-27 06:07:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-27 06:18:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 06:23:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-27 06:26:54 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-12-27 06:26:55 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 240 seconds) |
| 2025-12-27 06:27:18 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-12-27 06:34:02 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-12-27 06:34:21 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2025-12-27 06:39:13 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2025-12-27 06:39:24 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-12-27 06:40:13 +0100 | AlexZenon | (~alzenon@5.139.233.238) (Ping timeout: 264 seconds) |
| 2025-12-27 06:41:25 +0100 | AlexNoo | (~AlexNoo@5.139.233.238) (Ping timeout: 264 seconds) |
| 2025-12-27 06:43:51 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) (Read error: Connection reset by peer) |
| 2025-12-27 06:45:06 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) synchromesh |
| 2025-12-27 06:50:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 06:55:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-27 07:06:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 07:12:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-27 07:23:50 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-27 07:24:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 07:26:23 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-27 07:29:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-27 07:33:19 +0100 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 240 seconds) |
| 2025-12-27 07:35:01 +0100 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-12-27 07:39:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 07:43:46 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-27 07:44:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 07:55:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 08:00:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-27 08:02:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 08:06:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 08:13:27 +0100 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-12-27 08:14:11 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-27 08:17:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 08:22:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-27 08:33:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 08:38:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-27 08:49:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 08:51:19 +0100 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) ft |
| 2025-12-27 08:56:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-27 09:03:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 09:07:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-27 09:18:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 09:24:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-27 09:34:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 09:39:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-27 09:52:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 09:56:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-27 10:04:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 10:08:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 10:09:39 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2025-12-27 10:12:04 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-27 10:19:30 +0100 | yarl | (~yarl@user/yarl) (Remote host closed the connection) |
| 2025-12-27 10:20:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 10:20:43 +0100 | jreicher | (~user@user/jreicher) (Ping timeout: 264 seconds) |
| 2025-12-27 10:23:13 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-27 10:26:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-27 10:38:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 10:39:14 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-27 10:42:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-27 10:43:56 +0100 | araujo | (~araujo@216.73.163.51) araujo |
| 2025-12-27 10:48:01 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-27 10:48:27 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-27 10:53:00 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) (Read error: Connection reset by peer) |
| 2025-12-27 10:53:30 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) synchromesh |
| 2025-12-27 10:53:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 10:55:50 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-27 10:58:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-27 11:00:24 +0100 | lol_ | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) (Ping timeout: 260 seconds) |
| 2025-12-27 11:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 11:09:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-27 11:20:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 11:22:43 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-27 11:25:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 11:33:09 +0100 | Jackneill | (~Jackneill@178-164-245-16.pool.digikabel.hu) Jackneill |
| 2025-12-27 11:36:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 11:40:31 +0100 | vidak | (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) vidak |
| 2025-12-27 11:41:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 11:41:31 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2025-12-27 11:42:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-12-27 11:43:01 +0100 | araujo | (~araujo@216.73.163.51) (Remote host closed the connection) |
| 2025-12-27 11:44:32 +0100 | araujo | (~araujo@216.73.163.51) araujo |
| 2025-12-27 11:44:52 +0100 | <Leary> | How fine-grained is "a full memory barrier"? If different threads are doing e.g. `fetchAddInt#` at different indices of the same `MutableByteArray#`, will they operate independently or contend with one another? |
| 2025-12-27 11:45:33 +0100 | araujo | (~araujo@216.73.163.51) (Remote host closed the connection) |
| 2025-12-27 11:47:18 +0100 | araujo | (~araujo@216.73.163.51) araujo |
| 2025-12-27 11:52:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 11:57:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-27 11:59:22 +0100 | annamalai | (~annamalai@2409:4042:218b:8d26::2684:98a1) (Remote host closed the connection) |
| 2025-12-27 11:59:44 +0100 | annamalai | (~annamalai@157.32.132.241) annamalai |
| 2025-12-27 12:02:25 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-27 12:03:04 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-27 12:05:35 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-27 12:06:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 12:12:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-27 12:19:23 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-27 12:24:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 12:28:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 12:31:35 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-27 12:32:08 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-27 12:37:48 +0100 | acidjnk | (~acidjnk@p200300d6e7171962095fe0be59254d80.dip0.t-ipconnect.de) acidjnk |
| 2025-12-27 12:40:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 12:45:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-27 12:47:09 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-27 12:55:32 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-27 12:55:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 13:00:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-27 13:03:52 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-27 13:04:17 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-27 13:07:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 13:08:47 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-12-27 13:09:10 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-27 13:09:35 +0100 | jreicher | (~user@user/jreicher) (Ping timeout: 240 seconds) |
| 2025-12-27 13:10:54 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-27 13:11:02 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-27 13:11:22 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-27 13:12:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-27 13:20:28 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-27 13:22:31 +0100 | Hafydd | (~Hafydd@user/hafydd) (Quit: WeeChat 4.2.2) |
| 2025-12-27 13:23:00 +0100 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2025-12-27 13:23:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 13:28:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-27 13:35:48 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 13:36:16 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Client Quit) |
| 2025-12-27 13:36:37 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 13:38:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 13:39:42 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-27 13:44:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-27 13:54:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 13:59:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-27 14:04:49 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-27 14:08:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 14:13:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 14:16:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 14:21:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 14:29:26 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-12-27 14:29:52 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 14:32:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 14:32:14 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Client Quit) |
| 2025-12-27 14:32:40 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 14:37:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-27 14:45:07 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-12-27 14:46:49 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-27 14:47:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 14:52:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 14:54:23 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-27 15:02:02 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 15:03:12 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Client Quit) |
| 2025-12-27 15:03:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 15:07:36 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 15:08:53 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-27 15:09:06 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Client Quit) |
| 2025-12-27 15:09:07 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-12-27 15:10:24 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 15:11:25 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 264 seconds) |
| 2025-12-27 15:13:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-27 15:14:31 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 240 seconds) |
| 2025-12-27 15:17:57 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-27 15:20:29 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-12-27 15:22:42 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-27 15:23:20 +0100 | divya | (divya@140.238.251.170) divya |
| 2025-12-27 15:25:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 15:26:36 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-27 15:29:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 15:33:41 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-27 15:36:38 +0100 | wennefer0_ | (~wennefer0@user/wennefer0) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-12-27 15:40:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 15:45:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 15:53:55 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-27 15:56:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 15:59:48 +0100 | <haskellbridge> | <Zemyla> I read this article, and Ryan forgot one option. https://ryanglscott.github.io/2019/02/06/proxy-arguments-in-class-methods/ |
| 2025-12-27 16:00:34 +0100 | <haskellbridge> | <Zemyla> metaData :: Const blah a (or Tagged a blah) |
| 2025-12-27 16:00:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 16:01:42 +0100 | <haskellbridge> | <Zemyla> It has most of the pros of the "no explicit arguments", including the fact that it's not a function which can matter for performance. But it doesn't require language extensions. |
| 2025-12-27 16:03:07 +0100 | <haskellbridge> | <Liamzee> i guess FFI isn't that simple, ugh, but it's more cabal's fault |
| 2025-12-27 16:10:19 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2025-12-27 16:15:15 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2025-12-27 16:22:13 +0100 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2025-12-27 16:24:18 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-27 16:26:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 16:30:15 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds) |
| 2025-12-27 16:31:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 16:41:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 16:42:29 +0100 | raym | (~ray@user/raym) (Quit: leaving) |
| 2025-12-27 16:48:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 16:59:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 17:03:28 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-27 17:05:00 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-27 17:05:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-27 17:11:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 17:12:33 +0100 | <ncf> | edwardk: in Data.Distributive you wrote that "Categorically every Distributive functor is actually a right adjoint". do you have a proof of this somewhere? |
| 2025-12-27 17:13:15 +0100 | <ncf> | at least i don't think one can prove this "internally", as in write an instance Distributive g => Representable g |
| 2025-12-27 17:16:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-27 17:17:00 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 245 seconds) |
| 2025-12-27 17:19:18 +0100 | <haskellbridge> | <Zemyla> Actually, a "generic" Rep type is newtype GRep g = GRep { runGRep :: forall a. g a -> a } I remember reading an article about it. |
| 2025-12-27 17:20:19 +0100 | <haskellbridge> | <Zemyla> You can use collect somehow to make g (g Any -> Any), then fmap unsafeCoerce to g (GRep g), which is safe because of parametricity. |
| 2025-12-27 17:20:37 +0100 | <haskellbridge> | <Zemyla> And that's basically the id function for a representable. |
| 2025-12-27 17:22:41 +0100 | <haskellbridge> | <Zemyla> https://duplode.github.io/posts/every-distributive-is-representable.html |
| 2025-12-27 17:23:04 +0100 | <ncf> | thanks |
| 2025-12-27 17:26:43 +0100 | sroso | (~sroso@user/SrOso) SrOso |
| 2025-12-27 17:27:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 17:31:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 17:35:22 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-27 17:42:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 17:45:30 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-27 17:48:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-27 17:50:20 +0100 | annamalai | (~annamalai@157.32.132.241) (Ping timeout: 245 seconds) |
| 2025-12-27 17:57:06 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-12-27 17:58:03 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-12-27 17:58:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 18:03:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-27 18:11:16 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-12-27 18:12:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 18:18:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-27 18:20:00 +0100 | annamalai | (~annamalai@157.32.142.174) annamalai |
| 2025-12-27 18:20:50 +0100 | annamalai | (~annamalai@157.32.142.174) (Remote host closed the connection) |
| 2025-12-27 18:21:09 +0100 | annamalai | (~annamalai@157.32.142.174) annamalai |
| 2025-12-27 18:29:50 +0100 | <haskellbridge> | <Liamzee> life is fun, now i'm deliberately trying to vibecode segfaults on a Apple Silicon Mac |
| 2025-12-27 18:30:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 18:30:32 +0100 | <pie_> | this is really basic but i never understood how to do error handling in software properly |
| 2025-12-27 18:30:32 +0100 | <pie_> | beyond the equivalent of catching an error and doing nothing with it or putting a todo there or something |
| 2025-12-27 18:30:32 +0100 | <pie_> | ok maybe today if i thought about it i could do a little better; just crash the program if you run into an issue (which is what happens when you dont catch an exception i guess) |
| 2025-12-27 18:30:32 +0100 | <pie_> | but like how do you do stuff properly if you dont want your programs to just fail |
| 2025-12-27 18:30:32 +0100 | <pie_> | (alternatively, what do i read on this) |
| 2025-12-27 18:30:52 +0100 | <pie_> | so like, what does "good error handling design" look like in software engineering? |
| 2025-12-27 18:31:40 +0100 | <monochrom> | In many cases, there is a reasonable plan B. The details depends on the actual code and/or the actual specification. |
| 2025-12-27 18:31:52 +0100 | <pie_> | ok sure i guess some of the stuff you would start with is the difference between invalid programs, and runtime errors / that you want to fail fast to prevent invalid state propagation, .. |
| 2025-12-27 18:33:49 +0100 | wennefer0_______ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-27 18:34:18 +0100 | <pie_> | what if i dont want my programs to crash? (put a restarting wrapper around it? - so like presumably whatever erlang does i guess?) |
| 2025-12-27 18:34:34 +0100 | <pie_> | i wouldnt mind if i could read up on a thorough discussion of these kinds of things |
| 2025-12-27 18:34:47 +0100 | <pie_> | idk, what do they do in embedded space software or whatever |
| 2025-12-27 18:34:54 +0100 | <pie_> | just remove all the errors? :P |
| 2025-12-27 18:34:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-27 18:35:25 +0100 | <pie_> | *design out all the errors its designed to handle, fall back to remote external intervention for whatever else |
| 2025-12-27 18:37:55 +0100 | wennefer0_______ | (~wennefer0@user/wennefer0) (Ping timeout: 240 seconds) |
| 2025-12-27 18:38:17 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-12-27 18:46:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 18:51:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-27 19:01:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 19:05:31 +0100 | <pie_> | watched most of this (2x) and i also largely agree with the question being asked, but it doesnt really provide much in terms of solutions i think. https://www.youtube.com/watch?v=ZUAPHTbxnAc The Absurdity of Error Handling: Finding a Purpose for Errors in Safety-Critical SYCL - Erik Tomusk |
| 2025-12-27 19:06:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-27 19:08:47 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-27 19:09:14 +0100 | <monochrom> | The scenerio I'm most familiar with is that the user gives you a filename and you open it to do your job. We anticipate that sometimes the open attempt fails. For a non-interactive command line program, you pretty have no choice but give up and exit. For a GUI though, you can and should always catch the exception, tell the user, and be ready to take another filename and try again. |
| 2025-12-27 19:10:07 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) (Read error: Connection reset by peer) |
| 2025-12-27 19:10:56 +0100 | <pie_> | the short of the video is that safe systems from a language designer POV are about removing undefined behavior from a language, from a practitioner viewpoint are about determinism, and error handling is about moving the application from an unintended state back to an intended state, and the question is (well not the way im phrasing it) that the overlap between understood state and error state is so small or nonexistent enough that "does error handling |
| 2025-12-27 19:10:56 +0100 | <pie_> | even make sense?" - something like that |
| 2025-12-27 19:11:18 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) synchromesh |
| 2025-12-27 19:11:54 +0100 | <monochrom> | But taking a step back, those are just logical conclusions of the respective specifications. The first case has already required non-interactiveness, so you can only give up. The second case has already specified a GUI, implying that you never exit unless the user tells you to. It is common sense, there is no need to read a book about it. |
| 2025-12-27 19:12:07 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-27 19:13:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 19:13:47 +0100 | <pie_> | well, its not so obvious to my puny brain |
| 2025-12-27 19:13:53 +0100 | <pie_> | but if you explain it that way, sure |
| 2025-12-27 19:14:20 +0100 | <pie_> | like yes ive seen gui applications that pop up an exception window (for stuff thats not the failure to open a file) and let you try to continue anyway |
| 2025-12-27 19:14:30 +0100 | <pie_> | and ok for cli applications |
| 2025-12-27 19:14:37 +0100 | <pie_> | makes sense |
| 2025-12-27 19:14:46 +0100 | <pie_> | but i guess i was implicitly also thinking about things like services |
| 2025-12-27 19:17:03 +0100 | <monochrom> | Another scenerio is much more complex but also a solved problem so you should not re-invent the wheel. Relational databases, transactions, and the choice to rollback a transaction (because you detect an invalidity). |
| 2025-12-27 19:18:07 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-27 19:18:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-27 19:18:41 +0100 | <monochrom> | That would be when an error in the middle of something causes invalid states. The solution is to undo that unfinished something. |
| 2025-12-27 19:19:50 +0100 | <monochrom> | Easier said than done, sure. That's why you outsource it to a mature relational database, rather than bothering to code up your own. |
| 2025-12-27 19:20:54 +0100 | <monochrom> | Alterantively use Haskell's STM. :) |
| 2025-12-27 19:21:41 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2025-12-27 19:21:57 +0100 | <pie_> | im too dumb to reinvent the wheel, thats why im asking :> |
| 2025-12-27 19:22:11 +0100 | <sm> | pie_ , you're on the right track - it's good to think about the kinds of errors and how you want to handle each; there are multiple error handling strategies. |
| 2025-12-27 19:22:27 +0100 | <sm> | also, Erlang is an excellent thing to read about |
| 2025-12-27 19:24:40 +0100 | <sm> | it is the best exemplar of the "monitor subsystems and restart them when they fail" strategy |
| 2025-12-27 19:29:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 19:34:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-27 19:36:28 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-27 19:37:25 +0100 | comonad | (~comonad@p200300d02720e400847046dc37dbdd66.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0-dev) |
| 2025-12-27 19:38:25 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2025-12-27 19:39:53 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2025-12-27 19:41:11 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-12-27 19:44:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-27 19:44:46 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-12-27 19:49:07 +0100 | araujo | (~araujo@216.73.163.51) (Quit: araujo) |
| 2025-12-27 19:49:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-27 19:59:04 +0100 | lockna_ | (~lockna@193-81-168-132.hdsl.highway.telekom.at) (Remote host closed the connection) |