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
🌐 Distributed Systems
Fault Tolerance, Consensus Algorithms, Scalability, System Design
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2749
posts in
54.1
ms
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
✅
Formal Verification
Things
Unix
can do
atomically
rcrowley.org
·
3d
·
Discuss:
Hacker News
🦀
Rust
MCP Transport: Architecture,
Boundaries
, and Failure
Modes
pgedge.com
·
4d
·
Discuss:
Hacker News
📊
Streaming ML
Software Engineering
Transformation
2026
mfranc.com
·
1d
·
Discuss:
Hacker News
⚙
Complex ststems
What I
wish
I
knew
before building a vibe coding platform
imagine.dev
·
2d
·
Discuss:
Hacker News
📊
Streaming ML
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
3d
·
Discuss:
Hacker News
📊
Streaming ML
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🧩
Complexity Theory
Teleportal
: A real-time
collaborative
editing framework
pckt.blog
·
3d
·
Discuss:
Hacker News
🦀
Rust
Landlord
: a
tenancy
controller and experiment in AI driven product building
leebriggs.co.uk
·
3d
·
Discuss:
Hacker News
📊
Streaming ML
The Agentic
Inversion
Principle
mikebrevoort.com
·
2d
·
Discuss:
Hacker News
⚙
Complex ststems
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
3d
·
Discuss:
Substack
✅
Formal Verification
Redis/Valkey
Replication
Internals
: The Architecture Behind Zero-Copy Command Propagation
frostzt.com
·
4d
·
Discuss:
Hacker News
,
r/programming
🦀
Rust
The control
layer
for AI
blog.dottxt.ai
·
2d
·
Discuss:
Hacker News
📊
Streaming ML
1M
token context: The good, the bad and the
ugly
(2025)
micron.com
·
3d
·
Discuss:
Hacker News
📊
Streaming ML
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
3d
·
Discuss:
Hacker News
✅
Formal Verification
tarek-clarke/resilient-rap-framework
: To test the
viability
of a resilient analytical pipeline for clinical and sports health telemetry
github.com
·
4d
·
Discuss:
Hacker News
📊
Streaming ML
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
4d
·
Discuss:
Lobsters
,
Hacker News
✅
Formal Verification
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
📊
Streaming ML
The Rise of
Spec
Driven Development
dbreunig.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Buildlog
: My personal cloud
arne.me
·
2d
·
Discuss:
Hacker News
📊
Streaming ML
Loading...
Loading more...
« Page 3
•
Page 5 »
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