Newest at the top
| 2025-05-12 08:05:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-12 08:04:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-12 08:00:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-12 07:59:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 07:57:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-12 07:48:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-12 07:47:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-12 07:44:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-12 07:43:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 07:41:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-12 07:39:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-05-12 07:35:44 +0200 | euleritian | (~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) |
| 2025-05-12 07:35:00 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2025-05-12 07:31:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-12 07:25:10 +0200 | peterbecich1 | peterbecich |
| 2025-05-12 07:25:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-12 07:23:57 +0200 | peterbecich1 | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-12 07:16:17 +0200 | carbolymer | (~carbolyme@dropacid.net) carbolymer |
| 2025-05-12 07:15:07 +0200 | carbolymer | (~carbolyme@dropacid.net) (Remote host closed the connection) |
| 2025-05-12 06:48:51 +0200 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) (Client Quit) |
| 2025-05-12 06:46:44 +0200 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) aditya_an1l |
| 2025-05-12 06:46:06 +0200 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.6.2) |
| 2025-05-12 06:43:38 +0200 | JeremyB99 | (~JeremyB99@172.87.18.1) |
| 2025-05-12 06:41:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-12 06:40:22 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-12 06:39:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-12 06:33:47 +0200 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) aditya_an1l |
| 2025-05-12 06:30:02 +0200 | aditya_an1l | (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.6.2) |
| 2025-05-12 06:28:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-12 06:27:02 +0200 | <ski> | are two quines based on the same idea |
| 2025-05-12 06:26:32 +0200 | <ski> | (let ((let '`(let ((let ',let)) ,let))) `(let ((let ',let)) ,let)) |
| 2025-05-12 06:26:26 +0200 | <ski> | and |
| 2025-05-12 06:26:23 +0200 | <ski> | ((lambda (lambda) `(,lambda ',lambda)) '(lambda (lambda) `(,lambda ',lambda))) |
| 2025-05-12 06:24:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-05-12 06:19:33 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-12 06:19:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-12 06:18:24 +0200 | <ski> | (Löb's paradox has an extra "provable" modality indirection, though .. `loeb : [] ([] a -> a) -> [] a' .. but if you ignore that, it's basically `fix') |
| 2025-05-12 06:17:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-12 06:17:06 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-12 06:16:59 +0200 | <ski> | using iso-recursive types, rather than equi-recursive |
| 2025-05-12 06:16:41 +0200 | <EvanR> | got it |
| 2025-05-12 06:16:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-12 06:15:09 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-12 06:14:33 +0200 | <ski> | (percent-encoded in this case. however, <https://en.wikipedia.org/wiki/Curry's_paradox> also works) |
| 2025-05-12 06:13:55 +0200 | <ski> | "o" with diaresis |
| 2025-05-12 06:13:47 +0200 | <ski> | it's an "ö" |
| 2025-05-12 06:13:31 +0200 | <EvanR> | what is the character between L and b my client exploded |
| 2025-05-12 06:13:06 +0200 | <ski> | using type-level recursion, rather than value-level recursion, yes |
| 2025-05-12 06:12:51 +0200 | ski | . o O ( <https://en.wikipedia.org/wiki/L%C3%B6b's_paradox> ) |
| 2025-05-12 06:12:27 +0200 | <EvanR> | oh it's the Y combinator smuggled into haskell |