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
2610
posts in
251.4
ms
Game of
Trees
(Got)
gameoftrees.org
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
privacy-first
anonymous
file
sharing
with zero sign-up
styloshare.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Homeland
Security
Spying
on Reddit Users
kenklippenstein.com
·
2d
·
Discuss:
Hacker News
,
r/50501
,
r/technology
🐛
Vulnerability Research
The
Scriptovision
Super Micro Script video
titler
is almost a home computer
oldvcr.blogspot.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
oldvcr.blogspot.com
📡
Side-Channel Attacks
NBC’s
muting
of
boos
for JD Vance at the Olympics felt like reality distortion
theguardian.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
EVs
Are a Failed
Experiment
spectator.org
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Quantization-Aware
Distillation
ternarysearch.blogspot.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Human-like Search for Modern
Applications
anvitra.ai
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Oatmeal
-
Constraint
propagation for fun
eli.li
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔐
Zero-Knowledge Proofs
Changelog
31 -
Masterful
Material, Expressive Emotions, Awesome Android
lineageos.org
·
2d
·
Discuss:
Hacker News
,
r/Android
📡
Side-Channel Attacks
Bitcoin is still about $69,000 too high
ft.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Haruki
Murakami
Isn’t Afraid of the Dark
nytimes.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Framing
an LLM as a safety researcher changes its language, not its
judgement
lab.fukami.eu
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Show HN:
EdgeAI-OS
–
Air-gapped
Linux distro where AI is a system primitive
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Part 1 the Persistent
Vault
Issue: Your Encryption Strategy Has a
Shelf
Life
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
India has
changed
its startup rules for deep tech
techcrunch.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
1d
·
Discuss:
Hacker News
🦀
Rust
Opinion | It’s the A.I. Economy,
Stupid
nytimes.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Intel Releases
QATlib
26.02 With New APIs For Zero-Copy
DMA
phoronix.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
OvidijusParsiunas/are-you-random
: 🎲 Browser game that predicts your "random"
choices
github.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 34
•
Page 36 »
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