💻 CS

computer science, automata, theory, computation

The Center for Human-Compatible Artificial Intelligence Is Hiring
humancompatible.ai·15h·
Discuss: Hacker News
📚Automata Learning
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·1d
🐫OCaml
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·1d·
Discuss: r/programming
🔤DSLs
Compiling a Functional Language to LLVM
danieljharvey.github.io·15h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·24m·
Discuss: Hacker News
⚙️PL Implementation
Visualising Topology Inspired Computing Algorithms
antifold.com·1h·
Discuss: Hacker News
🧩Separation Logic
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·7h
🧠Automated Reasoning
The Little Book of Everything
github.com·1d·
Discuss: Hacker News
➡️Category Theory
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·11h·
Discuss: Hacker News
🐫Embedded OCaml
Fundamentals of Wireless Communication
web.stanford.edu·1d·
Discuss: Hacker News
📡Network Protocol Design
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·5h·
Discuss: r/programming
📊Runtime Verification
Agentic AI Runs on Tools
simplicityissota.substack.com·21h·
Discuss: Substack
✓Automated Theorem Proving
Rich Answered That
gist.github.com·6h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com·4h·
Discuss: Hacker News
📚Automata Learning
The bloat of edge-case first libraries
43081j.com·1h·
Discuss: Lobsters, Hacker News
💎Refinement Types
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·2h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
An Introduction to XForms
xml.com·8h·
Discuss: Hacker News
⚙️PL Implementation
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
Demystifying Tensor Parallelism
robotchinwag.com·1d·
Discuss: Hacker News
🧩Separation Logic