2026/02/01

2026-02-01 00:00:06 +0000 <monochrom> s/STG/STG machine/
2026-02-01 00:01:09 +0000 <EvanR> implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
2026-02-01 00:01:15 +0000 <EvanR> SPJ 1992
2026-02-01 00:01:42 +0000 <EvanR> maybe this is an "updated" version...
2026-02-01 00:04:12 +0000 <EvanR> anywho
2026-02-01 00:04:41 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-01 00:05:58 +0000qqq(~qqq@185.54.21.105) (Ping timeout: 246 seconds)
2026-02-01 00:08:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 00:09:19 +0000 <EvanR> https://i.imgur.com/cwLtXAK.png xD
2026-02-01 00:09:49 +0000 <monochrom> Where did that come from?
2026-02-01 00:12:18 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-01 00:12:32 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 00:13:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 00:24:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 00:32:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 00:44:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 00:47:37 +0000 <EvanR> table of contents of the above paper
2026-02-01 00:49:44 +0000tromp(~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b)
2026-02-01 00:49:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-01 00:50:11 +0000tromp(~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b) (Client Quit)
2026-02-01 01:00:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 01:05:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-01 01:12:19 +0000otto_s(~user@p5de2faed.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2026-02-01 01:12:48 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-01 01:13:47 +0000otto_s(~user@p4ff27f14.dip0.t-ipconnect.de)
2026-02-01 01:16:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 01:19:57 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2026-02-01 01:21:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-01 01:24:58 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2026-02-01 01:28:04 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-01 01:30:10 +0000Tuplanolla(~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.)
2026-02-01 01:32:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 01:32:43 +0000Putonlalla(~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 264 seconds)
2026-02-01 01:33:15 +0000omidmash3(~omidmash@user/omidmash) omidmash
2026-02-01 01:34:13 +0000trickard_trickard
2026-02-01 01:35:13 +0000omidmash(~omidmash@user/omidmash) (Ping timeout: 246 seconds)
2026-02-01 01:35:13 +0000omidmash3omidmash
2026-02-01 01:36:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 01:47:43 +0000Putonlalla(~Putonlall@it-cyan.it.jyu.fi) Tuplanolla
2026-02-01 01:48:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 01:50:20 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-01 01:52:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 01:55:02 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2026-02-01 01:55:19 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2026-02-01 01:55:38 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 01:56:18 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-01 01:58:25 +0000trickard_trickard
2026-02-01 02:04:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 02:08:17 +0000Nosrep(~jimothy@user/nosrep) Nosrep
2026-02-01 02:10:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-02-01 02:20:58 +0000mhatta(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2026-02-01 02:22:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 02:27:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-01 02:34:10 +0000XZDX(~xzdx@2601:404:ce00:b795:214:51ff:fe83:9855) (Changing host)
2026-02-01 02:34:10 +0000XZDX(~xzdx@user/XZDX) XZDX
2026-02-01 02:37:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 02:44:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-01 02:53:56 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-01 02:54:08 +0000peterbecich(~Thunderbi@71.84.33.135) (Quit: peterbecich)
2026-02-01 02:54:09 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 02:54:24 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-01 02:54:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 02:58:49 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2026-02-01 03:00:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-01 03:05:03 +0000op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2026-02-01 03:05:06 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 03:05:35 +0000op_4(~tslil@user/op-4/x-9116473) op_4
2026-02-01 03:08:07 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds)
2026-02-01 03:10:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 03:15:17 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-01 03:15:56 +0000omidmash(~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
2026-02-01 03:19:44 +0000omidmash(~omidmash@user/omidmash) omidmash
2026-02-01 03:26:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 03:31:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-02-01 03:41:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 03:45:49 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2026-02-01 03:46:06 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 03:47:09 +0000trickard_trickard
2026-02-01 03:48:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-01 03:52:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 03:54:36 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2026-02-01 03:57:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-01 04:07:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 04:10:48 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2026-02-01 04:11:48 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-01 04:47:59 +0000wickedjargon(~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) wickedjargon
2026-02-01 05:02:43 +0000pabs3(~pabs3@user/pabs3) (Ping timeout: 264 seconds)
2026-02-01 05:05:57 +0000pabs3(~pabs3@user/pabs3) pabs3
2026-02-01 05:07:12 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2026-02-01 05:07:37 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-01 05:35:01 +0000wickedjargon(~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) (Remote host closed the connection)
2026-02-01 05:39:19 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2026-02-01 05:39:37 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 05:46:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-01 05:53:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 05:53:26 +0000wickedjargon(~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) wickedjargon
2026-02-01 05:56:41 +0000 <probie> Hasn't "STG" in current GHC diverged quite substantially from the original paper?
2026-02-01 05:57:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 05:58:28 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 265 seconds)
2026-02-01 06:00:28 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-01 06:01:26 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-02-01 06:01:29 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds)
2026-02-01 06:02:37 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-02-01 06:03:54 +0000hakutaku(~textual@chen.yukari.eu.org) (Quit: Textual IRC Client: www.textualapp.com)
2026-02-01 06:06:21 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-01 06:08:52 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 06:10:00 +0000raym(~ray@user/raym) (Quit: leaving)
2026-02-01 06:11:20 +0000 <jreicher> EvanR: do you mean something like joy? (and other concatenative languages)
2026-02-01 06:11:45 +0000 <jreicher> factor also
2026-02-01 06:14:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 06:14:19 +0000 <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 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-02-01 06:24:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 06:29:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-01 06:40:41 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 06:45:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 06:47:46 +0000Square2(~Square@user/square) (Ping timeout: 265 seconds)
2026-02-01 06:54:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 06:57:29 +0000kupi(uid212005@id-212005.hampstead.irccloud.com) kupi
2026-02-01 06:58:16 +0000Nosrep(~jimothy@user/nosrep) (Ping timeout: 246 seconds)
2026-02-01 07:01:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-01 07:06:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 07:07:08 +0000prdak(~Thunderbi@user/prdak) prdak
2026-02-01 07:07:52 +0000prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-01 07:07:58 +0000prdak1(~Thunderbi@user/prdak) prdak
2026-02-01 07:07:58 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-01 07:08:12 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 07:11:23 +0000prdak(~Thunderbi@user/prdak) prdak
2026-02-01 07:11:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-01 07:12:02 +0000prdak1(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-01 07:22:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 07:27:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-01 07:36:06 +0000hakutaku(~textual@chen.yukari.eu.org)
2026-02-01 07:38:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 07:44:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-01 07:54:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 07:58:28 +0000tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 246 seconds)
2026-02-01 07:59:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 08:00:07 +0000tt1231607(~tt1231@75.185.104.199) (Quit: The Lounge - https://thelounge.chat)
2026-02-01 08:05:16 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-01 08:05:36 +0000tt12316070(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231
2026-02-01 08:06:37 +0000trickard_trickard
2026-02-01 08:08:53 +0000tromp(~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b)
2026-02-01 08:09:40 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds)
2026-02-01 08:11:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 08:11:15 +0000tomboy64(~tomboy64@user/tomboy64) tomboy64
2026-02-01 08:14:46 +0000wickedjargon(~user@2605:8d80:5431:63c4:4e39:4b29:e5b5:c0a2) (Ping timeout: 265 seconds)
2026-02-01 08:15:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-02-01 08:25:14 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 256 seconds)
2026-02-01 08:27:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 08:28:15 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
2026-02-01 08:29:42 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-02-01 08:32:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 08:43:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 08:44:35 +0000infinity0(~infinity0@pwned.gg) infinity0
2026-02-01 08:50:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-01 08:55:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 08:58:56 +0000skum(~skum@user/skum) (Quit: WeeChat 4.8.1)
2026-02-01 08:59:11 +0000tydes(~tydes@user/ttydes) ttydes
2026-02-01 09:01:16 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-01 09:01:20 +0000jreicher(~joelr@user/jreicher) (Ping timeout: 240 seconds)
2026-02-01 09:03:44 +0000Enrico63(~Enrico63@148.252.128.12) Enrico63
2026-02-01 09:08:33 +0000jreicher(~joelr@user/jreicher) jreicher
2026-02-01 09:12:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 09:12:16 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-01 09:13:46 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2026-02-01 09:16:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 09:22:31 +0000Enrico63(~Enrico63@148.252.128.12) (Quit: Client closed)
2026-02-01 09:25:35 +0000arthurvlearthy
2026-02-01 09:27:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 09:32:52 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-01 09:36:16 +0000karenw(~karenw@user/karenw) karenw
2026-02-01 09:39:27 +0000AlexNoo_(~AlexNoo@178.34.150.239)
2026-02-01 09:41:01 +0000AlexZenon(~alzenon@178.34.150.127) (Ping timeout: 246 seconds)
2026-02-01 09:41:04 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-02-01 09:43:13 +0000AlexNoo(~AlexNoo@178.34.150.127) (Ping timeout: 264 seconds)
2026-02-01 09:43:28 +0000karenw(~karenw@user/karenw) (Remote host closed the connection)
2026-02-01 09:43:39 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 09:45:09 +0000AlexZenon(~alzenon@178.34.150.239)
2026-02-01 09:45:46 +0000karenw(~karenw@user/karenw) karenw
2026-02-01 09:46:40 +0000tromp(~textual@2001:1c00:3487:1b00:60b8:ee29:59d3:b6b) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-01 09:48:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-01 09:56:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 09:58:27 +0000tromp(~textual@2001:1c00:3487:1b00:a0ff:1255:6bf6:8454)
2026-02-01 10:02:22 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds)
2026-02-01 10:02:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-01 10:05:02 +0000Tuplanolla(~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla
2026-02-01 10:09:08 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2026-02-01 10:13:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 10:17:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 10:28:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 10:32:50 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-02-01 10:33:02 +0000karenw(~karenw@user/karenw) karenw
2026-02-01 10:35:16 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-02-01 10:36:41 +0000ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2026-02-01 10:37:00 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-01 10:41:59 +0000 <tomsmeding> EvanR: your language suggestion makes me think of https://esolangs.org/wiki////
2026-02-01 10:46:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 10:47:43 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-02-01 10:48:54 +0000karenw(~karenw@user/karenw) karenw
2026-02-01 10:51:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 10:57:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 10:58:29 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-02-01 11:03:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-01 11:03:36 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-02-01 11:04:03 +0000__monty__(~toonn@user/toonn) toonn
2026-02-01 11:06:58 +0000karenw(~karenw@user/karenw) karenw
2026-02-01 11:13:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 11:14:48 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-01 11:15:02 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 11:18:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-01 11:18:53 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-01 11:21:40 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-02-01 11:22:37 +0000karenw(~karenw@user/karenw) karenw
2026-02-01 11:28:09 +0000img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-01 11:29:24 +0000img(~img@user/img) img
2026-02-01 11:29:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 11:31:30 +0000nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2026-02-01 11:34:52 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-01 11:37:19 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-02-01 11:45:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 11:49:07 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2026-02-01 11:49:25 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 11:50:42 +0000nek0(~nek0@user/nek0) nek0
2026-02-01 11:51:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 11:53:12 +0000_JusSx_(~jussx@78.211.82.206) (Ping timeout: 256 seconds)
2026-02-01 11:54:38 +0000_JusSx_(~jussx@78.212.244.146)
2026-02-01 11:58:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 11:59:27 +0000Enrico63(~Enrico63@148.252.128.12) Enrico63
2026-02-01 12:00:01 +0000karenw(~karenw@user/karenw) karenw
2026-02-01 12:04:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 12:14:05 +0000prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-01 12:14:10 +0000prdak1(~Thunderbi@user/prdak) prdak
2026-02-01 12:14:43 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-02-01 12:15:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 12:16:28 +0000prdak1prdak
2026-02-01 12:17:07 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-02-01 12:17:55 +0000prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-01 12:18:00 +0000prdak1(~Thunderbi@user/prdak) prdak
2026-02-01 12:20:20 +0000prdak1prdak
2026-02-01 12:21:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 12:24:52 +0000karenw(~karenw@user/karenw) karenw
2026-02-01 12:28:14 +0000prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-01 12:28:20 +0000prdak1(~Thunderbi@user/prdak) prdak
2026-02-01 12:29:57 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-02-01 12:30:38 +0000prdak1prdak
2026-02-01 12:31:07 +0000tromp(~textual@2001:1c00:3487:1b00:a0ff:1255:6bf6:8454) (Read error: Connection reset by peer)
2026-02-01 12:33:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 12:37:03 +0000Googulator39Googulator
2026-02-01 12:39:34 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-02-01 12:41:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 12:44:46 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-02-01 12:45:09 +0000nschoe(~nschoe@2a01:e0a:8e:a190:fb25:893f:f58c:1f19) (Ping timeout: 260 seconds)
2026-02-01 12:48:04 +0000notzmv(~umar@user/notzmv) notzmv
2026-02-01 12:50:51 +0000karenw(~karenw@user/karenw) karenw
2026-02-01 12:51:26 +0000AlexNoo_AlexNoo
2026-02-01 12:52:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 12:52:23 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2)
2026-02-01 12:54:22 +0000Digit(~user@user/digit) (Ping timeout: 255 seconds)
2026-02-01 12:54:24 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-02-01 12:54:27 +0000Digitteknohippie(~user@user/digit) Digit
2026-02-01 12:55:40 +0000Enrico63(~Enrico63@148.252.128.12) (Quit: Client closed)
2026-02-01 12:57:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-01 12:59:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 13:05:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-01 13:05:33 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-02-01 13:13:46 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2026-02-01 13:15:56 +0000karenw(~karenw@user/karenw) karenw
2026-02-01 13:15:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 13:16:08 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2026-02-01 13:18:30 +0000DigitteknohippieDigit
2026-02-01 13:21:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-01 13:30:38 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-02-01 13:31:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 13:31:48 +0000hakutaku(~textual@chen.yukari.eu.org) (Ping timeout: 256 seconds)
2026-02-01 13:36:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-01 13:37:40 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-01 13:37:54 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 13:38:06 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-01 13:43:26 +0000wickedjargon(~user@2605:8d80:5430:e1a9:79bb:ffde:6461:47fd) wickedjargon
2026-02-01 13:47:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 13:50:57 +0000spew(~spew@user/spew) spew
2026-02-01 13:52:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 13:56:26 +0000trickard_trickard
2026-02-01 14:00:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 14:07:32 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-02-01 14:07:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 14:13:28 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-02-01 14:14:15 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-02-01 14:18:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 14:23:37 +0000img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-01 14:23:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-02-01 14:24:46 +0000nschoe(~nschoe@2a01:e0a:8e:a190:9ee1:e472:fae2:1b2f) nschoe
2026-02-01 14:24:50 +0000img(~img@user/img) img
2026-02-01 14:26:25 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2026-02-01 14:33:29 +0000FirefoxDeHuk(~FirefoxDe@user/FirefoxDeHuk) FirefoxDeHuk
2026-02-01 14:34:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 14:39:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-01 14:50:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 14:51:29 +0000ignorand(~nodrink@2a02:a020:3c2:f38e:279e:1fc3:8301:133b)
2026-02-01 14:51:37 +0000haritz(~hrtz@140.228.70.141)
2026-02-01 14:51:37 +0000haritz(~hrtz@140.228.70.141) (Changing host)
2026-02-01 14:51:37 +0000haritz(~hrtz@user/haritz) haritz
2026-02-01 14:51:41 +0000prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-01 14:52:53 +0000prdak(~Thunderbi@user/prdak) prdak
2026-02-01 14:53:07 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-02-01 14:55:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 14:57:53 +0000ignorand(~nodrink@2a02:a020:3c2:f38e:279e:1fc3:8301:133b) ()
2026-02-01 14:59:00 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-01 15:00:06 +0000ignorand(~nodrink@2a02:a020:3c2:f38e:279e:1fc3:8301:133b)
2026-02-01 15:01:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 15:04:59 +0000ignorand(~nodrink@2a02:a020:3c2:f38e:279e:1fc3:8301:133b) (Client Quit)
2026-02-01 15:07:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-01 15:08:02 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-02-01 15:08:23 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-01 15:12:32 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2026-02-01 15:14:11 +0000FirefoxDeHuk(~FirefoxDe@user/FirefoxDeHuk) (Quit: Client closed)
2026-02-01 15:17:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 15:24:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 15:28:36 +0000Nosrep(~jimothy@user/nosrep) Nosrep
2026-02-01 15:29:54 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-01 15:30:33 +0000Sinko_Nya(~Sinko_Nya@85.198.134.23)
2026-02-01 15:30:43 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2026-02-01 15:31:08 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-02-01 15:31:51 +0000Sinko_Nya(~Sinko_Nya@85.198.134.23) (Client Quit)
2026-02-01 15:34:07 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2026-02-01 15:35:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 15:42:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 15:51:00 +0000skum(~skum@user/skum) skum
2026-02-01 15:51:03 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-01 15:52:50 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2026-02-01 15:53:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 15:58:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-02-01 16:02:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 16:03:13 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-02-01 16:07:34 +0000Putonlalla(~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 260 seconds)
2026-02-01 16:07:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-01 16:17:57 +0000Angelz(Angelz@Angelz.oddprotocol.org)
2026-02-01 16:18:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 16:19:45 +0000spew(~spew@user/spew) (Quit: nyaa~)
2026-02-01 16:19:56 +0000op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2026-02-01 16:20:31 +0000op_4(~tslil@user/op-4/x-9116473) op_4
2026-02-01 16:23:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-01 16:25:12 +0000jmcantrell_jmcantrell
2026-02-01 16:34:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 16:39:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 16:50:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 16:55:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-01 16:55:14 +0000wickedjargon(~user@2605:8d80:5430:e1a9:79bb:ffde:6461:47fd) (Ping timeout: 256 seconds)
2026-02-01 16:57:02 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds)
2026-02-01 17:02:21 +0000bggd_(~bgg@2a01:e0a:fd5:f510:6908:8fd3:7c1f:8dc7) (Remote host closed the connection)
2026-02-01 17:03:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 17:04:07 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 255 seconds)
2026-02-01 17:08:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 17:09:01 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 264 seconds)
2026-02-01 17:19:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 17:24:30 +0000infinity0(~infinity0@pwned.gg) infinity0
2026-02-01 17:26:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-01 17:31:54 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-01 17:32:08 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 17:34:24 +0000 <EvanR> tomsmeding, I was just looking through this wiki right before you said that... kind of hard to find good stuff when everything is a brainfuck clone, which I not realize is itself a clone of P''
2026-02-01 17:34:35 +0000 <EvanR> now*
2026-02-01 17:36:35 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-02-01 17:37:14 +0000kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2026-02-01 17:38:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 17:38:32 +0000 <EvanR> one good thing it has are example program ideas
2026-02-01 17:43:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-01 17:50:57 +0000tromp(~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56)
2026-02-01 17:53:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 17:58:22 +0000Square2(~Square@user/square) Square
2026-02-01 17:58:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-01 18:04:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 18:05:17 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-02-01 18:05:42 +0000tromp(~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-01 18:06:41 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-02-01 18:07:00 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-02-01 18:09:43 +0000 <tomsmeding> EvanR: yeah that site has varying quality, but there are gems in there
2026-02-01 18:10:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 18:12:41 +0000prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-02-01 18:12:56 +0000prdak(~Thunderbi@user/prdak) prdak
2026-02-01 18:13:39 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-02-01 18:13:58 +0000divlamir(~divlamir@user/divlamir) divlamir
2026-02-01 18:17:25 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 264 seconds)
2026-02-01 18:19:01 +0000 <EvanR> so slash slash slash is turing complete... somehow
2026-02-01 18:19:19 +0000 <EvanR> eventhough it seems similar to the CFL stack + transition table
2026-02-01 18:19:48 +0000 <EvanR> in this case, no table, the substitution is given by the stuff on top of the stack...
2026-02-01 18:20:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 18:25:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 18:27:04 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2026-02-01 18:27:56 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-01 18:28:30 +0000tromp(~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56)
2026-02-01 18:29:20 +0000hellwolf(~user@eddf-7eb4-816a-bf6b-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2026-02-01 18:32:28 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2026-02-01 18:34:28 +0000halloy6858(~halloy685@57-134-39-54.resi.cgocable.ca)
2026-02-01 18:36:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 18:40:59 +0000prdak(~Thunderbi@user/prdak) prdak
2026-02-01 18:42:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-01 18:44:38 +0000philderbeast(~philderbe@57-134-39-54.resi.cgocable.ca)
2026-02-01 18:45:16 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 246 seconds)
2026-02-01 18:46:14 +0000philderbeast(~philderbe@57-134-39-54.resi.cgocable.ca) (Client Quit)
2026-02-01 18:48:26 +0000rainbyte(~rainbyte@186.22.19.214) rainbyte
2026-02-01 18:52:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 18:57:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-01 19:01:38 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-02-01 19:01:49 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-02-01 19:05:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 19:10:06 +0000 <monochrom> Not necessarily the top. Substitution can search arbitrarily far down for the first match.
2026-02-01 19:11:07 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2026-02-01 19:13:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 19:19:49 +0000 <monochrom> I also think, instead of no table, it has a table that keeps changing. The pattern is analogous to the table, but the replacement can cause generating a new /.../.../... that has a new pattern.
2026-02-01 19:23:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 19:28:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 19:35:20 +0000 <tomsmeding> yes, and also note that the pattern has arbitrary length
2026-02-01 19:36:22 +0000Digit(~user@user/digit) (Ping timeout: 246 seconds)
2026-02-01 19:36:42 +0000Digitteknohippie(~user@user/digit) Digit
2026-02-01 19:39:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 19:42:32 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2026-02-01 19:42:44 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-02-01 19:44:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-02-01 19:45:34 +0000Lord_of_Life_Lord_of_Life
2026-02-01 19:55:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 19:56:12 +0000Guest96(~Guest96@184.83.220.139)
2026-02-01 20:00:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 20:01:48 +0000 <EvanR> *contemplates the full extent of the consequences of "a changing table"*
2026-02-01 20:06:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 20:07:13 +0000prdak(~Thunderbi@user/prdak) prdak
2026-02-01 20:08:22 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2026-02-01 20:12:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-01 20:14:09 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 244 seconds)
2026-02-01 20:17:05 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-01 20:17:19 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 20:22:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 20:27:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 20:28:35 +0000 <monochrom> aka "self-modifying program" >:)
2026-02-01 20:29:23 +0000 <geekosaur> aka how (original) vi could implement a turing machine?
2026-02-01 20:29:54 +0000 <geekosaur> (you don't get much more self-modifying than text in an editor which can invoke itself as "code")
2026-02-01 20:30:40 +0000 <monochrom> That feels like I could say "vi is the OG IDE" :)
2026-02-01 20:33:08 +0000 <[exa]> wait wait
2026-02-01 20:33:11 +0000 <geekosaur> there are certainly people who would agree with you ☺
2026-02-01 20:33:19 +0000 <[exa]> vimscript isn't implemented with recursive regexes?
2026-02-01 20:34:45 +0000 <tomsmeding> I wrote a turing machine simulator in vim normal mode! https://git.tomsmeding.com/vimturing/tree/turing.vim
2026-02-01 20:35:09 +0000 <tomsmeding> I'm too lazy to figure out if this uses anything not in original vi (almost certainly) or whether that's fundamental to the approach or not (probably not)
2026-02-01 20:36:52 +0000 <tomsmeding> (test.txt in the repository is a simple TM that copies a string of a/b characters
2026-02-01 20:36:54 +0000 <tomsmeding> )
2026-02-01 20:38:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 20:40:32 +0000DigitteknohippieDigit
2026-02-01 20:43:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-02-01 20:45:56 +0000 <geekosaur> I'm not sure if the original vi turing machine is still online, since it was originally presented in a usenet post
2026-02-01 20:46:33 +0000 <geekosaur> it used registers and the ability to execute vi commands in registers, including while executing a register
2026-02-01 20:47:04 +0000 <geekosaur> so it constructed the next thing to run in the last line of the file, yanked it into a register, and executed the regisster
2026-02-01 20:47:21 +0000 <tomsmeding> that's essentially what I do too
2026-02-01 20:47:43 +0000 <tomsmeding> instead I put "normal ..." on a line and execute that as an ex command, but same difference
2026-02-01 20:49:07 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-02-01 20:49:17 +0000koz(~koz@121.99.240.58) (Ping timeout: 244 seconds)
2026-02-01 20:53:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 20:56:53 +0000koz(~koz@121.99.240.58)
2026-02-01 21:00:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 21:04:55 +0000dutchie(~dutchie@user/dutchie) (Ping timeout: 245 seconds)
2026-02-01 21:10:56 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2026-02-01 21:11:46 +0000dutchie(~dutchie@user/dutchie) dutchie
2026-02-01 21:13:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 21:13:52 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2026-02-01 21:14:06 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2026-02-01 21:17:52 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-02-01 21:25:13 +0000oats(~oats@user/oats) (Ping timeout: 246 seconds)
2026-02-01 21:25:52 +0000oats(~oats@user/oats) oats
2026-02-01 21:27:06 +0000Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything
2026-02-01 21:29:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 21:33:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-01 21:38:59 +0000img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-01 21:40:13 +0000img(~img@user/img) img
2026-02-01 21:42:54 +0000tromp(~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-01 21:44:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 21:46:27 +0000tromp(~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56)
2026-02-01 21:48:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 21:51:36 +0000koz(~koz@121.99.240.58) (Ping timeout: 265 seconds)
2026-02-01 21:52:18 +0000dutchie(~dutchie@user/dutchie) (Ping timeout: 260 seconds)
2026-02-01 21:54:59 +0000dutchie(~dutchie@user/dutchie) dutchie
2026-02-01 21:58:09 +0000pavonia(~user@user/siracusa) siracusa
2026-02-01 21:59:45 +0000dutchie(~dutchie@user/dutchie) (Read error: Connection reset by peer)
2026-02-01 21:59:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 22:00:12 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-01 22:01:34 +0000dutchie(~dutchie@user/dutchie) dutchie
2026-02-01 22:04:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-02-01 22:11:25 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2026-02-01 22:15:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 22:19:19 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-01 22:19:22 +0000dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2026-02-01 22:19:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 22:19:48 +0000dutchie(~dutchie@user/dutchie) dutchie
2026-02-01 22:25:37 +0000Milan_Vanca(~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2)
2026-02-01 22:30:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 22:31:12 +0000karenw(~karenw@user/karenw) karenw
2026-02-01 22:36:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-01 22:39:39 +0000Guest96(~Guest96@184.83.220.139) (Quit: Client closed)
2026-02-01 22:44:38 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2026-02-01 22:48:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 22:53:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-01 22:54:01 +0000Digitteknohippie(~user@user/digit) Digit
2026-02-01 22:54:30 +0000trickard_trickard
2026-02-01 22:55:10 +0000Digit(~user@user/digit) (Ping timeout: 246 seconds)
2026-02-01 22:58:19 +0000tromp(~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-01 23:03:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 23:08:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-01 23:11:55 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2026-02-01 23:19:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 23:20:14 +0000Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2026-02-01 23:21:32 +0000mange(~mange@user/mange) mange
2026-02-01 23:22:40 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-02-01 23:23:11 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-02-01 23:23:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-01 23:25:19 +0000ags(~ags@p200300dcb736f100c4bc8629e572e5b9.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2026-02-01 23:28:33 +0000img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-01 23:29:46 +0000img(~img@user/img) img
2026-02-01 23:32:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 23:37:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-01 23:43:28 +0000rainbyte(~rainbyte@186.22.19.214) (Ping timeout: 246 seconds)
2026-02-01 23:46:02 +0000spew(~spew@user/spew) spew
2026-02-01 23:48:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-01 23:50:04 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-02-01 23:52:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-01 23:52:29 +0000_JusSx_(~jussx@78.212.244.146) (Ping timeout: 260 seconds)
2026-02-01 23:52:51 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-01 23:54:14 +0000_JusSx_(~jussx@78.213.239.238)