Newest at the top
| 2025-11-30 20:55:05 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-11-30 20:54:36 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2025-11-30 20:54:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-30 20:53:30 +0100 | <hololeap> | is there a proper definition somewhere? |
| 2025-11-30 20:53:11 +0100 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 2025-11-30 20:53:11 +0100 | <lambdabot> | <hint>:1:61: error: |
| 2025-11-30 20:53:09 +0100 | <hololeap> | > We say that SOpened is a runtime witness to s being 'Opened. |
| 2025-11-30 20:53:03 +0100 | <hololeap> | https://blog.jle.im/entry/introduction-to-singletons-1.html |
| 2025-11-30 20:52:57 +0100 | <hololeap> | I just realized that I don't exactly know what a "witness" is, even though I've intuited it, more or less |
| 2025-11-30 20:48:16 +0100 | cephei8 | (b8652603d7@user/cephei8) cephei8 |
| 2025-11-30 20:48:16 +0100 | cephei8 | (b8652603d7@2a03:6000:1812:100::1535) (Changing host) |
| 2025-11-30 20:47:48 +0100 | carbolymer | (~carbolyme@delirium.systems) carbolymer |
| 2025-11-30 20:47:33 +0100 | carbolymer | (~carbolyme@delirium.systems) () |
| 2025-11-30 20:43:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-11-30 20:39:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-30 20:32:25 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-30 20:31:17 +0100 | FANTOM | (~fantom@212.228.181.156) |
| 2025-11-30 20:29:22 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-11-30 20:27:37 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) ft |
| 2025-11-30 20:26:26 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-30 20:26:16 +0100 | monochrm | monochrom |
| 2025-11-30 20:26:15 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 240 seconds) |
| 2025-11-30 20:26:01 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-30 20:25:56 +0100 | FANTOM | (~fantom@212.228.181.156) (Ping timeout: 240 seconds) |
| 2025-11-30 20:25:35 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2025-11-30 20:24:57 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-11-30 20:24:26 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-30 20:21:42 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-11-30 20:21:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-30 20:17:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-30 20:11:53 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2025-11-30 20:10:22 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2025-11-30 20:10:15 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2025-11-30 20:10:06 +0100 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
| 2025-11-30 20:10:05 +0100 | probie | (cc0b34050a@user/probie) probie |
| 2025-11-30 20:10:02 +0100 | lucyy | (228ee8f0ce@user/lucyy) lucyy |
| 2025-11-30 20:10:02 +0100 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2025-11-30 20:10:01 +0100 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2025-11-30 20:10:00 +0100 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) slondr |
| 2025-11-30 20:09:58 +0100 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2025-11-30 20:09:58 +0100 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2025-11-30 20:09:58 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2025-11-30 20:09:57 +0100 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
| 2025-11-30 20:09:57 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2025-11-30 20:09:57 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2025-11-30 20:09:57 +0100 | septimi | (9f60f4cb70@user/septimi) septimi |
| 2025-11-30 20:09:55 +0100 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2025-11-30 20:09:52 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2025-11-30 20:09:45 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2025-11-30 20:09:39 +0100 | cephei8 | (b8652603d7@2a03:6000:1812:100::1535) |