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
✅ Formal Methods
FStar, libjade, Jasmin, hacl-star
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2608
posts in
138.5
ms
Show HN:
FederalGifts
– What foreign
governments
give American officials
federalgifts.com
·
20h
·
Discuss:
Hacker News
🔒
Cryptography
From
watchdogs
to
mouthpieces
: Washington Post and the wreckage of legacy media
thejournal.ie
·
20h
·
Discuss:
Hacker News
🔒
Cryptography
Mapping the Moon: The
Apollo
Transforming
Printer
blogs.loc.gov
·
20h
·
Discuss:
Hacker News
🎨
Rendering
Show HN: I made
Sundaysub
to help small startup create
invoice
for free
sundaysub.com
·
21h
·
Discuss:
Hacker News
🦀
Rust
Roll with Advantage:
Hacking
Lenovo
Vantage
mkiesel.ch
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
FLUX.2
Klein
- World's Fastest AI Image Generator
flux2-klein.org
·
21h
·
Discuss:
Hacker News
🎨
Rendering
Alienated
by Trump,
Europeans
Finally Take Responsibility for Defense
reason.com
·
20h
·
Discuss:
Hacker News
🔒
Cryptography
Review: Why the
Lucky
Stiff
tmewett.com
·
20h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Matrix
messaging
gaining
ground in government IT
theregister.com
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Algos
,
Bias
, Due Process, & You
suffolklitlab.org
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
I
paid
$170 and all I got was this
stupid
demo
marble.onl
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
What Is Claude?
Anthropic
Doesn’t Know,
Either
newyorker.com
·
21h
·
Discuss:
Hacker News
🦀
Rust
Improve your
landing
page and turn
visitors
into customers
fixmyland.ing
·
21h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
20h
·
Discuss:
Hacker News
,
r/programming
📡
Side-Channel Attacks
Testing
ads
in ChatGPT
openai.com
·
21h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Quantized
Tensor Train Compression For Turbulent Flow Simulation: O(log N) Scaling with
Reynolds-Independent
Bond Dimension
zenodo.org
·
19h
·
Discuss:
Hacker News
⚡
CUDA
I'm a
therapist
who built a self-aware AI
therapist
with no coding
background
medium.com
·
19h
·
Discuss:
Hacker News
🦀
Rust
The Most Popular
Agentic
Open-Source Tools (2026 Edition)
you.com
·
14h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Show HN:
Merlin
(
trymerlin.ai
) – Exam creation tool for educators
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🦀
Rust
what a software factory can
teach
creatives
about working with AI
codeforcreatives.com
·
17h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 18
•
Page 20 »
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