🐿️ 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
LazyVim for Ambitious Developers (Book)
lazyvim-ambitious-devs.phillips.codes
·
2d
·
Discuss:
Hacker News
🦀
Rust
Installing Windows 3.1 on DR DOS 6.0
rubenerd.com
·
13h
·
Discuss:
Hacker News
⚡
CUDA
Understanding Error Handling with Defer in Go: A Deep Dive
zerotohero.dev
·
4d
·
Discuss:
Hacker News
🦀
Rust
Ars spoke with the military’s chief orbital traffic cop—here’s what we learned
arstechnica.com
·
16h
·
Discuss:
Hacker News
🔒
Cryptography
How many NYT spelling bees are left?
gauthamsk.substack.com
·
9h
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
Is there demand for a tool that turns natural language to SQL without database?
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🦀
Rust
Post-Quantum Readiness in EdDSA Chains
eprint.iacr.org
·
2d
🔒
Cryptography
Show HN: I built a desktop reminder app using Rust and Vue.js
github.com
·
1d
·
Discuss:
Hacker News
,
r/opensource
,
r/selfhosted
🦀
Rust
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
I am a SOTA 0-shot classifier of your slop
christopherkrapu.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Show HN: SQLite-vector – Vector search extension for SQLite (no index, 30MB RAM)
github.com
·
12h
·
Discuss:
Hacker News
🦀
Rust
Hitting the Brakes on Claude Code
preslav.me
·
2d
·
Discuss:
Hacker News
🦀
Rust
Teach Yourself Programming in Ten Years
norvig.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
MCP C# SDK Gets Major Update: Support for Protocol Version 2025-06-18
devblogs.microsoft.com
·
6d
·
Discuss:
Hacker News
🔒
Cryptography
Show HN: A tiny Linux tool for clearing Steam achievements
github.com
·
15h
·
Discuss:
Hacker News
🦀
Rust
Measuring Engineering
fffej.substack.com
·
2d
·
Discuss:
Substack
🦀
Rust
Bibi Binary Notation
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
The Visual Studio Skeptic
brethorsting.com
·
22h
·
Discuss:
Hacker News
🦀
Rust
TWAaCA (Tailwind as a Custom Attribute)
github.com
·
22h
·
Discuss:
Hacker News
🦀
Rust
KCert: A Simple Let's Encrypt Manager for Kubernetes
github.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Loading...
Loading more...
« Page 12
•
Page 14 »