Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔒 S2N-QUIC
AWS QUIC, Formal Verification, Performance
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
144898
posts in
27.8
ms
The
185-Microsecond
Type
Hint
blog.sturdystatistics.com
·
12h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🌊
Glommio
Formal
Analysis and Supply Chain Security for Agentic AI
Skills
arxiv.org
·
5h
🛡️
AI Security
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
17h
✓
Formal Verification
driftq-org/DriftQ-Core
: The core
broker
behind
DriftQ
— an AI-native reliability layer for agent workflows.
github.com
·
16h
·
Discuss:
DEV
⚡
ZeroMQ
Understanding the
A2A
Protocol
for Agentic AI in Network Operations
networkphil.com
·
17h
📋
Protocol Design
Verifier-Bound
Communication for LLM Agents: Certified Bounds on
Covert
Signaling
arxiv.org
·
5h
🔄
Anti-Entropy
Beyond
Pandas
:
Architecting
High-Performance Python Pipelines
hackernoon.com
·
13h
🐙
Benthos
Issue with
AWS-LC
: an open-source, general-purpose
cryptographic
library (CVE-2026-3336, CVE-2026-3337, CVE-2026-3338)
aws.amazon.com
·
10h
🔒
Rustls
Show HN:
Qeltrix-V6
, Encryption Gateway
qeltrix-v6.netlify.app
·
20h
·
Discuss:
Hacker News
🔐
WireGuard
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🦀
Rust
Why We Built (and
Open-Sourced
) a New
RoughTime
Implementation
blog.sturdystatistics.com
·
8h
·
Discuss:
r/programming
🐅
TigerBeetle Protocol
Python to Rust to Proof:
Cross-Validating
a
ZK
System
dev.to
·
1d
·
Discuss:
DEV
📚
Rkyv
IaC
in AWS with
canned
templates, price estimates, low-code, CLI
stacktape.com
·
19h
🌀
Naiad
WarpSpeed
automatically rewrites Nvidia core library, achieves 3.6-100x
speedup
doubleai.com
·
17h
·
Discuss:
Hacker News
⚡
Hardware Acceleration
Testing AI Agents:
Deterministic
Evaluation
in a
Non-Deterministic
World
sitepoint.com
·
14h
🎲
Deterministic Simulation
Høiland-Jørgensen
: The inner workings of TCP zero-copy
lwn.net
·
13h
🌐
TCP/IP
Qwen3.5-4B-GGUF
is here!
huggingface.co
·
20h
·
Discuss:
r/LocalLLaMA
🎯
Lance
Neat
representation of
polymorphic
data types
gist.github.com
·
1h
·
Discuss:
r/C_Programming
📏
Linear Types
Show HN: An
Auditable
Decision Engine for AI Systems
maelstrom.ghostlogic.tech
·
8h
·
Discuss:
Hacker News
🛡️
AI Security
How
Twilio
secured
their multi-engine query platform with AWS Lake Formation
aws.amazon.com
·
16h
🔒
Tetragon
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