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