| 2026-02-01 00:02:54 +0100 | <yin> | i'm trying to replicate it with no success |
| 2026-02-01 00:03:36 +0100 | <yin> | this was the error: https://paste.jrvieira.com/1769900606689 |
| 2026-02-01 00:05:04 +0100 | <tomsmeding> | yin: perhaps I don't run into this because I don't have snippets in the first place, so I never have completion items with newlines in them? |
| 2026-02-01 00:05:21 +0100 | <tomsmeding> | is there a way to get plain HLS to give me a completion item with newlines? |
| 2026-02-01 00:06:54 +0100 | <yin> | i think i was wrong in suspecting snippets because i still get errors with that source disabled |
| 2026-02-01 00:07:23 +0100 | <yin> | tomsmeding: i don't know |
| 2026-02-01 00:12:58 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-01 00:13:12 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 00:16:38 +0100 | Digitteknohippie | Digit |
| 2026-02-01 00:17:11 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-01 00:25:10 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-01 00:25:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 00:30:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 00:34:51 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-01 00:36:21 +0100 | <EvanR> | we've all seen many weird representations of a running program, turing tapes, graph reductions, lambda terms, whatever... but what about one where you have symbols on a (single) stack. The top symbol is either output to be acknowledged and removed, or the top 1 or more symbols match a pattern in a transition table for what to replace them with |
| 2026-02-01 00:36:43 +0100 | <EvanR> | is this still as general as turing tapes, lambda terms, ... |
| 2026-02-01 00:36:58 +0100 | <humasect> | stacks, fortran / forth ? |
| 2026-02-01 00:37:15 +0100 | <EvanR> | aiui forth has a program as well as a stack |
| 2026-02-01 00:37:20 +0100 | <humasect> | got this attention. new kinds of computation ! |
| 2026-02-01 00:37:23 +0100 | <EvanR> | and auxillary pages to work with |
| 2026-02-01 00:37:32 +0100 | <humasect> | oh yeah |
| 2026-02-01 00:37:39 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:6908:8fd3:7c1f:8dc7) |
| 2026-02-01 00:37:44 +0100 | <humasect> | mEmOrIeEs > |
| 2026-02-01 00:39:53 +0100 | Zemy | (~Zemy@72.178.108.235) (Quit: CoreIRC for Android - www.coreirc.com) |
| 2026-02-01 00:41:12 +0100 | <geekosaur> | forth has at least two stacks, actually |
| 2026-02-01 00:41:21 +0100 | <geekosaur> | (I think later iterations added more) |
| 2026-02-01 00:41:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 00:43:28 +0100 | <EvanR> | single stack with a transition table seems like a context free language parser and so might not be as general as e.g. lambda calculus |
| 2026-02-01 00:46:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 00:48:29 +0100 | <humasect> | No One Knows |
| 2026-02-01 00:52:05 +0100 | <monochrom> | EvanR: The standard implicit assumption is that the alphabet is finite. Then stack+transition = pushdown automata = CFL. But you can regain Turing completeness by an infinite alphabet, e.g., I may think of GHC RTS as a stack machine but I can push arbitrarily large expressions on the stack. |
| 2026-02-01 00:52:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 00:53:27 +0100 | <EvanR> | yeah that's cheating |
| 2026-02-01 00:53:43 +0100 | <EvanR> | so my suspicions were founded |
| 2026-02-01 00:53:45 +0100 | <humasect> | oh no wait |
| 2026-02-01 00:54:10 +0100 | <humasect> | well aleph bet (22/26) just as that base-27 |
| 2026-02-01 00:55:19 +0100 | <humasect> | infinite set... well |
| 2026-02-01 00:55:44 +0100 | <EvanR> | GHC RTS has only 1 stack? |
| 2026-02-01 00:56:02 +0100 | Miroboru | (~myrvoll@188.113.115.67) (Quit: Lost terminal) |
| 2026-02-01 00:56:04 +0100 | <monochrom> | Yeah if we ignore FFI. |
| 2026-02-01 00:56:17 +0100 | <monochrom> | Err, if we ignore FFI and multithreading! |
| 2026-02-01 00:56:21 +0100 | _JusSx_ | (~jussx@78.213.12.210) (Ping timeout: 250 seconds) |
| 2026-02-01 00:56:27 +0100 | <monochrom> | (one stack per thread) |
| 2026-02-01 00:57:16 +0100 | <humasect> | ignore politicks too while we at it |
| 2026-02-01 00:57:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-01 00:58:13 +0100 | _JusSx_ | (~jussx@78.211.82.206) |
| 2026-02-01 00:58:38 +0100 | <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-02-01 00:59:23 +0100 | <monochrom> | STG is defined to have 2 stacks, but they can be merged, as GHC RTS shows. |
| 2026-02-01 01:00:06 +0100 | <monochrom> | s/STG/STG machine/ |
| 2026-02-01 01:01:09 +0100 | <EvanR> | implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine |
| 2026-02-01 01:01:15 +0100 | <EvanR> | SPJ 1992 |
| 2026-02-01 01:01:42 +0100 | <EvanR> | maybe this is an "updated" version... |
| 2026-02-01 01:04:12 +0100 | <EvanR> | anywho |
| 2026-02-01 01:04:41 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-01 01:05:58 +0100 | qqq | (~qqq@185.54.21.105) (Ping timeout: 246 seconds) |
| 2026-02-01 01:08:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 01:09:19 +0100 | <EvanR> | https://i.imgur.com/cwLtXAK.png xD |
| 2026-02-01 01:09:49 +0100 | <monochrom> | Where did that come from? |
| 2026-02-01 01:12:18 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-01 01:12:32 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 01:13:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 01:24:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 01:32:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 01:44:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 01:47:37 +0100 | <EvanR> | table of contents of the above paper |
| 2026-02-01 01:49:44 +0100 | tromp | (~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b) |
| 2026-02-01 01:49:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-01 01:50:11 +0100 | tromp | (~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b) (Client Quit) |
| 2026-02-01 02:00:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 02:05:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-01 02:12:19 +0100 | otto_s | (~user@p5de2faed.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-02-01 02:12:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-01 02:13:47 +0100 | otto_s | (~user@p4ff27f14.dip0.t-ipconnect.de) |
| 2026-02-01 02:16:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 02:19:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-02-01 02:21:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 02:24:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2026-02-01 02:28:04 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-01 02:30:10 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-01 02:32:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 02:32:43 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 264 seconds) |
| 2026-02-01 02:33:15 +0100 | omidmash3 | (~omidmash@user/omidmash) omidmash |
| 2026-02-01 02:34:13 +0100 | trickard_ | trickard |
| 2026-02-01 02:35:13 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2026-02-01 02:35:13 +0100 | omidmash3 | omidmash |
| 2026-02-01 02:36:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 02:47:43 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) Tuplanolla |
| 2026-02-01 02:48:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 02:50:20 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-01 02:52:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 02:55:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-02-01 02:55:19 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2026-02-01 02:55:38 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 02:56:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-01 02:58:25 +0100 | trickard_ | trickard |
| 2026-02-01 03:04:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 03:08:17 +0100 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2026-02-01 03:10:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-01 03:20:58 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2026-02-01 03:22:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 03:27:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-01 03:34:10 +0100 | XZDX | (~xzdx@2601:404:ce00:b795:214:51ff:fe83:9855) (Changing host) |
| 2026-02-01 03:34:10 +0100 | XZDX | (~xzdx@user/XZDX) XZDX |
| 2026-02-01 03:37:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 03:44:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 03:53:56 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-01 03:54:08 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 2026-02-01 03:54:09 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 03:54:24 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-01 03:54:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 03:58:49 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2026-02-01 04:00:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 04:05:03 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-02-01 04:05:06 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 04:05:35 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-02-01 04:08:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-02-01 04:10:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 04:15:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-01 04:15:56 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-01 04:19:44 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-02-01 04:26:11 +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:41:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:46:06 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 04:47:09 +0100 | trickard_ | trickard |
| 2026-02-01 04:48:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 04:52:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 04:54:36 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-01 04:57:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-01 05:07:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 05:10:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-02-01 05:11:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-01 05:47:59 +0100 | wickedjargon | (~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) wickedjargon |
| 2026-02-01 06:02:43 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 2026-02-01 06:05:57 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-02-01 06:07:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-02-01 06:07:37 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 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:39:19 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2026-02-01 06:39:37 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 06:46:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 06:53:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 06:53:26 +0100 | wickedjargon | (~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) wickedjargon |
| 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:57:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
