An AI-Powered Spell Checker for the TI-84
hackster.io·2d·
Discuss: Hacker News
💾Retro Computing
Why use Enum instead of boolean for method parameters?
javarevisited.substack.com·2d·
Discuss: r/programming
🔍Formal Verification
Computer-vision, Pi3 and losing hackathons
mtende.blog·2d·
Discuss: Hacker News, r/programming
🔬Unikernels
Why isn't packaging part of Python core development?
pydevtools.com·3d·
Discuss: Hacker News
❄️Nixified Development
Let's Tidy Up State Government
statesforum.org·2d·
Discuss: Hacker News
🔤DSLs
Tao: The Power of the Graph (2013)
engineering.fb.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Notes from a product design vibe coding hackathon
intercom.com·3d·
Discuss: Hacker News
🍎Apple
Reaction to the PlanetScale PostgreSQL Benchmarks
xata.io·2d·
Discuss: Lobsters, Hacker News
👁️System Observability
Dollars per token considered harmful
modal.com·3d·
Discuss: Hacker News
🐫OCaml
The Agentic Resistance: Why Critics Are Missing the Paradigm Shift
decodingdiscontinuity.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Rust implementation of the Haraka hash function
github.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
SurgeryLSTM: A Time-Aware Neural Model for Accurate and Explainable Length of Stay Prediction After Spine Surgery
arxiv.org·2d
💻CS
Physically Based Neural LiDAR Resimulation
arxiv.org·1d
🐫OCaml
Why AI Agents Need a New Kind of Browser
thenewstack.io·20h
🛡️seL4
Canonical Bayesian Linear System Identification
arxiv.org·3d
➡️Category Theory
Deep Generative Methods and Tire Architecture Design
arxiv.org·2d
🐫OCaml
Is AI the end of coding as we know it, or just another tool?
aha.io·3d·
Discuss: Hacker News
🤖Program Synthesis
How are you all using AI tools in your workflow? Pros, cons, and handling confidential data
reddit.com·2d·
Discuss: r/programming
🧪Property-Based Testing
The Pragmatic Engineer 2025 Survey: What’s in your tech stack?
newsletter.pragmaticengineer.com·3d·
Discuss: Hacker News
👁️System Observability
Since I have to move twice this month, I threw together a temporary condensed setup that I'm very happy with
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab