Logs: liberachat/#haskell
| 2026-02-01 18:19:19 | <EvanR> | eventhough it seems similar to the CFL stack + transition table |
| 2026-02-01 18:19:48 | <EvanR> | in this case, no table, the substitution is given by the stuff on top of the stack... |
| 2026-02-01 18:20:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 18:25:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 18:27:04 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-02-01 18:27:56 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-02-01 18:28:30 | → | tromp joins (~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56) |
| 2026-02-01 18:29:20 | → | hellwolf joins (~user@eddf-7eb4-816a-bf6b-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 2026-02-01 18:32:28 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-01 18:34:28 | → | halloy6858 joins (~halloy685@57-134-39-54.resi.cgocable.ca) |
| 2026-02-01 18:36:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 18:40:59 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-01 18:42:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-01 18:44:38 | → | philderbeast joins (~philderbe@57-134-39-54.resi.cgocable.ca) |
| 2026-02-01 18:45:16 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 2026-02-01 18:46:14 | × | philderbeast quits (~philderbe@57-134-39-54.resi.cgocable.ca) (Client Quit) |
| 2026-02-01 18:48:26 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-02-01 18:52:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 18:57:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-01 19:01:38 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-01 19:01:49 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-02-01 19:05:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 19:10:06 | <monochrom> | Not necessarily the top. Substitution can search arbitrarily far down for the first match. |
| 2026-02-01 19:11:07 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-02-01 19:13:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 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. |
| 2026-02-01 19:23:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 19:28:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 19:35:20 | <tomsmeding> | yes, and also note that the pattern has arbitrary length |
| 2026-02-01 19:36:22 | × | Digit quits (~user@user/digit) (Ping timeout: 246 seconds) |
| 2026-02-01 19:36:42 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-02-01 19:39:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 19:42:32 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2026-02-01 19:42:44 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-02-01 19:44:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-01 19:45:34 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-02-01 19:55:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 19:56:12 | → | Guest96 joins (~Guest96@184.83.220.139) |
| 2026-02-01 20:00:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 20:01:48 | <EvanR> | *contemplates the full extent of the consequences of "a changing table"* |
| 2026-02-01 20:06:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 20:07:13 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-01 20:08:22 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2026-02-01 20:12:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-01 20:14:09 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2026-02-01 20:17:05 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-01 20:17:19 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 20:22:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 20:27:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 20:28:35 | <monochrom> | aka "self-modifying program" >:) |
| 2026-02-01 20:29:23 | <geekosaur> | aka how (original) vi could implement a turing machine? |
| 2026-02-01 20:29:54 | <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 | <monochrom> | That feels like I could say "vi is the OG IDE" :) |
| 2026-02-01 20:33:08 | <[exa]> | wait wait |
| 2026-02-01 20:33:11 | <geekosaur> | there are certainly people who would agree with you ☺ |
| 2026-02-01 20:33:19 | <[exa]> | vimscript isn't implemented with recursive regexes? |
| 2026-02-01 20:34:45 | <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 | <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 | <tomsmeding> | (test.txt in the repository is a simple TM that copies a string of a/b characters |
| 2026-02-01 20:36:54 | <tomsmeding> | ) |
| 2026-02-01 20:38:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 20:40:32 | Digitteknohippie | is now known as Digit |
| 2026-02-01 20:43:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-01 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 |
| 2026-02-01 20:46:33 | <geekosaur> | it used registers and the ability to execute vi commands in registers, including while executing a register |
| 2026-02-01 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 |
| 2026-02-01 20:47:21 | <tomsmeding> | that's essentially what I do too |
| 2026-02-01 20:47:43 | <tomsmeding> | instead I put "normal ..." on a line and execute that as an ex command, but same difference |
| 2026-02-01 20:49:07 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-02-01 20:49:17 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 244 seconds) |
| 2026-02-01 20:53:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 20:56:53 | → | koz joins (~koz@121.99.240.58) |
| 2026-02-01 21:00:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 21:04:55 | × | dutchie quits (~dutchie@user/dutchie) (Ping timeout: 245 seconds) |
| 2026-02-01 21:10:56 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-02-01 21:11:46 | → | dutchie joins (~dutchie@user/dutchie) |
| 2026-02-01 21:13:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 21:13:52 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-01 21:14:06 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 21:17:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-01 21:25:13 | × | oats quits (~oats@user/oats) (Ping timeout: 246 seconds) |
| 2026-02-01 21:25:52 | → | oats joins (~oats@user/oats) |
| 2026-02-01 21:27:06 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 2026-02-01 21:29:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 21:33:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-01 21:38:59 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-01 21:40:13 | → | img joins (~img@user/img) |
| 2026-02-01 21:42:54 | × | tromp quits (~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-01 21:44:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 21:46:27 | → | tromp joins (~textual@2001:1c00:3487:1b00:f98f:1dd0:f6a4:cb56) |
| 2026-02-01 21:48:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 21:51:36 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 265 seconds) |
| 2026-02-01 21:52:18 | × | dutchie quits (~dutchie@user/dutchie) (Ping timeout: 260 seconds) |
| 2026-02-01 21:54:59 | → | dutchie joins (~dutchie@user/dutchie) |
| 2026-02-01 21:58:09 | → | pavonia joins (~user@user/siracusa) |
| 2026-02-01 21:59:45 | × | dutchie quits (~dutchie@user/dutchie) (Read error: Connection reset by peer) |
| 2026-02-01 21:59:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-01 22:00:12 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-01 22:01:34 | → | dutchie joins (~dutchie@user/dutchie) |
| 2026-02-01 22:04:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
All times are in UTC.