Essential Books on the Science of Reading
journal.imse.com·2d·
Discuss: Hacker News
🎮Verification Games
Great Depression Facts
fdrlibrary.org·3d·
Discuss: Hacker News
➡️Category Theory
This Snail Can Regrow Its Eyes—and Understanding How May One Day Help Humans With Injuries
smithsonianmag.com·3d·
Discuss: Hacker News
🍎Apple
Creating the Longest Possible Ski Jump in "The Games: Winter Challenge"
mrwint.github.io·4d·
Discuss: Lobsters, Hacker News
🎮Verification Games
Progress is destroying the planet: the rants of a self-hating American
spectator.co.uk·3d·
Discuss: Hacker News
🔬Unikernels
Ask HN: Other options for better resolution on macOS?
news.ycombinator.com·3d·
Discuss: Hacker News
🍎Apple
The Dereliction of Due Process in the Scala Community
pretty.direct·3d·
Discuss: Hacker News
🛡️seL4
The personal SOS messages the BBC used to send
bbc.com·4d·
Discuss: Hacker News
🍎Apple
Surprising, but Inevitable: Stories, Jokes, Puzzles, and Proofs
danfabulich.medium.com·1d·
Discuss: Hacker News
🎮Verification Games
DARPA announces $4M winner of AI code review competition at DEF CON
therecord.media·2h·
Discuss: Hacker News
👁️System Observability
GPT-5 Review: Welcome to the Stone Age
latent.space·4d·
Discuss: Hacker News
🔬Unikernels
DFW: A Novel Weighting Scheme for Covariate Balancing and Treatment Effect Estimation
arxiv.org·3d
🔠Type-Level Programming
What upcoming technologies / updates are you excited for?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Interpretable Rheumatoid Arthritis Scoring via Anatomy-aware Multiple Instance Learning
arxiv.org·14h
✓Automated Theorem Proving
How to Build a Website Analyzer Using GPT-5 and FastAPI
reddit.com·2d·
Discuss: r/programming
🌐NetworkProtocols
Linus Torvalds Rejects RISC-V Changes For Linux 6.17: "Garbage"
phoronix.com·2d·
Discuss: Hacker News, Hacker News
🍎XNU Internals
DTPA: Dynamic Token-level Prefix Augmentation for Controllable Text Generation
arxiv.org·4d
🤖Program Synthesis
What external HDD do you recommend for backing up your media?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Automated Generation of Curriculum-Aligned Multiple-Choice Questions for Malaysian Secondary Mathematics Using Generative AI
arxiv.org·4d
✓Automated Theorem Proving
HTML Traits
github.com·3d·
Discuss: Hacker News
🐫Embedded OCaml