Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 eBPF Verifier
BPF Bytecode, Kernel Safety, Program Analysis, Bounded Loops
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
145248
posts in
28.6
ms
Verified
Spec-Driven
Development (
VSDD
)
gist.github.com
·
15h
·
Discuss:
Lobsters
,
Hacker News
🧪
Jepsen Testing
Show HN: MCP server that
strips
injection
vectors
and cuts token costs by 93%
github.com
·
5h
·
Discuss:
Hacker News
🔓
Binary Exploitation
How Text-First
Toolchains
Break Down - An Architects Under-the-Hood
Deconstruction
dev.to
·
1h
·
Discuss:
DEV
⚓
Anchors
IMMACULATE
: A Practical LLM
Auditing
Framework via Verifiable Computation
arxiv.org
·
2d
👻
Phantom Types
ELA-1652-1
glib2.0
security update
freexian.com
·
1d
🦅
Falco
Formal
methods for the
unsafe
side of the Force
antithesis.com
·
2d
·
Discuss:
Hacker News
🔀
Crossbeam
I designed an
MMU-less
5-stage RISC-V CPU entirely with Generative AI (With full
debug
support & verification)
github.com
·
1d
·
Discuss:
r/embedded
⚡
RISC-V
minimatch
Patches 3 High-Severity
ReDoS
Vulnerabilities
socket.dev
·
9h
🦎
Leptos
RFC
9939:
PKCS
#8: Private-Key Information Content Types
rfc-editor.org
·
2h
📦
Binary Formats
Stop the Spaghetti: Enforcing Module Boundaries in an
Nx
Monorepo
dev.to
·
17h
·
Discuss:
DEV
📚
libbpf
[bspwm] Cute melancholic
Mizu5
aesthetic even with
xterm
🌸
voidlinux.org
·
18h
·
Discuss:
r/unixporn
🔍
eBPF
Introduction to
Bloom
Filters
hur.st
·
3h
·
Discuss:
DEV
🌸
Bloom Filters
TENSURE
: Fuzzing Sparse Tensor
Compilers
(Registered Report)
ndss-symposium.org
·
7h
·
Discuss:
Hacker News
🤖
TVM
https://
x.com/Pinboard/status/761656824202276864
x.com
·
9h
·
Discuss:
X
🔍
eBPF
I built a 1
GiB/s
file encryption CLI using io_
uring
, O_DIRECT, and a lock-free triple buffer
reddit.com
·
13h
·
Discuss:
r/rust
🌊
Glommio
Power of C++26 Reflection: Strong (
opaque
) type
definitions
godbolt.org
·
1d
·
Discuss:
r/cpp
👻
Phantom Types
ESP32-C5 bug advisory identifies and fixes
PSRAM
and sleep
coexistence
issues
cnx-software.com
·
1d
💾
PMem Programming
Verification of
Unbounded
Client-Server Systems with
Distinguishable
Clients
arxiv.org
·
2d
📐
TLA+
In-Depth Analysis of React Server Components
Vulnerabilities
:
CVE-2025-55184
and
CVE-2025-55183
wardenshield.com
·
2d
·
Discuss:
r/reactjs
🔓
Binary Exploitation
VulHunt
in Depth: Inside the
Binary
Vulnerability Analysis Framework
binarly.io
·
1d
🔓
Binary Exploitation
Loading...
Loading more...
Page 2 »
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