🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

Is Altos Labs gearing up for clinical trials?
longevity.technology·3d·
Discuss: Hacker News
🧩Microservices
Proofs of the Pythagorean Theorem
cut-the-knot.org·6d·
Discuss: Hacker News
🏹Apache Arrow
A Mate Selection Theory of Feminization
richardhanania.com·2d·
Discuss: Hacker News
🔐Security Patterns
Some thoughts from my short trip to London
nandinfinitum.com·2d·
Discuss: Hacker News
📮Message Queues
SAML Shield: Drop-in protection that works for any stack
samlshield.com·5d·
Discuss: Hacker News
🔐Security Patterns
Show HN: Bring Your Video to Life with MMAudio AI
mmaudio.app·1d·
Discuss: Hacker News
🌊Stream Processing
Where do meetups go when they die?
now.beehiiv.com·2d·
Discuss: Hacker News
🌐Distributed systems
Researcher exposes Microsoft's flawed code that lets attackers access files on your computer
neowin.net·4d·
Discuss: Hacker News
💻Programming languages
LVFS Sustainability Plan
blogs.gnome.org·2d·
Discuss: Lobsters, Hacker News
🌐Distributed systems
I Tried to Port Linux to an Obscure SoC. It Caught Fire.
blog.neagaru.com·2d·
Discuss: Hacker News
📊Performance Profiling
GPT-5 streaming requires submission of biometric data
news.ycombinator.com·2d·
Discuss: Hacker News
🔷Typescript
Bouncing on trampolines to run eBPF programs
bootlin.com·5d·
Discuss: Hacker News
🏹Apache Arrow
Using GitHub as Commenting Platform, 2025 Edition
kiko.io·3d·
Discuss: Hacker News
📮Message Queues
AI industry horrified to face largest copyright class action ever certified
arstechnica.com·2d·
Discuss: Hacker News
🌐Distributed systems
Debian 13 "trixie" released
debian.org·1d·
Discuss: Hacker News, r/linux, r/opensource
🏹Apache Arrow
How AI Conquered the US Economy: A Visual FAQ
derekthompson.org·3d·
Discuss: Hacker News
🦆DuckDB
TSMC to go 3D with wafer-sized processors
tomshardware.com·2d·
Discuss: Hacker News
🌐Distributed systems
AI is taking hold in K-12 schools – here are some ways it can improve teaching
theconversation.com·2d·
Discuss: Hacker News
💻Programming languages
Show HN: QuantumFlow Toolkit – An open-source framework hybrid quantum workflows
github.com·6d·
Discuss: Hacker News
🧩Microservices
Slack-GitHub Threads – Post Slack Thread Replies as GitHub Comments
github.com·5d·
Discuss: Hacker News
💻Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap