Newest at the top
| 2025-05-15 01:04:21 +0200 | <EvanR> | supports a recursive let binding a lambda special case, by creating a closure with itself placed in its own environment |
| 2025-05-15 01:04:17 +0200 | sprotte24 | (~sprotte24@p200300d16f05910054b2a9a5e51db9d5.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-15 01:03:11 +0200 | <EvanR> | to compile a variable, load it from the environment. to compile a non-recursive let, store something in the environment. to compile a lambda, create a closure with body code and the relevant part of current environment. to compile function application, call a closure with its env prepended by arguments |
| 2025-05-15 01:00:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 00:54:57 +0200 | <EvanR> | huzzah the actually working this time abstract machine https://paste.tomsmeding.com/jy4QOplV tested fact(5) using basic version and tail recursive version with accumulating parameter |
| 2025-05-15 00:53:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:44:14 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-15 00:42:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-15 00:42:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 00:42:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-05-15 00:37:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:26:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 00:22:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:20:19 +0200 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-05-15 00:15:16 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-15 00:14:32 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-15 00:13:42 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1938d92047264b5ff5.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 00:13:04 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1938d92047264b5ff5.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-05-15 00:11:28 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-15 00:11:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 00:06:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-14 23:55:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-14 23:54:57 +0200 | <haskellbridge> | <yin> i meant patents but both are true :D |
| 2025-05-14 23:52:47 +0200 | <haskellbridge> | <yin> parents and open source are not mutually exclusive |
| 2025-05-14 23:50:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-14 23:49:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-14 23:47:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-14 23:45:45 +0200 | nckx | (~nckx@libera/staff/owl/nckx) nckx |
| 2025-05-14 23:39:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-14 23:34:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-14 23:26:33 +0200 | <EvanR> | but apparently software patents defy all logic so maybe it's compatible after all |
| 2025-05-14 23:25:28 +0200 | <EvanR> | I made them diametrically opposite |
| 2025-05-14 23:25:05 +0200 | <EvanR> | patents advertise something cool that you're not allowed to use, open source is something cool you're allowed to use |
| 2025-05-14 23:24:16 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-14 23:23:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-14 23:22:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-14 23:19:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-14 23:18:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-14 23:18:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-14 23:15:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-14 23:14:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-14 23:14:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-14 23:13:33 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-05-14 23:13:15 +0200 | tjbc | (~tjbc@user/fliife) fliife |
| 2025-05-14 23:11:36 +0200 | tjbc_ | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2025-05-14 23:08:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-14 23:06:57 +0200 | nckx | (~nckx@libera/staff/owl/nckx) (Ping timeout: 252 seconds) |
| 2025-05-14 23:03:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-14 23:01:59 +0200 | califax_ | califax |
| 2025-05-14 23:01:10 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 265 seconds) |