2026/01/11

2026-01-11 00:08:02 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2026-01-11 00:10:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 00:10:55 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-01-11 00:11:57 +0100tired-(~tired@user/tired) (Quit: /)
2026-01-11 00:13:27 +0100tired(~tired@user/tired) tired
2026-01-11 00:14:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 00:18:18 +0100bggd__(~bgg@2a01:e0a:fd5:f510:39ae:25a6:9051:cd77)
2026-01-11 00:18:58 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2026-01-11 00:20:33 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2026-01-11 00:22:13 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 246 seconds)
2026-01-11 00:26:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 00:30:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 00:35:03 +0100whomasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-11 00:38:12 +0100tromp(~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-01-11 00:40:13 +0100raym(~ray@user/raym) (Ping timeout: 264 seconds)
2026-01-11 00:41:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 00:42:22 +0100hiredman(~hiredman@frontier1.downey.family) (Remote host closed the connection)
2026-01-11 00:43:28 +0100hiredman(~hiredman@frontier1.downey.family) hiredman
2026-01-11 00:44:17 +0100whomasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-01-11 00:46:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-11 00:51:49 +0100raym(~ray@user/raym) raym
2026-01-11 00:55:24 +0100tired(~tired@user/tired) (Quit: /)
2026-01-11 00:57:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 00:59:25 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2026-01-11 01:02:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 01:13:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 01:18:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 01:20:09 +0100itaipu(~itaipu@168.121.99.54) (Ping timeout: 244 seconds)
2026-01-11 01:21:17 +0100tired(~tired@user/tired) tired
2026-01-11 01:25:36 +0100spew(~spew@user/spew) (Quit: nyaa~)
2026-01-11 01:27:23 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2026-01-11 01:27:46 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-01-11 01:28:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 01:31:09 +0100yin(~zero@user/zero) (Remote host closed the connection)
2026-01-11 01:31:24 +0100yin(~zero@user/zero) zero
2026-01-11 01:33:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 01:36:45 +0100itaipu(~itaipu@168.121.99.54) itaipu
2026-01-11 01:39:38 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-11 01:44:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 01:49:22 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 01:51:12 +0100mhatta(~mhatta@www21123ui.sakura.ne.jp)
2026-01-11 01:54:10 +0100yin(~zero@user/zero) (Remote host closed the connection)
2026-01-11 01:54:25 +0100yin(~zero@user/zero) zero
2026-01-11 01:54:50 +0100notzmv(~umar@user/notzmv) notzmv
2026-01-11 02:05:37 +0100hakutaku(~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-01-11 02:06:18 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2026-01-11 02:13:38 +0100yin(~zero@user/zero) (Remote host closed the connection)
2026-01-11 02:13:53 +0100yin(~zero@user/zero) zero
2026-01-11 02:15:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 02:18:59 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-01-11 02:19:21 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-01-11 02:22:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-11 02:22:43 +0100yin(~zero@user/zero) (Remote host closed the connection)
2026-01-11 02:22:58 +0100yin(~zero@user/zero) zero
2026-01-11 02:24:45 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-01-11 02:24:56 +0100divlamir(~divlamir@user/divlamir) divlamir
2026-01-11 02:26:48 +0100itaipu(~itaipu@168.121.99.54) (Ping timeout: 244 seconds)
2026-01-11 02:29:03 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-11 02:32:40 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-11 02:32:54 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2026-01-11 02:33:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 02:36:55 +0100gehmehgeh(~user@user/gehmehgeh) gehmehgeh
2026-01-11 02:37:24 +0100gmg(~user@user/gehmehgeh) (Killed (NickServ (Forcing logout gmg -> gehmehgeh)))
2026-01-11 02:37:24 +0100gehmehgehgmg
2026-01-11 02:39:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 02:44:22 +0100itaipu(~itaipu@168.121.99.54) itaipu
2026-01-11 02:45:00 +0100Tuplanolla(~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.)
2026-01-11 02:49:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 02:53:55 +0100yin(~zero@user/zero) (Remote host closed the connection)
2026-01-11 02:54:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-11 02:57:29 +0100omidmash0(~omidmash@user/omidmash) omidmash
2026-01-11 02:58:05 +0100yin(~zero@user/zero) zero
2026-01-11 02:59:21 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 244 seconds)
2026-01-11 02:59:21 +0100omidmash0omidmash
2026-01-11 03:05:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 03:10:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 03:11:47 +0100yin(~zero@user/zero) (Remote host closed the connection)
2026-01-11 03:12:02 +0100yin(~zero@user/zero) zero
2026-01-11 03:21:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 03:26:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-11 03:32:36 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-11 03:32:50 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2026-01-11 03:36:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 03:38:48 +0100comonad(~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de)
2026-01-11 03:42:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 03:42:52 +0100divya(~divya@140.238.251.170) divya
2026-01-11 03:44:25 +0100omidmash(~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
2026-01-11 03:47:00 +0100acidjnk(~acidjnk@p200300d6e7171900b06d5fbac4ef8d8e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2026-01-11 03:47:37 +0100omidmash(~omidmash@user/omidmash) omidmash
2026-01-11 03:52:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 03:59:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 04:00:51 +0100 <haskellbridge> <iqubic (she/her)> Are there any good Haskell libraries for doing image manipulation tasks? I'm looking for something which give me direct access to the pixel values and lets me make new images too.
2026-01-11 04:02:19 +0100 <haskellbridge> <iqubic (she/her)> Like, let's say I have the problem of "in this JPEG, find all pixels with a prime Red value and make them black, and make all the other pixels white". What library could I use? Is there something like Pillow, but for Haskell?
2026-01-11 04:04:19 +0100 <haskellbridge> <iqubic (she/her)> Note, I'm not asking specifically for help with this project, but just for a way of doing this general type of thing in Haskell.
2026-01-11 04:05:02 +0100op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2026-01-11 04:05:20 +0100annamalai(~annamalai@157.32.135.19) annamalai
2026-01-11 04:05:39 +0100op_4(~tslil@user/op-4/x-9116473) op_4
2026-01-11 04:06:22 +0100 <haskellbridge> <iqubic (she/her)> Would also be nice if said library let me do things like "Given two images L and R of the same size and file format, take the left half of L and the right half of R and merge them into a combined image"
2026-01-11 04:06:32 +0100 <haskellbridge> <sm> JuicyPixels lib, and data types like Array and Vector come to mind, but I think you'll find lots more on hackage
2026-01-11 04:07:26 +0100 <haskellbridge> <iqubic (she/her)> How would I run a search for libraries suitable for these tasks?
2026-01-11 04:07:46 +0100 <haskellbridge> <sm> I'd browse the categories there
2026-01-11 04:08:01 +0100 <haskellbridge> <sm> Graphics, etc
2026-01-11 04:09:01 +0100 <haskellbridge> <iqubic (she/her)> I found HIP, which looks good, but Nix is saying it's broken!
2026-01-11 04:09:22 +0100 <haskellbridge> <iqubic (she/her)> https://hackage.haskell.org/package/hip
2026-01-11 04:09:28 +0100 <haskellbridge> <sm> heh you just raised this to difficulty level 2
2026-01-11 04:09:49 +0100 <haskellbridge> <iqubic (she/her)> Well, I don't know if hip is the best package for this.
2026-01-11 04:10:11 +0100 <haskellbridge> <sm> it sounds nice
2026-01-11 04:10:49 +0100 <haskellbridge> <sm> though, uploaded 5 years ago
2026-01-11 04:10:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 04:11:24 +0100 <haskellbridge> <sm> (afk)
2026-01-11 04:11:53 +0100 <haskellbridge> <iqubic (she/her)> Well, the dumb thing is that, when I was playing around with this sort of task last month, Nix just built the package correctly with no fuss!
2026-01-11 04:14:24 +0100FANTOM(~fantom@87.75.185.177) (Quit: Connection error?!)
2026-01-11 04:16:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 04:17:20 +0100jreicher(~joelr@user/jreicher) (Read error: Connection reset by peer)
2026-01-11 04:18:21 +0100jreicher(~joelr@user/jreicher) jreicher
2026-01-11 04:21:10 +0100 <haskellbridge> <iqubic (she/her)> Image Processing might be a better tag to search.
2026-01-11 04:22:33 +0100 <haskellbridge> <iqubic (she/her)> Except that only two packages are in there "hip" and "unm-hip". The latter is a fork of the former.
2026-01-11 04:26:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 04:31:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 04:32:07 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds)
2026-01-11 04:32:50 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-11 04:41:53 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-01-11 04:42:17 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-01-11 04:42:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 04:47:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-01-11 04:48:34 +0100Xe(~Xe@perl/impostor/xe) (Ping timeout: 246 seconds)
2026-01-11 04:58:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 05:03:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-11 05:05:42 +0100Xe(~Xe@perl/impostor/xe) Xe
2026-01-11 05:05:55 +0100Xe(~Xe@perl/impostor/xe) (Read error: Connection reset by peer)
2026-01-11 05:06:56 +0100Xe(~Xe@perl/impostor/xe) Xe
2026-01-11 05:14:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 05:19:47 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2026-01-11 05:19:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 05:21:57 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-01-11 05:30:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 05:32:32 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-01-11 05:32:59 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-11 05:37:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 05:37:29 +0100Guest68(~Guest68@2806:1016:6:cef9:1951:738:6cfe:347f)
2026-01-11 05:48:12 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 05:52:39 +0100Guest68(~Guest68@2806:1016:6:cef9:1951:738:6cfe:347f) (Quit: Client closed)
2026-01-11 05:53:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 06:03:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 06:09:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 06:19:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 06:24:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-01-11 06:28:12 +0100housemate(~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-01-11 06:35:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 06:40:12 +0100tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2026-01-11 06:40:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 06:40:21 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2026-01-11 06:42:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 06:46:39 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-11 06:46:53 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2026-01-11 06:47:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 06:54:55 +0100housemate(~housemate@203.56.146.214) housemate
2026-01-11 06:58:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 07:00:01 +0100trickard_trickard
2026-01-11 07:03:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-11 07:13:51 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 07:17:19 +0100pabs3(~pabs3@user/pabs3) (Ping timeout: 240 seconds)
2026-01-11 07:18:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 07:18:53 +0100pabs3(~pabs3@user/pabs3) pabs3
2026-01-11 07:23:19 +0100trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-11 07:23:33 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2026-01-11 07:25:46 +0100EvanR(~EvanR@user/evanr) (Quit: Leaving)
2026-01-11 07:29:23 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 07:29:46 +0100FANTOM(~fantom@87.75.185.177)
2026-01-11 07:34:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 07:34:52 +0100hakutaku(~textual@chen.yukari.eu.org)
2026-01-11 07:45:10 +0100synchromesh(~john@2406:5a00:2412:2c00:d99e:6a9c:d73a:8e48) (Read error: Connection reset by peer)
2026-01-11 07:45:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 07:46:27 +0100synchromesh(~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) synchromesh
2026-01-11 07:50:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 08:00:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 08:06:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 08:06:13 +0100glguy(glguy@libera/staff/glguy) (Quit: Quit)
2026-01-11 08:06:57 +0100glguy(glguy@libera/staff/glguy) glguy
2026-01-11 08:11:55 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2026-01-11 08:15:35 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2026-01-11 08:18:19 +0100AlexNoo_(~AlexNoo@178.34.150.203)
2026-01-11 08:19:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 08:19:05 +0100AlexNoo__(~AlexNoo@178.34.150.203)
2026-01-11 08:19:55 +0100AlexZenon(~alzenon@178.34.163.50) (Ping timeout: 240 seconds)
2026-01-11 08:21:43 +0100AlexNoo(~AlexNoo@178.34.163.50) (Ping timeout: 246 seconds)
2026-01-11 08:22:06 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-01-11 08:22:36 +0100AlexNoo(~AlexNoo@178.34.150.203)
2026-01-11 08:23:09 +0100AlexNoo_(~AlexNoo@178.34.150.203) (Ping timeout: 260 seconds)
2026-01-11 08:23:44 +0100AlexNoo__(~AlexNoo@178.34.150.203) (Ping timeout: 260 seconds)
2026-01-11 08:25:01 +0100AlexZenon(~alzenon@178.34.150.203)
2026-01-11 08:26:08 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-01-11 08:26:39 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 260 seconds)
2026-01-11 08:31:21 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2026-01-11 08:36:36 +0100b7r6(~b7r6@user/b7r6) (Quit: Client closed)
2026-01-11 08:37:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 08:40:30 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-01-11 08:42:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 08:43:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 08:48:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 08:53:55 +0100Square(~Square@user/square) (Ping timeout: 246 seconds)
2026-01-11 08:54:18 +0100trickard_trickard
2026-01-11 08:59:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 09:03:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-11 09:05:17 +0100tt1231607(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231
2026-01-11 09:06:46 +0100tromp(~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4)
2026-01-11 09:14:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 09:16:49 +0100trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-11 09:17:02 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2026-01-11 09:19:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 09:23:15 +0100trickard_trickard
2026-01-11 09:30:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 09:34:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-11 09:44:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 09:49:39 +0100Enrico63(~Enrico63@host-87-7-181-238.retail.telecomitalia.it) Enrico63
2026-01-11 09:49:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 09:57:56 +0100Enrico63(~Enrico63@host-87-7-181-238.retail.telecomitalia.it) (Quit: Client closed)
2026-01-11 09:58:00 +0100trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-11 09:58:13 +0100trickard(~trickard@cpe-50-98-47-163.wireline.com.au)
2026-01-11 10:00:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 10:04:34 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2026-01-11 10:04:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-11 10:15:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 10:17:06 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-01-11 10:21:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 10:26:09 +0100Tuplanolla(~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla
2026-01-11 10:27:43 +0100jreicher(~joelr@user/jreicher) (Ping timeout: 240 seconds)
2026-01-11 10:28:14 +0100tromp(~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-01-11 10:29:59 +0100jreicher(~joelr@user/jreicher) jreicher
2026-01-11 10:30:09 +0100tromp(~textual@2001:1c00:3487:1b00:e166:97e2:1b74:68c4)
2026-01-11 10:31:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 10:36:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-01-11 10:41:59 +0100acidjnk(~acidjnk@p200300d6e7171930d5713a59355b93ee.dip0.t-ipconnect.de) acidjnk
2026-01-11 10:45:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 10:47:58 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-01-11 10:48:10 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-01-11 10:51:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 10:56:38 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-01-11 11:01:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 11:07:57 +0100notzmv(~umar@user/notzmv) (Ping timeout: 252 seconds)
2026-01-11 11:08:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 11:15:27 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2026-01-11 11:19:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 11:20:42 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2026-01-11 11:22:37 +0100__monty__(~toonn@user/toonn) toonn
2026-01-11 11:24:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-11 11:25:13 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2026-01-11 11:28:11 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2026-01-11 11:33:52 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2026-01-11 11:35:07 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit)
2026-01-11 11:35:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 11:39:57 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-01-11 11:40:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-01-11 11:46:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 11:47:49 +0100 <hadronized> I’m designing a new language, and I’m wondering about the benefit of refinement types over a type system which would encode the refinement in the types. Is it correct to state that we could emulate refinement types with static types, without probably refinement rules (like transitive rules that are probably hard to express on static types)
2026-01-11 11:51:22 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 11:53:59 +0100 <chromoblob> > let x@(Left y) = Right y in x
2026-01-11 11:54:00 +0100 <lambdabot> *Exception: <interactive>:3:5-24: Non-exhaustive patterns in x@(Left y)
2026-01-11 11:54:23 +0100 <chromoblob> > let x@(Left y) = Right 5 in x
2026-01-11 11:54:23 +0100synchromesh(~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) (Read error: Connection reset by peer)
2026-01-11 11:54:24 +0100 <lambdabot> *Exception: <interactive>:3:5-24: Non-exhaustive patterns in x@(Left y)
2026-01-11 11:54:44 +0100synchromesh(~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) synchromesh
2026-01-11 11:55:57 +0100 <chromoblob> > let x@(Right 3) = Right 5 in x
2026-01-11 11:55:58 +0100 <lambdabot> *Exception: <interactive>:3:5-25: Non-exhaustive patterns in x@(Right 3)
2026-01-11 12:00:05 +0100 <__monty__> hadronized: You might be interested in the #proglangdesign channel.
2026-01-11 12:02:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 12:05:12 +0100Digitteknohippie(~user@user/digit) Digit
2026-01-11 12:06:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-11 12:07:13 +0100Digit(~user@user/digit) (Ping timeout: 264 seconds)
2026-01-11 12:09:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 12:12:24 +0100 <hadronized> __monty__: thanks, I’ll pay them a visit
2026-01-11 12:13:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-01-11 12:24:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 12:29:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 12:33:48 +0100yarl(~yarl@user/yarl) yarl
2026-01-11 12:34:19 +0100 <yarl> Hello haskell.
2026-01-11 12:35:16 +0100 <yarl> I am having trouble running the testsuite on ghc 9.2.8
2026-01-11 12:35:23 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2026-01-11 12:37:03 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-01-11 12:40:08 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 12:44:35 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2026-01-11 12:45:23 +0100 <yarl> see paste.debian.net/hidden/a090992c
2026-01-11 12:45:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 12:47:14 +0100qqq(~qqq@185.54.21.105)
2026-01-11 12:47:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 12:47:55 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2026-01-11 12:48:02 +0100 <yarl> If I remote -fexternal-interpreter it seems to work.
2026-01-11 12:48:20 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-11 12:49:37 +0100 <yarl> Or if I pass -dynamic
2026-01-11 12:50:11 +0100bggd__(~bgg@2a01:e0a:fd5:f510:39ae:25a6:9051:cd77) (Remote host closed the connection)
2026-01-11 12:52:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-01-11 12:53:10 +0100 <yarl> __aarch64_ldset2_sync is in libgcc as confirmed using nm | grep : /gnu/store/gmrh4aspg7m45wnz62n6pw3b3zbjkw9f-gcc-13.3.0-lib/lib/gcc/aarch64-unknown-linux-gnu/13.3.0/libgcc.a
2026-01-11 12:54:27 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2026-01-11 12:54:56 +0100 <yarl> Why does ghc-iserv.bin is not linking it?
2026-01-11 12:55:34 +0100 <yarl> (I don't know much about ghc, just trying to package it for aarch64 into guix)
2026-01-11 12:56:44 +0100 <Leary> yarl: Better to ask #ghc.
2026-01-11 12:57:20 +0100 <yarl> Leary: oh thank you. did not know this exists.
2026-01-11 13:03:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 13:05:29 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds)
2026-01-11 13:07:04 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-01-11 13:08:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 13:19:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 13:23:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-11 13:34:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 13:36:08 +0100Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything
2026-01-11 13:37:19 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2026-01-11 13:38:34 +0100DigitteknohippieDigit
2026-01-11 13:40:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 13:41:08 +0100gmg(~user@user/gehmehgeh) (Client Quit)
2026-01-11 13:43:54 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-01-11 13:44:13 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-11 13:45:07 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2026-01-11 13:48:38 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds)
2026-01-11 13:48:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 13:51:41 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-01-11 13:54:22 +0100karenw(~karenw@user/karenw) (Ping timeout: 255 seconds)
2026-01-11 13:55:19 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2026-01-11 13:55:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-11 13:57:53 +0100trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-11 13:58:06 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2026-01-11 14:04:00 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2026-01-11 14:06:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 14:10:14 +0100comonad(~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2026-01-11 14:11:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-01-11 14:15:33 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-01-11 14:22:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 14:22:58 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2026-01-11 14:24:51 +0100Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2026-01-11 14:24:57 +0100housemate(~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-01-11 14:26:28 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2026-01-11 14:27:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-01-11 14:30:39 +0100housemate(~housemate@203.56.146.214) housemate
2026-01-11 14:34:13 +0100itaipu(~itaipu@168.121.99.54) (Ping timeout: 264 seconds)
2026-01-11 14:34:23 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-01-11 14:34:36 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2026-01-11 14:38:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 14:38:40 +0100weary-traveler(~user@user/user363627) user363627
2026-01-11 14:41:03 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-01-11 14:43:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 14:48:27 +0100itaipu(~itaipu@168.121.99.54) itaipu
2026-01-11 14:49:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 14:54:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 14:54:38 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2026-01-11 14:56:36 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2026-01-11 15:03:22 +0100img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-01-11 15:04:36 +0100img(~img@user/img) img
2026-01-11 15:05:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 15:06:46 +0100lbseale(~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2026-01-11 15:10:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-01-11 15:10:37 +0100bggd(~bgg@2a01:e0a:fd5:f510:b9a:aeb:dc1f:9677)
2026-01-11 15:10:37 +0100bggd(~bgg@2a01:e0a:fd5:f510:b9a:aeb:dc1f:9677) (Changing host)
2026-01-11 15:10:37 +0100bggd(~bgg@user/bggd) bggd
2026-01-11 15:11:03 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds)
2026-01-11 15:16:49 +0100pabs3(~pabs3@user/pabs3) (Ping timeout: 264 seconds)
2026-01-11 15:20:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-01-11 15:25:30 +0100z__(~z@203.204.54.110)
2026-01-11 15:25:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-01-11 15:27:46 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2026-01-11 15:29:06 +0100z__(~z@203.204.54.110) (Client Quit)
2026-01-11 15:30:13 +0100lbseale(~quassel@user/ep1ctetus) (Client Quit)
2026-01-11 15:30:57 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2026-01-11 15:31:14 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen