🐿️ 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
Exploring Windows XP on macOS ARM64
milen.me
·
4h
·
Discuss:
Hacker News
🔒
Cryptography
Metasurfaces could be the next quantum information processors
phys.org
·
15h
·
Discuss:
Hacker News
🔒
Cryptography
Cashfree Payments Saved 160 Hours of Manual Testing with Generative AI
tech.cashfree.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Careers at the Frontier: Hiring the Future at OpenAI
forum.openai.com
·
4h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Getting started with LLVM development on Windows via WSL2
trolololo.xyz
·
22h
·
Discuss:
Hacker News
🦀
Rust
Kimi K2 vs Sonnet 4 for Agentic Coding (Tested on Claude Code)
composio.dev
·
3d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🦀
Rust
Visualize Your Puppet Data in Grafana with the Observability Data Connector
puppet.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Embedded Systems Roadmap: Bridging the Gap
interrupt.memfault.com
·
2d
·
Discuss:
Hacker News
,
r/embedded
🔒
Cryptography
LazyVim for Ambitious Developers (Book)
lazyvim-ambitious-devs.phillips.codes
·
1d
·
Discuss:
Hacker News
🦀
Rust
Artisanal Programming (Coding)
kuccello.medium.com
·
21h
·
Discuss:
Hacker News
🦀
Rust
Should You Migrate Your Documentation System – and Is It AI-Ready?
nikhilajain.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Solving the inference problem for open source AI projects with GitHub Models
github.blog
·
3d
·
Discuss:
Hacker News
🦀
Rust
[SHOW OSS]Claude Sub Agents – AI Development Team
github.com
·
13h
·
Discuss:
Hacker News
,
Hacker News
🦀
Rust
Invisible Programming Language
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
,
r/programming
🦀
Rust
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net
·
6d
·
Discuss:
Lobsters
,
r/programming
🦀
Rust
Measuring Engineering
fffej.substack.com
·
10h
·
Discuss:
Substack
🦀
Rust
Writing experience: My decade with Org
xenodium.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Optimi-Zi(n)g Sudoku-Solving
log.pfad.fr
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔐
Zero-Knowledge Proofs
Understanding Error Handling with Defer in Go: A Deep Dive
zerotohero.dev
·
3d
·
Discuss:
Hacker News
🦀
Rust
Choosing the rijght .NET container image for your workload
medium.com
·
4d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 4
•
Page 6 »