Logless Raft
will62794.github.io·16h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
An EM's Side Project Reached 1,800 GitHub Stars
newsletter.manager.dev·19h·
Discuss: Hacker News
🦀Rust
Policy as code, explained
hashicorp.com·20h·
Discuss: Hacker News
🔒Cryptography
Securing Grafana and Prometheus with SSH tunnels instead of public ports
igorstechnoclub.com·22h·
Discuss: Hacker News
🔒Cryptography
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·2d·
Discuss: Hacker News
🦀Rust
Newton Data Storage
canicula.com·13h·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
Sotasearch.ai – privacy-first research assistant (100% local)
sotasearch.ai·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·2d·
Discuss: Hacker News
🦀Rust
Compiling Dinner
gist.github.com·6h·
Discuss: Hacker News
🦀Rust
strongly typed?
dotat.at·1d·
Discuss: Hacker News
🦀Rust
Compress Vectors by 4x by using 8-bit Rotational Quantization
weaviate.io·1d·
Discuss: Hacker News
🔒Cryptography
Undisclosed financial conflicts of interest in DSM-5
bmj.com·2d·
Discuss: Hacker News
✅Formal Methods
Disposable vs. Durable Code: You Can’t Build Rome with Sticky Notes
spin.atomicobject.com·20h·
Discuss: Hacker News
🦀Rust
Wayland Compositors – Why and How to Handle Privileged Clients (2014)
mupuf.org·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
BGP’s security problems are notorious. Attempts to fix that are a work in progress
theregister.com·2d·
Discuss: Hacker News
🔒Cryptography
Malicious Go package removed from GitHub, but credential threat persists
scworld.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Popular Nx Build System NPM Package Compromised with Data Stealing Malware
stepsecurity.io·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Why a classic CDP bot detection signal suddenly stopped working
blog.castle.io·19h·
Discuss: Hacker News
✅Formal Methods
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·1d·
Discuss: Hacker News
✅Formal Methods
Do the simplest thing that could possibly work
seangoedecke.com·1d·
Discuss: Hacker News
✅Formal Methods