A Question of Purpose: On Translating Russian Literature
hedgehogreview.com·21h·
Discuss: Hacker News
✅Formal Methods
Robots eating other robots: The benefits of machine metabolism
arstechnica.com·7h·
Discuss: Hacker News
🔒Cryptography
Jupyter-dark-detect: Detect dark mode in Jupyter environments
github.com·2h·
Discuss: Hacker News
🎨Rendering
Hexatetrahedral Rails
blog.julik.nl·1d·
Discuss: Hacker News
✅Formal Methods
Never write your own Date Parsing Library
zachleat.com·3d·
Discuss: Hacker News
✅Formal Methods
OpenBSD Meets the Solar Neighborhood
laser-coder.net·19h·
Discuss: Hacker News
🔒Cryptography
Using GitHub Spark to reverse engineer GitHub Spark
simonwillison.net·3d·
Discuss: Hacker News
✅Formal Methods
InstructVLA: Vision-Language-Action Instruction Tuning
yangs03.github.io·2d·
Discuss: Hacker News
✅Formal Methods
Coding Is Easy. Blogging Is Hard – Part I
mindthenerd.com·4h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Ohm: A JavaScript library and PEG-based language for building parsers
github.com·1d·
Discuss: Hacker News
✅Formal Methods
LazyVim for Ambitious Developers (Book)
lazyvim-ambitious-devs.phillips.codes·1d·
Discuss: Hacker News
✅Formal Methods
Editor Code Assistant (ECA)
github.com·2d·
Discuss: Hacker News
✅Formal Methods
You can now train a 70B language model at home
answer.ai·2d·
Discuss: Hacker News
⚡CUDA
Last Week on My Mac: 🦉 No AI content
eclecticlight.co·11h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Generic Containers in C: Vec
uecker.codeberg.page·4d·
Discuss: Hacker News
✅Formal Methods
KCert: A Simple Let's Encrypt Manager for Kubernetes
github.com·6h·
Discuss: Hacker News
🔒Cryptography
Writing experience: My decade with Org
xenodium.com·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
Python 3.14.0rc1
python.org·4d·
Discuss: Hacker News
✅Formal Methods
Handling request scoped dependencies in Golang without abusing the context
winsnes.io·2d·
Discuss: Hacker News
✅Formal Methods