Proofs of the Pythagorean Theorem
cut-the-knot.org·15h·
Discuss: Hacker News
🎯Proof Tactics
AI software assistants make the hardest kinds of bugs to spot
doctorow.medium.com·15h
⚡Proof Automation
Pixel data from encoders to decoders
developer.mozilla.org·1d
🖼️JPEG XL
Proton Authenticator logs full TOTP secrets in plaintext
reddit.com·1d·
Discuss: r/privacy
🧪Binary Fuzzing
When do you know when it’s time to stop cancer treatment? She knew – her final act of control
theguardian.com·19h
🔐Systems Hardening
Giant meat-eating dinosaur skulls reveal ‘bone-crushing’ bite
newscientist.com·13h
🦴Database Paleontology
Show HN: An AI agent and interface that maps your chat, designed for deep dives
proread.ai·5d·
Discuss: Hacker News
🤖AI Curation
Happy Birthday 6502
hackaday.com·15h·
Discuss: Hacker News
🍎Apple II Heritage
Come Try Out Piglet
arnebrasseur.net·15h·
Discuss: Hacker News
🐚Bash Monads
Building Testable Telegram Bots with Zustand
zwit.link·1d·
Discuss: Hacker News
🌐Protocol Synthesis
Show HN: We built an internal MCP to improve Plaid engineering's productivity
plaid.com·5d·
Discuss: Hacker News
🔌Interface Evolution
Two Kinds of Do Overs
jefftk.com·4d·
Discuss: Hacker News
⬜Minimalism
How Python Grew From a Language to a Community
thenewstack.io·1d·
Discuss: Hacker News
🚀Indie Hacking
Novice question if that's ok (using powershell within Golang....)
reddit.com·2d·
Discuss: r/golang
🐚Shell scripting
Modern, lightweight RN modal library with reanimated (3/4) and gesture support
github.com·15h·
Discuss: Hacker News
🎬WebCodecs
Rails ViewComponent 4.0.0
github.com·15h·
Discuss: Hacker News
🦋Format Metamorphosis
AI agents unifying structured and unstructured data: Transforming support analytics and beyond with Amazon Q Plugins
aws.amazon.com·4d
📰Feed Readers
Reconstructing Historical Climate Fields With Deep Learning
arxiv.org·5d
🤖Paleographic ML
Meet Localazy, Winner of Startups of The Year 2024 in Brno, South Moravian Region/Localization
hackernoon.com·13h
🚀Indie Hacking
AWS Weekly Roundup: Amazon DocumentDB, AWS Lambda, Amazon EC2, and more (August 4, 2025)
aws.amazon.com·13h
🌊Streaming Systems