2025/08/14

Newest at the top

2025-08-14 11:45:06 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-08-14 11:43:07 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds)
2025-08-14 11:42:00 +0200Miroboru(~myrvoll@84.215.249.36) (Ping timeout: 252 seconds)
2025-08-14 11:35:02 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 260 seconds)
2025-08-14 11:34:20 +0200Miroboru(~myrvoll@84.215.249.36) Miroboru
2025-08-14 11:33:28 +0200michalz(~michalz@185.246.207.221)
2025-08-14 11:30:58 +0200Miroboru(~myrvoll@84.215.249.36) (Ping timeout: 255 seconds)
2025-08-14 11:30:53 +0200michalz(~michalz@185.246.207.218) (Remote host closed the connection)
2025-08-14 11:29:39 +0200__monty__(~toonn@user/toonn) toonn
2025-08-14 11:27:10 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-08-14 11:09:17 +0200tromp(~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908)
2025-08-14 11:07:16 +0200trickard_(~trickard@cpe-86-98-47-163.wireline.com.au)
2025-08-14 11:07:02 +0200trickard(~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-14 10:51:20 +0200tromp(~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-14 10:28:55 +0200j0lol(~j0lol@132.145.17.236) j0lol
2025-08-14 10:28:41 +0200j0lol(~j0lol@132.145.17.236) (Server closed connection)
2025-08-14 10:27:57 +0200fizbin(~fizbin@user/fizbin) (Ping timeout: 276 seconds)
2025-08-14 10:24:44 +0200ol0ck(~quassel@user/ol0ck) (Ping timeout: 260 seconds)
2025-08-14 10:20:23 +0200fizbin(~fizbin@user/fizbin) fizbin
2025-08-14 10:11:35 +0200DragonMaus(~dragonmau@user/dragonmaus) DragonMaus
2025-08-14 10:11:03 +0200DragonMaus(~dragonmau@user/dragonmaus) (Ping timeout: 252 seconds)
2025-08-14 10:02:43 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-14 10:01:42 +0200chele(~chele@user/chele) chele
2025-08-14 09:46:48 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-14 09:46:27 +0200tromp(~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908)
2025-08-14 09:44:05 +0200jreicher(~user@user/jreicher) jreicher
2025-08-14 09:42:15 +0200jreicher(~user@user/jreicher) (Ping timeout: 244 seconds)
2025-08-14 09:39:18 +0200 <haskellbridge> <Axman6> Yeah, that's kind of the opposite of what I want. I want "instance (n' < n) => Num' (Index n) where fromInteger' :: Proxy n' -> Index n" - I want to pass in the literal the user has written, so "40 :: Index 32" means "fromInteger' (Proxy @40) :: Index 32" which would fail to compile because there's no instance for "40 < 32 => Num' (Index 32)"
2025-08-14 09:35:58 +0200jreicher(~user@user/jreicher) jreicher
2025-08-14 09:22:09 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-08-14 09:16:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-14 09:12:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-14 09:11:32 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-14 09:09:09 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-14 09:07:48 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-14 09:06:37 +0200acidjnk(~acidjnk@p200300d6e7171985495adaceecd6b03f.dip0.t-ipconnect.de) acidjnk
2025-08-14 09:06:28 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-14 09:05:41 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-08-14 09:03:23 +0200takuan(~takuan@d8d86b9e9.access.telenet.be)
2025-08-14 09:02:24 +0200AlexZenon(~alzenon@178.34.150.240)
2025-08-14 09:01:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-14 09:00:45 +0200caconym747(~caconym@user/caconym) caconym
2025-08-14 09:00:04 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-14 08:56:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-14 08:54:37 +0200AlexZenon(~alzenon@178.34.150.240) (Ping timeout: 260 seconds)
2025-08-14 08:50:48 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
2025-08-14 08:48:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-14 08:48:42 +0200ft(~ft@p508dba54.dip0.t-ipconnect.de) (Quit: leaving)
2025-08-14 08:48:36 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-08-14 08:48:03 +0200weary-traveler(~user@user/user363627) user363627