Show HN: Made a CD interest for my family
cd-interest-calculator.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Dead Zone Dragging
steveruiz.me·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Really interesting article on impact of LoC on code review quality and the LGTM phenomenon.
infoq.com·3d·
Discuss: r/programming
🔄Reproducible Builds
Re-implementing the Nix protocol in Rust
tweag.io·6d·
Discuss: Hacker News
❄️Nix
Rust is a great fit for the agentic era
kerkour.com·5d·
Discuss: Hacker News
🔬Static Analysis
A distributed systems reliability glossary
antithesis.com·5d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
A Software for One
jasonthorsness.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The New Surprising Number of Steam Games That Use GenAI
totallyhuman.io·2d·
Discuss: Hacker News, r/TwoBestFriendsPlay
🎮Verification Games
Own the Browser
browserbase.com·2d·
Discuss: Hacker News
🔬Unikernels
Show HN: I made a scan app in the skeuomorphic style of iOS 6.0
apps.apple.com·1d·
Discuss: Hacker News
🍎Apple
Quantifying Ocular Surface Changes with Contact Lens Wear
arxiv.org·4h
📡Network Protocol Design
The great AI delusion is falling apart
telegraph.co.uk·14h·
Discuss: Hacker News
🎮Verification Games
IP2: Entity-Guided Interest Probing for Personalized News Recommendation
arxiv.org·4h
🍎Apple
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·6d
🐫OCaml
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·5d
✓Automated Theorem Proving
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·5d
🔠Type-Level Programming
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·4d
🐫OCaml
DPNO: A Dual Path Architecture For Neural Operator
arxiv.org·3d
💻CS
Grappling with the Existential Panic over AI
easydns.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Hypseus Singe: A program to play laserdisc arcade games
github.com·1d·
Discuss: Hacker News
💾Retro Computing