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

CAMARA: Open-source API for telecom and 5G networks
gsma.com·5d·
Discuss: Hacker News
💻Programming languages
The Depopulation Bomb, Two Economists Make the Case for Humans
mishtalk.com·15h·
Discuss: Hacker News
💻Programming languages
A Very Tidy Handheld Pi Terminal Indeed
hackaday.com·17h·
Discuss: Hacker News
🌐Distributed systems
Show HN: Raphael AI – Edit photos with simple text instructions,free,no-login
raphael.app·2d·
Discuss: Hacker News
💻Programming languages
A Different Way to Think about Plane Fitting
tangramvision.com·4d·
Discuss: Hacker News
⚡SIMD Optimization
Building a fuzzing testing framework with Locust and Docker
lucas-montes.com·5d·
Discuss: Hacker News
🧩Microservices
What Happens When Doctors Can't Trust the Government?
nytimes.com·47m·
Discuss: Hacker News
🔐Security Patterns
The Vendor Lock-In You Don't See
lastweekinaws.com·2d·
Discuss: Hacker News
🌐Distributed systems
AI Image Maker
aiimagemaker.net·2d·
Discuss: Hacker News
💻Programming languages
Show HN: OneArch – AI-assisted architecture docs with ADRs and diagrams
theone.archi·5d·
Discuss: Hacker News
📊Systems Monitoring
Remnants: Chapter 4 - Left Behind
hackernoon.com·3d
📮Message Queues
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
deepmind.google·6d·
Discuss: Lobsters, Hacker News
💻Programming languages
Enough AI copilots! We need AI HUDs
geoffreylitt.com·13h·
Discuss: Hacker News
📊Systems Monitoring
Within 5 Years, All Engineers Will Be Systems Integrators
quicktea.ai·4d·
Discuss: Hacker News
🌐Distributed systems
Bitcoin Mining Could Make Our Electricity Grids Smarter
hackernoon.com·19h
🌐Distributed systems
Building Multi-Agent Solutions with Semantic Kernel and A2A Protocol
devblogs.microsoft.com·5d·
Discuss: Hacker News
🌐Distributed systems
Show HN: Boreal.chat, an open AI chat platform, fast, and reliable
github.com·3d·
Discuss: Hacker News
📮Message Queues
You’re Building AI Agents Wrong. Here’s How to Fix That with AAC
hackernoon.com·3d
📮Message Queues
How Anthropic teams use Claude Code
anthropic.com·4d·
Discuss: Hacker News, r/programming
💻Programming languages
Smart Routing Saved Exa 90% on LLM Costs
inference.net·5d·
Discuss: Hacker News
📮Message Queues
Loading...Loading more...
AboutBlogChangelogRoadmap