Cities by the Bay
nasa.gov·15h·
Discuss: Hacker News
🇵🇹Portugal
Extreme fast charging of Lithium-ion batteries using flash graphene additive
sciencedirect.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: STIX – Institutional positioning in US equities revealed as a score
stix-v1.onrender.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
3D-printed patch could heal damaged areas of the heart
futurity.org·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Storming the Gates
domofutu.substack.com·2d·
Discuss: Substack
🎮Verification Games
Google Is Watching
not-a-tech-bro.ghost.io·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Fast, Private, and Secure (Pick Three): Introducing CRLite in Firefox
blog.mozilla.org·2d·
Discuss: Hacker News, Hacker News
🌐NetworkProtocols
Fast-Forwarding Time
jorisboschmans.com·2d·
Discuss: Hacker News
❄️Nix
URL context tool for Gemini API now generally available
developers.googleblog.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
AI is the new user interface for biology
manifold.ai·3d·
Discuss: Hacker News
✓Automated Theorem Proving
‘A climate of unparalleled malevolence’: are we on our way to the sixth major mass extinction?
theguardian.com·3d·
Discuss: Hacker News, r/Longreads
🍎Apple
Intelligence
halfanhour.blogspot.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
What Happens When an Entire Scientific Field Changes Its Mind
scientificamerican.com·2d·
Discuss: Hacker News, Hacker News
📦Unikernel Systems
How Harry Potter Fans Are Driving the Romantasy Trend
nytimes.com·1d·
Discuss: Hacker News
🐫OCaml
GoDaddy misrepresented my $95,000 domain purchase (evidence inside)
news.ycombinator.com·21h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Liberating a Collapsible Chair from a Single Piece of Wood
hackaday.com·6d
💻CS
YOLO11-CR: a Lightweight Convolution-and-Attention Framework for Accurate Fatigue Driving Detection
arxiv.org·2d
🔬Static Analysis
GenFlowRL: Shaping Rewards with Generative Object-Centric Flow in Visual Reinforcement Learning
arxiv.org·4d
🎮Verification Games
CRAFT-GUI: Curriculum-Reinforced Agent For GUI Tasks
arxiv.org·4d
🎮Verification Games
Oxlint Introduces Type-Aware Linting Preview
socket.dev·3d·
Discuss: Hacker News
🐫OCaml