2025/10/06

Newest at the top

2025-10-07 00:02:32 +0200ruvam(~ruvam@user/ruvam) (Ping timeout: 240 seconds)
2025-10-07 00:02:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-06 23:57:06 +0200 <[exa]> strong nethack vibes with "Machine eats the function. You hear a muffled thunk."
2025-10-06 23:56:20 +0200 <int-e> or maybe *thunk*
2025-10-06 23:56:19 +0200 <fgarcia> it doesn't sound too happy
2025-10-06 23:56:10 +0200 <int-e> "thunk"
2025-10-06 23:55:50 +0200 <[exa]> fgarcia: listen to the machine. what do you hear?
2025-10-06 23:55:23 +0200fgarciafeeds the STG machine a bunch of functions
2025-10-06 23:55:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-06 23:50:42 +0200Googulator11(~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-06 23:50:38 +0200Googulator64(~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu)
2025-10-06 23:50:21 +0200OftenFaded(~OftenFade@user/tisktisk) OftenFaded
2025-10-06 23:48:55 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-10-06 23:44:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-06 23:39:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-06 23:39:31 +0200[exa]zonks some thunks
2025-10-06 23:31:44 +0200remexre(~remexre@user/remexre) remexre
2025-10-06 23:31:08 +0200 <jreicher> So the wombles had a type theorist in the family all along
2025-10-06 23:28:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-06 23:28:02 +0200 <mauke> https://c.nau.ch/i/oa9d6/1360/680/jorg-draeger-re-daniel-boschmann-und-die-schonste-niete-im-deuts…
2025-10-06 23:27:10 +0200 <int-e> There's this red rat thing: https://www.sigikid.de/en/Zonk-the-consolation-prize-of-Geh-aufs-Ganze/81304
2025-10-06 23:27:05 +0200 <dolio> "Zonk is the sound it makes"
2025-10-06 23:25:45 +0200Googulator65(~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-06 23:25:41 +0200Googulator11(~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu)
2025-10-06 23:24:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-06 23:23:19 +0200ski(~ski@remote11.chalmers.se) ski
2025-10-06 23:20:44 +0200jreicherdoes a web search for zonk's lemma...
2025-10-06 23:20:06 +0200 <dminuoso> jreicher: Im sure so is Zonk.
2025-10-06 23:20:04 +0200remexre(~remexre@user/remexre) (Ping timeout: 256 seconds)
2025-10-06 23:19:41 +0200 <jreicher> dminuoso: well, skolem is an actual name. :)
2025-10-06 23:15:01 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-10-06 23:13:34 +0200tccq(~user@user/tccq) (Remote host closed the connection)
2025-10-06 23:13:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-06 23:12:12 +0200remexre(~remexre@user/remexre) remexre
2025-10-06 23:08:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-06 23:05:52 +0200Googulator40(~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed)
2025-10-06 23:05:44 +0200Googulator65(~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu)
2025-10-06 23:04:41 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-10-06 22:57:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-06 22:55:55 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 248 seconds)
2025-10-06 22:53:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-06 22:42:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-06 22:40:18 +0200Eoco(~ian@128.101.131.218) Eoco
2025-10-06 22:38:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-06 22:37:00 +0200tccq(~user@user/tccq) tccq
2025-10-06 22:36:50 +0200peterbecich(~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich
2025-10-06 22:35:39 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-10-06 22:31:07 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-10-06 22:29:00 +0200koz(~koz@121.99.240.58)
2025-10-06 22:28:45 +0200koz(~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in)