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
16795
posts in
840.3
ms
Protean
Compiler: An
Agile
Framework to Drive Fine-grain Phase Ordering
arxiv.org
·
1d
🏗️
Compiler Archaeology
What Is Thread?
Matter
’s Smart Home Network
Protocol
, Explained
wired.com
·
5d
🏠
Home Automation
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
1d
🔮
Proof Search
The Shadow Campaigns:
Uncovering
Global
Espionage
unit42.paloaltonetworks.com
·
5d
🎫
Kerberos Exploitation
Protecting
Triton
kernel deployments with
cryptographic
signatures
next.redhat.com
·
4d
⚙️
Operating System Design
There is a Lot of Knowledge and Wisdom Packed Into
Speakeasy
's Agent Skills by The API
Evangelist
apievangelist.com
·
4d
🎙️
Whisper
qzxcvbn/Csa
: THE SOVEREIGN ACCESS CONSTANT (
CsaC
_{sa} Csa) A Universal Open Standard for Passwordless, Zero-Knowledge Internet & Device Authentication
github.com
·
5d
·
Discuss:
Hacker News
🛡️
ARM TrustZone
Bob
– Open-source AI personal agent with 170 tools, built in 3 days
github.com
·
1d
·
Discuss:
Hacker News
🔄
Sync Engine
Stop
Telling
Users Their
DNS
Is Wrong
jacob.gold
·
2d
·
Discuss:
Hacker News
🌐
DNS Security
Generate MCP servers from any API
spec
,
docs
, or English
mcpforge-chi.vercel.app
·
5d
·
Discuss:
Hacker News
⚡
gRPC
A Tale of Two Standards,
POSIX
and
Win32
(2005)
samba.org
·
3d
·
Discuss:
Hacker News
🐚
Nordic Shell
Streamlining
Authentication Flows in
Microservices
Using Go
dev.to
·
6d
·
Discuss:
DEV
🌐
Protocol Synthesis
Building a scalable code
modernization
solution with AWS
Transform
custom
aws.amazon.com
·
3d
🏠
Homelab Orchestration
How I Built a Physical Kill-Switch for CI/CD
Pipelines
to Stop
SolarWinds-Style
Attacks
blog.devops.dev
·
5d
🔒
Secure Boot
Anatomy
of a
5-Layer
Defence Pipeline for AI Agent Memory
dev.to
·
2d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
4d
·
Discuss:
r/golang
🔍
RegEx Engines
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
4d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Build a
Compiler
in Five Projects
kmicinski.com
·
3d
🔨
Compilers
stdlib
v7.2
erlang.org
·
4d
·
Discuss:
Hacker News
🦀
Rusty Databases
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
3d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Loading...
Loading more...
« Page 10
•
Page 12 »
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