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

Enforcing Governance in MongoDB Atlas with Resource Policies
foojay.io·13h·
Discuss: r/programming
🚢DevOps
Understanding Python Namespace Packages
pythonkoans.substack.com·1d·
Discuss: Substack
🔄Compiler Design
The hidden cost of “Hey, quick question…” in dev teams 🤪
shiftmag.dev·15h·
Discuss: r/programming
⚡Performance Engineering
The real serverless compute to database connection problem, solved
vercel.com·14h·
Discuss: Hacker News
🗄Database Systems
Nexus: An Open-Source AI Router for Governance, Control and Observability
nexusrouter.com·1d·
Discuss: Lobsters, Hacker News, r/LLM
📡Distributed Systems
Simple Programming Languages
ryanbrewer.dev·5d·
Discuss: Hacker News
🔄Compiler Design
A Two-Tier Approach to Buy It Again Recommendations Using Category and Item Models
hackernoon.com·2d
🗄Database Systems
Measuring context switching and memory overheads for Linux threads (2018)
eli.thegreenplace.net·2d·
Discuss: Hacker News
🧠Computer Architecture
Sloppy AI defenses take cybersecurity back to the 1990s, researchers say
scworld.com·1d·
Discuss: Hacker News
🚢DevOps
The incompleteness of ethics
aeon.co·5d·
Discuss: Hacker News, Hacker News
🔄Compiler Design
Where MCP falls short: data integration in the AI world
blog.astrobee.ai·2d·
Discuss: Hacker News
📡Distributed Systems
Show HN: AI Inbx – The Email Inbox for Your AI Agents (Free Beta)
aiinbx.com·9h·
Discuss: Hacker News
🚢DevOps
Show HN: XR2000: A science fiction programming challenge
clearsky.dev·1d·
Discuss: Hacker News
🚢DevOps
Snooping On Slow Builds (Using Syscalls)
danielchasehooper.com·1d·
Discuss: Lobsters, Hacker News
📦WebAssembly
60% faster substring search with SIMD in Zig
aarol.dev·3d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
🔄Compiler Design
Engineering Management in the Age of Agents
newsletter.manager.dev·21h·
Discuss: Hacker News
🚢DevOps
Show HN: Enter your domain and my open-source agent will hack it
github.com·2d·
Discuss: Hacker News, r/SoftwareEngineering
🌐HTMX
Answering the BfDI's questions on personal data in LLMs
desfontain.es·11h·
Discuss: Lobsters, Hacker News
🔐Cryptography
Claude can now process entire software projects in single request, Anthropic says
venturebeat.com·1d·
Discuss: Hacker News
🌐HTMX
Performance Pitfalls in C# / .NET – List Contains
richardcocks.github.io·4d·
Discuss: Hacker News
🔄Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap