🐿️ 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 Verification
Correctness Proofs, Model Checking, Theorem Proving, Program Analysis
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 11
•
Page 13 »