computer science, automata, theory, computation

Feeds to Scour
SubscribedAll
Scoured 15627 posts in 1.06 s
From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
arxiv.org·14h
🎯Automata theory
Preview
Report Post
How to Write Your Own Programming Language in C#
codemag.com·2d
🔗Concatenative Programming
Preview
Report Post
Group OverviewsAIpien
media.mit.edu·1d
🧭Content Discovery
Preview
Report Post
Building a mini PyTorch in C++ from scratch as a high school student...
dev.to·6h·
Discuss: DEV
🚀SIMD Parsing
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·2h·
Discuss: Hacker News
🤝Unification Algorithms
Preview
Report Post
Algebra Problems of the Day (Algebra Regents, August 2025 Part I)
mrburkemath.blogspot.com·5h·
Discuss: Blogger
📐Linear Algebra
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·7h
📊Static Analysis
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com·2d
🎯Automata theory
Preview
Report Post
Please Please Please Let Me Code How I Want
csmeyer.substack.com·1h·
Discuss: Substack
🦀Rust Macros
Preview
Report Post
Feb 08 2026 : Intro to Soldering Workshop: Make an LED Tile
nycresistor.com·15h
⚙️DIY Electronics
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·7h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Preview
Report Post
The Parable of the Languages (2002)
web.archive.org·1d·
Discuss: Lobsters
💻Programming languages
Preview
Report Post
A functionally reversible probabilistic computing architecture enabled by interactions of current-controlled magnetic devices
arxiv.org·14h
🎞️Tape Combinatorics
Preview
Report Post
vandragt.com·1d
Format Verification
Preview
Report Post
Software as clay on the wheel
dri.es·23h
Proof Automation
Preview
Report Post
Annual Summer School on Mathematical Aspects of Data Science
cstheory-events.org·1d
🧪Data science
Preview
Report Post
Timeline of AI Cinema "Synthia" and its foundational figures by Adel Abdel-Dayem the codifier
future.forem.com·10h·
Discuss: DEV
🌍Cultural Algorithms
Preview
Report Post
The Algebra of Speed: Mathematical Foundations of Computational Performance
ttsugriy.github.io·2d·
Discuss: Hacker News
🎯Performance Proofs
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·4h
🧩WASM Components
Preview
Report Post
Hello World
dev.to·3h·
Discuss: DEV
📜Proof Carrying Code
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help