Newest at the top
| 2025-06-06 21:55:37 +0200 | <mjacob> | I’m trying to understand https://en.wikipedia.org/wiki/Higher-order_abstract_syntax#Implementation. In that section, it is said that “another popular way to implement HOAS (in, for example, compilers) is with de Bruijn indices”. Aren’t HOAS and de Bruijn indices different solutions to a similar problem (encoding binding)? |
| 2025-06-06 21:55:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-06 21:55:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-06-06 21:54:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-06 21:54:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-06 21:51:43 +0200 | loreto | (~loreto@user/loreto) loreto |
| 2025-06-06 21:51:31 +0200 | loreto | (~loreto@user/loreto) (Remote host closed the connection) |
| 2025-06-06 21:51:18 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-06-06 21:50:35 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-06-06 21:50:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-06 21:48:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-06 21:48:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-06-06 21:48:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-06 21:46:28 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-06 21:45:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-06 21:44:40 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-06-06 21:43:52 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-06-06 21:43:15 +0200 | manwithluck | (~manwithlu@2a09:bac5:5082:2432::39b:b0) manwithluck |
| 2025-06-06 21:43:03 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) mjacob |
| 2025-06-06 21:41:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-06 21:41:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-06 21:40:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-06 21:39:23 +0200 | manwithluck | (~manwithlu@2a09:bac5:5082:2432::39b:b0) (Remote host closed the connection) |
| 2025-06-06 21:36:49 +0200 | ljdarj1 | ljdarj |
| 2025-06-06 21:36:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-06-06 21:34:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-06 21:34:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-06 21:34:17 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-06 21:34:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-06 21:34:04 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-06-06 21:33:46 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-06 21:32:34 +0200 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-06-06 21:31:23 +0200 | hgolden2 | (~hgolden2@2603:8000:9d00:3ed1:aad2:a50b:df7f:ff62) (Remote host closed the connection) |
| 2025-06-06 21:29:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-06 21:29:35 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-06 21:29:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-06 21:28:44 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-06 21:27:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) |
| 2025-06-06 21:27:57 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-06-06 21:27:51 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-06 21:27:47 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2025-06-06 21:26:05 +0200 | iteratee_ | (~kyle@199.119.84.78) (Ping timeout: 244 seconds) |
| 2025-06-06 21:25:57 +0200 | hgolden2 | (~hgolden2@2603:8000:9d00:3ed1:aad2:a50b:df7f:ff62) |
| 2025-06-06 21:24:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-06 21:23:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-06 21:22:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-06 21:22:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-06 21:19:22 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-06 21:18:42 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-06-06 21:18:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…) |