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
2643
posts in
96.1
ms
BYD hits a
milestone
with solid-state EV
batteries
due out as soon as 2027
electrek.co
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Instagram is
internally
testing a new
Snapchat
rival app
businessinsider.com
·
20h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
On
Section
230’s 30th Birthday, A Look Back At Why It’s Such A Good Law And Why
Messing
With It Would Be Bad
techdirt.com
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Asteroid
Bennu
Just Changed the Origin Story of Life
scitechdaily.com
·
20h
·
Discuss:
Hacker News
🔒
Cryptography
The
Blurred
Line Between Video
Calling
and Live Streaming Software
red5.net
·
21h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Valve
's job
rejection
letter to a high school teen is a class act
polygon.com
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
California (and the Rest of America) Can't Build Like America's
Corps
of
Engineers
governance.fyi
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Digital
Sovereignty
Initiatives
and the U.S. Assault on Research
hpcwire.com
·
21h
·
Discuss:
Hacker News
🔒
Cryptography
'The most
anti-biking
bill in history' — Iowa’s near-total bike ban proposal is bizarre and
alarming
cyclingweekly.com
·
21h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Modernizing
my 150-line Python search engine: Yahoo!
dumps
-> Hugging Face 🤗
bart.degoe.de
·
21h
·
Discuss:
Hacker News
🦀
Rust
Linker
Script Generation for
Firmware
Projects: A Primer
dnedic.github.io
·
20h
·
Discuss:
Hacker News
,
r/embedded
🦀
Rust
A open-source
database
studio
querystudio.dev
·
21h
·
Discuss:
Hacker News
🦀
Rust
Expectation
and
Copysets
buttondown.com
·
21h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
LocalGPT
: A local AI assistant with
persistent
memory in a single binary
localgpt.app
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Towards
Perfect
Vulnerability
Management System
worklifenotes.com
·
18h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Secret
Criticism
medium.com
·
7h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: EU AI Act
Layer
x-loop3.com
·
20h
·
Discuss:
Hacker News
🔒
Cryptography
Libre-WD-40/git
: Git with
WD-40
applied
github.com
·
17h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Ask HN: I
experienced
an Attack on Telegram and
simcards
gone!!!
news.ycombinator.com
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: Claude
Meter
– macOS menu bar app to track your Claude Code
usage
limit
github.com
·
8h
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 17
•
Page 19 »
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