A Slice of Bread as a Yogurt Starter? (2022)
wildfermentation.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The Beginner's Guide to Subtitling (2001)
armitage.crinkle.net·2h·
Discuss: Hacker News
✅Formal Methods
The long, knotty, world-spanning story of string
hakaimagazine.com·2d·
Discuss: Hacker News
🔒Cryptography
Profiling without Source code – how I diagnosed Trackmania stuttering
larstofus.com·6h·
Discuss: Hacker News
⚡CUDA
Ask HN: What's the ideal programming language in the age of LLMs?
news.ycombinator.com·2d·
Discuss: Hacker News
✅Formal Methods
Teach Yourself Programming in Ten Years
norvig.com·1d·
Discuss: Hacker News
✅Formal Methods
Turn any diagram image into an editable Draw.io file. No more redrawing
imagetodrawio.com·1d·
Discuss: Hacker News
🎨Rendering
Introducing Opal: describe, create, and share your AI mini-apps
developers.googleblog.com·3d·
Discuss: Hacker News, Hacker News
✅Formal Methods
Zeitwerk: The Autoloader That Rails Deserves, but Not the One It Needs
rubystacknews.com·4d·
Discuss: Hacker News
✅Formal Methods
Java Async Profiler manual by use cases (2022)
krzysztofslusarski.github.io·3d·
Discuss: Hacker News
✅Formal Methods
Data Science Weekly – Issue 609
datascienceweekly.substack.com·3d·
Discuss: Substack
🔒Cryptography
Determinism
theprogrammersparadox.blogspot.com·2d·
Discuss: theprogrammersparadox.blogspot.com, Hacker News
🔐Zero-Knowledge Proofs
Weizenbaum examines computers and society (1985)
web.archive.org·8h·
Discuss: Hacker News
🔒Cryptography
Show HN: I built a desktop reminder app using Rust and Vue.js
github.com·1h·
Discuss: Hacker News
✅Formal Methods
DIY Serverless (With CoreOS and Dokploy)
nikodunk.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com·4d·
Discuss: Hacker News
✅Formal Methods
The Eleventh Word (2020)
theparisreview.org·10h·
Discuss: Hacker News
🔒Cryptography
A PoC using Burp Bambdas to show its simplicity for Quick Wins
blog.kulkan.com·2d·
Discuss: Hacker News
🔒Cryptography
Show HN: Aiko – Easiest way to manage MCP configurations and credentials (Beta)
getaiko.app·2h·
Discuss: Hacker News
✅Formal Methods
Moreutils: The utilities package every Unix/Linux/Mac OS developer should know
rentes.github.io·3d·
Discuss: Hacker News
✅Formal Methods