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
151.6
ms
SoCal
man once stole a billionaire's identity, then he set his sights on
surfers
, prosecutors say
latimes.com
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
The Economics of
Noncompete
Clauses
aeaweb.org
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
To fight a
troll
blog.zarfhome.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Anthropic
Spoof
Website and How Senior Developers Look for New Work
goldenencounters.org
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
‘It felt
hypocritical
’: child internet safety campaign accused of
censoring
teenagers’ speeches
theguardian.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
The 'Little red
dots
'
observed
by Webb were direct-collapse black holes
phys.org
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Study reports
associations
between
infants
’ head growth patterns and risk of autism
psypost.org
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Opinion:
Canadian
startups need to stop playing
slow
bcbusiness.ca
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
BYO
RAM is officially a
prebuilt
PC trend—and it raises lots of questions
pcworld.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Accelerate your discovery by
parallelizing
experiments
magellink.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
The
Economist
as
Reporter
nicholasdecker.substack.com
·
1d
·
Discuss:
Substack
📡
Side-Channel Attacks
ON
ALGORITHMIC
WAGE
DISCRIMINATION
columbialawreview.org
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Boot
Sharc
+ DSP over
UART
embd.cc
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Lazy-pulling containers: 65x faster pulls, but 20x
slower
readiness
blog.zmalik.dev
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Structural differences found in
brains
of people with panic
disorder
medicalxpress.com
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
searching
for your life's work is a multi-turn
endeavor
startingfromnix.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Discovery of
Goethe
’s amber ant: its
phylogenetic
and evolutionary implications
nature.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Double
Rootlessness
: AI's Cognitive Illusion and Systemic Risk
Amplification
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
AnasRm01/file-validator
: Lightweight security tool to detect file extension spoofing
github.com
·
1d
·
Discuss:
DEV
,
Hacker News
🐛
Vulnerability Research
ValentinoPalomba/FRTMProxy
: Open source alternative to Proxyman and Charles
github.com
·
22h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 29
•
Page 31 »
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