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
2639
posts in
218.1
ms
Show HN:
FederalGifts
– What foreign
governments
give American officials
federalgifts.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
FLUX.2
Klein
- World's Fastest AI Image Generator
flux2-klein.org
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Mapping the Moon: The
Apollo
Transforming
Printer
blogs.loc.gov
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Show HN: I built a health
protocol
cheatsheet
from expert recommendations
healthyhabitsvault.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Roll with Advantage:
Hacking
Lenovo
Vantage
mkiesel.ch
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Alienated
by Trump,
Europeans
Finally Take Responsibility for Defense
reason.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Review: Why the
Lucky
Stiff
tmewett.com
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
I
paid
$170 and all I got was this
stupid
demo
marble.onl
·
1d
·
Discuss:
Hacker News
,
Hacker News
📡
Side-Channel Attacks
Seedream
5.0 AI Image Generator | High-Fidelity Creative
Visuals
capcut.com
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Show HN: Have I Been
Clawned
– 72-check security audit for
OpenClaw
agents
haveibeenclawned.com
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Matrix
messaging
gaining
ground in government IT
theregister.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
From
watchdogs
to
mouthpieces
: Washington Post and the wreckage of legacy media
thejournal.ie
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
1d
·
Discuss:
Hacker News
,
r/programming
📡
Side-Channel Attacks
Testing
ads
in ChatGPT
openai.com
·
1d
·
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
·
1d
·
Discuss:
Hacker News
⚡
CUDA
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
22h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Op-ed:
Weakening
Section 230 Would
Chill
Online Speech
eff.org
·
23h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: Claude SaaS
Starter
– Next.js
Boilerplate
for Claude Streaming
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Why
Spec-Driven
Development
Breaks
at Scale (and How to Fix It)
arcturus-labs.com
·
17h
·
Discuss:
Hacker News
🦀
Rust
Show HN: Find automation ideas and
creators
by
sharing
your business problem
humation.ai
·
14h
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 25
•
Page 27 »
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