💻 CS

computer science, automata, theory, computation

Yet Another TypeSafe and Generic Programming Candidate for C
github.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·4d·
Discuss: Hacker News
📚Automata Learning
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·11h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Sphinx – the Jupyter-native AI copilot for data scientists
sphinx.ai·21h·
Discuss: Hacker News
🧠Automated Reasoning
Free sudoku game with evil, and extreme killer difficulty levels
minisudoku.online·10h·
Discuss: Hacker News
🎮Verification Games
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·2d
🐫OCaml
Outcome-based Exploration for LLM Reasoning
arxiv.org·1d·
Discuss: Hacker News
📚Automata Learning
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·20h
🧠Automated Reasoning
Logic Theorist
en.wikipedia.org·4d·
Discuss: Hacker News
🧠Automated Reasoning
Jobs to Be Done
subpixel.space·11h·
Discuss: Hacker News
🩹Self-Healing Systems
Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·3d·
Discuss: Hacker News, r/programming
🔄Finite State Machines
Algebraic Effects in Practice with Flix
relax.software·2d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
Built an AI news agent that stops information overload
reckoning.dev·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Writing Code Is Easy. Reading It Isn't
idiallo.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
I built a cycle-accurate SAP-3 8-bit CPU emulator in TypeScript with real-time visualization
sap-3.com·2d·
Discuss: r/programming
💾Retro Computing
Deploying AI to the Balkans
hapseer.com·21h·
Discuss: Hacker News
🩹Self-Healing Systems
Neural Logic Gates
blog.typeobject.com·2d·
Discuss: Hacker News
🧩Separation Logic
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·19h·
Discuss: r/programming
🌐NetworkProtocols
Strange Attractors
blog.shashanktomar.com·17h·
Discuss: Hacker News
🩹Self-Healing Systems
Category Theory is Being Co-opted
estebanandthecollective.substack.com·2d·
Discuss: Substack
➡️Category Theory