Newest at the top
| 2026-02-01 21:45:56 +0100 | <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 21:43:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-01 21:40:32 +0100 | Digitteknohippie | Digit |
| 2026-02-01 21:38:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 21:36:54 +0100 | <tomsmeding> | ) |
| 2026-02-01 21:36:52 +0100 | <tomsmeding> | (test.txt in the repository is a simple TM that copies a string of a/b characters |
| 2026-02-01 21:35:09 +0100 | <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 21:34:45 +0100 | <tomsmeding> | I wrote a turing machine simulator in vim normal mode! https://git.tomsmeding.com/vimturing/tree/turing.vim |
| 2026-02-01 21:33:19 +0100 | <[exa]> | vimscript isn't implemented with recursive regexes? |
| 2026-02-01 21:33:11 +0100 | <geekosaur> | there are certainly people who would agree with you ☺ |
| 2026-02-01 21:33:08 +0100 | <[exa]> | wait wait |
| 2026-02-01 21:30:40 +0100 | <monochrom> | That feels like I could say "vi is the OG IDE" :) |
| 2026-02-01 21:29:54 +0100 | <geekosaur> | (you don't get much more self-modifying than text in an editor which can invoke itself as "code") |
| 2026-02-01 21:29:23 +0100 | <geekosaur> | aka how (original) vi could implement a turing machine? |
| 2026-02-01 21:28:35 +0100 | <monochrom> | aka "self-modifying program" >:) |
| 2026-02-01 21:27:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 21:22:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 21:17:19 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2026-02-01 21:17:05 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-01 21:14:09 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2026-02-01 21:12:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-01 21:08:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2026-02-01 21:07:13 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-01 21:06:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 21:01:48 +0100 | <EvanR> | *contemplates the full extent of the consequences of "a changing table"* |
| 2026-02-01 21:00:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 20:56:12 +0100 | Guest96 | (~Guest96@184.83.220.139) |
| 2026-02-01 20:55:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 20:45:34 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-02-01 20:44:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-01 20:42:44 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-01 20:42:32 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2026-02-01 20:39:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 20:36:42 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-02-01 20:36:22 +0100 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2026-02-01 20:35:20 +0100 | <tomsmeding> | yes, and also note that the pattern has arbitrary length |
| 2026-02-01 20:28:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-01 20:23:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 20:19:49 +0100 | <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 20:13:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-01 20:11:07 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-01 20:10:06 +0100 | <monochrom> | Not necessarily the top. Substitution can search arbitrarily far down for the first match. |
| 2026-02-01 20:05:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 20:01:49 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-01 20:01:38 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-01 19:57:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-01 19:52:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-01 19:48:26 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-01 19:46:14 +0100 | philderbeast | (~philderbe@57-134-39-54.resi.cgocable.ca) (Client Quit) |
| 2026-02-01 19:45:16 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |