Stephen Wolfram, A New Kind of Sciencehttp://bactra.org/reviews/wolfram/
who got his Ph.D. in theoretical physics at a tender age, and then, in the early and mid-1980s, was part of a wave of renewed interest in the subject of cellular automata . The co
SIGPLAN Research Highlights Papershttps://www.sigplan.org/Highlights/Papers/
POPL paper provides a theoretical foundation for dynamic deadlock avoidance in concurrent programs that employ conventional mutual exclusion and synchronization primitives. Beginn
Talkshttps://www.scottaaronson.com/talks/default.html
2025 AI Alignment and Theoretical Computer Science: UK AI Safety Institute Alignment Workshop (via Zoom), October 29, 2025 Computational Complexity and Explanations in Physics : P
Web Surfinghttp://web.cs.wpi.edu/~jshutt/surfing.html
09-Nov-20) Theory Theoretical Computer Science - Stack Exchange (22-Oct-15; 10-Feb-21) AMAST - Algebraic Methodology and Software Technology AMAST (DBLP computer science bibliogra
Sammlung Interessanter Webseitenhttps://wwwcip.informatik.uni-erlangen.de/~oj14ozun/links.html
Building Blocks for Theoretical Computer Science Theoretical Computer Science Cheat Sheet Float Exposed An Introduction to Computer Networks Visualisierungen diverser Themen The A
Research Papers and Surveyshttps://www.scottaaronson.com/papers/
, in Innovations in Theoretical Computer Science (ITCS) 2024, arXiv:2211.00747 . Entanglement is a quantum resource, in some ways analogous to randomness in classical computation.
Regular Expression Matching Can Be Simple And Fasthttps://swtch.com/~rsc/regexp/regexp1.html
dogcat . As far as the theoretical term is concerned, regular expressions with backreferences are not regular expressions. The power that backreferences add comes at great cost: i
The Molecular Repair of the Brainhttp://www.ralphmerkle.com/cryo/techFeas.html
construction was theoretical (existing in a two dimensional cellular automata world), it still embodied many of the critical elements that now appear in the assembler. Further wor
John McCarthyhttp://www-formal.stanford.edu/jmc/
of Experimental and Theoretical Artificial Intelligence devoted to philosophical questions. Robots will need to consider their own choices in a manner similar to that in which a h
Find more...