💻 CS

computer science, automata, theory, computation

The Evolution of the Treble Clef
smithsonianmag.com·5h·
Discuss: Hacker News
📺Vintage Apple
Exploring the frontiers of the periodic table: Bismuth Catalysis's applications
chemistryworld.com·1d·
Discuss: Hacker News
🐫OCaml
Gregg Kellogg has passed away
lists.w3.org·4h·
Discuss: Hacker News
❄️Nix
Lessons in Disabling RC4 in Active Directory
syfuhs.net·4h·
Discuss: Hacker News
🛡️seL4
Moldable Development: shaping tools to fit the context of your code
moldabledevelopment.com·1h·
Discuss: Hacker News
🧱Immutable Infrastructure
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·2d·
Discuss: r/programming
🌐NetworkProtocols
At $183B San Francisco tech company, man's hunger strike enters second week
sfgate.com·1h·
Discuss: Hacker News
🩹Self-Healing Systems
Strange Attractors
blog.shashanktomar.com·1d·
Discuss: Hacker News, Hacker News
🩹Self-Healing Systems
Can Your Team Pass the Elevator Test? (2007)
blog.codinghorror.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·3h·
Discuss: Hacker News
📊Runtime Verification
FreeCAD Foray: Good Practices
hackaday.com·2h
🔬Unikernels
Deploying AI to the Balkans
hapseer.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·3h·
Discuss: Hacker News
🌐NetworkProtocols
BEDTime: A Unified Benchmark for Automatically Describing Time Series
arxiv.org·3d
📚Automata Learning
HAVE: Head-Adaptive Gating and ValuE Calibration for Hallucination Mitigation in Large Language Models
arxiv.org·2d
📚Automata Learning
The Majority is not always right: RL training for solution aggregation
arxiv.org·2d
🎮Verification Games
Eat Your Vegetables Before AI Dessert
writings.alethia.news·2d·
Discuss: Hacker News
🩹Self-Healing Systems
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
arxiv.org·2d
🔠Type-Level Programming
Ban&Pick: Achieving Free Performance Gains and Inference Speedup via Smarter Routing in MoE-LLMs
arxiv.org·2d
🐫OCaml
Anticipatory Fall Detection in Humans with Hybrid Directed Graph Neural Networks and Long Short-Term Memory
arxiv.org·2d
📚Automata Learning