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
16778
posts in
261.3
ms
How
StrongDM
’s AI team build
serious
software without even looking at the code
jmason.ie
·
1d
⚔️
Lean Tactics
Full Disclosure: Certified
Asterisk
Security Release
certified-20.7-cert9
seclists.org
·
2d
❄️
Nixpkgs
pavelsukhachev/hybrid-orchestrator
: Hybrid AI orchestration framework for reliable financial services automation. Design patterns for
coordinating
human workers and AI agents.
github.com
·
16h
·
Discuss:
Hacker News
🏠
Homelab Orchestration
Rust Memory Management: The
Playroom
Analogy
adacore.com
·
2h
·
Discuss:
Hacker News
🦀
Rust Borrowing
We hid
backdoors
in
binaries
– Opus 4.6 found 49% of them
quesma.com
·
4h
·
Discuss:
Hacker News
,
r/ClaudeAI
,
r/programming
🦠
Malware Analysis
MCP
multiplexer
that cuts agent context
usage
by 95%
mcplexor.com
·
1d
·
Discuss:
Hacker News
🤖
Network Automation
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
2d
·
Discuss:
Hacker News
🌳
Incremental Parsing
Main
Content ||
Math
∩ Programming
jeremykun.com
·
1d
🧮
Kolmogorov Complexity
Setting
Up an
IRC
Server
neatnik.net
·
1d
·
Discuss:
Hacker News
🏠
HomeLab
ValentinoPalomba/FRTMProxy
: Open source alternative to Proxyman and Charles
github.com
·
1d
·
Discuss:
Hacker News
🔍
BitFunnel
My Network Engineering Home
Lab
setup
dev.to
·
2h
·
Discuss:
DEV
🏠
HomeLab
Context-Driven
Development Meets Team Agents: What
Changed
and What Didn't
themobileagent.substack.com
·
2h
·
Discuss:
Substack
⚙️
TLA+
Linear
Realisability
and
Implicative
Algebras
arxiv.org
·
1d
📏
Linear Logic
Implementing
Grassroots
Logic Programs with
Multiagent
Transition Systems and AI
arxiv.org
·
1d
⚙️
TLA+
Redefining
Go
Functions
pboyd.io
·
2h
·
Discuss:
Lobsters
,
Hacker News
🧠
Lisp Dialects
How Meta turned the Linux Kernel into a planet-scale
Load
Balancer
. Part I
softwarefrontier.substack.com
·
3d
·
Discuss:
Substack
🤖
Network Automation
A Language For Agents
lucumr.pocoo.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🗣️
Domain-Specific Languages
Showcase: "act" - A lightweight Go library for
cleaner
error
handling
- my take on the Go error
handling
discussion
reddit.com
·
2d
·
Discuss:
r/golang
📜
Proof Carrying Code
Upcoming changes to Let's
Encrypt
and how they affect
XMPP
server operators
blog.prosody.im
·
4d
·
Discuss:
Hacker News
🔐
Certificate Analysis
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🔓
Password Cracking
Loading...
Loading more...
« Page 4
•
Page 6 »
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