Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✓ Formal Verification
Proofs, Correctness, Model Checking, Specifications
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
126
posts in
10.2
ms
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
λ
Functional Programming
Securing
GenAI: Vol. 8 — Deploying AI apps
securely
pub.towardsai.net
·
12h
⏱️
Tokio
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
1d
·
Discuss:
Hacker News
🏗️
Language Design
Build a
Compiler
in Five Projects
kmicinski.com
·
4h
🏗️
Compiler Design
Multi-Paxos
– Consensus in Distributed
Databases
arpitbhayani.me
·
17h
·
Discuss:
Hacker News
🔓
Lock-free Algorithms
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
1d
·
Discuss:
Hacker News
⏩
SIMD
My
Current
AI Coding
Workflow
jonathannen.com
·
1d
🤖
AI
Building a Claude Code
skill
sevalla.com
·
3d
🔍
Static Analysis
Data
Integration
databricks.com
·
3d
🎮
ECS
Durable
Execution: Build reliable software in an
unreliable
world
thenewstack.io
·
4d
·
Discuss:
Hacker News
⏱️
Tokio
Optimized
LLM Inference
Engines
rishirajacharya.com
·
2d
🏗️
Compiler Design
Show HN: Database
Internals
, a book by Claude
Opus
4.5
cloudstreet-dev.github.io
·
5d
·
Discuss:
Hacker News
💾
Caches
How
LSP
Works: Building a
Grammar
Checker
LSP
from Scratch in Rust
aroy.sh
·
4d
·
Discuss:
Hacker News
🏗️
Compiler Design
LLM
Observability
&
Evaluation
Platform
arize.com
·
5d
📈
Incremental Computation
AI Cost
Considerations
Every
Engineer
Should Know
vantage.sh
·
3d
·
Discuss:
Hacker News
📈
Incremental Computation
Lambda
cube
en.wikipedia.org
·
5d
·
Discuss:
Lobsters
🔗
Dependent Types
🎲
Additional
Thoughts about the Command
Pattern
jonathan-frere.com
·
5d
🧵
Coroutines
I
struggled
to code with AI until I learned this
workflow
newsletter.systemdesign.one
·
5d
·
Discuss:
r/programming
⚙️
CompTime
CP
Systems Explained: The Hidden Cost of Strong
Consistency
blog.ahmazin.dev
·
4d
·
Discuss:
Hacker News
🔓
Lock-free Algorithms
Stratum
: Architecting a
Configurable
Cache Simulator with C++ and Racket
thecloudlet.github.io
·
5d
·
Discuss:
Hacker News
⚡
Cache Optimization
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help