💻 CS

computer science, automata, theory, computation

Post-Quantum Cryptography in Kubernetes
kubernetes.io·2d
🌐NetworkProtocols
Show HN: Made a CD interest for my family
cd-interest-calculator.com·19h·
Discuss: Hacker News
✓Automated Theorem Proving
Coffeezilla, the YouTuber Exposing Crypto Scams (2022)
newyorker.com·4h·
Discuss: Hacker News
🎮Verification Games
Steve Jobs, the Xerox Alto, and computer typography
righto.com·3d·
Discuss: Hacker News
💾Retro Computing
Debcraft – Easiest way to modify and build Debian packages
optimizedbyotto.com·1d·
Discuss: Hacker News
❄️Nixified Development
My thoughts on calculating ROI for AI investment at a Series B startup
hbmartin.substack.com·1d·
Discuss: Substack
👁️System Observability
Training a Chunker with Burn
elijahpotter.dev·4d·
Discuss: Hacker News
🐫Embedded OCaml
The New Surprising Number of Steam Games That Use GenAI
totallyhuman.io·2d·
Discuss: Hacker News, r/TwoBestFriendsPlay
🎮Verification Games
The Smart Money on How Devs Should Charge for Apps
thenewstack.io·1d
❄️Nixified Development
The Boom Is in Data
medium.com·2d·
Discuss: Hacker News
👁️System Observability
S2SRec2: Set-to-Set Recommendation for Basket Completion with Recipe
arxiv.org·5d
🔠Type-Level Programming
Cancellative Convex Semilattices
arxiv.org·4d
➡️Category Theory
Ask HN: Where is Git for my Claude Code conversations?
news.ycombinator.com·1d·
Discuss: Hacker News
🤖Program Synthesis
DIY cabinet design for (hopefully) silent-ish homelab
reddit.com·18h·
Discuss: r/homelab
🏠HomeLab
Risk in Stochastic and Robust Model Predictive Path-Following Control for Vehicular Motion Planning
arxiv.org·3d
🔄Finite State Machines
Data Fusion and Aggregation Methods to Develop Composite Indexes for a Sustainable Future
arxiv.org·5d
📡Network Protocol Design
The Shape of Deceit: Behavioral Consistency and Fragility in Money Laundering Patterns
arxiv.org·4d
🌐NetworkProtocols
PU-Lie: Lightweight Deception Detection in Imbalanced Diplomatic Dialogues via Positive-Unlabeled Learning
arxiv.org·5d
🌐NetworkProtocols
The Bayesian Approach to Continual Learning: An Overview
arxiv.org·5d
🎮Verification Games
Bridging Robustness and Generalization Against Word Substitution Attacks in NLP via the Growth Bound Matrix Approach
arxiv.org·5d
➡️Category Theory