gf256's Top FindsLoading...
My blog on zero-knowledge cryptography
kaw101010.github.io·8h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Writing a Rust GPU kernel driver: a brief introduction on how GPU drivers work
collabora.com·21h·
Discuss: Hacker News
⚡CUDA
An easy-to-implement, arena-friendly hash map
nullprogram.com·11h·
Discuss: Lobsters
🔐Zero-Knowledge Proofs
The Coming Wave: Post-Quantum Cryptography and the Future of Cybersecurity
blog.publiccomps.com·2d·
Discuss: Hacker News
🔒Cryptography
The joy of building a bytecode VM from scratch
vivekn.dev·2h·
Discuss: Hacker News
🦀Rust
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
✅Formal Methods
Running GPT-OSS-120B at 500 tokens per second on Nvidia GPUs
baseten.co·6h·
Discuss: Hacker News
⚡CUDA
Researchers Uncover RCE Attack Chains in HashiCorp Vault and CyberArk Conjur
csoonline.com·2h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Arenas in Rust
russellw.github.io·1d·
Discuss: Hacker News
🦀Rust
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·1d·
Discuss: Hacker News
🔒Cryptography
Axiom: Decentralized AI network that discovers, verifies, and archives truth
github.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Building My Own Astrodynamics Library in Zig
atempleton.dev·7h·
Discuss: Hacker News
✅Formal Methods
Show HN: Adding 3D Visualization to a Web NES Emulator
ireallyhateyou.github.io·8h·
Discuss: Hacker News
🎨Rendering
The Generativity Pattern in Rust
arhan.sh·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Software books I wish I could read
buttondown.com·19h·
Discuss: Hacker News
✅Formal Methods
Rod Burstall: In Memoriam
arxiv.org·1d·
Discuss: Lobsters
✅Formal Methods
Litestar is worth a look
b-list.org·13h·
Discuss: Lobsters, Hacker News
✅Formal Methods
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
✅Formal Methods
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust