Global ocean simulations examine tritium release from Fukushima
physicsworld.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Is Android heading towards a dystopian future? EU Kills Bootloader Unlocking.. Users losing control by the day..
xiaomitime.com·1d·
Discuss: Hacker News, r/Android
🔬Unikernels
Electron beam irradiation decomposes Teflon-like fluoroplastics efficiently
phys.org·7h·
Discuss: Hacker News
💾Retro Computing
QuickSheet – Instantly create and edit spreadsheets from your macOS menu bar
apps.apple.com·3d·
Discuss: Hacker News
🍎Apple
Top Anti-Tracking Extensions
addons.mozilla.org·2d·
Discuss: Hacker News
👁️System Observability
2026: A Tech Odyssey
jergling.com·1d·
Discuss: Hacker News
🍎Apple
Google has just two weeks to begin cracking open Android, it admits in emergency filing
theverge.com·1d·
Discuss: Hacker News, r/Android
🍎Apple
‘As if we’re real guests’: the startup selling strangers invitations to weddings
theguardian.com·17h·
Discuss: Hacker News
🍎Apple
Why LLMs Struggle with Text-to-SQL
selectstar.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
When LLMs Autonomously Attack
engineering.cmu.edu·5d·
Discuss: Hacker News
🛡️seL4
There is no free lunch when dealing with engineering processes
taoem.com·2d·
Discuss: Hacker News
👁️System Observability
Fermat's Last Theorem in Lean – Imperial College London
github.com·2d·
Discuss: Hacker News
💻CS
Show HN: Kobo Pocket Replacement
github.com·3d·
Discuss: Hacker News
🔬Unikernels
Mythbusting Large Language Models
medium.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Brilliant Labs' halo glasses
brilliant.xyz·2d·
Discuss: Hacker News
🍎Apple
Spatial-Temporal Data Mining for Ocean Science: Data, Methodologies, and Opportunities
arxiv.org·2d
✓Automated Theorem Proving
Flora: Effortless Context Construction to Arbitrary Length and Scale
arxiv.org·4d
🐫OCaml
Ask HN: Can internal AI-built tools become products for other companies?
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Meta’s AI Recruiting Campaign Finds a New Target
wired.com·4d·
Discuss: Hacker News
🧗Climbing Tech
ChatGPT was Silicon Valley's worst mistake
baby-cto.com·3d·
Discuss: Hacker News
🔬Unikernels