💻 CS

computer science, automata, theory, computation

The Taming of Power by Bertrand Russell
theatlantic.com·11h·
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
How many professional developers are actually aware of the research from DORA (Formerly DevOps Reports)
dora.dev·7h·
Discuss: r/programming
🔄Reproducible Builds
Python heapq.nlargest vs list.sort
ddaa.net·2d·
Discuss: r/programming
🏹Effect Systems
The XINU Page
xinu.cs.purdue.edu·3d·
Discuss: Hacker News
📦Unikernel Systems
SFrame-based stack unwinding for the kernel
lwn.net·2d·
Discuss: Hacker News
👁️System Observability
Distributed Systems for Fun and Profit
book.mixu.net·6d·
Discuss: Hacker News
📦Unikernel Systems
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
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·13h·
Discuss: Hacker News
📦Unikernel Systems
I don't think LLM's are making us stupider
news.ycombinator.com·2d·
Discuss: Hacker News
🔬Static Analysis
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·2h
🏹Effect Systems
Degradation-Agnostic Statistical Facial Feature Transformation for Blind Face Restoration in Adverse Weather Conditions
arxiv.org·3d
🏹Effect Systems
Working with AI: Measuring the Occupational Implications of Generative AI
arxiv.org·3d
🏹Effect Systems
Reinforcement Learning with Action Chunking
arxiv.org·3d
🎮Verification Games
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·3d
🐫OCaml