Logs: liberachat/#haskell
| 2025-10-06 20:05:14 | × | sdrfan123 quits (~sdrfan123@2607:fb91:370d:6a0a:61fe:e768:2866:fd27) (Quit: Client closed) |
| 2025-10-06 20:09:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 20:09:40 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-10-06 20:11:46 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-06 20:20:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 20:20:40 | × | Googulator76 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 20:20:45 | → | Googulator40 joins (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-06 20:24:58 | ← | ds7832 parts (~ds7832@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Konversation terminated!) |
| 2025-10-06 20:26:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 20:28:09 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-10-06 20:28:45 | × | koz quits (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-06 20:29:00 | → | koz joins (~koz@121.99.240.58) |
| 2025-10-06 20:31:07 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-06 20:35:39 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-06 20:36:50 | → | peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) |
| 2025-10-06 20:37:00 | → | tccq joins (~user@user/tccq) |
| 2025-10-06 20:38:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 20:40:18 | → | Eoco joins (~ian@128.101.131.218) |
| 2025-10-06 20:42:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 20:53:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 20:55:55 | × | peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 248 seconds) |
| 2025-10-06 20:57:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 21:04:41 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-06 21:05:44 | → | Googulator65 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 21:05:52 | × | Googulator40 quits (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 21:08:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 21:12:12 | → | remexre joins (~remexre@user/remexre) |
| 2025-10-06 21:13:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-06 21:13:34 | × | tccq quits (~user@user/tccq) (Remote host closed the connection) |
| 2025-10-06 21:15:01 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-06 21:19:41 | <jreicher> | dminuoso: well, skolem is an actual name. :) |
| 2025-10-06 21:20:04 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 256 seconds) |
| 2025-10-06 21:20:06 | <dminuoso> | jreicher: Im sure so is Zonk. |
| 2025-10-06 21:20:44 | jreicher | does a web search for zonk's lemma... |
| 2025-10-06 21:23:19 | → | ski joins (~ski@remote11.chalmers.se) |
| 2025-10-06 21:24:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 21:25:41 | → | Googulator11 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 21:25:45 | × | Googulator65 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 21:27:05 | <dolio> | "Zonk is the sound it makes" |
| 2025-10-06 21:27:10 | <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 21:28:02 | <mauke> | https://c.nau.ch/i/oa9d6/1360/680/jorg-draeger-re-daniel-boschmann-und-die-schonste-niete-im-deutschen-fernsehen-der-zonk.jpg |
| 2025-10-06 21:28:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-06 21:31:08 | <jreicher> | So the wombles had a type theorist in the family all along |
| 2025-10-06 21:31:44 | → | remexre joins (~remexre@user/remexre) |
| 2025-10-06 21:39:31 | [exa] | zonks some thunks |
| 2025-10-06 21:39:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 21:44:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-06 21:48:55 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-06 21:50:21 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 2025-10-06 21:50:38 | → | Googulator64 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 21:50:42 | × | Googulator11 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 21:55:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 21:55:23 | fgarcia | feeds the STG machine a bunch of functions |
| 2025-10-06 21:55:50 | <[exa]> | fgarcia: listen to the machine. what do you hear? |
| 2025-10-06 21:56:10 | <int-e> | "thunk" |
| 2025-10-06 21:56:19 | <fgarcia> | it doesn't sound too happy |
| 2025-10-06 21:56:20 | <int-e> | or maybe *thunk* |
| 2025-10-06 21:57:06 | <[exa]> | strong nethack vibes with "Machine eats the function. You hear a muffled thunk." |
| 2025-10-06 22:02:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 22:02:32 | × | ruvam quits (~ruvam@user/ruvam) (Ping timeout: 240 seconds) |
| 2025-10-06 22:05:28 | × | tromp quits (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-06 22:05:43 | → | ruvam joins (~ruvam@user/ruvam) |
| 2025-10-06 22:11:44 | trickard_ | is now known as trickard |
| 2025-10-06 22:13:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 22:15:10 | × | acidjnk quits (~acidjnk@p200300d6e7171987b5d378b8b874a3b2.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-10-06 22:15:38 | × | Googulator64 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 22:15:39 | → | Googulator26 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 22:17:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-06 22:21:03 | → | acidjnk joins (~acidjnk@p200300d6e71719997d03de312c50de9d.dip0.t-ipconnect.de) |
| 2025-10-06 22:22:09 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-10-06 22:24:27 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-10-06 22:28:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 22:33:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 22:41:25 | Xe_ | is now known as Xe |
| 2025-10-06 22:43:37 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-10-06 22:44:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 22:48:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-06 22:54:07 | × | annamalai quits (~annamalai@157.33.222.95) (Ping timeout: 256 seconds) |
| 2025-10-06 22:54:31 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 22:54:44 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 22:57:02 | × | malte quits (~malte@mal.tc) (Read error: Connection reset by peer) |
| 2025-10-06 22:57:15 | → | malte joins (~malte@mal.tc) |
| 2025-10-06 22:59:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 23:04:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 23:10:56 | × | Googulator26 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 23:10:57 | → | Googulator86 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 23:14:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 23:14:53 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-10-06 23:17:25 | × | malte quits (~malte@mal.tc) (Ping timeout: 264 seconds) |
| 2025-10-06 23:19:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-06 23:19:53 | → | peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) |
| 2025-10-06 23:20:42 | → | Googulator40 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 23:20:42 | × | Googulator86 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 23:23:49 | → | malte joins (~malte@mal.tc) |
| 2025-10-06 23:26:09 | → | Googulator65 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 23:26:17 | × | Googulator40 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 23:30:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 23:35:34 | × | Googulator65 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 23:35:41 | → | Googulator8 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 23:37:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
All times are in UTC.