🐿️ 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
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev
·
5h
·
Discuss:
Hacker News
🔄
Compiler Design
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com
·
2d
🔄
Compiler Design
Scheme Basics
courses.cs.washington.edu
·
8h
·
Discuss:
Hacker News
,
Hacker News
🔄
Compiler Design
Lobsters Interview with Matklad
lobste.rs
·
7h
·
Discuss:
Lobsters
🔄
Compiler Design
Monolith vs Microservices: The $1M ML Design Decision
javarevisited.substack.com
·
9h
·
Discuss:
r/programming
📡
Distributed Systems
AI in open source: fighting bias in AI analysis
rainer.gerhards.net
·
1d
·
Discuss:
Hacker News
🔄
Compiler Design
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io
·
4h
·
Discuss:
Hacker News
📦
WebAssembly
Simpler Category Theory
ryanbrewer.dev
·
2d
·
Discuss:
Hacker News
🔄
Compiler Design
How to load test PostgreSQL database and not miss anything
habr.com
·
13h
·
Discuss:
Hacker News
🔍
eBPF
The Baby Paradox in Haskell
blog.jle.im
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔄
Compiler Design
Hacker and Physicist – A Tale of "Common Sense"
supasaf.com
·
5h
·
Discuss:
Hacker News
🔐
Cryptography
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com
·
1d
·
Discuss:
Hacker News
🗄
Database Systems
how to decide on the sequence of computable numbers
academia.edu
·
1d
·
Discuss:
Hacker News
,
r/programming
🔄
Compiler Design
Building a Regex Engine
abstractsyntaxseed.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔄
Compiler Design
Sapir-Whorf does not apply to Programming Languages
buttondown.com
·
1d
·
Discuss:
Hacker News
🔄
Compiler Design
Technical Sales & Presales 101: The very basics
lukasniessen.com
·
1d
·
Discuss:
r/programming
⚡
Performance Engineering
Lessons from AI Safety for Businesses
svana.name
·
11h
·
Discuss:
Hacker News
⚡
Performance Engineering
Why Was Apache Kafka Created?
bigdata.2minutestreaming.com
·
1h
·
Discuss:
Hacker News
📦
WebAssembly
Scaling Your AI Enterprise Architecture with MCP Systems
decodingml.substack.com
·
9h
·
Discuss:
Substack
📦
WebAssembly
Essential Reading for Agentic Engineers - August 2025
steipete.me
·
20h
·
Discuss:
Hacker News
🚢
DevOps
Loading...
Loading more...
Page 2 »