2026/02/01

Newest at the top

2026-02-01 08:22:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 08:12:02 +0100prdak1(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-01 08:11:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-01 08:11:23 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-01 08:08:12 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 08:07:58 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-01 08:07:58 +0100prdak1(~Thunderbi@user/prdak) prdak
2026-02-01 08:07:52 +0100prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-01 08:07:08 +0100prdak(~Thunderbi@user/prdak) prdak
2026-02-01 08:06:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 08:01:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-01 07:58:16 +0100Nosrep(~jimothy@user/nosrep) (Ping timeout: 246 seconds)
2026-02-01 07:57:29 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) kupi
2026-02-01 07:54:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 07:47:46 +0100Square2(~Square@user/square) (Ping timeout: 265 seconds)
2026-02-01 07:45:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 07:40:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 07:29:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-01 07:24:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 07:18:08 +0100takuan(~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 +0100merijn(~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 +0100raym(~ray@user/raym) (Quit: leaving)
2026-02-01 07:08:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 07:06:21 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-01 07:03:54 +0100hakutaku(~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com)
2026-02-01 07:02:37 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-02-01 07:01:29 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds)
2026-02-01 07:01:26 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-02-01 07:00:28 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-01 06:58:28 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 265 seconds)
2026-02-01 06:57:43 +0100merijn(~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 +0100wickedjargon(~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) wickedjargon
2026-02-01 06:53:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 06:46:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-01 06:39:37 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 06:39:19 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2026-02-01 06:35:01 +0100wickedjargon(~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) (Remote host closed the connection)
2026-02-01 06:07:37 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-01 06:07:12 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2026-02-01 06:05:57 +0100pabs3(~pabs3@user/pabs3) pabs3
2026-02-01 06:02:43 +0100pabs3(~pabs3@user/pabs3) (Ping timeout: 264 seconds)
2026-02-01 05:47:59 +0100wickedjargon(~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) wickedjargon
2026-02-01 05:11:48 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-01 05:10:48 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2026-02-01 05:07:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 04:57:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)