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
2600
posts in
134.4
ms
DoNotNotify
is now Open Source
donotnotify.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
An Analysis of
Poptropica
’s
Mancala
farlow.dev
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Transform
Books into Interactive
Courses
book2course.org
·
1d
·
Discuss:
Hacker News
🎨
Rendering
privacy-first
anonymous
file
sharing
with zero sign-up
styloshare.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Last Week on My Mac: Why E
cores
make Apple
silicon
fast
eclecticlight.co
·
1d
·
Discuss:
Hacker News
,
r/hardware
📡
Side-Channel Attacks
EVs
Are a Failed
Experiment
spectator.org
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Changelog
31 -
Masterful
Material, Expressive Emotions, Awesome Android
lineageos.org
·
1d
·
Discuss:
Hacker News
,
r/Android
📡
Side-Channel Attacks
Human-like Search for Modern
Applications
anvitra.ai
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
What rare disease AI
teaches
us about
longitudinal
health
myaether.live
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Oatmeal
-
Constraint
propagation for fun
eli.li
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔐
Zero-Knowledge Proofs
Bitcoin is still about $69,000 too high
ft.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Haruki
Murakami
Isn’t Afraid of the Dark
nytimes.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
The Brand
Savior
Complex and the New Age of Self
Censorship
thesocialjuice.substack.com
·
1d
·
Discuss:
Substack
📡
Side-Channel Attacks
Framing
an LLM as a safety researcher changes its language, not its
judgement
lab.fukami.eu
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Teaching
Computers
to
Laugh
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN:
EdgeAI-OS
–
Air-gapped
Linux distro where AI is a system primitive
news.ycombinator.com
·
22h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
India has
changed
its startup rules for deep tech
techcrunch.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
davidalber/geneagrapher
: Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Opinion | It’s the A.I. Economy,
Stupid
nytimes.com
·
1d
·
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 32
•
Page 34 »
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