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
2644
posts in
196.8
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
Quartz
Crystals
pa3fwm.nl
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Betterment
data breach
exposes
1.4 million customers
americanbanker.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Clay
Christensen
's
Milkshake
Marketing (2011)
library.hbs.edu
·
2d
·
Discuss:
Hacker News
🦀
Rust
Show HN: Model Training Memory
Simulator
czheo.github.io
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
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
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
Anthropic's team cut ad
creation
time from 30 minutes to 30
seconds
claude.com
·
2d
·
Discuss:
Hacker News
📡
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
Can AI
Chatbots
Write
Emotionally
Rich Romance Books?
nytimes.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Software design is now
cheap
dottedmag.net
·
2d
·
Discuss:
Hacker News
🦀
Rust
(AI)
Slop
Terrifies
Me
ezhik.jp
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
SpaceX-xAI Merger: Nobody's Talking About the von
Neumann
Elephant
in the Room
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Show HN: Give Your AI the
Ability
to Find, Install, and Use Skill
Autonomously
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Bob
– Open-source AI personal agent with 170 tools, built in 3 days
github.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Exploiting signed
bootloaders
to
circumvent
UEFI Secure Boot
habr.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
📡
Side-Channel Attacks
Unravel
Engine: Cross-Platform C++20 Game Engine with
Wysiwyg
Editor
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
2d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 45
•
Page 47 »
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