💻 CS

computer science, automata, theory, computation

AI-Designed Enzymes Break Down Plastic in Hours
earth.org·1d·
Discuss: Hacker News
🤖Program Synthesis
You might not need tmux
bower.sh·18h·
Discuss: Lobsters, Hacker News, Hacker News, r/neovim
💾Retro Computing
Revisit Your Goals Often
dontbreakprod.com·1d·
Discuss: Hacker News
➡️Category Theory
Unleashing the Editing Superpower of Emacs
yummymelon.com·2d·
Discuss: Hacker News
🏹Effect Systems
Determinism
theprogrammersparadox.blogspot.com·6d·
Discuss: theprogrammersparadox.blogspot.com, Hacker News
🤖Program Synthesis
Crafting your own Static Site Generator using Phoenix (2023)
fly.io·1d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Farewell Shunsaku Tamiya: The Man Who Gave Us The Best Things To Build
hackaday.com·1d
💾Retro Computing
iOS 26 Diary: Much work remains, but I love the new look and the direction
9to5mac.com·4h
🍎Apple
Claude Code Is a Slot Machine
rgoldfinger.com·5d·
Discuss: Hacker News
🤖Program Synthesis
Wan2.2 Is Here: Open-Source AI Video Just Leveled Up
algogist.com·4d·
Discuss: Hacker News
🔬Unikernels
A self-supervised neural-analytic method to predict the evolution of COVID-19 in Romania
arxiv.org·4d
➡️Category Theory
How do I get a paid internship as a 16yo developer?
news.ycombinator.com·3d·
Discuss: Hacker News
🎮Verification Games
Microsoft researchers: To fend off AI, consider a job as a pile driver
theregister.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
UnsafeChain: Enhancing Reasoning Model Safety via Hard Cases
arxiv.org·2d
🛡️seL4
Hands On: The Hacker Pager
hackaday.com·1d
🔬Unikernels
Are we building AI coding assistants wrong?
news.ycombinator.com·3d·
Discuss: Hacker News
⚙️PL Implementation
3 Node K3s Cluster + NAS 3D Printed Mini Rack Project
reddit.com·20h·
Discuss: r/homelab
⎈Kubernetes
Performance Analysis of Spatiotemporal 2-D Polar Codes for Massive MIMO with MMSE Receivers
arxiv.org·3d
📡Network Protocol Design
On Policy Stochasticity in Mutual Information Optimal Control of Linear Systems
arxiv.org·2d
🔄Finite State Machines
RRTO: A High-Performance Transparent Offloading System for Model Inference in Mobile Edge Computing
arxiv.org·2d
📦Unikernel Systems