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
2605
posts in
155.5
ms
Game of
Trees
(Got)
gameoftrees.org
·
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
privacy-first
anonymous
file
sharing
with zero sign-up
styloshare.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
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
India has
changed
its startup rules for deep tech
techcrunch.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Part 1 the Persistent
Vault
Issue: Your Encryption Strategy Has a
Shelf
Life
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Show HN: Give Your AI the
Ability
to Find, Install, and Use Skill
Autonomously
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Opinion | It’s the A.I. Economy,
Stupid
nytimes.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
OvidijusParsiunas/are-you-random
: 🎲 Browser game that predicts your "random"
choices
github.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Unravel
Engine: Cross-Platform C++20 Game Engine with
Wysiwyg
Editor
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Using AI for Code
Reviews
: What Works, What Doesn’t, and Why
entelligence.ai
·
2d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 38
•
Page 40 »
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