Newest at the top
| 2026-02-01 07:29:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-01 07:24:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 07:18:08 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-01 07:14:19 +0100 | <jreicher> | Also I think the most recent description of the STG machine is still the one in the "how to make a fast curry" paper |
| 2026-02-01 07:14:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 07:11:45 +0100 | <jreicher> | factor also |
| 2026-02-01 07:11:20 +0100 | <jreicher> | EvanR: do you mean something like joy? (and other concatenative languages) |
| 2026-02-01 07:10:00 +0100 | raym | (~ray@user/raym) (Quit: leaving) |
| 2026-02-01 07:08:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 07:06:21 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-01 07:03:54 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2026-02-01 07:02:37 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-01 07:01:29 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2026-02-01 07:01:26 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-01 07:00:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-01 06:58:28 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2026-02-01 06:57:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 06:56:41 +0100 | <probie> | Hasn't "STG" in current GHC diverged quite substantially from the original paper? |
| 2026-02-01 06:53:26 +0100 | wickedjargon | (~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) wickedjargon |
| 2026-02-01 06:53:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 06:46:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 06:39:37 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 06:39:19 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2026-02-01 06:35:01 +0100 | wickedjargon | (~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) (Remote host closed the connection) |
| 2026-02-01 06:07:37 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-01 06:07:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-02-01 06:05:57 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-02-01 06:02:43 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 2026-02-01 05:47:59 +0100 | wickedjargon | (~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) wickedjargon |
| 2026-02-01 05:11:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-01 05:10:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-02-01 05:07:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 04:57:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-01 04:54:36 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-01 04:52:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 04:48:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 04:47:09 +0100 | trickard_ | trickard |
| 2026-02-01 04:46:06 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 04:45:49 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2026-02-01 04:41:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 04:31:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-01 04:26:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 04:19:44 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-02-01 04:15:56 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-01 04:15:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-01 04:10:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 04:08:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-02-01 04:05:35 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-02-01 04:05:06 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 04:05:03 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |