Newest at the top
2025-10-07 00:02:32 +0200 | ruvam | (~ruvam@user/ruvam) (Ping timeout: 240 seconds) |
2025-10-07 00:02:07 +0200 | merijn | (~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 +0200 | fgarcia | feeds the STG machine a bunch of functions |
2025-10-06 23:55:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-06 23:50:42 +0200 | Googulator11 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-06 23:50:38 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
2025-10-06 23:50:21 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
2025-10-06 23:48:55 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-10-06 23:44:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-06 23:39:44 +0200 | merijn | (~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 +0200 | remexre | (~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 +0200 | merijn | (~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 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-06 23:25:41 +0200 | Googulator11 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
2025-10-06 23:24:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-06 23:23:19 +0200 | ski | (~ski@remote11.chalmers.se) ski |
2025-10-06 23:20:44 +0200 | jreicher | does 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 +0200 | remexre | (~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 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-10-06 23:13:34 +0200 | tccq | (~user@user/tccq) (Remote host closed the connection) |
2025-10-06 23:13:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-06 23:12:12 +0200 | remexre | (~remexre@user/remexre) remexre |
2025-10-06 23:08:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-06 23:05:52 +0200 | Googulator40 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
2025-10-06 23:05:44 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
2025-10-06 23:04:41 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-10-06 22:57:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-06 22:55:55 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 248 seconds) |
2025-10-06 22:53:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-06 22:42:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-06 22:40:18 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
2025-10-06 22:38:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-06 22:37:00 +0200 | tccq | (~user@user/tccq) tccq |
2025-10-06 22:36:50 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
2025-10-06 22:35:39 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
2025-10-06 22:31:07 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-10-06 22:29:00 +0200 | koz | (~koz@121.99.240.58) |
2025-10-06 22:28:45 +0200 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |