💻 CS

computer science, automata, theory, computation

Verification power of rational-valued automata with deterministic and affine states
arxiv.org·7h
🔍Formal Verification
The Center for Human-Compatible Artificial Intelligence Is Hiring
humancompatible.ai·1d·
Discuss: Hacker News
📚Automata Learning
Context Pruning in Conversational Agent
poonai.xyz·52m·
Discuss: Hacker News
✓Automated Theorem Proving
Was Action! The Best 8-Bit Language?
hackaday.com·9h
💾Retro Computing
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
C and C++: The Hidden Power Behind Modern Programming
github.com·2d·
Discuss: r/programming
🔤DSLs
Visualising Topology Inspired Computing Algorithms
antifold.com·14h·
Discuss: Hacker News
🧩Separation Logic
AI Safety Law-a-thon: We need more technical AI Safety researchers to join!
lesswrong.com·1h
🎮Verification Games
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·2d·
Discuss: r/LocalLLaMA
🐫OCaml
The Little Book of Everything
github.com·1d·
Discuss: Hacker News
➡️Category Theory
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·13h·
Discuss: Hacker News
⚙️PL Implementation
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Fundamentals of Wireless Communication
web.stanford.edu·2d·
Discuss: Hacker News
📡Network Protocol Design
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·18h·
Discuss: r/programming
📊Runtime Verification
Rich Answered That
gist.github.com·19h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
The Engine to No Engine Journey
md.jtmn.dev·7h·
Discuss: Hacker News
🐫Embedded OCaml
AI Agents and Their Life Cycle: What You Should Know
thenewstack.io·20h
🩹Self-Healing Systems
Agentic AI Runs on Tools
simplicityissota.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
Holding It Together
onelook.com·11h·
Discuss: Hacker News
📝Term Rewriting