Logs: liberachat/#haskell
| 2026-01-31 23:53:27 | <EvanR> | yeah that's cheating |
| 2026-01-31 23:53:43 | <EvanR> | so my suspicions were founded |
| 2026-01-31 23:53:45 | <humasect> | oh no wait |
| 2026-01-31 23:54:10 | <humasect> | well aleph bet (22/26) just as that base-27 |
| 2026-01-31 23:55:19 | <humasect> | infinite set... well |
| 2026-01-31 23:55:44 | <EvanR> | GHC RTS has only 1 stack? |
| 2026-01-31 23:56:02 | × | Miroboru quits (~myrvoll@188.113.115.67) (Quit: Lost terminal) |
| 2026-01-31 23:56:04 | <monochrom> | Yeah if we ignore FFI. |
| 2026-01-31 23:56:17 | <monochrom> | Err, if we ignore FFI and multithreading! |
| 2026-01-31 23:56:21 | × | _JusSx_ quits (~jussx@78.213.12.210) (Ping timeout: 250 seconds) |
| 2026-01-31 23:56:27 | <monochrom> | (one stack per thread) |
| 2026-01-31 23:57:16 | <humasect> | ignore politicks too while we at it |
| 2026-01-31 23:57:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-31 23:58:13 | → | _JusSx_ joins (~jussx@78.211.82.206) |
| 2026-01-31 23:58:38 | <monochrom> | GHC RTS for one thread has 1 stack plus 1 heap. But they work together as this: the stack has pointers to heap objects. So it's like 1 stack but you push arbitrarily large expressions. |
| 2026-01-31 23:59:23 | <monochrom> | STG is defined to have 2 stacks, but they can be merged, as GHC RTS shows. |
| 2026-02-01 00:00:06 | <monochrom> | s/STG/STG machine/ |
| 2026-02-01 00:01:09 | <EvanR> | implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine |
| 2026-02-01 00:01:15 | <EvanR> | SPJ 1992 |
| 2026-02-01 00:01:42 | <EvanR> | maybe this is an "updated" version... |
| 2026-02-01 00:04:12 | <EvanR> | anywho |
| 2026-02-01 00:04:41 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-01 00:05:58 | × | qqq quits (~qqq@185.54.21.105) (Ping timeout: 246 seconds) |
| 2026-02-01 00:08:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 00:09:19 | <EvanR> | https://i.imgur.com/cwLtXAK.png xD |
| 2026-02-01 00:09:49 | <monochrom> | Where did that come from? |
| 2026-02-01 00:12:18 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-01 00:12:32 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 00:13:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 00:24:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 00:32:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 00:44:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 00:47:37 | <EvanR> | table of contents of the above paper |
| 2026-02-01 00:49:44 | → | tromp joins (~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b) |
| 2026-02-01 00:49:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-01 00:50:11 | × | tromp quits (~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b) (Client Quit) |
| 2026-02-01 01:00:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 01:05:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-01 01:12:19 | × | otto_s quits (~user@p5de2faed.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-02-01 01:12:48 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-02-01 01:13:47 | → | otto_s joins (~user@p4ff27f14.dip0.t-ipconnect.de) |
| 2026-02-01 01:16:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 01:19:57 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-02-01 01:21:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 01:24:58 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2026-02-01 01:28:04 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-02-01 01:30:10 | × | Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-01 01:32:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 01:32:43 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 264 seconds) |
| 2026-02-01 01:33:15 | → | omidmash3 joins (~omidmash@user/omidmash) |
| 2026-02-01 01:34:13 | trickard_ | is now known as trickard |
| 2026-02-01 01:35:13 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2026-02-01 01:35:13 | omidmash3 | is now known as omidmash |
| 2026-02-01 01:36:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 01:47:43 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 2026-02-01 01:48:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 01:50:20 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-01 01:52:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 01:55:02 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-02-01 01:55:19 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2026-02-01 01:55:38 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 01:56:18 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-02-01 01:58:25 | trickard_ | is now known as trickard |
| 2026-02-01 02:04:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 02:08:17 | → | Nosrep joins (~jimothy@user/nosrep) |
| 2026-02-01 02:10:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-01 02:20:58 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2026-02-01 02:22:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 02:27:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-01 02:34:10 | × | XZDX quits (~xzdx@2601:404:ce00:b795:214:51ff:fe83:9855) (Changing host) |
| 2026-02-01 02:34:10 | → | XZDX joins (~xzdx@user/XZDX) |
| 2026-02-01 02:37:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 02:44:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 02:53:56 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-01 02:54:08 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 2026-02-01 02:54:09 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 02:54:24 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-01 02:54:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 02:58:49 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2026-02-01 03:00:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 03:05:03 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-02-01 03:05:06 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 03:05:35 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 2026-02-01 03:08:07 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-02-01 03:10:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 03:15:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-01 03:15:56 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-01 03:19:44 | → | omidmash joins (~omidmash@user/omidmash) |
| 2026-02-01 03:26:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 03:31:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-01 03:41:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 03:45:49 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2026-02-01 03:46:06 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 03:47:09 | trickard_ | is now known as trickard |
| 2026-02-01 03:48:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 03:52:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 03:54:36 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2026-02-01 03:57:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-01 04:07:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 04:10:48 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
All times are in UTC.