2025/12/25

2025-12-25 00:02:52 +0100xstill_(xstill@fimu/xstill) (Remote host closed the connection)
2025-12-25 00:03:28 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-12-25 00:07:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 00:13:03 +0100tromp(~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-25 00:13:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-25 00:14:20 +0100weary-traveler(~user@user/user363627) user363627
2025-12-25 00:14:58 +0100haskellbridge(~hackager@96.28.224.214) hackager
2025-12-25 00:14:58 +0100ChanServ+v haskellbridge
2025-12-25 00:19:01 +0100acidjnk(~acidjnk@p200300d6e7171976e9398c5e79eb1e19.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-12-25 00:22:28 +0100somemathguy(~somemathg@user/somemathguy) somemathguy
2025-12-25 00:25:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 00:27:27 +0100 <haskellbridge> <geekosaur> bridge is back up, since libera thinks they have it under control now
2025-12-25 00:29:17 +0100monochrom(trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in)
2025-12-25 00:30:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-25 00:33:46 +0100athan(~athan@98.150.233.226) athan
2025-12-25 00:35:47 +0100monochrom(trebla@216.138.220.146) monochrom
2025-12-25 00:36:57 +0100Pozyomka(~pyon@user/pyon) pyon
2025-12-25 00:37:36 +0100ChanServ+o monochrom
2025-12-25 00:37:42 +0100monochrom-r
2025-12-25 00:37:48 +0100monochrom-o monochrom
2025-12-25 00:39:26 +0100teegs(~snaesk@177.71.33.140)
2025-12-25 00:39:26 +0100wruafa(~meubing@123.27.7.53)
2025-12-25 00:39:26 +0100 <wruafa> NewTobinParadigm: I'm from the Internet and you webkids need to do better.
2025-12-25 00:39:29 +0100 <teegs> NewTobinParadigm: I'm from the Internet and you webkids need to do better.
2025-12-25 00:39:40 +0100 <wruafa> Rumpledforeskin: Didn't neo-freenode stop users connecting unless they were registered via Web (then SASL)?
2025-12-25 00:39:42 +0100 <teegs> Rumpledforeskin: Didn't neo-freenode stop users connecting unless they were registered via Web (then SASL)?
2025-12-25 00:39:44 +0100 <wruafa> interdome: 1,8POLICE LINE DO NOT CROSS POLICE LINE DO NOT CROSS POLICE LINE DO NOT CROSS
2025-12-25 00:39:46 +0100 <teegs> interdome: 1,8POLICE LINE DO NOT CROSS POLICE LINE DO NOT CROSS POLICE LINE DO NOT CROSS
2025-12-25 00:39:47 +0100 <wruafa> acidvegas: .ascii supernets_banner
2025-12-25 00:39:50 +0100 <teegs> acidvegas: .ascii supernets_banner
2025-12-25 00:39:51 +0100 <wruafa> scroll: ACTION the ascii gods have chosen... 10supernets/supernets_banner
2025-12-25 00:39:52 +0100ChanServ+o monochrom
2025-12-25 00:39:54 +0100 <teegs> scroll: ACTION the ascii gods have chosen... 10supernets/supernets_banner
2025-12-25 00:39:55 +0100 <wruafa> scroll: 4,12 THIS NETWORK IS BLOWJOBS! GET ON SUPERNETS FOR COLD HARD CHATS NOW 
2025-12-25 00:39:57 +0100monochrom+r
2025-12-25 00:39:57 +0100 <teegs> scroll: 4,12 THIS NETWORK IS BLOWJOBS! GET ON SUPERNETS FOR COLD HARD CHATS NOW 
2025-12-25 00:39:59 +0100 <wruafa> scroll: 1,12 1,0 4 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 
2025-12-25 00:40:01 +0100 <teegs> scroll: 1,12 1,0 4 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 
2025-12-25 00:40:02 +0100 <wruafa> scroll: 1,12 4 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 
2025-12-25 00:40:03 +0100monochrom+b *!*@177.71.33.140
2025-12-25 00:40:03 +0100teegsmonochrom (teegs)
2025-12-25 00:40:06 +0100 <wruafa> scroll: 1,12 4 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 1,0 1,12 
2025-12-25 00:40:08 +0100monochrom+b *!*@123.27.7.53
2025-12-25 00:40:08 +0100wruafamonochrom (wruafa)
2025-12-25 00:40:29 +0100haskellbridge(~hackager@96.28.224.214) (Remote host closed the connection)
2025-12-25 00:40:54 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer)
2025-12-25 00:41:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 00:42:41 +0100 <Googulator> geekosaur: so much for "in control"... sigh
2025-12-25 00:42:48 +0100 <geekosaur> 😞
2025-12-25 00:42:59 +0100 <geekosaur> I figured they'd find a way around it eventually
2025-12-25 00:43:45 +0100athan(~athan@98.150.233.226) (Ping timeout: 256 seconds)
2025-12-25 00:45:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-25 00:45:50 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-12-25 00:50:57 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-12-25 00:53:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 00:58:45 +0100 <geekosaur> I absolutely do not envy the poor ircops this evening. raise a toast to them when you get a chance
2025-12-25 00:58:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-25 00:58:51 +0100haskellbridge(~hackager@96.28.224.214) hackager
2025-12-25 00:58:51 +0100ChanServ+v haskellbridge
2025-12-25 01:00:01 +0100 <haskellbridge> <geekosaur> dropped the bot again
2025-12-25 01:00:46 +0100 <geekosaur> lol, that was the one I sent matrix-side after I dropped it 🙂
2025-12-25 01:02:46 +0100somemathguy(~somemathg@user/somemathguy) (Ping timeout: 246 seconds)
2025-12-25 01:09:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 01:12:24 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2025-12-25 01:12:28 +0100jle`(~jle`@2603:8001:3b00:11:19da:f73a:84bb:c3b2) (Ping timeout: 260 seconds)
2025-12-25 01:13:08 +0100jle`(~jle`@2603:8001:3b00:11:47ff:a93:5f74:967) jle`
2025-12-25 01:13:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-25 01:16:37 +0100gorignak(~gorignak@user/gorignak) (Ping timeout: 256 seconds)
2025-12-25 01:17:01 +0100Raito_Bezarius(~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius
2025-12-25 01:18:54 +0100lbseale(~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-12-25 01:19:39 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2025-12-25 01:24:03 +0100somemathguy(~somemathg@user/somemathguy) somemathguy
2025-12-25 01:25:08 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 01:28:52 +0100acidjnk(~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) acidjnk
2025-12-25 01:29:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-25 01:35:40 +0100Googulator(~Googulato@2a01-036d-0106-2af4-d522-88ad-52fa-edd7.pool6.digikabel.hu) (Quit: Client closed)
2025-12-25 01:40:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 01:46:00 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-12-25 01:46:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-25 01:56:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 02:01:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-25 02:07:14 +0100 <haskellbridge> <Liamzee> oh cool, so traceIO compared to traceM uses an unsafe import
2025-12-25 02:07:26 +0100 <haskellbridge> <Liamzee> so it freezes execution
2025-12-25 02:07:29 +0100 <haskellbridge> <Liamzee> hum
2025-12-25 02:08:58 +0100 <haskellbridge> <Zemyla> So I'm thinking that, if you have RankNTypes but not GADTs or the type equality constraint, you could express equality with newtype (a :: k) :~: (b :: k) = Refl { runRefl :: forall f. f a -> f b }
2025-12-25 02:11:20 +0100 <haskellbridge> <Liamzee> unsafe ccall
2025-12-25 02:12:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 02:13:13 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-12-25 02:16:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-25 02:22:21 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-12-25 02:24:46 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-12-25 02:25:02 +0100divlamir(~divlamir@user/divlamir) divlamir
2025-12-25 02:25:17 +0100Tuplanolla(~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.)
2025-12-25 02:27:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 02:27:57 +0100 <ski> Zemyla : mm, that's Leibniz-style equality. there was someone who had a paper about that (Ralf Hinze, maybe ?)
2025-12-25 02:33:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-25 02:36:59 +0100rainbyte(~rainbyte@186.22.19.214) (Read error: Connection reset by peer)
2025-12-25 02:39:46 +0100rainbyte(~rainbyte@186.22.19.214) rainbyte
2025-12-25 02:41:33 +0100elarks(~elarks@user/yerrii) yerrii
2025-12-25 02:43:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 02:48:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-25 02:51:45 +0100synchromesh(~john@2406:5a00:2412:2c00:19bc:daec:7901:4e6) (Read error: Connection reset by peer)
2025-12-25 02:52:53 +0100synchromesh(~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) synchromesh
2025-12-25 02:59:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 03:05:39 +0100wennefer96(~wennefer0@user/wennefer0) wennefer0
2025-12-25 03:06:12 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-25 03:08:05 +0100wennefer0_(~wennefer0@user/wennefer0) wennefer0
2025-12-25 03:12:15 +0100wennefer0_(~wennefer0@user/wennefer0) (Remote host closed the connection)
2025-12-25 03:14:44 +0100wennefer96(~wennefer0@user/wennefer0) ()
2025-12-25 03:15:30 +0100wennefer0(~wennefer0@user/wennefer0) wennefer0
2025-12-25 03:16:36 +0100wennefer0(~wennefer0@user/wennefer0) (Remote host closed the connection)
2025-12-25 03:17:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 03:21:55 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2025-12-25 03:22:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-25 03:22:44 +0100 <haskellbridge> <Zemyla> You know the IsChar type from Text.Printf? It really should be toCharF :: f a -> f Char and vice versa.
2025-12-25 03:24:17 +0100confusedalex_(~confuseda@user/confusedalex) confusedalex
2025-12-25 03:24:54 +0100confusedalex(~confuseda@user/confusedalex) (Ping timeout: 260 seconds)
2025-12-25 03:24:54 +0100confusedalex_confusedalex
2025-12-25 03:33:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 03:37:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-25 03:48:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 03:53:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-25 03:56:25 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2025-12-25 04:04:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 04:06:36 +0100monochrom(trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in)
2025-12-25 04:07:35 +0100monochrom(trebla@216.138.220.146) monochrom
2025-12-25 04:09:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-25 04:16:37 +0100monochrom(trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in)
2025-12-25 04:20:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 04:24:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-25 04:26:52 +0100monochrom(trebla@216.138.220.146) monochrom
2025-12-25 04:32:31 +0100td_(~td@i53870917.versanet.de) (Ping timeout: 240 seconds)
2025-12-25 04:33:07 +0100acidjnk(~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-12-25 04:35:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 04:42:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-25 04:45:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 04:49:48 +0100somemathguy(~somemathg@user/somemathguy) (Ping timeout: 265 seconds)
2025-12-25 04:50:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-25 04:54:31 +0100 <Leary> Zemyla: RankNTypes also gives you Church encodings for arbitrary GADTs, the direct translation of `:~:` being `newtype a :~: b = WithRefl (forall r. (forall x. r x x) -> r a b)`.
2025-12-25 05:01:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 05:05:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-25 05:16:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 05:21:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-25 05:25:13 +0100emergence(emergence@vm0.max-p.me) (Quit: emergence)
2025-12-25 05:25:27 +0100emergence(emergence@vm0.max-p.me) emergence
2025-12-25 05:32:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 05:37:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-25 05:48:23 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 05:52:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-25 06:00:44 +0100rainbyte(~rainbyte@186.22.19.214) (Quit: rainbyte)
2025-12-25 06:01:02 +0100rainbyte(~rainbyte@186.22.19.214) rainbyte
2025-12-25 06:04:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 06:08:52 +0100rainbyte(~rainbyte@186.22.19.214) (Quit: rainbyte)
2025-12-25 06:09:11 +0100rainbyte(~rainbyte@186.22.19.214) rainbyte
2025-12-25 06:09:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-25 06:19:57 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 06:24:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-25 06:35:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 06:37:37 +0100Pozyomka(~pyon@user/pyon) (Quit: bbl)
2025-12-25 06:40:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-25 06:51:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 06:56:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-25 07:00:02 +0100synchromesh(~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) (Read error: Connection reset by peer)
2025-12-25 07:01:37 +0100synchromesh(~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) synchromesh
2025-12-25 07:07:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 07:12:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-25 07:17:10 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-12-25 07:22:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 07:25:31 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-12-25 07:25:37 +0100Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-12-25 07:29:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-25 07:31:48 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-12-25 07:40:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn