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
2660
posts in
152.7
ms
Show HN:
FederalGifts
– What foreign
governments
give American officials
federalgifts.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
The California peak so deadly public safety officials
compare
it to
Everest
sfgate.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Russia
scrambles
to close communications gap on battlefield after Starlink
deactivated
theguardian.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Stranger
Who Made a
Mistake
alearningaday.blog
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Show HN: I built a health
protocol
cheatsheet
from expert recommendations
healthyhabitsvault.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
GitButler
CLI
Is Really Good
matduggan.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Brain train game may help
protect
against
dementia
for up to 20 years
nbcnews.com
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Live updates: Trump administration news,
Ghislaine
Maxwell pleads the
Fifth
, DHS funding talks deadline approaches
cnn.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Alienated
by Trump,
Europeans
Finally Take Responsibility for Defense
reason.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
3+1D
Octonionic
Field Theory: A Lagrangian
PINN
Approach to Non-Associative Spacetime Dynamics
zenodo.org
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Algos
,
Bias
, Due Process, & You
suffolklitlab.org
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
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
Ask HN: Why do media react to
coordinated
launches but ignore
finished
products?
news.ycombinator.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
Quantized
Tensor Train Compression For Turbulent Flow Simulation: O(log N) Scaling with
Reynolds-Independent
Bond Dimension
zenodo.org
·
1d
·
Discuss:
Hacker News
⚡
CUDA
Show HN: Claude SaaS
Starter
– Next.js
Boilerplate
for Claude Streaming
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
pirafrank/vault-conductor
: An SSH Agent that provides SSH keys stored in
Bitwarden
Secret Manager
github.com
·
20h
·
Discuss:
Hacker News
,
r/commandline
🔒
Cryptography
Loading...
Loading more...
« Page 31
•
Page 33 »
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