A Slice of Bread as a Yogurt Starter? (2022)
wildfermentation.com·23h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
A Question of Purpose: On Translating Russian Literature
hedgehogreview.com·23h·
Discuss: Hacker News
✅Formal Methods
The long, knotty, world-spanning story of string
hakaimagazine.com·2d·
Discuss: Hacker News
🔒Cryptography
Generic Containers in C: Vec
uecker.codeberg.page·4d·
Discuss: Hacker News
✅Formal Methods
Last Week on My Mac: 🦉 No AI content
eclecticlight.co·14h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
KCert: A Simple Let's Encrypt Manager for Kubernetes
github.com·8h·
Discuss: Hacker News
🔒Cryptography
Open source BOM management (for me)
vincentuden.xyz·2h·
Discuss: Hacker News
✅Formal Methods
Writing experience: My decade with Org
xenodium.com·2d·
Discuss: Hacker News
✅Formal Methods
Handling request scoped dependencies in Golang without abusing the context
winsnes.io·2d·
Discuss: Hacker News
✅Formal Methods
Jibril Runtime Security v2.4: Programmable Reactions to OS Security Events
jibril.garnet.ai·1d·
Discuss: Hacker News
✅Formal Methods
Certificate Transparency - Part 1
ipng.ch·22h·
Discuss: Lobsters, Hacker News
🔒Cryptography
Robots eating other robots: The benefits of machine metabolism
arstechnica.com·10h·
Discuss: Hacker News
🔒Cryptography
The Eleventh Word (2020)
theparisreview.org·6h·
Discuss: Hacker News
🔒Cryptography
Python 3.14.0rc1
python.org·4d·
Discuss: Hacker News
✅Formal Methods
Profiling without Source code – how I diagnosed Trackmania stuttering
larstofus.com·3h·
Discuss: Hacker News
⚡CUDA
When Memcpy Betrays You: A Lesson in Overlapping Buffers and Ancient Toolchains
blog.mycal.net·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.com·2d·
Discuss: Hacker News
🔒Cryptography
Building Jetflow: a framework for flexible, performant data pipelines at Cloudflare
blog.cloudflare.com·4d·
Discuss: Hacker News
✅Formal Methods
Ask HN: What's the ideal programming language in the age of LLMs?
news.ycombinator.com·2d·
Discuss: Hacker News
✅Formal Methods
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs