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
2614
posts in
271.6
ms
Fire-juggling
unicyclist
caught performing on crossing
news.sky.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The
Nature
of the
Beast
cinemasojourns.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Microsoft
appointed
a quality
czar
. He has no direct reports and no budget.
jpcaparas.medium.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
'Washington Post' CEO
resigns
after going
AWOL
during massive job cuts
npr.org
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
US Supreme Court to decide if 1988 video
tape
privacy law
applies
to internet uses
jurist.org
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Scientists discover “
levitating
” time
crystals
that you can hold in your hand
nyu.edu
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Correctio
rhetoric.byu.edu
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Five
disciplines
discovered the same math
independently
freethemath.org
·
2d
·
Discuss:
Hacker News
,
Hacker News
🔒
Cryptography
Pitchfork
: A
devilishly
good process manager for developers
pitchfork.jdx.dev
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Trying to make an Automated
Ecologist
chillphysicsenjoyer.substack.com
·
2d
·
Discuss:
Substack
🦀
Rust
Large tech companies don't need
heroes
seangoedecke.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
📡
Side-Channel Attacks
The
Threads
Algorithm Loves Rage
Bait
blog.popey.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Achieving
Ultra-Fast AI Chat
Widgets
cjroth.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
FDA
Intends
to Take Action Against Non-FDA-Approved
GLP-1
Drugs
fda.gov
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
The source code was the
moat
. But not
anymore
philipotoole.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔒
Cryptography
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
Show HN:
Standardized
robot brain with
hardware
safety
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The
silent
death of Good Code
amit.prasad.me
·
2d
·
Discuss:
Hacker News
,
r/programming
🦀
Rust
How were the
NIST
ECDSA
curve parameters generated? (2023)
saweis.net
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
RFC 3092:
Etymology
of "
Foo
"
datatracker.ietf.org
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Loading...
Loading more...
« Page 36
•
Page 38 »
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