Explore >> Select a destination


You are here

www.jeremykun.com
| | accodeing.com
3.1 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.
| | a3nm.net
2.5 parsecs away

Travel
| | List of open questions
| | rjlipton.com
2.8 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...
| | robotchinwag.com
31.2 parsecs away

Travel
| Deriving the gradients for the backward pass for matrix multiplication using tensor calculus