A Spellchecker Used to Be a Major Feat of Software Engineering
prog21.dadgum.com·4d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
What even is distributed systems
notes.eatonphil.com·3d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
"I closed MPEG on 2 Jun '20 when I left because obscure forces had hijacked it."
leonardo.chiariglione.org·5d·
Discuss: Hacker News
🔬Unikernels
Meta makes conservative activist an AI bias advisor following lawsuit
theverge.com·1d·
Discuss: Hacker News
🍎Apple
Mathematicians credited with rescuing quantum computing
today.usc.edu·5d·
Discuss: Hacker News
🔬Unikernels
Show HN: CleanCV – I was tired of ugly LaTeX CV templates, so I built my own
github.com·1d·
Discuss: Hacker News
🍎XNU Internals
🚀 I built Snippetly - "Like Spotify, but for code" - Would love your feedback!
reddit.com·2d·
Discuss: r/programming
❄️Nixified Development
Random Modulation: Achieving Asymptotic Replica Optimality over Arbitrary Norm-Bounded and Spectrally Convergent Channel Matrices
arxiv.org·22h
💻CS
Overconfidence in LLM-as-a-Judge: Diagnosis and Confidence-Driven Solution
arxiv.org·1d
✓Automated Theorem Proving
Mixture of Experts Guided by Gaussian Splatters Matters: A new Approach to Weakly-Supervised Video Anomaly Detection
arxiv.org·1d
🔠Type-Level Programming
Learning More by Seeing Less: Line Drawing Pretraining for Efficient, Transferable, and Human-Aligned Vision
arxiv.org·22h
➡️Category Theory
Open source lowcode builder – looks awesome for business needs
github.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Coplay becomes steward of Unity MCP open‑source automation tool
coplay.dev·4d·
Discuss: Hacker News
📦Unikernel Systems
Multi-Level Service Performance Forecasting via Spatiotemporal Graph Neural Networks
arxiv.org·22h
💻CS
3DGabSplat: 3D Gabor Splatting for Frequency-adaptive Radiance Field Rendering
arxiv.org·4d
🐫OCaml
Show HN: React is Awful, a book written by Claude
github.com·2d·
Discuss: Hacker News
❄️Nixified Development
KIRETT: Knowledge-Graph-Based Smart Treatment Assistant for Intelligent Rescue Operations
arxiv.org·22h
🐫OCaml
Miles Voice AI – Instant-interrupt, multi-personality voice assistant
github.com·2d·
Discuss: Hacker News
🍎Apple
Quantifying Conversation Drift in MCP via Latent Polytope
arxiv.org·1d
➡️Category Theory
0click Enterprise compromise – thank you, AI! (WHY2025)
cdn.media.ccc.de·2d
✓Automated Theorem Proving