Willpower Isn't Broken. Your Formula Is Wrong
noapprequired.substack.com·1h·
Discuss: Substack
🔐Zero-Knowledge Proofs
Bear is now source-available
herman.bearblog.dev·1d·
Discuss: Lobsters, Hacker News, r/opensource
🦀Rust
Chicken Scheme internals: the garbage collector
more-magic.net·3d·
Discuss: Hacker News
🦀Rust
Can We Build Trustable Hardware? (2019)
bunniestudios.com·5d·
Discuss: Hacker News
🔒Cryptography
An adventure in writing compatible systems
turso.tech·5d·
Discuss: Hacker News
✅Formal Methods
Building VS Code Live Share, but for Neovim
byronsharman.com·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Art Index in ShannonBase
medium.com·2d·
Discuss: Hacker News
🔒Cryptography
There's a gap between AI coding demos and daily reality
github.com·4h·
Discuss: Hacker News
🦀Rust
HongMeng (HarmonyOS) Kernel
en.wikipedia.org·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Show HN: I made a the best platform to find a co-founder for your project
wefoundy.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Chromium Hardening Guide
github.com·9h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The use of Claude Code in SciML repos
discourse.julialang.org·3d·
Discuss: Hacker News
🦀Rust
My experience with Apache Pulsar to solve PostgreSQL multi-tenant pain
news.ycombinator.com·10h·
Discuss: Hacker News
⚡CUDA
original ↗
dylanbeattie.net·12h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Show HN: I built a free worldwide holiday and disruption tracker
alarms.global·2d·
Discuss: Hacker News
✅Formal Methods
Vvvv Gamma 7.0 Release
vvvv.org·1d·
Discuss: Hacker News
🔒Cryptography
Unix Co-Creator Brian Kernighan on Rust, Distros and NixOS
thenewstack.io·1d·
Discuss: DEV, Hacker News, r/rust
🦀Rust
This Commit Made Me Smile Today
deepdocs.dev·3d·
Discuss: Hacker News, r/programming
✅Formal Methods
The One Where We Just Steal the Vulnerabilities
labs.watchtowr.com·5d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Quirks of Common Lisp Types
fosskers.ca·2d·
Discuss: Lobsters, Hacker News
✅Formal Methods