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
2642
posts in
169.6
ms
Electric Cars Are Making It
Easier
To
Breathe
: Study
thedrive.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
The
Gradual
Print
is Here
lynalden.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The 'Little red
dots
'
observed
by Webb were direct-collapse black holes
phys.org
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Prankster
Launches Super
Bowl
Party For AI Agents
entertainment.slashdot.org
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Hud
:
Runtime
Code Sensor for Production-Safe AI Code
marketplace.visualstudio.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Beyond
WaPo
angst: Why journalists need to abandon
hubris
and look within
thejaggi.blogspot.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
ON
ALGORITHMIC
WAGE
DISCRIMINATION
columbialawreview.org
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Opinion:
Canadian
startups need to stop playing
slow
bcbusiness.ca
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The Rise of Local Speech
Recognition
oatmealapp.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Deobfuscation
and Analysis of
Ring-1.io
back.engineering
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Discovery of
Goethe
’s amber ant: its
phylogenetic
and evolutionary implications
nature.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
OpenAI's GPT-4
Discontinuation
: Consumer Fraud and
Regulatory
Scrutiny
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
A
Newbie
's First
Contribution
to (Rust for) Linux
blog.buenzli.dev
·
1d
·
Discuss:
Hacker News
🦀
Rust
ValentinoPalomba/FRTMProxy
: Open source alternative to Proxyman and Charles
github.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: Black Hole Universe
Simulator
(seeking
collaborators
)
github.com
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Goes Out to Everyone Trying Their Best and Top Things I
Learned
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Silicon
Photonics
In The Data Center: What A
CMOS
Exec Needs To Know
semiengineering.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Single-capillary endothelial dysfunction resolved by
optoacoustic
mesoscopy
nature.com
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Irish man
detained
by ICE in US
fearing
for his life
rte.ie
·
1d
·
Discuss:
Hacker News
🦀
Rust
What do you want to do, Claude?
codingsoul.org
·
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