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
9428
posts in
180.4
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
·
3d
·
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
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
1d
🔤
DSLs
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
19h
🧠
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
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🏃
Escape Analysis
SIGKILL
durability
proof (per-visitor container)
ayder.xyz
·
2d
·
Discuss:
Hacker News
🐳
Containerization
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
Sandboxing
Systemd
Services
ejaaskel.dev
·
3d
·
Discuss:
Hacker News
📦
Namespaces
How Meta turned the Linux Kernel into a planet-scale
Load
Balancer
. Part I
softwarefrontier.substack.com
·
4d
·
Discuss:
Substack
⚙️
Operating System Design
The Most Popular
Agentic
Open-Source Tools (2026 Edition)
you.com
·
2d
·
Discuss:
Hacker News
🌐
ActivityPub
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
2d
·
Discuss:
Hacker News
🔀
OCaml Multicore
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