Firefox bug that's 24 years old
bugzilla.mozilla.org·1d·
Discuss: Hacker News
🧪Property-Based Testing
CRDT: Text Buffer by Evan Wallace
madebyevan.com·2d·
Discuss: Hacker News
📡Network Protocol Design
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·3d·
Discuss: r/programming
🐫OCaml
Apple Watch helps user discover brain tumor after unusual heart rate alerts
9to5mac.com·21h
🍎Apple
Why we should thank pigeons for our AI breakthroughs
technologyreview.com·4d·
Discuss: Hacker News, Hacker News
🎮Verification Games
Alphabet of Human Thought
en.wikipedia.org·1d·
Discuss: Hacker News
➡️Category Theory
Microsoft Workers Protesting Israel Ties Say They’ve Occupied HQ
bloomberg.com·2d·
Discuss: Hacker News
⎈Kubernetes
Elephants Don't Write Sonnets
whattotelltherobot.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Google's Chrome Antitrust Paradox
arxiv.org·4d
🖥️Self-hosted Infrastructure
How MCP Uses Streamable HTTP for Real-Time AI Tool Interaction
thenewstack.io·3d
🌐NetworkProtocols
Two intriguing variants of the AAA algorithm for rational approximation
arxiv.org·4d
🐫OCaml
Combining Nonlinear FETI-DP Methods and Quasi-Newton Methods using an SQP Approach
arxiv.org·4d
🐫OCaml
A Global Dataset of Location Data Integrity-Assessed Reforestation Efforts
arxiv.org·4d
🧱Immutable Infrastructure
From Smartphone to a Home Server
hackaday.com·5d
🔬Unikernels
Group Fair Matchings using Convex Cost Functions
arxiv.org·3d
🔠Type-Level Programming
The PC In Your Pico
hackaday.com·3d
💾Retro Computing
Mitigating Easy Option Bias in Multiple-Choice Question Answering
arxiv.org·2d
✓Automated Theorem Proving
iOS 26 makes Apple’s killer autofill code feature even better
9to5mac.com·1d
🍎Apple
Tesla (TSLA) insiders have sold more than 50% of their shares in the last year
electrek.co·3d·
Discuss: Hacker News
🍎Apple
Here’s everything new for FaceTime in iOS 26
9to5mac.com·16h
🍎Apple