💻 CS

computer science, automata, theory, computation

Engineering wisdom from a year of Talking Postgres
techcommunity.microsoft.com·1d·
Discuss: Hacker News
🎮Verification Games
Cresting the 0Caml Al Humps
anil.recoil.org·5d·
Discuss: Hacker News
🐫Embedded OCaml
OpenAI's New CEO of Applications Strikes Hyper-Optimistic Tone in First Memo to Staff
wired.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Amazon Q: Now with Helpful AI-Powered Self-Destruct Capabilities
lastweekinaws.com·9h·
Discuss: Hacker News
🛡️seL4
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·6d·
Discuss: Hacker News
🔤DSLs
API tests as the single source of truth for docs, SDKs, and AI agents
scheduleddowntime.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Landmark Langlands Proof Advances Grand Unified Theory of Math
scientificamerican.com·2d·
Discuss: Hacker News
➡️Category Theory
Display Next Hackfest 2025
zamundaaa.github.io·1d·
Discuss: Lobsters, Hacker News, r/linux
⚙️Operating System Design
How to break the 'AI hype cycle'
mitsloan.mit.edu·2d·
Discuss: Hacker News
🐫Embedded OCaml
The dawn of quantum advantage
ibm.com·2d·
Discuss: Hacker News
🏹Effect Systems
Colodebug: A simple way to improve bash script debugging
johannes.truschnigg.info·2d·
Discuss: Hacker News
❄️Nixified Development
EU study on AI and copyright suggests overturning the current opt-out approach
pcgamer.com·2d·
Discuss: Hacker News
🔬Unikernels
Could OpenAI's rumored browser be a Chrome-killer? Here's what I'm expecting
zdnet.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Writing Is Thinking
nature.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
The New Bar for Engineers in 2025: AI-Native or Behind
zachwills.net·3d·
Discuss: Hacker News
🔄Reproducible Builds
Arbitrage Tactics in the Local Markets via Hierarchical Multi-agent Reinforcement Learning
arxiv.org·23h
⚙️PL Implementation
Conformal Data Contamination Tests for Trading or Sharing of Data
arxiv.org·2d
🧪Property-Based Testing
WebAssembly Component Model based REPL /w sandboxed multi-language plugin system
github.com·5d·
Discuss: Hacker News
🛡️seL4
Intuitionistic monotone modal logic via translation
arxiv.org·2d
➡️Category Theory
Cross-modal Causal Intervention for Alzheimer's Disease Prediction
arxiv.org·2d
🏹Effect Systems