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
2634
posts in
309.5
ms
Game of
Trees
(Got)
gameoftrees.org
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Is India about to make
Ozempic-like
weight-loss drugs a whole lot
cheaper
?
cnn.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
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
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
Font
Rendering
from First Principles
mccloskeybr.com
·
2d
·
Discuss:
Hacker News
🎨
Rendering
Java UI in 2026: an
overview
of current
frameworks
and approaches
robintegg.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Building
Mockingjay
: A Video
Recorder
for When It Matters Most
tskulbru.dev
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Double
Rootlessness
: AI's Cognitive Illusion and Systemic Risk
Amplification
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Major political
upheaval
in Japan? Sanae Takaichi may
dissolve
the Diet
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Hiring AI Developers Fast: Direct Hire vs.
Agencies
vs.
Marketplaces
vindler.solutions
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Prepare your OSS
repo
for AI coding
assistants
angiejones.tech
·
2d
·
Discuss:
Hacker News
🦀
Rust
How were the
NIST
ECDSA
curve parameters generated? (2023)
saweis.net
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Noam
Chomsky
's wife responds to Epstein controversy
aaronmate.net
·
2d
·
Discuss:
Hacker News
🦀
Rust
Musk
clips
his Mars settlement
ambition
, aims for the moon instead
cnn.com
·
1d
·
Discuss:
Hacker News
,
r/space
🔒
Cryptography
Show HN:
Seedance2.live
– One place to
try
many AI image and video models
seedance2.live
·
13h
·
Discuss:
Hacker News
🎨
Rendering
AI-powered text
correction
for
macOS
taipo.app
·
2d
·
Discuss:
Hacker News
🦀
Rust
Thoughts
on LLMs
finestructure.co
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 46
•
Page 48 »
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