Newest at the top
| 2025-05-12 01:55:41 +0200 | <monochrom> | Template Haskell gives you two functions for creating names, so that you can choose whether you want variable capture or not per variable. (There are legit use cases when you want it.) |
| 2025-05-12 01:53:44 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-12 01:53:25 +0200 | <monochrom> | Lisp macros, at least for old Lisp, are also vulnerable. When the Scheme people say "hygienic macros" they mean that macro expansion takes care not to make that mistake again. |
| 2025-05-12 01:50:39 +0200 | <monochrom> | Too lazy to read that paper, but here is a common mistake ("variable capture") when using names: ((\x y -> x + y) y) z = (\y -> y + y) z = z + z instead of y + z. De Bruijn numbering (or other numbering schemes) are not vulnerable to this mistake, the two "y"s have different IDs. |
| 2025-05-12 01:47:48 +0200 | siliconcritters | (~siliconcr@syn-068-188-168-151.res.spectrum.com) |
| 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) |