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
2639
posts in
186.6
ms
Splitwise
alternative that makes
sense
divvy.club
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
An
encrypted
file mesh across Google Drive and
Dropbox
flashmesh.netlify.app
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Betterment
data breach
exposes
1.4 million customers
americanbanker.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Quartz
Crystals
pa3fwm.nl
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Clay
Christensen
's
Milkshake
Marketing (2011)
library.hbs.edu
·
2d
·
Discuss:
Hacker News
🦀
Rust
Beating an old, but not dead horse: what to do with the
Oxygen
and Air
themes
?
filipfila.wordpress.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🎨
Rendering
Show HN:
Elysia
JIT
"Compiler", why it's one of the fastest JavaScript framework
elysiajs.com
·
2d
·
Discuss:
Hacker News
,
r/javascript
,
r/node
🦀
Rust
Show HN: Model Training Memory
Simulator
czheo.github.io
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Rebuilding
my home network with
VLANs
and 10Gbps
clintonboys.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/homelab
📡
Side-Channel Attacks
How to Reduce
Telemetry
Volume by 40%
Smartly
newsletter.signoz.io
·
2d
·
Discuss:
Hacker News
,
r/programming
📡
Side-Channel Attacks
Show HN:
ClawBox
– Dedicated OpenClaw Hardware (Jetson
Orin
Nano, 67 Tops, 20W)
openclawhardware.dev
·
2d
·
Discuss:
Hacker News
,
r/LocalLLaMA
📡
Side-Channel Attacks
Anthropic's team cut ad
creation
time from 30 minutes to 30
seconds
claude.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
We Asked a
Doctor
If
Drinking
More Water Can Actually Boost Your Energy
verywellhealth.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Software design is now
cheap
dottedmag.net
·
2d
·
Discuss:
Hacker News
🦀
Rust
Show HN:
EdgeAI-OS
–
Air-gapped
Linux distro where AI is a system primitive
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
There is no
Alignment
Problem
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Yattee
2 – Privacy oriented video player for iOS,
tvOS
and macOS
github.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Exploiting signed
bootloaders
to
circumvent
UEFI Secure Boot
habr.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
📡
Side-Channel Attacks
Opinion | It’s the A.I. Economy,
Stupid
nytimes.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
2d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 41
•
Page 43 »
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