Logs: liberachat/#haskell
| 2025-12-24 23:40:03 | monochrom | sets mode +b *!*@177.71.33.140 |
| 2025-12-24 23:40:03 | teegs | is kicked by monochrom (teegs) |
| 2025-12-24 23:40:06 | <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-24 23:40:08 | monochrom | sets mode +b *!*@123.27.7.53 |
| 2025-12-24 23:40:08 | wruafa | is kicked by monochrom (wruafa) |
| 2025-12-24 23:40:29 | × | haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-12-24 23:40:54 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2025-12-24 23:41:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-24 23:42:41 | <Googulator> | geekosaur: so much for "in control"... sigh |
| 2025-12-24 23:42:48 | <geekosaur> | 😞 |
| 2025-12-24 23:42:59 | <geekosaur> | I figured they'd find a way around it eventually |
| 2025-12-24 23:43:45 | × | athan quits (~athan@98.150.233.226) (Ping timeout: 256 seconds) |
| 2025-12-24 23:45:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-24 23:45:50 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-24 23:50:57 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-24 23:53:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-24 23:58:45 | <geekosaur> | I absolutely do not envy the poor ircops this evening. raise a toast to them when you get a chance |
| 2025-12-24 23:58:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-24 23:58:51 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2025-12-24 23:58:51 | ChanServ | sets mode +v haskellbridge |
| 2025-12-25 00:00:01 | <haskellbridge> | <geekosaur> dropped the bot again |
| 2025-12-25 00:00:46 | <geekosaur> | lol, that was the one I sent matrix-side after I dropped it 🙂 |
| 2025-12-25 00:02:46 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 2025-12-25 00:09:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 00:12:24 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 2025-12-25 00:12:28 | × | jle` quits (~jle`@2603:8001:3b00:11:19da:f73a:84bb:c3b2) (Ping timeout: 260 seconds) |
| 2025-12-25 00:13:08 | → | jle` joins (~jle`@2603:8001:3b00:11:47ff:a93:5f74:967) |
| 2025-12-25 00:13:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 00:16:37 | × | gorignak quits (~gorignak@user/gorignak) (Ping timeout: 256 seconds) |
| 2025-12-25 00:17:01 | → | Raito_Bezarius joins (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) |
| 2025-12-25 00:18:54 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-25 00:19:39 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 2025-12-25 00:24:03 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2025-12-25 00:25:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 00:28:52 | → | acidjnk joins (~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) |
| 2025-12-25 00:29:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 00:35:40 | × | Googulator quits (~Googulato@2a01-036d-0106-2af4-d522-88ad-52fa-edd7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-25 00:40:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 00:46:00 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-25 00:46:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-25 00:56:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 01:01:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 01:07:14 | <haskellbridge> | <Liamzee> oh cool, so traceIO compared to traceM uses an unsafe import |
| 2025-12-25 01:07:26 | <haskellbridge> | <Liamzee> so it freezes execution |
| 2025-12-25 01:07:29 | <haskellbridge> | <Liamzee> hum |
| 2025-12-25 01:08:58 | <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 01:11:20 | <haskellbridge> | <Liamzee> unsafe ccall |
| 2025-12-25 01:12:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 01:13:13 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-25 01:16:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 01:22:21 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-12-25 01:24:46 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-25 01:25:02 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-12-25 01:25:17 | × | Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-25 01:27:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 01:27:57 | <ski> | Zemyla : mm, that's Leibniz-style equality. there was someone who had a paper about that (Ralf Hinze, maybe ?) |
| 2025-12-25 01:33:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-25 01:36:59 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-25 01:39:46 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2025-12-25 01:41:33 | → | elarks joins (~elarks@user/yerrii) |
| 2025-12-25 01:43:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 01:48:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 01:51:45 | × | synchromesh quits (~john@2406:5a00:2412:2c00:19bc:daec:7901:4e6) (Read error: Connection reset by peer) |
| 2025-12-25 01:52:53 | → | synchromesh joins (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) |
| 2025-12-25 01:59:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 02:05:39 | → | wennefer96 joins (~wennefer0@user/wennefer0) |
| 2025-12-25 02:06:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-25 02:08:05 | → | wennefer0_ joins (~wennefer0@user/wennefer0) |
| 2025-12-25 02:12:15 | × | wennefer0_ quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 02:14:44 | ← | wennefer96 parts (~wennefer0@user/wennefer0) () |
| 2025-12-25 02:15:30 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2025-12-25 02:16:36 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2025-12-25 02:17:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 02:21:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-25 02:22:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 02:22:44 | <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 02:24:17 | → | confusedalex_ joins (~confuseda@user/confusedalex) |
| 2025-12-25 02:24:54 | × | confusedalex quits (~confuseda@user/confusedalex) (Ping timeout: 260 seconds) |
| 2025-12-25 02:24:54 | confusedalex_ | is now known as confusedalex |
| 2025-12-25 02:33:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 02:37:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 02:48:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 02:53:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 02:56:25 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-25 03:04:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 03:06:36 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2025-12-25 03:07:35 | → | monochrom joins (trebla@216.138.220.146) |
| 2025-12-25 03:09:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-25 03:16:37 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 2025-12-25 03:20:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 03:24:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-25 03:26:52 | → | monochrom joins (trebla@216.138.220.146) |
| 2025-12-25 03:32:31 | × | td_ quits (~td@i53870917.versanet.de) (Ping timeout: 240 seconds) |
| 2025-12-25 03:33:07 | × | acidjnk quits (~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-12-25 03:35:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 03:42:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-25 03:45:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-25 03:49:48 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 265 seconds) |
| 2025-12-25 03:50:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-25 03:54:31 | <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)`. |
All times are in UTC.