2025/10/15

Newest at the top

2025-10-15 22:30:30 +0200inline(~inline@2a02:8071:57a1:1260:590e:ee4d:f63f:13ad) Inline
2025-10-15 22:26:40 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds)
2025-10-15 22:25:38 +0200Googulator63(~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu)
2025-10-15 22:25:36 +0200Googulator(~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed)
2025-10-15 22:23:37 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-15 22:18:44 +0200pavonia(~user@user/siracusa) siracusa
2025-10-15 22:16:25 +0200 <tomsmeding> mreh: congrats!
2025-10-15 22:16:14 +0200 <tomsmeding> hm, perhaps I should have written `repeat x` instead of `[x]`, for more recursion. :)
2025-10-15 22:16:06 +0200 <mreh> I think I just made a new pb. Three day refactor, compiles, two runtime errors, and then everything just works.
2025-10-15 22:15:39 +0200karenw(~karenw@user/karenw) karenw
2025-10-15 22:12:01 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-15 22:11:01 +0200 <monochrom> Infinite types lead to Infinity Wars. >:)
2025-10-15 22:10:57 +0200 <mreh> looks pointless to me :P
2025-10-15 22:10:34 +0200 <tomsmeding> more efficient pointlessness!
2025-10-15 22:10:18 +0200 <yahb2> In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [I...
2025-10-15 22:10:18 +0200 <tomsmeding> % let x = In [x] in x
2025-10-15 22:10:16 +0200 <yahb2> <no output>
2025-10-15 22:10:16 +0200 <tomsmeding> % newtype Fix f = In (f (Fix f)) ; deriving instance (forall a. Show a => Show (f a)) => Show (Fix f)
2025-10-15 22:09:57 +0200gustrb(~gustrb@191.243.134.87)
2025-10-15 22:09:33 +0200 <monochrom> Would you like to s/data/newtype/ ? :)
2025-10-15 22:09:12 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb)
2025-10-15 22:08:47 +0200 <yahb2> In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [I...
2025-10-15 22:08:47 +0200 <tomsmeding> % let x = In [x] in x
2025-10-15 22:08:39 +0200 <yahb2> <no output>
2025-10-15 22:08:39 +0200 <tomsmeding> % data Fix f = In (f (Fix f)) ; deriving instance (forall a. Show a => Show (f a)) => Show (Fix f)
2025-10-15 22:05:52 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-10-15 22:05:05 +0200chexum_(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-10-15 21:58:46 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-15 21:58:17 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
2025-10-15 21:55:35 +0200Googulator(~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu)
2025-10-15 21:51:44 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-10-15 21:48:46 +0200CiaoSen(~Jura@ipservice-092-210-206-067.092.210.pools.vodafone-ip.de) CiaoSen
2025-10-15 21:44:32 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb)
2025-10-15 21:43:38 +0200fgarciafgidim
2025-10-15 21:43:00 +0200ft(~ft@p4fc2a207.dip0.t-ipconnect.de) ft
2025-10-15 21:39:31 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-15 21:38:11 +0200ProofTechnique_(sid79547@id-79547.ilkley.irccloud.com)
2025-10-15 21:37:34 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-10-15 21:36:57 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2025-10-15 21:35:19 +0200FANTOM(~fantom@90.244.183.5)
2025-10-15 21:34:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-15 21:32:20 +0200qqe(~qqq@185.54.23.200) (Quit: Lost terminal)
2025-10-15 21:32:03 +0200FANTOM(~fantom@90.244.183.5) (Ping timeout: 256 seconds)
2025-10-15 21:31:55 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-15 21:31:11 +0200ChanServ+v yahb2
2025-10-15 21:31:11 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2) yahb2
2025-10-15 21:30:39 +0200tromp(~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-15 21:29:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 21:28:59 +0200nshepperd21nshepperd2
2025-10-15 21:28:59 +0200b0o_b0o