💻 CS

computer science, automata, theory, computation

When children are starving, the enemy is hunger
time.com·1d·
Discuss: Hacker News
➡️Category Theory
Albert Robida's Electric Life l: A 19th century vision of the future
worldhistory.substack.com·2d·
Discuss: Substack
➡️Category Theory
Teaching Open Source in North Korea
izbicki.me·4d·
Discuss: Hacker News
🔬Unikernels
Valley of Despair
jacksonslipock.bearblog.dev·3d·
Discuss: Hacker News
🐫Embedded OCaml
Emotions Make Sense
lesswrong.com·2d·
Discuss: Hacker News
➡️Category Theory
Program development in Limbo (the native lang of Inferno, Unix 3.0)
seh.dev·3d·
Discuss: Hacker News
📦Unikernel Systems
Hask Is Not a Category
math.andrej.com·5d·
Discuss: Hacker News
➡️Category Theory
The Scourge of Fake Retro Unijunction Transistors
hackaday.com·1d
💾Retro Computing
Amplifying Myself: How I Use Claude to Build a Premium App and a Blockchain Game
dragosroua.medium.com·2d·
Discuss: Hacker News
🎮Verification Games
The AI Mirage: July Jobs Report vs. Tech Hiring Truths
layoffnation.substack.com·1d·
Discuss: Substack
🛡️seL4
Correcting Misperceptions at a Glance: Using Data Visualizations to Reduce Political Sectarianism
arxiv.org·1d
🏹Effect Systems
Show HN: Experimental HN Discussion to Animated Video Pipeline
youtube.com·4d·
Discuss: Hacker News
🔬Unikernels
OCSVM-Guided Representation Learning for Unsupervised Anomaly Detection
arxiv.org·6d
🐫Embedded OCaml
How to Implement Authentication in FastAPI: A Complete Developer's Guide
fastlaunchapi.dev·2d·
Discuss: r/programming
🌐NetworkProtocols
Past Meets Present: Creating Historical Analogy with Large Language Models
arxiv.org·5d
✓Automated Theorem Proving
A New Governance Model for MCP
blog.modelcontextprotocol.io·4d·
Discuss: Hacker News
🌐NetworkProtocols
Formal Bayesian Transfer Learning via the Total Risk Prior
arxiv.org·4d
✓Automated Theorem Proving
DeepGo: Predictive Directed Greybox Fuzzing
arxiv.org·6d
🎮Verification Games
One Dataset. No Warning. Google Took Everything. You're Not Safe Either
medium.com·1d·
Discuss: Hacker News
🍎Apple
Bought a Dell OptiPlex 7060, planning a Media Server build
reddit.com·22h·
Discuss: r/homelab
🔬Unikernels