Home liberachat/#haskell: Logs Calendar

Logs on 2025-12-27 (liberachat/#haskell)

00:03:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
00:06:36 × wennefer0_ quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…)
00:07:58 × ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj)
00:16:37 shawwwn joins (uid6132@id-6132.helmsley.irccloud.com)
00:20:08 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
00:21:54 × rainbyte_ quits (~rainbyte@186.22.19.214) (Remote host closed the connection)
00:21:57 L29Ah joins (~L29Ah@wikipedia/L29Ah)
00:22:19 rainbyte joins (~rainbyte@186.22.19.214)
00:25:25 × rainbyte quits (~rainbyte@186.22.19.214) (Remote host closed the connection)
00:25:49 rainbyte joins (~rainbyte@186.22.19.214)
00:28:29 merijn joins (~merijn@62.45.136.136)
00:30:27 LainIwakura joins (~LainIwaku@user/LainIwakura)
00:31:03 × somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 260 seconds)
00:33:37 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 264 seconds)
00:35:07 × LainIwakura quits (~LainIwaku@user/LainIwakura) (Client Quit)
00:44:09 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:49:00 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
00:59:56 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:04:11 × sroso quits (~sroso@user/SrOso) (Read error: Connection reset by peer)
01:04:23 emmanuelux joins (~emmanuelu@user/emmanuelux)
01:04:49 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
01:13:41 wennefer0_ joins (~wennefer0@user/wennefer0)
01:15:43 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:16:37 omidmash9 joins (~omidmash@user/omidmash)
01:18:31 × omidmash quits (~omidmash@user/omidmash) (Ping timeout: 246 seconds)
01:18:31 omidmash9 is now known as omidmash
01:22:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
01:23:49 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
01:24:36 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
01:24:54 divlamir joins (~divlamir@user/divlamir)
01:31:55 × wennefer0_ quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…)
01:32:31 × califax quits (~califax@user/califx) (Remote host closed the connection)
01:33:29 califax joins (~califax@user/califx)
01:33:46 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:34:40 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
01:35:11 × synchromesh quits (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) (Read error: Connection reset by peer)
01:36:22 synchromesh joins (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9)
01:38:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
01:41:29 × spew quits (~spew@user/spew) (Quit: nyaa~)
01:42:19 spew joins (~spew@user/spew)
01:42:40 × Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Ping timeout: 246 seconds)
01:49:33 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:53:58 wennefer0_ joins (~wennefer0@user/wennefer0)
01:54:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
01:56:07 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...)
02:05:20 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:09:25 Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi)
02:10:09 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
02:11:28 × Natch quits (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 244 seconds)
02:13:07 × divya quits (divya@140.238.251.170) (Ping timeout: 255 seconds)
02:16:22 × Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.)
02:21:08 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:25:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
02:31:54 × wennefer0_ quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…)
02:36:57 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:42:10 × acidjnk quits (~acidjnk@p200300d6e7171923edacc98e824f0ce3.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
02:42:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
02:48:19 Natch joins (~natch@c-92-34-15-120.bbcust.telenor.se)
02:52:41 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:58:11 × spew quits (~spew@user/spew) (Quit: nyaa~)
02:59:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
02:59:57 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
03:04:13 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds)
03:05:44 spew joins (~spew@user/spew)
03:05:47 × spew quits (~spew@user/spew) (Client Quit)
03:09:18 spew joins (~spew@user/spew)
03:09:24 × spew quits (~spew@user/spew) (Client Quit)
03:10:45 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:15:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
03:26:32 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:30:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
03:35:52 gioyik joins (~gioyik@gateway/tor-sasl/gioyik)
03:41:55 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:43:53 × gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 252 seconds)
03:44:34 peterbecich joins (~Thunderbi@71.84.33.135)
03:46:53 × omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
03:46:57 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
03:48:51 × Pozyomka quits (~pyon@user/pyon) (Quit: bbl)
03:51:19 omidmash joins (~omidmash@user/omidmash)
03:53:09 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds)
03:57:44 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:59:18 somemathguy joins (~somemathg@user/somemathguy)
04:02:23 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
04:03:32 confusedalex_ joins (~confuseda@user/confusedalex)
04:04:37 × vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Quit: Konversation terminated!)
04:04:38 rekahsoft joins (~rekahsoft@70.51.99.245)
04:04:55 × confusedalex quits (~confuseda@user/confusedalex) (Ping timeout: 240 seconds)
04:04:55 confusedalex_ is now known as confusedalex
04:12:42 × somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 265 seconds)
04:13:30 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:14:09 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds)
04:18:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
04:29:17 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:31:15 × jreicher quits (~user@user/jreicher) (Ping timeout: 240 seconds)
04:32:33 jreicher joins (~user@user/jreicher)
04:36:04 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
04:40:19 × iqubic quits (~sophia@2601:602:9203:1660:9e23:79cc:546:311b) (Remote host closed the connection)
04:47:19 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:51:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
05:00:34 gioyik joins (~gioyik@gateway/tor-sasl/gioyik)
05:01:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:06:01 × gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 252 seconds)
05:07:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
05:18:29 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:23:03 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
05:26:54 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
05:26:55 × Leary quits (~Leary@user/Leary/x-0910699) (Ping timeout: 240 seconds)
05:27:18 ChaiTRex joins (~ChaiTRex@user/chaitrex)
05:34:02 Leary joins (~Leary@user/Leary/x-0910699)
05:34:21 merijn joins (~merijn@62.45.136.136)
05:39:13 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 265 seconds)
05:39:24 × ystael quits (~ystael@user/ystael) (Ping timeout: 252 seconds)
05:40:13 × AlexZenon quits (~alzenon@5.139.233.238) (Ping timeout: 264 seconds)
05:41:25 × AlexNoo quits (~AlexNoo@5.139.233.238) (Ping timeout: 264 seconds)
05:43:51 × synchromesh quits (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) (Read error: Connection reset by peer)
05:45:06 synchromesh joins (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9)
05:50:14 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:55:21 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
06:06:10 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:12:49 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
06:23:50 Lycurgus joins (~juan@user/Lycurgus)
06:24:12 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:26:23 × haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
06:29:11 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
06:33:19 × ByronJohnson quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 240 seconds)
06:35:01 ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG)
06:39:59 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:43:46 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
06:44:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
06:55:44 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:00:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
07:02:17 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:06:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
07:13:27 × ft quits (~ft@p4fc2ab42.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
07:14:11 peterbecich joins (~Thunderbi@71.84.33.135)
07:17:52 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:22:54 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
07:33:39 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:38:16 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
07:49:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:51:19 ft joins (~ft@p4fc2ab42.dip0.t-ipconnect.de)
07:56:08 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
08:03:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:07:54 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
08:18:58 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:24:02 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
08:34:54 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:39:30 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
08:52:00 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:56:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
09:04:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:08:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
09:09:39 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds)
09:12:04 euphores joins (~SASL_euph@user/euphores)
09:19:30 × yarl quits (~yarl@user/yarl) (Remote host closed the connection)
09:20:04 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:20:43 × jreicher quits (~user@user/jreicher) (Ping timeout: 264 seconds)
09:23:13 jreicher joins (~user@user/jreicher)
09:26:57 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
09:38:04 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:39:14 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
09:42:52 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
09:43:56 araujo joins (~araujo@216.73.163.51)
09:48:01 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
09:48:27 chromoblob joins (~chromoblo@user/chromob1ot1c)
09:53:00 × synchromesh quits (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) (Read error: Connection reset by peer)
09:53:30 synchromesh joins (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9)
09:53:51 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:55:50 Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi)
09:58:39 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
10:00:24 × lol_ quits (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) (Ping timeout: 260 seconds)
10:05:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:09:54 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
10:20:47 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:22:43 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
10:25:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
10:33:09 Jackneill joins (~Jackneill@178-164-245-16.pool.digikabel.hu)
10:36:21 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:40:31 vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a)
10:41:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
10:41:31 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds)
10:42:36 ChaiTRex joins (~ChaiTRex@user/chaitrex)
10:43:01 × araujo quits (~araujo@216.73.163.51) (Remote host closed the connection)
10:44:32 araujo joins (~araujo@216.73.163.51)
10:44:52 <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?
10:45:33 × araujo quits (~araujo@216.73.163.51) (Remote host closed the connection)
10:47:18 araujo joins (~araujo@216.73.163.51)
10:52:09 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:57:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
10:59:22 × annamalai quits (~annamalai@2409:4042:218b:8d26::2684:98a1) (Remote host closed the connection)
10:59:44 annamalai joins (~annamalai@157.32.132.241)
11:02:25 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
11:03:04 euphores joins (~SASL_euph@user/euphores)
11:05:35 __monty__ joins (~toonn@user/toonn)
11:06:14 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
11:12:50 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
11:19:23 Lycurgus joins (~juan@user/Lycurgus)
11:24:17 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
11:28:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
11:31:35 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
11:32:08 poscat joins (~poscat@user/poscat)
11:37:48 acidjnk joins (~acidjnk@p200300d6e7171962095fe0be59254d80.dip0.t-ipconnect.de)
11:40:05 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
11:45:24 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
11:47:09 karenw joins (~karenw@user/karenw)
11:55:32 itaipu joins (~itaipu@168.121.97.28)
11:55:50 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
12:00:34 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
12:03:52 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
12:04:17 chromoblob joins (~chromoblo@user/chromob1ot1c)
12:07:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
12:08:47 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds)
12:09:10 chromoblob joins (~chromoblo@user/chromob1ot1c)
12:09:35 × jreicher quits (~user@user/jreicher) (Ping timeout: 240 seconds)
12:10:54 jreicher joins (~user@user/jreicher)
12:11:02 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
12:11:22 chromoblob joins (~chromoblo@user/chromob1ot1c)
12:12:39 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
12:20:28 ttybitnik joins (~ttybitnik@user/wolper)
12:22:31 × Hafydd quits (~Hafydd@user/hafydd) (Quit: WeeChat 4.2.2)
12:23:00 Hafydd joins (~Hafydd@user/hafydd)
12:23:04 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
12:28:05 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
12:35:48 wennefer0_ joins (~wennefer0@user/wennefer0)
12:36:16 × wennefer0_ quits (~wennefer0@user/wennefer0) (Client Quit)
12:36:37 wennefer0_ joins (~wennefer0@user/wennefer0)
12:38:50 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
12:39:42 Pozyomka joins (~pyon@user/pyon)
12:44:00 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
12:54:37 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
12:59:30 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
13:04:49 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
13:08:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
13:13:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
13:16:22 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
13:21:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
13:29:26 × wennefer0_ quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…)
13:29:52 wennefer0_ joins (~wennefer0@user/wennefer0)
13:32:01 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
13:32:14 × wennefer0_ quits (~wennefer0@user/wennefer0) (Client Quit)
13:32:40 wennefer0_ joins (~wennefer0@user/wennefer0)
13:37:06 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
13:45:07 × wennefer0_ quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…)
13:46:49 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
13:47:48 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
13:52:49 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
13:54:23 × karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...)
14:02:02 wennefer0_ joins (~wennefer0@user/wennefer0)
14:03:12 × wennefer0_ quits (~wennefer0@user/wennefer0) (Client Quit)
14:03:36 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:07:36 wennefer0_ joins (~wennefer0@user/wennefer0)
14:08:53 spew joins (~spew@user/spew)
14:09:06 × wennefer0_ quits (~wennefer0@user/wennefer0) (Client Quit)
14:09:07 tremon joins (~tremon@83.80.159.219)
14:10:24 wennefer0_ joins (~wennefer0@user/wennefer0)
14:11:25 × __monty__ quits (~toonn@user/toonn) (Ping timeout: 264 seconds)
14:13:39 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
14:14:31 × pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 240 seconds)
14:17:57 × spew quits (~spew@user/spew) (Quit: nyaa~)
14:20:29 × ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection)
14:22:42 spew joins (~spew@user/spew)
14:23:20 divya joins (divya@140.238.251.170)
14:25:03 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:26:36 wootehfoot joins (~wootehfoo@user/wootehfoot)
14:29:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
14:33:41 pabs3 joins (~pabs3@user/pabs3)
14:36:38 × wennefer0_ quits (~wennefer0@user/wennefer0) (Quit: Textual IRC Client: www.textualapp.com)
14:40:24 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:45:37 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
14:53:55 weary-traveler joins (~user@user/user363627)
14:56:00 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:59:48 <haskellbridge> <Zemyla> I read this article, and Ryan forgot one option. https://ryanglscott.github.io/2019/02/06/proxy-arguments-in-class-methods/
15:00:34 <haskellbridge> <Zemyla> metaData :: Const blah a (or Tagged a blah)
15:00:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
15:01:42 <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.
15:03:07 <haskellbridge> <Liamzee> i guess FFI isn't that simple, ugh, but it's more cabal's fault
15:10:19 merijn joins (~merijn@62.45.136.136)
15:15:15 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 252 seconds)
15:22:13 × pabs3 quits (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.)
15:24:18 pabs3 joins (~pabs3@user/pabs3)
15:26:03 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:30:15 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds)
15:31:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
15:41:51 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:42:29 × raym quits (~ray@user/raym) (Quit: leaving)
15:48:32 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
15:59:55 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:03:28 × rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer)
16:05:00 rainbyte joins (~rainbyte@186.22.19.214)
16:05:01 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
16:11:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:12:33 <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?
16:13:15 <ncf> at least i don't think one can prove this "internally", as in write an instance Distributive g => Representable g
16:16:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
16:17:00 × m1dnight quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 245 seconds)
16:19:18 <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.
16:20:19 <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.
16:20:37 <haskellbridge> <Zemyla> And that's basically the id function for a representable.
16:22:41 <haskellbridge> <Zemyla> https://duplode.github.io/posts/every-distributive-is-representable.html
16:23:04 <ncf> thanks
16:26:43 sroso joins (~sroso@user/SrOso)
16:27:00 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:31:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
16:35:22 ttybitnik joins (~ttybitnik@user/wolper)
16:42:44 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:45:30 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
16:48:09 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
16:50:20 × annamalai quits (~annamalai@157.32.132.241) (Ping timeout: 245 seconds)
16:57:06 m1dnight joins (~m1dnight@d8D861A17.access.telenet.be)
16:58:03 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
16:58:31 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:03:53 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
17:11:16 Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com)
17:12:14 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:18:58 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
17:20:00 annamalai joins (~annamalai@157.32.142.174)
17:20:50 × annamalai quits (~annamalai@157.32.142.174) (Remote host closed the connection)
17:21:09 annamalai joins (~annamalai@157.32.142.174)
17:29:50 <haskellbridge> <Liamzee> life is fun, now i'm deliberately trying to vibecode segfaults on a Apple Silicon Mac
17:30:17 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:30:32 <pie_> this is really basic but i never understood how to do error handling in software properly
17:30:32 <pie_> beyond the equivalent of catching an error and doing nothing with it or putting a todo there or something
17:30:32 <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)
17:30:32 <pie_> but like how do you do stuff properly if you dont want your programs to just fail
17:30:32 <pie_> (alternatively, what do i read on this)
17:30:52 <pie_> so like, what does "good error handling design" look like in software engineering?
17:31:40 <monochrom> In many cases, there is a reasonable plan B. The details depends on the actual code and/or the actual specification.
17:31:52 <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, ..
17:33:49 wennefer0_______ joins (~wennefer0@user/wennefer0)
17:34:18 <pie_> what if i dont want my programs to crash? (put a restarting wrapper around it? - so like presumably whatever erlang does i guess?)
17:34:34 <pie_> i wouldnt mind if i could read up on a thorough discussion of these kinds of things
17:34:47 <pie_> idk, what do they do in embedded space software or whatever
17:34:54 <pie_> just remove all the errors? :P
17:34:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
17:35:25 <pie_> *design out all the errors its designed to handle, fall back to remote external intervention for whatever else
17:37:55 × wennefer0_______ quits (~wennefer0@user/wennefer0) (Ping timeout: 240 seconds)
17:38:17 ystael joins (~ystael@user/ystael)
17:46:02 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:51:01 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
18:01:07 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:05:31 <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
18:06:27 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
18:08:47 wootehfoot joins (~wootehfoo@user/wootehfoot)
18:09:14 <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.
18:10:07 × synchromesh quits (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) (Read error: Connection reset by peer)
18:10:56 <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
18:10:56 <pie_> even make sense?" - something like that
18:11:18 synchromesh joins (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9)
18:11:54 <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.
18:12:07 __monty__ joins (~toonn@user/toonn)
18:13:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:13:47 <pie_> well, its not so obvious to my puny brain
18:13:53 <pie_> but if you explain it that way, sure
18:14:20 <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
18:14:30 <pie_> and ok for cli applications
18:14:37 <pie_> makes sense
18:14:46 <pie_> but i guess i was implicitly also thinking about things like services
18:17:03 <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).
18:18:07 ss4 joins (~wootehfoo@user/wootehfoot)
18:18:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
18:18:41 <monochrom> That would be when an error in the middle of something causes invalid states. The solution is to undo that unfinished something.
18:19:50 <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.
18:20:54 <monochrom> Alterantively use Haskell's STM. :)
18:21:41 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds)
18:21:57 <pie_> im too dumb to reinvent the wheel, thats why im asking :>
18:22:11 <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.
18:22:27 <sm> also, Erlang is an excellent thing to read about
18:24:40 <sm> it is the best exemplar of the "monitor subsystems and restart them when they fail" strategy
18:29:01 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:34:02 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
18:36:28 wootehfoot joins (~wootehfoo@user/wootehfoot)
18:37:25 × comonad quits (~comonad@p200300d02720e400847046dc37dbdd66.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0-dev)
18:38:25 × ystael quits (~ystael@user/ystael) (Ping timeout: 264 seconds)
18:39:53 × ss4 quits (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds)
18:41:11 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
18:44:39 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:44:46 ystael joins (~ystael@user/ystael)
18:49:07 × araujo quits (~araujo@216.73.163.51) (Quit: araujo)
18:49:29 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
18:59:04 × lockna_ quits (~lockna@193-81-168-132.hdsl.highway.telekom.at) (Remote host closed the connection)
19:00:25 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:06:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
19:14:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:18:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
19:22:00 <pie_> i dont suppose anyone knows who this is https://www.youtube.com/watch?v=NfXt_Eb0ZU8
19:25:22 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
19:27:19 <pie_> <geenvoud> pie_: that'll be a certain westley weimer https://dl.acm.org/doi/10.1145/1330017.1330019
19:30:02 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:34:22 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
19:34:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
19:35:21 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
19:35:40 Lord_of_Life_ is now known as Lord_of_Life
19:40:47 morj joins (~morj@user/morj)
19:41:17 pavonia joins (~user@user/siracusa)
19:45:49 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:48:47 lockna joins (~lockna@193-81-168-132.hdsl.highway.telekom.at)
19:49:18 × morj quits (~morj@user/morj) (Quit: Konversation terminated!)
19:50:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
19:57:40 × Buliarous quits (~gypsydang@46.232.210.139) (Quit: leaving)
19:57:56 Buliarous joins (~gypsydang@46.232.210.139)
20:01:37 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:06:45 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
20:15:16 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:18:54 target_i joins (~target_i@user/target-i/x-6023099)
20:19:18 L29Ah joins (~L29Ah@wikipedia/L29Ah)
20:20:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
20:27:17 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
20:27:28 chexum joins (~quassel@gateway/tor-sasl/chexum)
20:31:03 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:38:09 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
20:40:33 × lockna quits (~lockna@193-81-168-132.hdsl.highway.telekom.at) (Remote host closed the connection)
20:41:10 lockna joins (~lockna@193-81-168-132.hdsl.highway.telekom.at)
20:46:41 Sgeo joins (~Sgeo@user/sgeo)
20:47:19 peterbecich joins (~Thunderbi@71.84.33.135)
20:49:05 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:53:47 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
21:00:17 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds)
21:04:43 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:06:14 × Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
21:09:37 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
21:16:16 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:19:53 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
21:20:32 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
21:21:56 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
21:24:34 bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
21:28:19 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
21:29:16 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:34:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
21:35:39 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds)
21:36:22 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:36:39 ChaiTRex joins (~ChaiTRex@user/chaitrex)
21:41:44 × lockna quits (~lockna@193-81-168-132.hdsl.highway.telekom.at) (Read error: Connection reset by peer)
21:45:25 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:50:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
22:01:13 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:03:43 × tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in)
22:06:00 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
22:15:19 × rainbyte quits (~rainbyte@186.22.19.214) (Ping timeout: 264 seconds)
22:17:01 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:18:33 × synchromesh quits (~john@2406:5a00:2412:2c00:694d:f25a:3b3c:f3f9) (Read error: Connection reset by peer)
22:19:59 synchromesh joins (~john@2406:5a00:2412:2c00:7842:6802:4767:2e5b)
22:24:08 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
22:26:12 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:29:09 × itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 244 seconds)
22:35:03 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:40:01 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
22:45:50 × DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer)
22:49:13 DetourNetworkUK joins (DetourNetw@user/DetourNetworkUK)
22:50:50 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:55:37 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
22:56:02 ChaiTRex joins (~ChaiTRex@user/chaitrex)
22:56:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
23:01:15 × bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
23:05:03 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
23:06:38 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:11:06 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
23:14:36 bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
23:18:01 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:18:19 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
23:23:02 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
23:26:43 × vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer)
23:27:07 vetkat joins (~vetkat@user/vetkat)
23:35:11 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:36:32 peterbecich joins (~Thunderbi@71.84.33.135)
23:39:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
23:50:37 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:55:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)

All times are in UTC on 2025-12-27.