Why Alaska’s salmon streams are suddenly bleeding orange
sciencedaily.com·1d·
Discuss: Hacker News
🍎Apple
The Chess Cheating Epidemic
quillette.com·2d·
Discuss: Hacker News
🎮Verification Games
Show HN: Tutrilo – lightweight training management for small providers
tutrilo.com·1d·
Discuss: Hacker News
🍎Apple
Lawyers challenge widespread police use of number-plate software as evidence
rnz.co.nz·2d·
Discuss: Hacker News
📊Runtime Verification
Why Do We Still Hide Our Socks?
d1gesto.blogspot.com·2d·
Discuss: Hacker News
🧩Separation Logic
From Legal Documents to Knowledge Graphs
neo4j.com·6d·
Discuss: Hacker News
🧩Parser Combinators
Raspberry Pi Synthesizers – How the Pi is transforming synths
gearnews.com·6d·
Discuss: Hacker News
💾Retro Computing
Death of the Holocaust Industry
chrishedges.substack.com·1d·
Discuss: Substack
🔬Unikernels
AI Prompts for Self-Reflection
josecasanova.com·6d·
Discuss: Hacker News
🎮Verification Games
An information-theoretic foreshadowing of mathematicians' sudden insights
pnas.org·5d·
Discuss: Hacker News
Automated Theorem Proving
Choosing Rust for LLM-generated code
runmat.org·6d·
Discuss: Hacker News
🐫Embedded OCaml
Reviewing Deluxe Paint, 40 Years On
hackaday.com·2d
📺Vintage Apple
Positive emotional bias could be a sign of cognitive decline in the aging
medicalxpress.com·2d·
Discuss: Hacker News
📚Automata Learning
Secure Credentials on Comet with 1Password
perplexity.ai·1d·
Discuss: Hacker News
🔬Unikernels
Orforglipron led to significantly greater reductions in weight than placebo
nejm.org·2d·
Discuss: Hacker News
🐫OCaml
Scaling Arabic Medical Chatbots Using Synthetic Data: Enhancing Generative AI with Synthetic Patient Records
arxiv.org·4d
🐫OCaml
Day of the week centuries from now
johndcook.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
NASA, Northrop Grumman Assessing Cygnus XL Engine Burn Plan
nasa.gov·2d·
Discuss: Hacker News
🔄Reproducible Builds
Photographer Austin Mann reviews the iPhone 17 Pro cameras
9to5mac.com·22h
🍎Apple