💻 CS

computer science, automata, theory, computation

How many professional developers are actually aware of the research from DORA (Formerly DevOps Reports)
dora.dev·14h·
Discuss: r/programming
🔄Reproducible Builds
The Taming of Power by Bertrand Russell
theatlantic.com·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I used Suno AI to cover my own demo album
app.mindthis.io·1d·
Discuss: Hacker News
🎮Verification Games
SQLite on Rails is fast, but SQLite on Helidon is faster!
rrevi.github.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Death by a thousand slops
daniel.haxx.se·2h·
Discuss: Hacker News
🛡️seL4
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
There’s a better way to use AI official prompts
reddit.com·1d·
Discuss: r/programming
✓Automated Theorem Proving
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·3d
🌐NetworkProtocols
Suggestion NAS/plex server
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
MoSE: Skill-by-Skill Mixture-of-Expert Learning for Autonomous Driving
arxiv.org·3d
🔄Finite State Machines
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·3d
🔍Formal Verification
Folly: IOBuf and Zero-Copy Networking
uvdn7.github.io·20h·
Discuss: Hacker News
📦Unikernel Systems
MARBLE: A Multi-Agent Rule-Based LLM Reasoning Engine for Accident Severity Prediction
arxiv.org·6d
✓Automated Theorem Proving
Forex Trading Robot Using Fuzzy Logic
arxiv.org·4d
✓Automated Theorem Proving
Push or Light: Nudging Standing to Break Prolonged Sitting
arxiv.org·9h
🏹Effect Systems
Degradation-Agnostic Statistical Facial Feature Transformation for Blind Face Restoration in Adverse Weather Conditions
arxiv.org·3d
🏹Effect Systems
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·3d
🐫OCaml
Reinforcement Learning with Action Chunking
arxiv.org·3d
🎮Verification Games
Working with AI: Measuring the Occupational Implications of Generative AI
arxiv.org·3d
🏹Effect Systems
Hybrid Diffusion Policies with Projective Geometric Algebra for Efficient Robot Manipulation Learning
arxiv.org·5d
🏹Effect Systems