💻 CS

computer science, automata, theory, computation

Logic Theorist
en.wikipedia.org·4d·
Discuss: Hacker News
🧠Automated Reasoning
Idle thoughts about how we replace keyboards
interconnected.org·37m·
Discuss: Hacker News
🍎Apple
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·2h·
Discuss: Hacker News
🏹Effect Systems
Jobs to Be Done
subpixel.space·15h·
Discuss: Hacker News
🩹Self-Healing Systems
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·1d·
Discuss: r/programming
👁️System Observability
Built an AI news agent that stops information overload
reckoning.dev·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
I built a cycle-accurate SAP-3 8-bit CPU emulator in TypeScript with real-time visualization
sap-3.com·3d·
Discuss: r/programming
💾Retro Computing
Deploying AI to the Balkans
hapseer.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Neural Logic Gates
blog.typeobject.com·2d·
Discuss: Hacker News
🧩Separation Logic
Strange Attractors
blog.shashanktomar.com·21h·
Discuss: Hacker News
🩹Self-Healing Systems
Can Your Team Pass the Elevator Test? (2007)
blog.codinghorror.com·5h·
Discuss: Hacker News
🧪Property-Based Testing
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·1d·
Discuss: r/programming
🌐NetworkProtocols
Category Theory is Being Co-opted
estebanandthecollective.substack.com·2d·
Discuss: Substack
➡️Category Theory
This Is the First Time Scientists Have Seen Decisionmaking in a Brain
wired.com·6h·
Discuss: Hacker News
🧩Separation Logic
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·22m·
Discuss: Hacker News
👁️System Observability
Vertex-ordering and arc-partitioning problems
arxiv.org·2d
⚡Process Calculi
Writing Code Is Easy. Reading It Isn't
idiallo.com·2d·
Discuss: Hacker News, r/programming
🔬Static Analysis
The Markov Condition
plato.stanford.edu·1d·
Discuss: Hacker News
🧠Automated Reasoning
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·1d·
Discuss: Hacker News
🔄Reproducible Builds