Secuso – Our Farewell from Google Play
secuso.aifb.kit.edu·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Proxima and Hugging Face Announce the ConStellaration Challenge
proximafusion.com·3d·
Discuss: Hacker News
✅Formal Methods
Kano Model
en.wikipedia.org·10h·
Discuss: Hacker News
✅Formal Methods
70% of IT budgets are being drained just to keep legacy systems afloat
techolution.com·2d·
Discuss: Hacker News
🦀Rust
What’s wrong with the JSON gem API?
byroot.github.io·1d·
Discuss: Hacker News
✅Formal Methods
Testing LLM Responses: A Fast, Cost-Effective Alternative to LLM-as-Judge
joywrites.dev·20h·
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
The Unstoppable Rise of Disposable ML Frameworks
petewarden.com·2d·
Discuss: Hacker News
🦀Rust
The Emacs dumper dispute (2016)
lwn.net·1d·
Discuss: Hacker News
🦀Rust
SFrame Stack Trace Format
sourceware.org·2d·
Discuss: Hacker News
✅Formal Methods
Lobsters Interview with Icefox
lobste.rs·2d·
Discuss: Lobsters
🦀Rust
Capacity planning a rising concern for datacenter operators as AI grows
theregister.com·17h·
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·11h·
Discuss: Hacker News
🦀Rust
Switching to Qwen3-30B-A3B-Instruct-2507 Significantly Improves Local Agent
hexeditreality.com·3d·
Discuss: Hacker News
✅Formal Methods
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·8h·
Discuss: Hacker News
🦀Rust