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
17962
posts in
219.2
ms
SIEM
Rules for detecting exploitation of vulnerabilities in
FortiCloud
SSO
kaspersky.com
·
4d
🧪
Protocol Fuzzing
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
5d
⚙️
Proof Engineering
Auditing
Outline.
Firsthand
lessons from comparing manual testing and AI security platforms
blog.doyensec.com
·
6d
🕵️
Penetration Testing
Toward Quantum-Safe Software Engineering: A Vision for Post-Quantum
Cryptography
Migration
arxiv.org
·
3d
🔐
Quantum Security
Bayesian Networks and
Proof-Nets
: the
proof-theory
of Bayesian Inference
arxiv.org
·
4d
📏
Linear Logic
[$]
Modernizing
swapping
: the end of the swap map
lwn.net
·
4d
🔗
Topological Sorting
Kadajett/blECSd
: A modern typescript rewrite of blessed, with dozens of modern features, a strict functional architecture, and bitECS as a backend for a fully composable API. Not just for games either! ;)
github.com
·
2d
·
Discuss:
Hacker News
,
r/javascript
🦀
Rust Macros
Facing the Quantum Threat:
Cisco
’s Strategic Approach to
PQC
blogs.cisco.com
·
4d
🔐
Quantum Security
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
5d
·
Discuss:
Hacker News
💧
Liquid Types
How
Containers
Actually Work: Building Container
Networking
From Scratch
amalchandran.xyz
·
5d
·
Discuss:
Hacker News
🤖
Network Automation
Surajkumar5050/zyron-assistant
: ⚡ A local, privacy-focused AI desktop assistant for Windows. Control your PC remotely via Telegram or locally with Voice commands. Powered by Ollama.
github.com
·
3d
·
Discuss:
Hacker News
,
r/linux
🔌
Operating system internals
The
Agentic
Trust Framework: Zero Trust
Governance
for AI Agents
cloudsecurityalliance.org
·
4d
·
Discuss:
Hacker News
🔲
Cellular Automata
C Isn't A
Programming
Language
Anymore
faultlore.com
·
3d
·
Discuss:
Hacker News
🔩
Systems Programming
Building a privacy-first,
EU-hosted
AI chat in Rust (
Leptos
)
limbochat.com
·
5d
·
Discuss:
Hacker News
🔤
EBCDIC Privacy
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
3d
·
Discuss:
Hacker News
🧪
Property-Based Testing
A Server in Your Browser
blog.rbby.dev
·
4d
·
Discuss:
Hacker News
⚡
gRPC
Trusting
Claude With a Knife: Unauthorized Prompt Injection to
RCE
in Anthropic’s Claude Code Action
johnstawinski.com
·
4d
·
Discuss:
Hacker News
🔐
CBOR
Building my
self-hosted
cloud coding agent
stanislas.blog
·
6d
·
Discuss:
Hacker News
🤖
Network Automation
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🧪
Binary Fuzzing
Building
Production-Grade
AI Systems: The
Observability
Library That Actually Works
medium.com
·
4d
·
Discuss:
Hacker News
👁️
System Observability
Loading...
Loading more...
« Page 11
•
Page 13 »
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