Explore >> Select a destination


You are here

jeremykun.wordpress.com
| | rjlipton.com
3.5 parsecs away

Travel
| | Another proof idea using finite automata Steve Cook proved three landmark theorems with 1971 dates. The first has been called a "surprising theorem": that any deterministic pushdown automaton with two-way input tape can be simulated in linear time by a random-access machine. This implies that string matching can be done in linear time, which inspired...
| | accodeing.com
3.8 parsecs away

Travel
| | [AI summary] The article discusses the debate around whether CSS3 is Turing complete, focusing on Eli Fox-Epstein's implementation of a Rule 110 automaton using CSS and HTML. It explains the theoretical concepts of Turing completeness, the limitations of real-world implementations, and the implications of such a claim. The author concludes that CSS appears to be Turing complete, though the discussion highlights the complexities and controversies surrounding this assertion.
| | deniskyashif.com
2.9 parsecs away

Travel
| | In this article we learn how to implement a simple and efficient regular expression engine following the Thompson's construction algorithm.
| | www.diegofreijo.com
21.2 parsecs away

Travel
| I made a Rust implementation of the Lox programming language introduced by the Crafting Interpreters book.