Proxima and Hugging Face Announce the ConStellaration Challenge
proximafusion.com·3d·
Discuss: Hacker News
✅Formal Methods
Kano Model
en.wikipedia.org·13h·
Discuss: Hacker News
✅Formal Methods
The Phone in the Backpack
domofutu.substack.com·1h·
Discuss: Substack
🦀Rust
70% of IT budgets are being drained just to keep legacy systems afloat
techolution.com·2d·
Discuss: Hacker News
🦀Rust
Study mode and spaced repetition. Feature requests, Monetization ideas?
app.polymax.ai·2d·
Discuss: Hacker News, Hacker News
🦀Rust
The Comprehensive Guide to Knowledge Graphs
agilelab.it·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
SFrame Stack Trace Format
sourceware.org·2d·
Discuss: Hacker News
✅Formal Methods
Capacity planning a rising concern for datacenter operators as AI grows
theregister.com·20h·
Discuss: Hacker News
⚡CUDA
Endowments and Unintended Consequences
paulkedrosky.com·2d·
Discuss: Hacker News
🦀Rust
Minimal Astro and TypeScript blog theme with MDX and SEO support
github.com·14h·
Discuss: Hacker News
🦀Rust
Lobsters Interview with Icefox
lobste.rs·2d·
Discuss: Lobsters
🦀Rust
Understanding Energy Trading: Physical vs. Financial Markets
a115.co.uk·1d·
Discuss: Hacker News
🎨Rendering
Switching to Qwen3-30B-A3B-Instruct-2507 Significantly Improves Local Agent
hexeditreality.com·3d·
Discuss: Hacker News
✅Formal Methods
Advice I Got at PagerDuty
euri.ca·2h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·3d·
Discuss: Hacker News
🦀Rust
He worked with artificial limbs for decades. Then a lorry ripped off his right arm. What happened when the expert became the patient?
theguardian.com·1d·
Discuss: Hacker News
✅Formal Methods
When Did Apple's Obsession with Design Stagnate?
mirz.ai·1d·
Discuss: Hacker News
✅Formal Methods
Debugging Academia: What LaTeX Error Messages Teach Us About Surviving Peers
lightcapai.medium.com·11h·
Discuss: Hacker News
🦀Rust
Hijacking multi-agent systems in your PajaMAS
blog.trailofbits.com·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Ergonomic keyboarding with the Svalboard: a half-year retrospective
twey.io·2d·
Discuss: Hacker News
🦀Rust