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
2610
posts in
387.5
ms
An
encrypted
file mesh across Google Drive and
Dropbox
flashmesh.netlify.app
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Splitwise
alternative that makes
sense
divvy.club
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Our
Stolen
Light
ayushgundawar.me
·
2d
·
Discuss:
Hacker News
🎨
Rendering
Clay
Christensen
's
Milkshake
Marketing (2011)
library.hbs.edu
·
2d
·
Discuss:
Hacker News
🦀
Rust
Quartz
Crystals
pa3fwm.nl
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Betterment
data breach
exposes
1.4 million customers
americanbanker.com
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Show HN: Model Training Memory
Simulator
czheo.github.io
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Rebuilding
my home network with
VLANs
and 10Gbps
clintonboys.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/homelab
📡
Side-Channel Attacks
Show HN:
Elysia
JIT
"Compiler", why it's one of the fastest JavaScript framework
elysiajs.com
·
1d
·
Discuss:
Hacker News
,
r/javascript
,
r/node
🦀
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:
ClawBox
– Dedicated OpenClaw Hardware (Jetson
Orin
Nano, 67 Tops, 20W)
openclawhardware.dev
·
1d
·
Discuss:
Hacker News
,
r/LocalLLaMA
📡
Side-Channel Attacks
We Asked a
Doctor
If
Drinking
More Water Can Actually Boost Your Energy
verywellhealth.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Can AI
Chatbots
Write
Emotionally
Rich Romance Books?
nytimes.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Software design is now
cheap
dottedmag.net
·
1d
·
Discuss:
Hacker News
🦀
Rust
ShellScope
– open-source flight recorder for
transient
Windows processes
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Teaching
Computers
to
Laugh
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
nathaniel-fargo/monitui
: a lovely tui for wrangling your hyprland monitors like
nobodies
business. built with rust ofc ofc
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
davidalber/geneagrapher
: Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Discord
Alternatives
, Ranked
taggart-tech.com
·
13h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Here's what you need to know to avoid multi-million-dollar
subscription
traps
rnz.co.nz
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 34
•
Page 36 »
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