Logs: liberachat/#haskell
| 2026-02-01 04:11:48 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-02-01 04:47:59 | → | wickedjargon joins (~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) |
| 2026-02-01 05:02:43 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 2026-02-01 05:05:57 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2026-02-01 05:07:12 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-02-01 05:07:37 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-02-01 05:35:01 | × | wickedjargon quits (~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) (Remote host closed the connection) |
| 2026-02-01 05:39:19 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2026-02-01 05:39:37 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 05:46:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 05:53:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 05:53:26 | → | wickedjargon joins (~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) |
| 2026-02-01 05:56:41 | <probie> | Hasn't "STG" in current GHC diverged quite substantially from the original paper? |
| 2026-02-01 05:57:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 05:58:28 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2026-02-01 06:00:28 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-01 06:01:26 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-01 06:01:29 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2026-02-01 06:02:37 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-02-01 06:03:54 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2026-02-01 06:06:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-01 06:08:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 06:10:00 | × | raym quits (~ray@user/raym) (Quit: leaving) |
| 2026-02-01 06:11:20 | <jreicher> | EvanR: do you mean something like joy? (and other concatenative languages) |
| 2026-02-01 06:11:45 | <jreicher> | factor also |
| 2026-02-01 06:14:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 06:14:19 | <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 06:18:08 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-01 06:24:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 06:29:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-01 06:40:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 06:45:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 06:47:46 | × | Square2 quits (~Square@user/square) (Ping timeout: 265 seconds) |
| 2026-02-01 06:54:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 06:57:29 | → | kupi joins (uid212005@id-212005.hampstead.irccloud.com) |
| 2026-02-01 06:58:16 | × | Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 246 seconds) |
| 2026-02-01 07:01:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-01 07:06:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 07:07:08 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-01 07:07:52 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2026-02-01 07:07:58 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 2026-02-01 07:07:58 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-01 07:08:12 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 07:11:23 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-01 07:11:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-01 07:12:02 | × | prdak1 quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2026-02-01 07:22:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 07:27:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-01 07:36:06 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2026-02-01 07:38:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 07:44:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-01 07:54:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 07:58:28 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 246 seconds) |
| 2026-02-01 07:59:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 08:00:07 | × | tt1231607 quits (~tt1231@75.185.104.199) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-01 08:05:16 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-01 08:05:36 | → | tt12316070 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 2026-02-01 08:06:37 | trickard_ | is now known as trickard |
| 2026-02-01 08:08:53 | → | tromp joins (~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b) |
| 2026-02-01 08:09:40 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-02-01 08:11:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 08:11:15 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2026-02-01 08:14:46 | × | wickedjargon quits (~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) (Ping timeout: 265 seconds) |
| 2026-02-01 08:15:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-01 08:25:14 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 256 seconds) |
| 2026-02-01 08:27:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 08:28:15 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-02-01 08:29:42 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-01 08:32:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 08:43:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 08:44:35 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2026-02-01 08:50:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-01 08:55:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 08:58:56 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-02-01 08:59:11 | → | tydes joins (~tydes@user/ttydes) |
| 2026-02-01 09:01:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-01 09:01:20 | × | jreicher quits (~joelr@user/jreicher) (Ping timeout: 240 seconds) |
| 2026-02-01 09:03:44 | → | Enrico63 joins (~Enrico63@148.252.128.12) |
| 2026-02-01 09:08:33 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-02-01 09:12:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 09:12:16 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-02-01 09:13:46 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-01 09:16:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 09:22:31 | × | Enrico63 quits (~Enrico63@148.252.128.12) (Quit: Client closed) |
| 2026-02-01 09:25:35 | arthurvl | is now known as earthy |
| 2026-02-01 09:27:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 09:32:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-01 09:36:16 | → | karenw joins (~karenw@user/karenw) |
| 2026-02-01 09:39:27 | → | AlexNoo_ joins (~AlexNoo@178.34.150.239) |
| 2026-02-01 09:41:01 | × | AlexZenon quits (~alzenon@178.34.150.127) (Ping timeout: 246 seconds) |
| 2026-02-01 09:41:04 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-02-01 09:43:13 | × | AlexNoo quits (~AlexNoo@178.34.150.127) (Ping timeout: 264 seconds) |
| 2026-02-01 09:43:28 | × | karenw quits (~karenw@user/karenw) (Remote host closed the connection) |
| 2026-02-01 09:43:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 09:45:09 | → | AlexZenon joins (~alzenon@178.34.150.239) |
| 2026-02-01 09:45:46 | → | karenw joins (~karenw@user/karenw) |
| 2026-02-01 09:46:40 | × | tromp quits (~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-01 09:48:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-01 09:56:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 09:58:27 | → | tromp joins (~textual@2001:1c00:3487:1b00:a0ff:1255:6bf6:8454) |
All times are in UTC.