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
🔒 S2N-QUIC
AWS QUIC, Formal Verification, Performance
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
110666
posts in
1.46
s
How ‘effectively zero-knowledge’
proofs
could transform
cryptography
scientificamerican.com
·
1d
🔢
Homomorphic Encryption
Coding Agents Meet
Distributed
Reality
jhellerstein.github.io
·
57m
·
Discuss:
Hacker News
🧪
Jepsen Testing
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
10h
✓
Formal Verification
Protecting
Context and Prompts:
Deterministic
Security for
Non-Deterministic
AI
arxiv.org
·
13h
🛡️
AI Security
Automating the
EC2
Instance
dev.to
·
13h
·
Discuss:
DEV
🚀
Shuttle
Functional
Optics
for Modern Java
blog.scottlogic.com
·
18h
🛡️
Error Handling
Four Seconds to Botnet - Analyzing a Self
Propagating
SSH Worm with
Cryptographically
Signed C2 [Guest Diary], (Wed, Feb 11th)
isc.sans.edu
·
16h
🌐
Network Security
Build a zero trust
environment
with Red Hat
Connectivity
Link
developers.redhat.com
·
10h
📋
etcd
CVE-2026-24009: RCE in
Docling
via Unsafe
PyYAML
Deserialization
oligo.security
·
1h
📚
Rkyv
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
1h
⚓
Anchors
AI-Assisted Web and Cloud Penetration Testing with Cursor + MCP
HexStrike
and
Burp
Suite MCP.
infosecwriteups.com
·
12h
🛡️
AI Security
[CVE-2026-25598] Bypassing
Outbound
Connections Detection in
harden-runner
devansh.bearblog.dev
·
1d
🔓
Binary Exploitation
MPSpeed
: Implementing and Optimizing
MPC-in-the-Head
Digital Signatures in Hardware
eprint.iacr.org
·
3d
🚀
Superoptimization
Stop talking to AI, let them talk to each other: The
A2A
protocol
thenextweb.com
·
6h
🛡️
AI Security
Lost
Proofs
, Found
Proofs
: How AI
Unearthed
Forgotten Solutions
hackernoon.com
·
16h
🧮
SMT Solvers
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
3h
·
Discuss:
Lobsters
🐛
Fuzzing
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
2d
🦙
Ollama
Ring-1T-2.5
released by
inclusionAI
huggingface.co
·
1h
·
Discuss:
r/LocalLLaMA
⚡
LMAX Disruptor
I
benchmarked
4 CLI coding agents on an
NP-hard
optimization problem I solved by hand 8 years ago. One of them beat me.
charlesazam.com
·
3h
·
Discuss:
Hacker News
🚀
Performance
AWS
Architecture
Blog
aws.amazon.com
·
1d
🚀
Shuttle
Loading...
Loading more...
« Page 1
•
Page 3 »
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