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
2634
posts in
83.2
ms
BYD hits a
milestone
with solid-state EV
batteries
due out as soon as 2027
electrek.co
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Instagram is
internally
testing a new
Snapchat
rival app
businessinsider.com
·
19h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Will the Remote Access Security Act close the cloud
loophole
in the US Export Administration
Regulations
?
exportcompliancemanager.com
·
18h
·
Discuss:
Hacker News
🔒
Cryptography
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
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Asteroid
Bennu
Just Changed the Origin Story of Life
scitechdaily.com
·
19h
·
Discuss:
Hacker News
🔒
Cryptography
Letting
Gemini Drive My
Rover
martin.drashkov.com
·
19h
·
Discuss:
Hacker News
⚡
CUDA
'A gasp of
wonderment
escaped our lips': The dazzling discovery of
Tutankhamun
's tomb
bbc.com
·
18h
·
Discuss:
Hacker News
🔒
Cryptography
California (and the Rest of America) Can't Build Like America's
Corps
of
Engineers
governance.fyi
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
GPT-5.3-Codex
is now
generally
available for GitHub Copilot
github.blog
·
19h
·
Discuss:
Hacker News
🦀
Rust
Show HN: Orange
Juice
Hacker
News browser extension
oj-hn.com
·
18h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Virtual
HQ
for Remote Teams
gather.town
·
19h
·
Discuss:
Hacker News
🔒
Cryptography
Best
Note-Taking
App for Personal and AI
Prompts
viewert.com
·
19h
·
Discuss:
Hacker News
🦀
Rust
Cycle
Time Is Not a Number, It's a
Distribution
ksaweryskowron.substack.com
·
18h
·
Discuss:
Substack
📡
Side-Channel Attacks
MySQL
Foreign Key
Cascade
Operations Hit the Binary Log
readyset.io
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Deep Research
Prompt
—
Validate
Any Startup Idea for Free
brainwave.vc
·
18h
·
Discuss:
Hacker News
🐛
Vulnerability Research
What I want from AI – two
specific
use cases for a Home
Assistant
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: Grok Video
10s
– Grok AI video generation and creator
contest
grok-video.org
·
10h
·
Discuss:
Hacker News
🎨
Rendering
Relay
Lang –
Async
first programming language
harrisonerd.com
·
15h
·
Discuss:
Hacker News
🦀
Rust
realadeel/CloudVac
: Good housekeeping for AWS. Scan, inspect, and clean up unused resources across multiple profiles and regions.
github.com
·
23m
·
Discuss:
Hacker News
📡
Side-Channel Attacks
LocalGPT
: A local AI assistant with
persistent
memory in a single binary
localgpt.app
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 15
•
Page 17 »
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