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
🔒 Language-based security
information-flow
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18097
posts in
226.1
ms
Full Disclosure: Certified
Asterisk
Security Release
certified-20.7-cert9
seclists.org
·
1d
❄️
Nixpkgs
CAP-SRP
: Building a Cryptographic Flight Recorder for AI Content
Refusals
— A Complete Implementation Guide
dev.to
·
2d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
6h
·
Discuss:
Hacker News
🔍
eBPF
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
2d
🤝
Consensus Protocols
Show HN:
SubAnalyzer
subdomain
discovery and external attack surface map tool
subanalyzer.com
·
16h
·
Discuss:
Hacker News
🕵️
Domain Enumeration
C and
Undefined
Behaviour
lelanthran.com
·
20h
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🦀
Rust Macros
The Hidden Cost of “Event-Driven Everything”: Why Most Systems Don’t Need
Kafka
(Yet)
dev.to
·
1h
·
Discuss:
DEV
🌊
Streaming Systems
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
1d
📝
Concrete Syntax
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
1d
🦀
Rust Macros
The
logs
I never read
pydantic.dev
·
1d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
The End of
IPFS
: Centralized Pinning Single Points of Failure, Cryptographic Hash Backdoors, DDoS Exploitation, and Gossip-Based Distributed Node
Eradication
zenodo.org
·
13h
·
Discuss:
Hacker News
🌐
IPFS
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
22h
·
Discuss:
Hacker News
⚖️
Hoare Logic
RFC 3092:
Etymology
of "
Foo
"
datatracker.ietf.org
·
21h
·
Discuss:
Hacker News
📝
ABNF Extensions
MCP
multiplexer
that cuts agent context
usage
by 95%
mcplexor.com
·
4h
·
Discuss:
Hacker News
🤖
Network Automation
Jokes
on You AI: Turning the
Tables
dev-log.me
·
23h
·
Discuss:
Hacker News
⚔️
Lean Tactics
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
1h
·
Discuss:
Hacker News
📏
Code Metrics
All About
OWASP
Top 10 for
Agentic
AI Applications
infosecwriteups.com
·
4d
🔒
WASM Capabilities
Setting
Up an
IRC
Server
neatnik.net
·
12h
·
Discuss:
Hacker News
🏠
HomeLab
From Automation to Infection (Part II): Reverse Shells, Semantic Worms, and Cognitive
Rootkits
in
OpenClaw
Skills
blog.virustotal.com
·
4d
·
Discuss:
blog.virustotal.com
🔓
Hacking
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
1d
·
Discuss:
Hacker News
🌳
Incremental Parsing
Loading...
Loading more...
« Page 1
•
Page 3 »
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