Newest at the top
| 2025-05-12 01:39:12 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-12 01:32:16 +0200 | zdercti^ | (~zdercti@50.168.231.214) |
| 2025-05-12 01:31:56 +0200 | sprotte24 | (~sprotte24@p200300d16f052e00b01ecb3cf5e5d8f9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-12 01:18:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-12 01:18:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-05-12 01:11:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 00:59:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-12 00:56:49 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f78180f209d949bdd6b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-12 00:43:28 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-12 00:42:14 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-05-12 00:42:05 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-12 00:41:16 +0200 | <EvanR> | must be for inevitable alpha conversion |
| 2025-05-12 00:17:00 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-12 00:14:32 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9d68:c704:b1b0:2e99) |
| 2025-05-12 00:13:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5c9:3756:500a:fde9) (Ping timeout: 260 seconds) |
| 2025-05-12 00:07:56 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-05-12 00:07:45 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2025-05-12 00:07:27 +0200 | balthxzar | (~balthxzar@user/Balthxzar) (Remote host closed the connection) |
| 2025-05-12 00:06:25 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-12 00:03:45 +0200 | turlando | (~turlando@user/turlando) turlando |
| 2025-05-12 00:03:00 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 265 seconds) |
| 2025-05-12 00:02:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-12 00:00:02 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f78180f209d949bdd6b.dip0.t-ipconnect.de) acidjnk |
| 2025-05-11 23:56:49 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f785043d05406ece6fe.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-05-11 23:50:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-11 23:50:45 +0200 | balthxzar | (~balthxzar@user/Balthxzar) Balthxzar |
| 2025-05-11 23:50:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 2025-05-11 23:46:19 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-05-11 23:46:11 +0200 | <EvanR> | in the paper I'm a number not a name, it wraps and unwraps programs by converting between free variables (names) and debruijn indices. If you always unwrap a binder and substitute the names that were originally erased by wrapping and binding, no conflict occurs. But now I'm wondering what the point was |
| 2025-05-11 23:44:49 +0200 | balthxzar | (~balthxzar@user/Balthxzar) (Ping timeout: 244 seconds) |
| 2025-05-11 23:42:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-11 23:39:45 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-11 23:29:30 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-05-11 23:26:24 +0200 | balthxzar | (~balthxzar@user/Balthxzar) Balthxzar |
| 2025-05-11 23:25:16 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-11 23:12:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-11 23:11:53 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-11 23:08:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-11 22:56:28 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-05-11 22:52:46 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-11 22:48:52 +0200 | Guest465 | (~Diego@181.61.206.208) () |
| 2025-05-11 22:44:01 +0200 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 2025-05-11 22:40:50 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-05-11 22:39:40 +0200 | Guest465 | (~Diego@181.61.206.208) |
| 2025-05-11 22:34:45 +0200 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2025-05-11 22:23:55 +0200 | Square | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2025-05-11 22:21:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-05-11 22:19:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-11 22:12:28 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-11 22:11:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |