💻 CS

computer science, automata, theory, computation

It's a Beelink, baby
world.hey.com·2d·
Discuss: Hacker News
💾Retro Computing
Web Guide: An experimental AI-organized search results page
blog.google·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Fumbling Toward Truth and Beauty in Used Bookstores
charliebecker.substack.com·18h·
Discuss: Substack
➡️Category Theory
XMPP: When a 25-Year-Old Protocol Becomes Strategic Again
process-one.net·1d·
Discuss: Hacker News
🌐NetworkProtocols
How the ZX Spectrum Laid the Foundations of Modern Algorithms
zxonline.net·4d·
Discuss: Hacker News
💾Retro Computing
Why Java Is Still Worth Learning in 2025: A Developer's 25-Year Journey
empatheticdeveloper.wordpress.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
Arc AGI 3
arcprize.org·4d·
Discuss: Hacker News
🎮Verification Games
Building Devu a platform to help devs contribute to open source without the overwhelm
devu.dev·1d·
Discuss: DEV, Hacker News
🔄Reproducible Builds
I made an easy job queue with Postgresql and need feedback
dataqueue.dev·3d·
Discuss: Hacker News, r/node
🔬Static Analysis
How To Deploy Fluent Bit in a Kubernetes-Native Way
thenewstack.io·12h
⎈Kubernetes
MirrorVM: Compiling WebAssembly using Reflection
sbox.game·5d·
Discuss: r/programming
🐫Embedded OCaml
Turn email into events – Scheduling straight from your inbox
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
This Week in Security: Sharepoint, Initramfs, and More
hackaday.com·18h
🛡️seL4
Financial Services Firms Will Bank On Homegrown AI Training
nextplatform.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Canonical Representations of Markovian Structural Causal Models: A Framework for Counterfactual Reasoning
arxiv.org·3d
✓Automated Theorem Proving
Quantifying the ROI of Cyber Threat Intelligence: A Data-Driven Approach
arxiv.org·2d
✓Automated Theorem Proving
Fastabase: Fast Supabase
github.com·14h·
Discuss: Hacker News
🏠HomeLab
Two-Stage TSO-DSO Services Provision Framework for Electric Vehicle Coordination
arxiv.org·1d
📡Network Protocol Design
Exploring the interplay of label bias with subgroup size and separability: A case study in mammographic density classification
arxiv.org·1d
✓Automated Theorem Proving
I'm 22 and spent a month optimizing CUDA kernels on my 5-year-old laptop. Results: 93K ops/sec beating NVIDIA's cuBLAS by 30-40%
github.com·1d·
Discuss: r/programming
👁️System Observability