| 2025-05-11 00:01:30 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-05-11 00:02:49 +0000 | sprotte24 | (~sprotte24@p200300d16f2ffb009dfc124c182392c1.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-11 00:03:17 +0000 | balthxzar | (~balthxzar@user/Balthxzar) (Read error: Connection reset by peer) |
| 2025-05-11 00:03:46 +0000 | balthxzar | (~balthxzar@user/Balthxzar) Balthxzar |
| 2025-05-11 00:04:24 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2025-05-11 00:06:21 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-05-11 00:06:29 +0000 | balthxzar | (~balthxzar@user/Balthxzar) (Client Quit) |
| 2025-05-11 00:07:40 +0000 | balthxzar | (~balthxzar@user/Balthxzar) Balthxzar |
| 2025-05-11 00:12:43 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-11 00:15:42 +0000 | <EvanR> | by changing it to fmap (Food . Raw) (unfix p) it even type checks |
| 2025-05-11 00:16:21 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-11 00:18:20 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-05-11 00:19:29 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-11 00:21:46 +0000 | <EvanR> | add Burned constructor for when things aren't going good in the kitchen |
| 2025-05-11 00:32:14 +0000 | <monochrom> | "hledger: How to Cook The Books in Haskell" >:) |
| 2025-05-11 00:34:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-11 00:34:36 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 272 seconds) |
| 2025-05-11 00:35:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-11 00:36:16 +0000 | <hellwolf> | class Typeable (a :: k) where typeRep# :: TypeRep a |
| 2025-05-11 00:36:27 +0000 | <hellwolf> | what is this "typeRep#" that I can't access? |
| 2025-05-11 00:38:21 +0000 | <monochrom> | GHC wants you to use "deriving Typeable" for consistency and uniqueness, and not write your own instances. |
| 2025-05-11 00:41:21 +0000 | balthxzar | (~balthxzar@user/Balthxzar) (Ping timeout: 248 seconds) |
| 2025-05-11 00:46:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 00:54:23 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-05-11 00:54:41 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-11 00:56:58 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-05-11 00:59:29 +0000 | arahael | (~arahael@user/arahael) (Ping timeout: 248 seconds) |
| 2025-05-11 01:01:46 +0000 | <geekosaur> | it doesn't even want that any more |
| 2025-05-11 01:02:00 +0000 | <geekosaur> | ghc derives Typeable implicitly for all types |
| 2025-05-11 01:03:19 +0000 | <geekosaur> | well, maybe it wants to see an explicit `deriving Typeable`, but the extension has been removed (will get a warning with -Wall) and is always on in effect |
| 2025-05-11 01:06:09 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-11 01:13:05 +0000 | <EvanR> | Typeable forall |
| 2025-05-11 01:14:01 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-11 01:29:42 +0000 | floyza | (~gavin@63.238.216.34) (Ping timeout: 276 seconds) |
| 2025-05-11 01:53:04 +0000 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-05-11 01:54:46 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 252 seconds) |
| 2025-05-11 01:55:40 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-11 01:55:51 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 01:56:22 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-05-11 02:04:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-11 02:05:02 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-05-11 02:05:32 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-05-11 02:13:21 +0000 | EvanR_ | EvanR |
| 2025-05-11 02:13:51 +0000 | <EvanR> | https://paste.tomsmeding.com/G9csUJBE |
| 2025-05-11 02:15:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 02:19:01 +0000 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 252 seconds) |
| 2025-05-11 02:21:00 +0000 | td_ | (~td@i53870935.versanet.de) |
| 2025-05-11 03:19:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-11 03:30:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 03:41:13 +0000 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-05-11 03:42:20 +0000 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-05-11 03:55:04 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-11 03:56:01 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-11 03:58:39 +0000 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-05-11 04:00:58 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 252 seconds) |
| 2025-05-11 04:02:46 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2025-05-11 04:04:12 +0000 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 265 seconds) |
| 2025-05-11 04:11:14 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-11 04:16:29 +0000 | hgolden_ | (~hgolden@syn-172-251-233-141.res.spectrum.com) (Remote host closed the connection) |
| 2025-05-11 04:17:47 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 04:19:11 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-11 04:21:28 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-11 04:23:39 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
| 2025-05-11 04:35:26 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2025-05-11 04:39:45 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 04:40:12 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-11 04:43:45 +0000 | michalz | (~michalz@185.246.207.205) |
| 2025-05-11 04:54:49 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-11 04:59:35 +0000 | Guest44 | (~Guest44@177.43.140.210) |
| 2025-05-11 04:59:45 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-05-11 05:00:29 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-11 05:03:30 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Client Quit) |
| 2025-05-11 05:06:55 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-11 05:08:28 +0000 | Guest44 | (~Guest44@177.43.140.210) (Quit: Client closed) |
| 2025-05-11 05:08:40 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-11 05:23:30 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-05-11 05:27:35 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Ping timeout: 260 seconds) |
| 2025-05-11 05:35:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-11 05:37:41 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-11 05:46:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 05:51:07 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-11 05:51:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-11 06:00:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-11 06:02:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 06:08:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-11 06:08:34 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-11 06:09:48 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-05-11 06:11:32 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 06:12:09 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-11 06:19:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 06:19:42 +0000 | Square | (~Square@user/square) Square |
| 2025-05-11 06:20:55 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 2025-05-11 06:23:10 +0000 | halloy5771 | (~halloy577@71-212-10-118.tukw.qwest.net) |
| 2025-05-11 06:25:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-11 06:35:11 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-11 06:36:37 +0000 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) hgolden |
| 2025-05-11 06:37:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 06:38:17 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-05-11 06:41:18 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-05-11 06:42:49 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-11 06:45:24 +0000 | halloy5771 | (~halloy577@71-212-10-118.tukw.qwest.net) (Ping timeout: 245 seconds) |
| 2025-05-11 06:49:44 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-11 06:52:01 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 2025-05-11 06:52:05 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-11 06:52:57 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 06:53:28 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-11 06:56:56 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
| 2025-05-11 07:00:01 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-11 07:00:39 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-11 07:06:14 +0000 | halloy5771 | (~halloy577@71-212-10-118.tukw.qwest.net) |
| 2025-05-11 07:07:59 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-11 07:12:18 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-05-11 07:14:45 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-05-11 07:17:05 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-11 07:26:49 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-11 07:30:00 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 07:30:15 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 244 seconds) |
| 2025-05-11 07:31:35 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-05-11 07:32:00 +0000 | Digit | (~user@69.47.7.51.dyn.plus.net) (Changing host) |
| 2025-05-11 07:32:00 +0000 | Digit | (~user@user/digit) Digit |
| 2025-05-11 07:34:56 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-11 07:46:29 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-11 07:48:36 +0000 | PavWhoSays`Ni` | pavonia |
| 2025-05-11 07:51:49 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-11 07:52:09 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f785043d05406ece6fe.dip0.t-ipconnect.de) acidjnk |
| 2025-05-11 08:02:00 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.3) |
| 2025-05-11 08:04:36 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-05-11 08:13:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-11 08:14:52 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-11 08:15:25 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 244 seconds) |
| 2025-05-11 08:19:45 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-11 08:24:27 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-11 08:25:53 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-05-11 08:27:20 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-11 08:27:38 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-11 08:28:15 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-11 08:28:52 +0000 | halloy5771 | (~halloy577@71-212-10-118.tukw.qwest.net) (Ping timeout: 276 seconds) |
| 2025-05-11 08:29:31 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-05-11 08:41:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-11 08:42:24 +0000 | halloy5771 | (~halloy577@71-212-10-118.tukw.qwest.net) |
| 2025-05-11 08:42:28 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-11 08:43:25 +0000 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-11 08:49:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 08:50:22 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-11 08:50:53 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-11 08:52:12 +0000 | img | (~img@user/img) img |
| 2025-05-11 08:52:35 +0000 | halloy5771 | (~halloy577@71-212-10-118.tukw.qwest.net) (Quit: halloy5771) |
| 2025-05-11 08:57:35 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-05-11 09:03:55 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-05-11 09:04:18 +0000 | razetime | (~quassel@49.207.228.134) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-05-11 09:09:38 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-05-11 09:12:42 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-11 09:15:39 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-11 09:17:02 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-11 09:19:34 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-05-11 09:21:21 +0000 | visilii_ | (~visilii@213.24.132.63) |
| 2025-05-11 09:22:04 +0000 | visilii | (~visilii@85.94.26.146) (Ping timeout: 244 seconds) |
| 2025-05-11 09:53:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-11 10:05:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 10:06:04 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-11 10:19:32 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 2025-05-11 10:20:17 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2025-05-11 10:24:19 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 260 seconds) |
| 2025-05-11 10:30:49 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-11 10:38:07 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-05-11 10:58:25 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-11 11:22:05 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-05-11 11:31:10 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-11 11:49:19 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-11 11:57:59 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-11 12:08:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-11 12:08:59 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-05-11 12:09:18 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-05-11 12:10:06 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2025-05-11 12:10:16 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-05-11 12:10:49 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-11 12:21:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 12:30:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-11 12:30:56 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-11 12:34:26 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-05-11 12:34:26 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 12:41:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 12:41:53 +0000 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-05-11 12:43:49 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-05-11 12:43:55 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 260 seconds) |
| 2025-05-11 12:45:39 +0000 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
| 2025-05-11 12:47:42 +0000 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
| 2025-05-11 13:09:01 +0000 | yin | (~z@user/zero) (Ping timeout: 276 seconds) |
| 2025-05-11 13:13:03 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-11 13:18:58 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-11 13:19:25 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-11 13:19:59 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f785043d05406ece6fe.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-05-11 13:22:57 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-05-11 13:22:58 +0000 | ljdarj1 | ljdarj |
| 2025-05-11 13:48:45 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 13:49:28 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-11 13:54:36 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 13:55:19 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-11 13:58:42 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) (Ping timeout: 265 seconds) |
| 2025-05-11 14:10:20 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2025-05-11 14:15:14 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-05-11 14:26:36 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-05-11 14:26:40 +0000 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-05-11 14:34:29 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-11 14:38:07 +0000 | Pixi` | (~Pixi@user/pixi) (Quit: Leaving) |
| 2025-05-11 14:38:37 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-05-11 14:43:05 +0000 | euleritian | (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-11 14:43:23 +0000 | euleritian | (~euleritia@ip5f5ad168.dynamic.kabel-deutschland.de) |
| 2025-05-11 14:43:42 +0000 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2025-05-11 14:52:05 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-05-11 14:54:41 +0000 | euleritian | (~euleritia@ip5f5ad168.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-05-11 14:55:10 +0000 | euleritian | (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) |
| 2025-05-11 15:05:44 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-11 15:20:52 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-11 15:22:26 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-11 15:27:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-11 15:31:13 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5c9:3756:500a:fde9) |
| 2025-05-11 15:35:29 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-11 15:37:03 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-11 15:37:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 15:45:21 +0000 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 248 seconds) |
| 2025-05-11 15:47:42 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-11 15:49:40 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-05-11 15:52:11 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-05-11 15:56:25 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-05-11 16:01:14 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-11 16:12:44 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-11 16:16:56 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-11 16:16:56 +0000 | ljdarj1 | ljdarj |
| 2025-05-11 16:19:22 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-11 16:20:34 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-11 16:20:41 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 16:39:50 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 16:40:41 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-11 16:41:04 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f785043d05406ece6fe.dip0.t-ipconnect.de) acidjnk |
| 2025-05-11 16:41:36 +0000 | Guest57 | (~Guest57@107.171.184.225) |
| 2025-05-11 16:43:51 +0000 | Guest57 | (~Guest57@107.171.184.225) (Client Quit) |
| 2025-05-11 16:48:48 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-11 16:49:24 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-11 17:11:38 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 2025-05-11 17:27:54 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-11 17:29:11 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-11 17:30:05 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-11 17:33:15 +0000 | drdo | (~drdo@static.61.197.13.49.clients.your-server.de) (Quit: Oh no!) |
| 2025-05-11 17:33:42 +0000 | drdo | (~drdo@2a01:4f8:1c1c:4976::1) drdo |
| 2025-05-11 17:36:49 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-05-11 17:42:58 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-11 17:49:05 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-05-11 17:52:08 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-11 17:57:20 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-11 17:57:43 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Read error: Connection reset by peer) |
| 2025-05-11 17:58:22 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 2025-05-11 18:09:31 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-11 18:10:12 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-11 18:12:34 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-11 18:13:37 +0000 | euleritian | (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2025-05-11 18:13:47 +0000 | euleritian | (~euleritia@dynamic-176-006-134-019.176.6.pool.telefonica.de) |
| 2025-05-11 18:14:10 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 18:14:21 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-11 18:18:25 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 2025-05-11 18:19:15 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-11 18:23:13 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-11 18:26:52 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-05-11 18:31:51 +0000 | euleritian | (~euleritia@dynamic-176-006-134-019.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-11 18:32:09 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-11 18:36:11 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-11 18:36:50 +0000 | sprotte24 | (~sprotte24@p200300d16f052e00b01ecb3cf5e5d8f9.dip0.t-ipconnect.de) |
| 2025-05-11 18:40:14 +0000 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-05-11 18:42:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-11 18:46:35 +0000 | drdo | (~drdo@2a01:4f8:1c1c:4976::1) (Remote host closed the connection) |
| 2025-05-11 18:47:48 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-11 18:47:55 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-05-11 18:49:09 +0000 | APic | (apic@apic.name) (Ping timeout: 268 seconds) |
| 2025-05-11 18:49:09 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-11 18:49:51 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-11 18:54:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 19:00:05 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-11 19:00:44 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-11 19:01:44 +0000 | APic | (apic@apic.name) APic |
| 2025-05-11 19:02:56 +0000 | drdo | (~drdo@2a01:4f8:1c1c:4976::1) drdo |
| 2025-05-11 19:06:05 +0000 | synaps3 | (~void@user/synaps3) synaps3 |
| 2025-05-11 19:07:37 +0000 | synaps3 | (~void@user/synaps3) (Read error: Connection reset by peer) |
| 2025-05-11 19:11:47 +0000 | tv | (~tv@user/tv) tv |
| 2025-05-11 19:20:26 +0000 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-11 19:23:29 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-05-11 19:24:08 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-11 19:26:10 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-11 19:28:46 +0000 | APic | (apic@apic.name) (Quit: Fnord) |
| 2025-05-11 19:31:43 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-05-11 19:34:28 +0000 | tolgo | (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 2025-05-11 19:47:40 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-05-11 19:53:21 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-11 19:53:44 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-05-11 19:54:22 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-11 19:54:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-11 19:56:25 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-11 19:58:51 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-11 20:05:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-11 20:09:15 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-05-11 20:11:39 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-11 20:12:28 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-11 20:19:03 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-11 20:21:30 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-05-11 20:23:55 +0000 | Square | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2025-05-11 20:34:45 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2025-05-11 20:39:40 +0000 | Guest465 | (~Diego@181.61.206.208) |
| 2025-05-11 20:40:50 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-05-11 20:44:01 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 2025-05-11 20:48:52 +0000 | Guest465 | (~Diego@181.61.206.208) () |
| 2025-05-11 20:52:46 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-11 20:56:28 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-05-11 21:08:48 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-11 21:11:53 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-11 21:12:20 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-11 21:25:16 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-11 21:26:24 +0000 | balthxzar | (~balthxzar@user/Balthxzar) Balthxzar |
| 2025-05-11 21:29:30 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-05-11 21:39:45 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-11 21:42:16 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-11 21:44:49 +0000 | balthxzar | (~balthxzar@user/Balthxzar) (Ping timeout: 244 seconds) |
| 2025-05-11 21:46:11 +0000 | <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 21:46:19 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-05-11 21:50:05 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) |
| 2025-05-11 21:50:45 +0000 | balthxzar | (~balthxzar@user/Balthxzar) Balthxzar |
| 2025-05-11 21:50:57 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-11 21:56:49 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f785043d05406ece6fe.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-05-11 22:00:02 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f78180f209d949bdd6b.dip0.t-ipconnect.de) acidjnk |
| 2025-05-11 22:02:20 +0000 | tromp | (~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-11 22:03:00 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 265 seconds) |
| 2025-05-11 22:03:45 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2025-05-11 22:06:25 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-11 22:07:27 +0000 | balthxzar | (~balthxzar@user/Balthxzar) (Remote host closed the connection) |
| 2025-05-11 22:07:45 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2025-05-11 22:07:56 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-05-11 22:13:39 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5c9:3756:500a:fde9) (Ping timeout: 260 seconds) |
| 2025-05-11 22:14:32 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9d68:c704:b1b0:2e99) |
| 2025-05-11 22:17:00 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-11 22:41:16 +0000 | <EvanR> | must be for inevitable alpha conversion |
| 2025-05-11 22:42:05 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-11 22:42:14 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-05-11 22:43:28 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-11 22:56:49 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f78180f209d949bdd6b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-11 22:59:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-11 23:11:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-11 23:18:09 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-05-11 23:18:40 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-11 23:31:56 +0000 | sprotte24 | (~sprotte24@p200300d16f052e00b01ecb3cf5e5d8f9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-11 23:32:16 +0000 | zdercti^ | (~zdercti@50.168.231.214) |
| 2025-05-11 23:39:12 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-11 23:47:48 +0000 | siliconcritters | (~siliconcr@syn-068-188-168-151.res.spectrum.com) |
| 2025-05-11 23:50:39 +0000 | <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-11 23:53:25 +0000 | <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-11 23:53:44 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-11 23:55:41 +0000 | <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.) |