A deterministic π-driven algorithm for the Partition Problem (NP-complete)
osf.io·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The many, many, many JavaScript runtimes of the last decade
buttondown.com·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🦀Rust
Claude Code weekly rate limits
news.ycombinator.com·11h·
Discuss: Hacker News
🦀Rust
Show HN: I built a Privacy First local AI RAG GUI for your own documents
github.com·1d·
Discuss: Hacker News, r/LocalLLaMA
🦀Rust
Plato's Cave of AI Agent Evals
vivekhaldar.com·14h·
Discuss: Hacker News
🦀Rust
Measuring Engineering
fffej.substack.com·2d·
Discuss: Substack
🦀Rust
Configuration for AI coding assistants working with the Linux kernel codebase
lore.kernel.org·18h·
Discuss: Hacker News
✅Formal Methods
OverHAuL: Harnessing Automation for C Libraries with Large Language Models
kchousos.github.io·1d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Landing Pages for Early-Stage Startups
gonsanchezs.com·7h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Why Cursor is a great company
zandrey.com·2d·
Discuss: Hacker News
🔒Cryptography
Randomized Distributed Function Computation (RDFC): Ultra-Efficient Semantic Communication Applications to Privacy
eprint.iacr.org·1d
🔐Zero-Knowledge Proofs
Fine-Tuning Mistral-7B on Apple Silicon: A Mac User's Journey with Axolotl LoRA
medium.com·4d·
Discuss: Hacker News
🦀Rust
Safer Drivers, Stronger Devices
techcommunity.microsoft.com·4d·
Discuss: Hacker News
🦀Rust
KDE Plasma 6.5 will notify you if your printer's ink is low
neowin.net·2d·
Discuss: Hacker News
🎨Rendering
Fixing Stuff on Prod
posthero.us·16h·
Discuss: Hacker News
🦀Rust
Why Reality Has a Well-Known Math Bias
linch.substack.com·1d·
Discuss: Substack
🔒Cryptography
Paper FOMO and ICML 2025 Outstanding Papers
gonzoml.substack.com·10h·
Discuss: Substack
✅Formal Methods
The Bard and The Shell
journal.bsd.cafe·21h·
Discuss: Lobsters, Hacker News
✅Formal Methods
What Color Is Your Hook?
gist.github.com·1d·
Discuss: Hacker News
🦀Rust
Show HN: Memory Bank Templates – Cure AI Context Reset Problems
medium.com·21h·
Discuss: Hacker News
✅Formal Methods