๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
โ Formal Methods
FStar, libjade, Jasmin, hacl-star
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Electron beam irradiation decomposes Teflon-like fluoroplastics efficiently
phys.org
ยท
21h
ยท
Discuss:
Hacker News
๐ฆ
Rust
First Contact โ New in Little Snitch Mini 1.8
obdev.at
ยท
1d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Show HN: Break in Motion โ a macOS app that helps you use your standing desk
breakinmotion.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Cryptography
Show HN: I built a hair cutting robot
byronknoll.com
ยท
11h
ยท
Discuss:
Hacker News
๐ฆ
Rust
I built a Roblox Grow a Garden calculator to estimate fruit value and pet XP
growagarden-calculator.io
ยท
17h
ยท
Discuss:
Hacker News
๐ฆ
Rust
Zomato founder prepares to deliver jet engines
businesstoday.in
ยท
1d
ยท
Discuss:
Hacker News
๐
Cryptography
Show HN:typed - Markdown app for writers, students, professionals, and creators
play.google.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Modular Mentorship
quietmoats.substack.com
ยท
1d
ยท
Discuss:
Substack
๐
Cryptography
Show HN: MagicQuill โ Edit Images with AI Brushes
magicquillai.app
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Google Does Not Care If a Toaster Wrote Your Article โ AI Written Content Is OK
marvlus.ai
ยท
2h
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Frozen in transit: Secret Blizzard's AiTM campaign against diplomats
microsoft.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Cryptography
When Your Database Lives in CPU Cache (Because Why Not?)
blog.canoozie.net
ยท
2d
ยท
Discuss:
Hacker News
โก
CUDA
Ask HN: What's your (opinionated) way to iterate FAST in production
news.ycombinator.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Inside Jeffrey Epsteinโs Forgotten AI Summit
wired.com
ยท
2d
ยท
Discuss:
Hacker News
,
r/technews
๐
Cryptography
TraceRoot: Find the Root Cause in Your Code's Trace
github.com
ยท
2d
ยท
Discuss:
Hacker News
,
Hacker News
๐ฆ
Rust
Show HN: Sourcebot, the self-hosted Perplexity for your codebase
github.com
ยท
4d
ยท
Discuss:
Hacker News
๐ฆ
Rust
The Hidden Infrastructure Costs of Enterprise AI Adoption
vktr.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Cryptography
Still Up. Still Evil
vulncheck.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Choose Boring Technology, Revisited
brethorsting.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
I Know When You're Vibe Coding
alexkondov.com
ยท
4d
ยท
Discuss:
Hacker News
,
Hacker News
,
r/programming
๐ฆ
Rust
Loading...
Loading more...
« Page 23
โข
Page 25 »