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
2651
posts in
227.3
ms
SoCal
man once stole a billionaire's identity, then he set his sights on
surfers
, prosecutors say
latimes.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
What the
Desert
Teaches
robpanico.com
·
2d
·
Discuss:
Hacker News
🎨
Rendering
The Economics of
Noncompete
Clauses
aeaweb.org
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Anthropic
Spoof
Website and How Senior Developers Look for New Work
goldenencounters.org
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Good People Make
Others
Uncomfortable
thecomplexityedge.substack.com
·
2d
·
Discuss:
Substack
📡
Side-Channel Attacks
Model
Legislation
Bills
transparencycoalition.ai
·
2d
·
Discuss:
Hacker News
🦀
Rust
Looking for AI Engineering
Intern
at at
Berlin
Investment Fund
bitcap.jobs.personio.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Fast
Properties
in
V8
(2017)
v8.dev
·
2d
·
Discuss:
Hacker News
🦀
Rust
BYO
RAM is officially a
prebuilt
PC trend—and it raises lots of questions
pcworld.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Accelerate your discovery by
parallelizing
experiments
magellink.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
San
Francisco
’s
pro-billionaire
march draws dozens
techcrunch.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Boot
Sharc
+ DSP over
UART
embd.cc
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Journalism
lost its culture of sharing. Here’s how we
rebuild
it
niemanlab.org
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Lazy-pulling containers: 65x faster pulls, but 20x
slower
readiness
blog.zmalik.dev
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
CSMWrap
Version 2.0.0 with
PCI
Bar Relocation
github.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
📡
Side-Channel Attacks
searching
for your life's work is a multi-turn
endeavor
startingfromnix.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Instagram
Emails
Links Are Dangerous by Design
github.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Fyrox
Game Engine 1.0 Release
Candidate
2
fyrox.rs
·
2d
·
Discuss:
Hacker News
,
r/rust
,
r/rust_gamedev
🎨
Rendering
I Let an AI Agent
Migrate
My Entire Server While I Ate Dinner (
Unsupervised
)
michaelchinen.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Goes Out to Everyone Trying Their Best and Top Things I
Learned
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 42
•
Page 44 »
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