Wolves Reject £55M Newcastle Bid for Strand Larsen
jphfeeds.top·5d·
Discuss: Hacker News
🛡️seL4
The Evolution: From Atomic Options to Lygos Credit
blog.lygos.finance·4d·
Discuss: Hacker News
🔄Reproducible Builds
Contra Scott Alexander on Missing Heritability
unboxingpolitics.substack.com·3d·
Discuss: Substack
🏹Effect Systems
Spirituality Went from Taboo to Trendy in the Art World
artnews.com·5d·
Discuss: Hacker News
➡️Category Theory
I Can't Worry About the Whole World
candost.blog·6d·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: Side Space: A Better Arc-Like Experience for Firefox Users
addons.mozilla.org·4d·
Discuss: Hacker News
🍎Apple
Violation of local realism with unentangled photons
science.org·5d·
Discuss: Hacker News, Hacker News
🐫OCaml
Why economic (especially energy) shocks lower fertility and maternal rates?
governance.fyi·4d·
Discuss: Hacker News, Hacker News
🩹Self-Healing Systems
Stop “vibe testing” your LLMs. It's time for real evals.
developers.googleblog.com·5d·
Discuss: Hacker News
📊Runtime Verification
Trump admin dismisses Endangered Species List as “Hotel California”
arstechnica.com·4d·
Discuss: Hacker News
🩹Self-Healing Systems
On Continuous Test Improvement
dsyme.net·5d·
Discuss: Hacker News
🔄Reproducible Builds
Uncomfortable Questions About Android Developer Verification
commonsware.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
We have become an authoritarian state, and our top newsrooms are in denial
presswatchers.org·6d·
Discuss: Hacker News
📚Automata Learning
Chemists show how RNA might have started to make proteins on early Earth
phys.org·5d·
Discuss: Hacker News
🤖Program Synthesis
Uncertainty-Calibrated Test-Time Model Adaptation without Forgetting
arxiv.org·6d
🧪Property-Based Testing
MRExtrap: Longitudinal Aging of Brain MRIs using Linear Modeling in Latent Space
arxiv.org·5d
🧩Parser Combinators
A speculation on enlightenment
lesswrong.com·6d
✓Automated Theorem Proving
Addressing Personalized Bias for Unbiased Learning to Rank
arxiv.org·4d
🧩Parser Combinators
Saccade crossing avoidance as a visual search strategy
arxiv.org·5d
➡️Category Theory
Quantum internet is possible using standard Internet protocol — University engineers send quantum signals over fiber lines without losing entanglement
tomshardware.com·3d·
Discuss: Hacker News, r/hardware, r/technews
📡Network Protocol Design