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
2605
posts in
141.8
ms
Scorigami
nflscorigami.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Castle
Engine: Upgrade to
GTK
3
castle-engine.io
·
1d
·
Discuss:
Hacker News
,
r/linux
,
r/linux_gaming
⚡
CUDA
Why Use
Conventional
Commits
?
byandrev.dev
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Part 1 of 3 -
Indicting
the Villain: How the "Pipeline Tyranny" Created Your "Genius
Gridlock
"
corvic.ai
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
A Remarkable
Achievement
(Old
Fashioned
Software)
mcauldronism.substack.com
·
1d
·
Discuss:
Substack
,
r/LLM
🔐
Zero-Knowledge Proofs
Tenure
Is a Total
Scam
betonit.ai
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Autobiolocation
autobiolocation.is
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
In the AI gold
rush
, tech firms are
embracing
72-hour weeks
bbc.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
SecureShellClaw
: A Prompt-Injection-Resistant Alternative Approach to
OpenClaw
jona.ca
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
The
Logic
of State
Surveillance
nber.org
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Nobody
knows
how the whole system works
surfingcomplexity.blog
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔐
Zero-Knowledge Proofs
KVM:
x86/PVM
: Introduce a new
hypervisor
(2024)
lwn.net
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Winter Garden: Flood
fill
vs. the magic
circle
robinsloan.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
AI
Took
over the Super Bowl,
Accounting
for 23% of Ads
adweek.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
mikro-orm/mikro-orm
: TypeScript ORM for Node.js based on Data Mapper, Unit of Work and Identity Map patterns. Supports MongoDB, MySQL, MariaDB, MS SQL Server, PostgreSQL and
SQLite/libSQL
databases.
github.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
cmader/MailReader
: A Wear OS IMAP read-only mail client
github.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN:
Codesession-CLI
–
Teach
your AI agent to track its own token costs
news.ycombinator.com
·
23h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Linux 7.0 Officially
Concluding
The Rust
Experiment
phoronix.com
·
1d
·
Discuss:
Hacker News
,
r/linux
🦀
Rust
Show HN:
NullUpload
– Privacy-first image tools, 100% client-side
processing
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Have I
hardened
against LLMs?
baldurbjarnason.com
·
1d
·
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