| 2025-12-25 00:02:52 +0100 | xstill_ | (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 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 00:13:03 +0100 | tromp | (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-25 00:13:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 00:14:20 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-25 00:14:58 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-12-25 00:14:58 +0100 | ChanServ | +v haskellbridge |
| 2025-12-25 00:19:01 +0100 | acidjnk | (~acidjnk@p200300d6e7171976e9398c5e79eb1e19.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-12-25 00:22:28 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-25 00:25:18 +0100 | merijn | (~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 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2025-12-25 00:30:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 00:33:46 +0100 | athan | (~athan@98.150.233.226) athan |
| 2025-12-25 00:35:47 +0100 | monochrom | (trebla@216.138.220.146) monochrom |
| 2025-12-25 00:36:57 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-25 00:37:36 +0100 | ChanServ | +o monochrom |
| 2025-12-25 00:37:42 +0100 | monochrom | -r |
| 2025-12-25 00:37:48 +0100 | monochrom | -o monochrom |
| 2025-12-25 00:39:26 +0100 | teegs | (~snaesk@177.71.33.140) |
| 2025-12-25 00:39:26 +0100 | wruafa | (~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 +0100 | ChanServ | +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 +0100 | monochrom | +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 +0100 | monochrom | +b *!*@177.71.33.140 |
| 2025-12-25 00:40:03 +0100 | teegs | monochrom (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 +0100 | monochrom | +b *!*@123.27.7.53 |
| 2025-12-25 00:40:08 +0100 | wruafa | monochrom (wruafa) |
| 2025-12-25 00:40:29 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-12-25 00:40:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2025-12-25 00:41:04 +0100 | merijn | (~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 +0100 | athan | (~athan@98.150.233.226) (Ping timeout: 256 seconds) |
| 2025-12-25 00:45:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 00:45:50 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-25 00:50:57 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-25 00:53:56 +0100 | merijn | (~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 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 00:58:51 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2025-12-25 00:58:51 +0100 | ChanServ | +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 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 2025-12-25 01:09:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 01:12:24 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-25 01:12:28 +0100 | jle` | (~jle`@2603:8001:3b00:11:19da:f73a:84bb:c3b2) (Ping timeout: 260 seconds) |
| 2025-12-25 01:13:08 +0100 | jle` | (~jle`@2603:8001:3b00:11:47ff:a93:5f74:967) jle` |
| 2025-12-25 01:13:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 01:16:37 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 256 seconds) |
| 2025-12-25 01:17:01 +0100 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2025-12-25 01:18:54 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-25 01:19:39 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-25 01:24:03 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-25 01:25:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 01:28:52 +0100 | acidjnk | (~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) acidjnk |
| 2025-12-25 01:29:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 01:35:40 +0100 | Googulator | (~Googulato@2a01-036d-0106-2af4-d522-88ad-52fa-edd7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-25 01:40:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 01:46:00 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-25 01:46:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 01:56:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:01:49 +0100 | merijn | (~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 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-25 02:13:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-25 02:16:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 02:22:21 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-12-25 02:24:46 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-25 02:25:02 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-25 02:25:17 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-25 02:27:54 +0100 | merijn | (~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 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 02:36:59 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |