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
378.5
ms
Could
ionospheric
disturbances
influence earthquakes?
kyoto-u.ac.jp
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Cycling
in France
sheldonbrown.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Exploring a Modern
SMTPE
2110
Broadcast
Truck With My Dad
jeffgeerling.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
State Department will
delete
X posts from before Trump
returned
to office
text.npr.org
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Smart
Homes
Are
Terrible
theatlantic.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
📡
Side-Channel Attacks
Same
Surface
, Different
Weight
robpanico.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Prompt injection in Google
Translate
reveals base model
behaviors
behind task-specific fine-tuning
lesswrong.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
What I
haven
't
figured
out
macwright.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Bogus
Pipeline
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Proportional
–integral–
derivative
controller
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
What if you just did a startup
instead
?
alexaraki.substack.com
·
2d
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
From
Interfaces
to Intelligence: Where Agentic AI Really
Shines
dvitsios.org
·
2d
·
Discuss:
Hacker News
🦀
Rust
A Night Without the
Nerds
– Claude
Opus
4.6, Field-Tested
konfuzio.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
qrafty-ai/teleop
_xr: Transforms your VR/AR headset into a powerful, precise robot controller
github.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
MiquelNasarre/chaotic
: Chaotic ― 3D renderer for your crazy math projects in C++. Minimal bloat, minimal complexity,
maximal
fun!
github.com
·
1d
·
Discuss:
Hacker News
⚡
CUDA
Whether they are building agents or
folding
proteins
, LLMs need a friend
theregister.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
I am
happier
writing code by
hand
abhinavomprakash.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
AI
fatigue
Is real and
nobody
talks about it
siddhantkhare.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
📡
Side-Channel Attacks
Stop
Telling
Users Their
DNS
Is Wrong
jacob.gold
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
‘I fell into it’: ex-criminal hackers
urge
Manchester
pupils
to use web skills for good
theguardian.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Loading...
Loading more...
« Page 46
•
Page 48 »
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