Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🧠ADHD
Victorian Science’s Duck-Billed Enigma
historytoday.com·6d·
Discuss: Hacker News
🧠ADHD
Show HN: Convert 1-hour videos into brainstorm-ready mind maps
yttomermaid.xyz·4d·
Discuss: Hacker News
🧠ADHD
Dependabot and private Go proxies: how they work and why it matters
riverqueue.com·1d·
Discuss: Hacker News
🧠ADHD
I asked Manus to demo my CLI with asciinema
pgschema.com·3d·
Discuss: Hacker News
🧠ADHD
What the panic about kids using AI to cheat gets wrong
vox.com·4d·
Discuss: Hacker News
🧠ADHD
I filmed what it takes to make a family meal in Gaza
bbc.co.uk·2d·
Discuss: Hacker News
🧠ADHD
They blew up a boat far offshore, killed eleven people, and called it justice
mitchthelawyer.substack.com·3d·
Discuss: Substack
🧠ADHD
Show HN: Higher-order transform streams: 10x faster AI with recursive prompts
timetler.com·5d·
Discuss: Hacker News, r/javascript, r/programming
🧠ADHD
Public strongly backs aim of 30% of land and sea set aside for nature, poll finds
theguardian.com·3d·
Discuss: Hacker News
🧠ADHD
The repercussions of a typo in C++ & Rust
nablag.com·5d·
Discuss: Hacker News, r/programming
🧠ADHD
EAS-Decoder A program to decode Emergency Alerts
github.com·6d·
Discuss: Hacker News
🧠ADHD
Reactive algorithms: How Angular took the right path
medium.com·4d·
Discuss: Hacker News
🧠ADHD
How the Democrats keep copying the MAGA influencer playbook (and failing)
theverge.com·5d·
Discuss: Hacker News
🧠ADHD
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·3d·
Discuss: Hacker News
🧠ADHD
Detained in raid by ICE, other agencies at Hyundai site in Georgia
cbsnews.com·3d·
Discuss: Hacker News
🧠ADHD
Payrolls rose 22,000 in August, less than expected in further sign of hiring slowdown
cnbc.com·3d·
Discuss: Hacker News, r/Economics
🧠ADHD
Google’s AI Ambitions An ‘Existential Crisis’ For News Online
gizmodo.com·2d·
Discuss: Hacker News
🧠ADHD
Hot mic catches Putin and Xi discussing organ transplants and immortality
theguardian.com·5d·
Discuss: Hacker News, r/news, r/worldnews
🧠ADHD
Root cause for why Windows 11 is breaking or corrupting SSDs may have been found
neowin.net·2d·
Discuss: Hacker News
🧠ADHD