💻 CS

computer science, automata, theory, computation

San Diego County's Schools Have 27,000 Fewer Students Than a Decade Ago
voiceofsandiego.org·40m·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Staff laid off at King will be replaced by AI tools they helped to create
gamesindustry.biz·3h·
Discuss: Hacker News
🎮Verification Games
Motia – back end framework that unifies APIs, background jobs, and AI Agents
motia.dev·1d·
Discuss: Hacker News
🎮Verification Games
How to Avoid Data Access Bottlenecks When Using Trino
starburst.io·10h·
Discuss: Hacker News
👁️System Observability
Disruption of circadian rhythms on brain function and health
genomicpress.kglmeridian.com·1d·
Discuss: Hacker News
➡️Category Theory
The Order of Things: Why You Can't Have Both Speed and Ordering in Distributed Systems
architecture-weekly.com·1d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Re-implementing the Nix protocol in Rust
tweag.io·1d·
Discuss: Hacker News
❄️Nix
Goldman Sachs doesn’t have to hire a $180,000 software engineer—meet Devin, its new AI-powered worker
fortune.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Install.md (Guides for Coding Agents)
install.md·1d·
Discuss: Hacker News
🔄Reproducible Builds
Are We Entering a First-Order Optimizer Renaissance?
lukemerrick.com·1d·
Discuss: Hacker News
🐫OCaml
The AI That Broke the Internet's Back
medium.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Next Wave
dumindu.github.io·5d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
AlphaVAE: Unified End-to-End RGBA Image Reconstruction and Generation with Alpha-Aware Representation Learning
arxiv.org·1d
➡️Category Theory
Information geometric regularization of the barotropic Euler equation
arxiv.org·1d
🐫OCaml
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·6d
🐫OCaml
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·5d
🔍Formal Verification
SFedKD: Sequential Federated Learning with Discrepancy-Aware Multi-Teacher Knowledge Distillation
arxiv.org·2d
🔄Reproducible Builds
Built my first server out of an old gaming pc. It died, and I need help with a new one
reddit.com·1d·
Discuss: r/homelab
💾Retro Computing
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·6d
✓Automated Theorem Proving
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·5d
🐫OCaml