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
2612
posts in
76.3
ms
Arthur
Brooks: Can We All
Relax
About Bad Bunny’s Spanish Halftime Show?
thefp.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Caffeine
content for coffee, tea,
soda
and more
mayoclinic.org
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
‘They want their pound of
flesh
’: why bank bosses are pushing strict return-to-office
mandates
ft.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
A Metal-Detection
Objection
at the
Reception
aribrin.substack.com
·
1d
·
Discuss:
Substack
📡
Side-Channel Attacks
I
Bought
an iPhone 17
bboy.app
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The
craft
of screen graphics and movie user
interfaces
(2014)
pushing-pixels.org
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Client
Side Video to
GIF
Tool
frametoolkit.com
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Let’s Get Back to Real Human
Thought
with
dwrite.me
dwrite.me
·
1d
·
Discuss:
DEV
,
Hacker News
📡
Side-Channel Attacks
Recoll
Semantic
Searches
recoll.org
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
“Any User Who Has a 3D Printer Would Have This Software Installed” … PRINT&GO’s Plan to Become the
DRM
of 3D
Printing
blog.adafruit.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Using Claude Code as a general agent
raahelbaig.com
·
18h
·
Discuss:
Hacker News
🦀
Rust
Why demand for code is
infinite
: How AI
creates
more developer jobs
stackoverflow.blog
·
13h
·
Discuss:
Hacker News
🦀
Rust
AI Doesn’t
Reduce
Work—It
Intensifies
It
simonwillison.net
·
13h
·
Discuss:
Hacker News
,
Hacker News
📡
Side-Channel Attacks
Building AI for Lumber’s
Messiest
Paperwork
medium.com
·
8h
·
Discuss:
Hacker News
🦀
Rust
AI Wrote My Project, an
Nginx
Engineer
Rebuilt
the Architecture
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
🐛
Vulnerability Research
We All Have Steam
Libraries
. What
Happens
When They're Gone?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Building an AI voice agent from
scratch
ntik.me
·
14h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Musk
clips
his Mars settlement
ambition
, aims for the moon instead
cnn.com
·
1d
·
Discuss:
Hacker News
,
r/space
🔒
Cryptography
The Potential of
RLMs
dbreunig.com
·
12h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Trump
threatens
to block opening of US-Canada
bridge
bbc.com
·
3h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 21
•
Page 23 »
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