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
2631
posts in
144.3
ms
DMCA
Subpoenas Can't Be Used for Foreign Piracy Lawsuits, Court Rules *
TorrentFreak
torrentfreak.com
·
1d
·
Discuss:
Hacker News
,
r/Piracy
📡
Side-Channel Attacks
Leonardo
da
Vinci
’s maps
cartographerstale.com
·
1d
·
Discuss:
Hacker News
🎨
Rendering
EU and India launch talks on
Horizon
Europe
association
research-and-innovation.ec.europa.eu
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
If You Could Go Faster Than Light, Time
Wouldn
’t Run
Backward
At All
pajuhaan.medium.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Show HN:
Fifu
– Ultra-Fast Terminal YouTube
Downloader
fifu-docs.vercel.app
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
mobile
Markdown
editor for
writers
gitwriter.io
·
1d
·
Discuss:
Hacker News
🦀
Rust
Why Half Your
Skills
Expire
Every Few Years
arpitbhayani.me
·
1d
·
Discuss:
Hacker News
🦀
Rust
Show HN: Simple
Helpdehk
tool for small software teams
aidkit.co
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Show HN: I built a
ledger
platform for
LLM-enabled
teams to track change
trystereos.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Europe’s ‘painful’
realisation
it must be
bolder
with US set out in security report
theguardian.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
freecivworld/freecivworld
:
Freecivworld.net
is the 3D version of Freeciv
github.com
·
1d
·
Discuss:
Hacker News
🎨
Rendering
anandnet/Harmony-Music
: A cross platform App for streaming Music
github.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Can
Artemis
Overcome
Challenges to Win the New Space Race?
spectrum.ieee.org
·
1d
·
Discuss:
Hacker News
,
r/space
,
r/technews
🔒
Cryptography
Show HN:
ArkWatch
–
Uptime
monitoring with zero dependencies
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Using Claude Code as a general agent
raahelbaig.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Why demand for code is
infinite
: How AI
creates
more developer jobs
stackoverflow.blog
·
21h
·
Discuss:
Hacker News
🦀
Rust
AI Doesn’t
Reduce
Work—It
Intensifies
It
simonwillison.net
·
21h
·
Discuss:
Hacker News
,
Hacker News
📡
Side-Channel Attacks
AI Wrote My Project, an
Nginx
Engineer
Rebuilt
the Architecture
news.ycombinator.com
·
11h
·
Discuss:
Hacker News
🐛
Vulnerability Research
NULLFS
& OPEN_TREE_
NAMESPACE
Features Merged For Linux 7.0
phoronix.com
·
12h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Building an AI voice agent from
scratch
ntik.me
·
22h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 26
•
Page 28 »
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