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
2644
posts in
60.7
ms
De-Enshittify
Windows 11:
OneDrive
⭐
thurrott.com
·
18h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Tenure
Eliminated
at Oklahoma Colleges
insidehighered.com
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Fintech
unicorn
Zepz
to lay off 20% of its global workforce, sources say
cnbc.com
·
19h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Building Netflix
colossus.com
·
19h
·
Discuss:
Hacker News
🎨
Rendering
Google AI Tools Start
Blocking
Disney-Related
Prompts
After Mouse House’s Legal Threat
deadline.com
·
19h
·
Discuss:
Hacker News
🎨
Rendering
Buying the
Kinesis
Advantage
360 keyboard was a mistake
angelika.me
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
How
Noam
Chomsky
Became the Establishment's Favorite Radical
josealnino.org
·
18h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
The
century
of the
maxxer
samkriss.substack.com
·
19h
·
Discuss:
Substack
📡
Side-Channel Attacks
Dozens of researchers will move to France from US following
high-profile
bid to
lure
talent
nature.com
·
18h
·
Discuss:
Hacker News
🦀
Rust
Windows
WLAN
Netsh
Report
apocryphos.com
·
18h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Instagram and YouTube owners built '
addiction
machines', trial
hears
bbc.com
·
19h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Ads
Don't Work That Way (2014)
meltingasphalt.com
·
18h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loopy
Particle
Math (2019)
scientificamerican.com
·
18h
·
Discuss:
Hacker News
🔒
Cryptography
Data
Modeling
Is
Changing
ssp.sh
·
18h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The
OWASP
LLM Top: A Practical Attack Guide (with 122 real attack
techniques
)
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
🐛
Vulnerability Research
OSS
model to predict movie
IMDB
ratings
floportop.fit
·
1h
·
Discuss:
Hacker News
🦀
Rust
What I want from AI – two
specific
use cases for a Home
Assistant
news.ycombinator.com
·
7h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: Grok Video
10s
– Grok AI video generation and creator
contest
grok-video.org
·
14h
·
Discuss:
Hacker News
🎨
Rendering
We hid
backdoors
in
binaries
– Opus 4.6 found 49% of them
quesma.com
·
6h
·
Discuss:
Hacker News
,
r/ClaudeAI
,
r/programming
🐛
Vulnerability Research
Relay
Lang –
Async
first programming language
harrisonerd.com
·
19h
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 16
•
Page 18 »
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