🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Formal Methods
Type Theory, Program Verification, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 17
•
Page 19 »