The robo-bunny taking on invasive pythons in Florida
palmbeachpost.com·29m·
Discuss: Hacker News
💾Retro Computing
Swedish Vibe Coding Firm Lovable Hits $1.8 Billion Valuation
bloomberg.com·2d·
Discuss: Hacker News
🍎Apple
★ Curse Not the King
daringfireball.net·23h·
Discuss: Hacker News
🍎Apple
Our side is winning in court – for the wrong reasons
womensliberationfront.org·6h·
Discuss: Hacker News
🔤DSLs
AI Culture: The Next Evolution of Intelligence
notes.iunknown.com·6h·
Discuss: Hacker News
🤖Program Synthesis
Make Your Own Backup System – Part 1: Strategy Before Scripts
it-notes.dragas.net·1d·
Discuss: Lobsters, Hacker News
⚙️Operating System Design
What async communication patterns lead to better outcomes for engineers?
rdel.substack.com·21h·
Discuss: Substack
🔄Reproducible Builds
Why don't I drink? How much time you got?
shaungallagher.pressbin.com·22h·
Discuss: Hacker News
🍎Apple
What My Mother Didn't Talk About (2020)
buzzfeednews.com·2d·
Discuss: Hacker News
💾Retro Computing
Hiding messages in a deck playing cards
asherfalcon.com·1d·
Discuss: Hacker News
🏹Effect Systems
Can you help me think of a term for this?
carlalexander.ca·2d·
Discuss: r/programming
🔬Static Analysis
Notepad is losing its focus
neowin.net·6h·
Discuss: Hacker News
🍎Apple
Show HN: FavBox is a local-firs browser extension for bookmark management
github.com·2d·
Discuss: Hacker News
🔬Unikernels
Almost Always Auto (2013)
herbsutter.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Fully Homomorphic Encryption and the Dawn of a Truly Private Internet
bozmen.io·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.io·2d
🏠HomeLab
Measuring and predicting visual fidelity
arxiv.org·2d
👁️System Observability
PostgreSQL Schema Management via Source Files
github.com·9h·
Discuss: Hacker News
🔤DSLs
Wikipedia: Signs of AI Writing
en.wikipedia.org·20h·
Discuss: Hacker News
✓Automated Theorem Proving