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
2641
posts in
126.0
ms
BYD hits a
milestone
with solid-state EV
batteries
due out as soon as 2027
electrek.co
·
21h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
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
·
21h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Will the Remote Access Security Act close the cloud
loophole
in the US Export Administration
Regulations
?
exportcompliancemanager.com
·
21h
·
Discuss:
Hacker News
🔒
Cryptography
Show HN:
DayTape
– record thoughts, get
transcripts
, takeaways, and patterns
apps.apple.com
·
21h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Asteroid
Bennu
Just Changed the Origin Story of Life
scitechdaily.com
·
21h
·
Discuss:
Hacker News
🔒
Cryptography
Letting
Gemini Drive My
Rover
martin.drashkov.com
·
21h
·
Discuss:
Hacker News
⚡
CUDA
'A gasp of
wonderment
escaped our lips': The dazzling discovery of
Tutankhamun
's tomb
bbc.com
·
21h
·
Discuss:
Hacker News
🔒
Cryptography
GPT-5.3-Codex
is now
generally
available for GitHub Copilot
github.blog
·
21h
·
Discuss:
Hacker News
🦀
Rust
America Has a
Tungsten
Problem
noleary.com
·
21h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
California (and the Rest of America) Can't Build Like America's
Corps
of
Engineers
governance.fyi
·
21h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Virtual
HQ
for Remote Teams
gather.town
·
21h
·
Discuss:
Hacker News
🔒
Cryptography
Best
Note-Taking
App for Personal and AI
Prompts
viewert.com
·
21h
·
Discuss:
Hacker News
🦀
Rust
Show HN: Orange
Juice
Hacker
News browser extension
oj-hn.com
·
21h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Digital
Sovereignty
Initiatives
and the U.S. Assault on Research
hpcwire.com
·
22h
·
Discuss:
Hacker News
🔒
Cryptography
Cycle
Time Is Not a Number, It's a
Distribution
ksaweryskowron.substack.com
·
21h
·
Discuss:
Substack
📡
Side-Channel Attacks
MySQL
Foreign Key
Cascade
Operations Hit the Binary Log
readyset.io
·
21h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
John
Carmack
muses
using a long fiber line as as an L2 cache for streaming AI data — programmer imagines fiber as alternative to DRAM
tomshardware.com
·
21h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
How to
elevate
visual
storytelling
with Nano Banana Pro
theaithinker.com
·
21h
·
Discuss:
Hacker News
🎨
Rendering
Modernizing
my 150-line Python search engine: Yahoo!
dumps
-> Hugging Face 🤗
bart.degoe.de
·
22h
·
Discuss:
Hacker News
🦀
Rust
Deep Research
Prompt
—
Validate
Any Startup Idea for Free
brainwave.vc
·
21h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Loading...
Loading more...
« Page 18
•
Page 20 »
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