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
2635
posts in
143.1
ms
Drone-launching underwater drone
hitches
a ride on ship and sub
hulls
newatlas.com
·
14h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Shades
of
Halftone
blog.maximeheckel.com
·
15h
·
Discuss:
Hacker News
🎨
Rendering
Shades
of
Meaning
(2018)
mag.uchicago.edu
·
14h
·
Discuss:
Hacker News
🎨
Rendering
Political
Extremism
in Japan and Its
Dangers
news.ycombinator.com
·
14h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The Age of
Marketing
Speak
gilpignol.substack.com
·
14h
·
Discuss:
Substack
🔒
Cryptography
Why did
fabless
eat
semiconductors
?
siliconimist.substack.com
·
13h
·
Discuss:
Substack
📡
Side-Channel Attacks
Don't use
escaping
closures in
SwiftUI
rensbr.eu
·
15h
·
Discuss:
Hacker News
🦀
Rust
Autonomous
AI Agents for Business
Automation
lightrains.com
·
54m
·
Discuss:
Hacker News
🔒
Cryptography
My week of only using cash: could a return to notes and
coins
change my life?
theguardian.com
·
12h
·
Discuss:
Hacker News
🔒
Cryptography
Show HN: I spent 3 years reverse-engineering a 40
yo
stock market
sim
from 1986
wallstreetraider.com
·
14h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: Client Logo Wall – a simple
embeddable
widget to manage client
logos
news.ycombinator.com
·
7h
·
Discuss:
Hacker News
🦀
Rust
Pain
. Or, Why Learning to Code Is Like Learning Chinese. (2010)
amandapeyton.com
·
1h
·
Discuss:
Hacker News
🦀
Rust
The age of the AI
boss
is coming
thetimes.com
·
8h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
"What Questions Do You Have for Me?":
Acing
the
Reverse
Interview
robbygrodin.substack.com
·
12h
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
Geometrically
Allocated
Ads in AI Conversations
june.kim
·
14h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
What Would Good Agent
Productivity
Metrics
Look Like?
m16g.com
·
2h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
iKenndac/Keyhole
: Mac app to keep your media key presses focused on your media player.
github.com
·
5h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The Evolution of
Bengt
BetjäNT
andonlabs.com
·
13h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Tuning
to
Experiential
Learning
sounding.com
·
15h
·
Discuss:
Hacker News
🐛
Vulnerability Research
The AI Economic
Paradox
: Why
Cheaper
Inference Is Making AI More Expensive
edgee.ai
·
7h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 12
•
Page 14 »
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