A deterministic π-driven algorithm for the Partition Problem (NP-complete)
osf.io·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Scaling Netflix's threat detection pipelines without streaming
blog.dataexpert.io·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Implementing Bloom Filters in C (2022)
andreinc.net·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Efficient streaming of Markdown in the terminal
willmcgugan.github.io·2d·
Discuss: Hacker News, r/programming
✅Formal Methods
Why Gleam Deserves a Spot in Your 2025 Toolkit: Beyond the Syntax
lozdev.com·2d·
Discuss: Hacker News
✅Formal Methods
I am a SOTA 0-shot classifier of your slop
christopherkrapu.com·19h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Zignal: A zero-dependency image processing library
github.com·1d·
Discuss: Hacker News
✅Formal Methods
Claude Code Tips and Tricks
vinh.dev·1d·
Discuss: Hacker News
✅Formal Methods
Torqued Accelerator Using Radiation from the Sun (Tars) for Interstellar Payload
arxiv.org·10h·
Discuss: Hacker News
🎨Rendering
Safe Cell field projection in Rust (2020)
abubalay.com·5d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Add AI coding assistant configuration to Linux kernel
lore.kernel.org·1d·
Discuss: Hacker News
✅Formal Methods
You might not need a Python class
adamgrant.micro.blog·2d·
Discuss: Hacker News, r/programming
✅Formal Methods
Object deserialization attacks using Ruby's Oj JSON parser
hezmatt.org·1d·
Discuss: Hacker News, Hacker News
✅Formal Methods
Visualizing TCP
research.swtch.com·10h·
Discuss: Hacker News
🔒Cryptography
Claude Code sub-agent that accesses past sessions
github.com·11h·
Discuss: Hacker News
✅Formal Methods
Keep Pydantic out of your Domain Layer
coderik.nl·4d·
Discuss: Hacker News
✅Formal Methods
Teach Yourself Programming in Ten Years
norvig.com·11h·
Discuss: Hacker News
✅Formal Methods
Editor Code Assistant (ECA)
github.com·1d·
Discuss: Hacker News
✅Formal Methods
Building a fuzzing testing framework with Locust and Docker
lucas-montes.com·4d·
Discuss: Hacker News
✅Formal Methods
Interactive Programming in C (2014)
nullprogram.com·3d·
Discuss: Hacker News
✅Formal Methods