Newest at the top
| 2025-05-15 01:22:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 01:21:18 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1938d92047264b5ff5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-05-15 01:19:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-15 01:19:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-05-15 01:17:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:16:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 01:11:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:10:41 +0200 | bionade24 | (~quassel@2a03:4000:33:45b::1) bionade24 |
| 2025-05-15 01:10:30 +0200 | bionade24 | (~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!) |
| 2025-05-15 01:09:35 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-15 01:09:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2025-05-15 01:08:42 +0200 | <EvanR> | no need for mutation (in the transition table) |
| 2025-05-15 01:08:13 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 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 |