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
🐛 Vulnerability Research
Exploit Development, Fuzzing, Static Analysis, Binary Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3824
posts in
98.7
ms
Usage of Mixed Integer Linear Programming in
Cryptanalysis
of Block
Ciphers
eprint.iacr.org
·
1d
🔐
Zero-Knowledge Proofs
Orbit: Optimizing
Rescale
and
Bootstrap
Placement with Integer Linear Programming Techniques for Secure Inference
eprint.iacr.org
·
2d
📡
Side-Channel Attacks
miniKanren.org
minikanren.org
·
3d
·
Discuss:
Lobsters
✅
Formal Methods
Shut
Up: Comment
Blocker
rickyromero.com
·
41m
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Denver
schools blocking ChatGPT over concerns about group
chats
, ‘adult content’
chalkbeat.org
·
22m
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Beyond the
Fitbit
: Why your next health tracker might be a button on your
shirt
kcl.ac.uk
·
35m
·
Discuss:
Hacker News
🔒
Cryptography
Most-Viewed People on Wikipedia in 2025 How Catalyst Events
Imprint
Social Memory—
Wolfram
Blog
blog.wolfram.com
·
37m
·
Discuss:
Hacker News
,
r/programming
🔐
Zero-Knowledge Proofs
Palantir’s New Clothes:
Foundry
,
AIP
, & the Failure of Reason
michaeljburry.substack.com
·
21m
·
Discuss:
Substack
🦀
Rust
Browser-based tool for
generating
songs
from text
texttosong.ai
·
33m
·
Discuss:
Hacker News
✅
Formal Methods
The
Autonomous
Experimentation
Engine
remoroo.com
·
3d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
TCG068
: Agents and Identity –
Navigating
What We Can’t Predict
packetpushers.net
·
36m
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Show HN:
SubAnalyzer
subdomain
discovery and external attack surface map tool
subanalyzer.com
·
3d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Testing software in the era of coding agents
garymm.org
·
3d
·
Discuss:
Hacker News
✅
Formal Methods
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
4d
·
Discuss:
Hacker News
✅
Formal Methods
Launch HN:
Omnara
(
YC
S25) – Run Claude Code and Codex from Anywhere
news.ycombinator.com
·
32m
·
Discuss:
Hacker News
🦀
Rust
Webspace
Invaders
matthiasott.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
📡
Side-Channel Attacks
Don't build agents, build context
enrinchment
trunk.io
·
25m
·
Discuss:
Hacker News
✅
Formal Methods
Syd
: Writing an application
kernel
in Rust [video]
fosdem.org
·
3d
·
Discuss:
Hacker News
🦀
Rust
Show HN:
Mojic
– A C code
obfuscator
and encryption tool for source protection
amit.is-a.dev
·
3d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
5d
·
Discuss:
Hacker News
✅
Formal Methods
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