🐿️ 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
WP Cron Pixie v1.5.0 released: Front end switched from Elm to Gleam
ianmjones.com
·
1d
·
Discuss:
Lobsters
🦀
Rust
Matrix.org Homeserver Terms (beginning 7-Aug-2025)
matrix.org
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Show HN: 1Server – Simplify Your Project Setup
1server.cthiriet.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
AlphaGo Moment for Model Architecture Discovery
arxiviq.substack.com
·
1d
·
Discuss:
Substack
⚡
CUDA
ADL – Agent Definition Language
github.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Gary Marcus Is Right on AI Agents for Now, Can You Prove Him Wrong?
dreami.me
·
3h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
LLVM integrated assembler: Engineering better fragments
maskray.me
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust
Unit Test Mocks in Go
martincapodici.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
We built the security layer MCP always needed
blog.trailofbits.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Paper FOMO and ICML 2025 Outstanding Papers
gonzoml.substack.com
·
2d
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
Why Gleam Deserves a Spot in Your 2025 Toolkit: Beyond the Syntax
lozdev.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
A free and open-source, embeddable video conference app for the web
github.com
·
1h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.com
·
5d
·
Discuss:
Hacker News
🔒
Cryptography
Claude Code Is a Slot Machine
rgoldfinger.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Orchestrating a Google Kubernetes cluster using TypeScript
nullonerror.org
·
3d
·
Discuss:
Hacker News
🦀
Rust
The Joy of Being on Call for Payment Systems
news.alvaroduran.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
tcmalloc's Temeraire: A Hugepage-Aware Allocator
paulcavallaro.com
·
2d
·
Discuss:
Hacker News
,
r/compsci
,
r/programming
⚡
CUDA
LLMs can now identify public figures in images
minimaxir.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
OpenBSD Meets the Solar Neighborhood
laser-coder.net
·
4d
·
Discuss:
Hacker News
🔒
Cryptography
We Revamped Our Docs for AI Driven Development
docs.freestyle.sh
·
4d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 15
•
Page 17 »