🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
βœ… Formal Verification

Correctness Proofs, Model Checking, Theorem Proving, Program Analysis

Why Romania Excels In Olympiads
palladiummag.comΒ·3dΒ·
Discuss: Hacker News
βš™οΈEngineering
Summer 2025 was warmest on record – and repeat is now 70 times more likely
news.sky.comΒ·1hΒ·
Discuss: Hacker News
πŸ¦€Rust
Stalagmites reveal devastating droughts that helped spur Maya breakdown
science.orgΒ·3dΒ·
Discuss: Hacker News
πŸ¦€Rust
We built a free Merge PDF tool in just 6 days – would love your feedback!
midmoo.comΒ·4dΒ·
Discuss: Hacker News, r/webdev, r/webdev
🌐HTMX
The Hacker Pager
hackerpager.netΒ·4dΒ·
Discuss: Hacker News
πŸ‘οΈObservability
Bi-Directional Accountability: The Leadership Shift Most Organizations Avoid
alnewkirk.comΒ·6dΒ·
Discuss: Lobsters, Hacker News
πŸ‘οΈObservability
The Therac-25 Incident
thedailywtf.comΒ·6dΒ·
Discuss: Hacker News, r/programming
βš™οΈEngineering
Game Theory at Work: When to Talk and When to Shut Up
swaits.comΒ·6dΒ·
Discuss: Hacker News
πŸ“‘Distributed Systems
"Banksy of Silicon Valley" Launches Litmus Social
siliconhq.netΒ·4dΒ·
Discuss: Hacker News
🌐HTMX
I Setup Nginx as a Reverse Proxy
joeldare.comΒ·4dΒ·
Discuss: Hacker News
πŸ•ΈοΈService Mesh
The 3D Software Rendering Technology of 1998's Thief: The Dark Project (2011)
nothings.orgΒ·5dΒ·
Discuss: Hacker News
🌐HTMX
Top FDA official demands removal of YouTube videos of himself that criticized Covid vaccines
theguardian.comΒ·2dΒ·
Discuss: Hacker News, r/news
πŸ”Cryptography
Mental Time Travel: A New Case of Autobiographical Hypermnesia
parisbraininstitute.orgΒ·4dΒ·
Discuss: Hacker News
🌐HTMX
No, theoretical physics isn’t broken; it’s just very hard
bigthink.comΒ·5dΒ·
Discuss: Hacker News
βš™οΈEngineering
Show HN: Pocket Agent: run Claude, Cursor, Codex and more from your phone
pocket-agent.xyzΒ·5dΒ·
Discuss: Hacker News
πŸ•ΈοΈService Mesh
MSNBC: Whistleblower accuses DOGE team of endangering Social Security data
whistleblower.orgΒ·3dΒ·
Discuss: Hacker News
πŸ‘οΈObservability
Thoughts on Programmable Chat? (SAMA)
medium.comΒ·6dΒ·
Discuss: Hacker News
πŸ”ŒNetwork Programming
How to Day Trade Crypto Using ChatGPT and Grok: a Practical Guide for Smarter Trading
hackernoon.comΒ·6d
πŸ”Cryptography
Show HN: Datacmd – Terminal-native dashboards from CSV/API in one command
github.comΒ·3dΒ·
Discuss: Hacker News
🚒DevOps
Effective cerebellar neuroprosthetic control after stroke
cell.comΒ·4dΒ·
Discuss: Hacker News
πŸ“‘Distributed Systems
Loading...Loading more...
AboutBlogChangelogRoadmap