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
🔄 Protocol State Machines
Network Protocols, Finite Automata, Implementation, Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123674
posts in
2.44
s
Quick
Start
freenet.org
·
1d
🌍
Minimal HTTP
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
2d
·
Discuss:
Blogger
📊
Query Optimizers
OwlPulse
vs
StatusCake
vs Pingdom: Uptime Monitoring Comparison 2025
owlpulse.org
·
1d
·
Discuss:
DEV
📮
Persistent Queues
Faster
than
Dijkstra
?
systemsapproach.org
·
2d
·
Discuss:
Hacker News
💾
Cache-Oblivious Algorithms
Stream1090
discussions.flightaware.com
·
23h
📡
Protocol Parsers
pipe live
BGP
sessions through Python, add
RPKI
, etc.
bgpipe.org
·
1d
·
Discuss:
Hacker News
🌍
HTTP Servers
Domain
Specific
Languages
martinfowler.com
·
1d
🎨
Domain-Specific Languages
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
1d
·
Discuss:
Hacker News
🎲
Test Generators
Backtracking
Algorithms
algos.khourani.com
·
1d
🪢
Rope Data Structures
The
Univalence
Principle
golem.ph.utexas.edu
·
22h
🔗
Category Theory
Show HN: Insurance AI
Benchmark
– 510
scenarios
from production
huggingface.co
·
2d
·
Discuss:
Hacker News
🌳
Pattern Match Compilation
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
2d
🚂
Error Monads
An approach to
reducing
prompt size,
drift
, and governance risk in LLM-based systems
qu3ry.net
·
2d
·
Discuss:
r/LLM
📡
Erlang BEAM
SubJS
: JavaScript
Runtime
for Agents. Let your agent do what it does best
emi0x7d1.dev
·
1d
·
Discuss:
Hacker News
🌐
Browser REPLs
Kevin
Scott
: Building a
Sandbox
for Claude Code
thekevinscott.com
·
1d
🦀
MIR Optimization
Claude Skills vs. MCP: A Technical
Comparison
for AI
Workflows
intuitionlabs.ai
·
1d
🎭
Program Synthesis
Agents Can
Either
Be
Useful
or Secure
auth0.com
·
1d
🛡️
Capability Security
Building stateful AI Agents with Google
ADK
’s
InMemorySessionService
pub.towardsai.net
·
1d
✨
Gleam
eVer: Universal and Automated Verification of Side-Channel Security for
Additive
, Inner Product, Polynomial and General Code-Based
Masking
eprint.iacr.org
·
2d
📏
Linear Memory
Building
EDIFlow
dev.to
·
1d
·
Discuss:
DEV
🌉
Cross-Platform FFI
Loading...
Loading more...
« Page 10
•
Page 12 »
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