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
2612
posts in
145.8
ms
DoNotNotify
is now Open Source
donotnotify.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Our
Stolen
Light
ayushgundawar.me
·
2d
·
Discuss:
Hacker News
🎨
Rendering
An Analysis of
Poptropica
’s
Mancala
farlow.dev
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Transform
Books into Interactive
Courses
book2course.org
·
2d
·
Discuss:
Hacker News
🎨
Rendering
Last Week on My Mac: Why E
cores
make Apple
silicon
fast
eclecticlight.co
·
2d
·
Discuss:
Hacker News
,
r/hardware
📡
Side-Channel Attacks
privacy-first
anonymous
file
sharing
with zero sign-up
styloshare.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
EVs
Are a Failed
Experiment
spectator.org
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
What rare disease AI
teaches
us about
longitudinal
health
myaether.live
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Changelog
31 -
Masterful
Material, Expressive Emotions, Awesome Android
lineageos.org
·
2d
·
Discuss:
Hacker News
,
r/Android
📡
Side-Channel Attacks
Bitcoin is still about $69,000 too high
ft.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Haruki
Murakami
Isn’t Afraid of the Dark
nytimes.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
The Brand
Savior
Complex and the New Age of Self
Censorship
thesocialjuice.substack.com
·
2d
·
Discuss:
Substack
📡
Side-Channel Attacks
Framing
an LLM as a safety researcher changes its language, not its
judgement
lab.fukami.eu
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Show HN: Give Your AI the
Ability
to Find, Install, and Use Skill
Autonomously
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Ask HN: Would you use an
ESLint-like
tool for
SEO
that fails your CI/CD build?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Here's what you need to know to avoid multi-million-dollar
subscription
traps
rnz.co.nz
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
2d
·
Discuss:
Hacker News
🦀
Rust
Opinion | It’s the A.I. Economy,
Stupid
nytimes.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Intel Releases
QATlib
26.02 With New APIs For Zero-Copy
DMA
phoronix.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Unravel
Engine: Cross-Platform C++20 Game Engine with
Wysiwyg
Editor
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 37
•
Page 39 »
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