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
🌐 NetworkProtocols
TLS, Formal Specification, Protocol State Machines, Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9492
posts in
275.2
ms
Building a
CDN
from
Scratch
levelup.gitconnected.com
·
2d
·
Discuss:
r/programming
📡
Network Protocol Design
Sleeper Shells: How Attackers Are Planting Dormant Backdoors in
Ivanti
EPMM
defusedcyber.com
·
2d
·
Discuss:
Hacker News
🛡️
seL4
Hope Is Not a Security Strategy: Why
Secure-by-Default
Beats
Hardening
tuananh.net
·
2d
·
Discuss:
Lobsters
🛡️
macOS Security
Building Production-Ready
STT/TTS
Implementations
with LLMs: Lessons Learned
dev.to
·
5d
·
Discuss:
DEV
🌐
Network Protocols
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
3d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
Towards
Poisoning
Robustness
Certification for Natural Language Generation
arxiv.org
·
17h
🧪
Property-Based Testing
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
17h
🧠
Automated Reasoning
Making a Hardware Accelerated Live TV Player from Scratch in C: HLS Streaming,
MPEG-TS
Demuxing
, H.264 Parsing, and Vulkan Video Decoding
blog.jaysmito.dev
·
2d
·
Discuss:
Hacker News
,
r/programming
🔌
IOKit
Willow
-
Protocols
for an uncertain future
fosdem.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
📡
Network Protocol Design
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
2d
·
Discuss:
Hacker News
λ
Functional Programming
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🏃
Escape Analysis
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
6d
·
Discuss:
Lobsters
,
Hacker News
✓
Automated Theorem Proving
Your
VCL
App: 4x to 11x Faster Math Performance with
Elements
blogs.remobjects.com
·
2d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Show HN: Claude SaaS
Starter
– Next.js
Boilerplate
for Claude Streaming
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🐳
Containerization
The Most Popular
Agentic
Open-Source Tools (2026 Edition)
you.com
·
2d
·
Discuss:
Hacker News
🌐
ActivityPub
EU AI Act
Compliance
for
Enterprise
AI Systems: What Your Engineering Team Needs to Build
medium.com
·
2d
·
Discuss:
Hacker News
🔍
Formal Verification
We hid
backdoors
in
binaries
– Opus 4.6 found 49% of them
quesma.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
,
r/ClaudeAI
,
r/programming
🔬
Reverse Engineering
Show HN: A Compiler for
CDN
Security (YAML to
CloudFront/Workers/WAF
)
npmjs.com
·
3d
·
Discuss:
Hacker News
🔧
DevOps
Loading...
Loading more...
« Page 6
•
Page 8 »
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