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
9170
posts in
513.7
ms
Building a
CDN
from
Scratch
levelup.gitconnected.com
·
3d
·
Discuss:
r/programming
📡
Network Protocol Design
Building Production-Ready
STT/TTS
Implementations
with LLMs: Lessons Learned
dev.to
·
6d
·
Discuss:
DEV
🌐
Network Protocols
Hope Is Not a Security Strategy: Why
Secure-by-Default
Beats
Hardening
tuananh.net
·
3d
·
Discuss:
Lobsters
🛡️
macOS Security
CReact
:
JSX
meta-execution engine v0.3.0
dev.to
·
4d
·
Discuss:
DEV
🔧
ppx
Sleeper Shells: How Attackers Are Planting Dormant Backdoors in
Ivanti
EPMM
defusedcyber.com
·
3d
·
Discuss:
Hacker News
🛡️
seL4
Relational Programming in
miniKanren
: Techniques, Applications, and
Implementations
(2009)
scholarworks.iu.edu
·
3d
·
Discuss:
Lobsters
🐫
OCaml
Bounded
Modal
Logic
arxiv.org
·
1d
⏳
LTL
On A
Parameterized
Theory of Dynamic Logic for
Operationally-based
Programs
arxiv.org
·
1d
✅
Model Checking
six
thoughts
on
generating
c
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
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
·
3d
·
Discuss:
Hacker News
,
r/programming
🔌
IOKit
Upcoming changes to Let's
Encrypt
and how they affect
XMPP
server operators
blog.prosody.im
·
6d
·
Discuss:
Hacker News
🔒
Protocol Verification
How to Reduce
Telemetry
Volume by 40%
Smartly
newsletter.signoz.io
·
4d
·
Discuss:
Hacker News
,
r/programming
👁️
Observability
Show HN:
BotsChat
, Chat UI Designed for
OpenClaw
botschat.app
·
3d
·
Discuss:
Hacker News
🌐
ActivityPub
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
3d
·
Discuss:
Hacker News
λ
Functional Programming
Show HN: Have I Been
Clawned
– 72-check security audit for
OpenClaw
agents
haveibeenclawned.com
·
3d
·
Discuss:
Hacker News
🛡️
macOS Security
Willow
-
Protocols
for an uncertain future
fosdem.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
📡
Network Protocol Design
Poison2
rnsaffn.com
·
3d
·
Discuss:
Hacker News
❓
Existential Types
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
3d
·
Discuss:
Hacker News
,
r/programming
🏃
Escape Analysis
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Loading...
Loading more...
« Page 9
•
Page 11 »
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