🐿️ 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

China After Communism: Preparing for a Post-CCP China
hudson.org·1d·
Discuss: Hacker News
🧩Microservices
UK health service AI tool generated a set of false diagnoses for one patient that led to him being wrongly invited to a diabetes screening appointment
fortune.com·1d·
Discuss: Hacker News
📊Systems Monitoring
The special hell of Bolt, Europe's Uber clone
brandur.org·17h·
Discuss: Hacker News
📮Message Queues
Why the nuclear energy Renaissance is real and necessary
utilitydive.com·20h·
Discuss: Hacker News
🌐Distributed systems
LED-pumped room-temperature solid-state maser
nature.com·1h·
Discuss: Hacker News
✨Gleam lang
I built a digital camera that prints photos on thermal paper
instructables.com·21h·
Discuss: Hacker News
📊Performance Profiling
Why I Talk to Myself
elijahpotter.dev·1d·
Discuss: Hacker News
🌐Distributed systems
Canadian Cross
en.wikipedia.org·3d·
Discuss: Hacker News
💻Programming languages
How digital workers can make CEOs irrelevant
mectors.medium.com·6h·
Discuss: Hacker News
🌐Distributed systems
What's happening to Matlab? Or, "The slow demise of the engineering toolbox"
blog.pictor.us·4d·
Discuss: Hacker News
💻Programming languages
Some notes on project management
andrewpwheeler.com·1d·
Discuss: Hacker News
🌐Distributed systems
4. Boxing Day: Unwrapping the Mind
blog.phenomenal.ink·2d·
Discuss: Hacker News
🔐Security Patterns
Scan and resolve fixed GitHub issues and PRs with AI
github.com·10h·
Discuss: Hacker News
🌊Stream Processing
Stack frame layout on x86-64
eli.thegreenplace.net·1d·
Discuss: Hacker News
💻Programming languages
Door Wide AI: The 64M Users McDonald's Left Behind
vitraag.com·1d·
Discuss: Hacker News
📊Systems Monitoring
Hacker Machine Shop Tutorials
github.com·1d·
Discuss: Hacker News
⚡SIMD Optimization
The Conspiracy of Reason
medium.com·4d·
Discuss: Hacker News
💻Programming languages
Assistants Aren't the Future of AI
blog.sshh.io·2d·
Discuss: Hacker News
🌐Distributed systems
Test Code Like Zelda: When to Implement Automated Testing
usetusk.ai·3d·
Discuss: Hacker News
🧩Microservices
The New Distribution Game: Building Products for Agents, Not Users
productcurious.com·1d·
Discuss: Hacker News
🌐Distributed systems
Loading...Loading more...
AboutBlogChangelogRoadmap