Newest at the top
| 2025-05-15 09:27:09 +0200 | octorez | (~octorez@194.32.120.60) |
| 2025-05-15 09:18:47 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-15 09:17:22 +0200 | euleritian | (~euleritia@37.4.249.248) |
| 2025-05-15 09:16:51 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-15 09:06:10 +0200 | <EvanR> | will be reading this |
| 2025-05-15 09:05:54 +0200 | <EvanR> | oh nice |
| 2025-05-15 09:04:20 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 09:04:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 09:02:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-15 09:00:47 +0200 | <monochrom> | err this is more direct: https://www.cs.utoronto.ca/~trebla/CSCC24-latest/09-semantics-1.html#letrec |
| 2025-05-15 09:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-15 09:00:29 +0200 | <monochrom> | My https://www.cs.utoronto.ca/~trebla/CSCC24-latest/09-semantics-1.html#rec does that. I think you can translate it to SECD form. |
| 2025-05-15 09:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-15 08:59:38 +0200 | <monochrom> | Err technically not a self-reference. The patch is only good for one level of recursive call. But that's enough because the recursive call has to go through your function application code again where you can patch again for One More Turn. |
| 2025-05-15 08:58:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:54:17 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-15 08:52:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-15 08:51:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:51:32 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-15 08:49:39 +0200 | <monochrom> | EvanR: I know of one more way to support recursive functions. You add one more kind of closures reserved for recursive functions; its environment does not have the self-reference. You add one more case of function application for that new kind of closures, and this is where you patch the environment to add the self-reference. |
| 2025-05-15 08:49:10 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 268 seconds) |
| 2025-05-15 08:48:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 08:46:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:45:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 08:44:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 08:44:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:43:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:36:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:36:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-15 08:33:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:31:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:30:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:28:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-15 08:25:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:23:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-05-15 08:21:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:21:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-15 08:19:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:16:21 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 08:15:59 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 2025-05-15 08:15:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:14:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:13:11 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-05-15 08:13:00 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/aPfSZruSgxsHgviwfxXfMlWR/T7CzxfQNpDA (3 lines) |
| 2025-05-15 08:12:59 +0200 | <haskellbridge> | <hellwolf> https://sayo-hs.github.io/blog/heftia/heftia-part-1-3/ |
| 2025-05-15 08:12:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:12:04 +0200 | <haskellbridge> | <hellwolf> "On the other hand, heftia directly implements categorical foundations described in academic papers. What I did was simply translate the types written in Agda from the papers into Haskell, confirm various isomorphisms through equational reasoning." |
| 2025-05-15 08:11:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:08:02 +0200 | <haskellbridge> | <hellwolf> "Performance always has room for improvement, whereas correctness improvements are often impossible due to foundational interface compatibility. " |
| 2025-05-15 08:05:18 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |