🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
βœ… Formal Methods

FStar, libjade, Jasmin, hacl-star

First Contact – New in Little Snitch Mini 1.8
obdev.atΒ·1dΒ·
Discuss: Hacker News
πŸ”Zero-Knowledge Proofs
Show HN: I built a hair cutting robot
byronknoll.comΒ·9hΒ·
Discuss: Hacker News
πŸ¦€Rust
I built a Roblox Grow a Garden calculator to estimate fruit value and pet XP
growagarden-calculator.ioΒ·14hΒ·
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Β·1dΒ·
Discuss: Hacker News
πŸ¦€Rust
AI app correcting your accent
apps.apple.comΒ·6hΒ·
Discuss: Hacker News
πŸ¦€Rust
Show HN: MagicQuill – Edit Images with AI Brushes
magicquillai.appΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust
SecureFlow Extension to Vibe Code Securely – Codepathfinder.dev
codepathfinder.devΒ·4dΒ·
Discuss: Hacker News
πŸ¦€Rust
Guarding the herd – managing database servers at scale
engineering.monday.comΒ·4dΒ·
Discuss: Hacker News
πŸ”’Cryptography
Frozen in transit: Secret Blizzard's AiTM campaign against diplomats
microsoft.comΒ·2dΒ·
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
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
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
Inside Jeffrey Epstein’s Forgotten AI Summit
wired.comΒ·2dΒ·
Discuss: Hacker News, r/technews
πŸ”’Cryptography
The Hidden Infrastructure Costs of Enterprise AI Adoption
vktr.comΒ·3dΒ·
Discuss: Hacker News
πŸ”’Cryptography
A practical guide on how to use the GitHub MCP server
github.blogΒ·3dΒ·
Discuss: Hacker News
πŸ¦€Rust
Loading...Loading more...
AboutBlogChangelogRoadmap