gf256's Top FindsLoading...
The Coming Wave: Post-Quantum Cryptography and the Future of Cybersecurity
blog.publiccomps.com·20h·
Discuss: Hacker News
🔒Cryptography
How the Lean language brings math to coding and coding to math
amazon.science·4h·
Discuss: Hacker News
✅Formal Methods
Rod Burstall: In Memoriam
arxiv.org·5h·
Discuss: Lobsters
✅Formal Methods
Half-Baked: Probe Warping
c0de517e.com·7h·
Discuss: Hacker News
🎨Rendering
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·11h·
Discuss: Hacker News
🔒Cryptography
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·2h·
Discuss: Hacker News
🦀Rust
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
✅Formal Methods
Show HN: Rotel – Fast and Efficient OpenTelemetry Collection in Rust
rotel.dev·5h·
Discuss: Hacker News
🦀Rust
BACON: An Improved Vector Commitment Construction with Applications to Signatures
eprint.iacr.org·3d
🔐Zero-Knowledge Proofs
No Backdoors. No Kill Switches. No Spyware.
blogs.nvidia.com·6h·
Discuss: Hacker News, r/hardware
⚡CUDA
D-Wave's open-source toolkit integrates quantum computing into AI training
siliconangle.com·4h·
Discuss: Hacker News
🔒Cryptography
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Debugging AMD-Specific Issues with Driver Experiments Tool
asawicki.info·1d·
Discuss: Hacker News
⚡CUDA
A New Concurrent ML in Guile Scheme
wingolog.org·13h·
Discuss: Hacker News
✅Formal Methods
Show HN: Elf0 – Build and run AI agent workflows in YAML (CLI)
elf0.com·5h·
Discuss: Hacker News
✅Formal Methods
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·7h·
Discuss: Hacker News
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·1d·
Discuss: Lobsters, Hacker News
🦀Rust
The hiring test that defeated AI
bitecode.dev·7h·
Discuss: Hacker News
🦀Rust
How far can we push AI autonomy in code generation?
martinfowler.com·8h·
Discuss: Hacker News
✅Formal Methods
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·2h·
Discuss: Hacker News
🦀Rust