Fedora for Architects: Open-Source Tools for Architectural Design
fedoramagazine.org·19h·
Discuss: Hacker News
🦀Rust
EU Radio Equipment Directive Misunderstood: No Bootloader Lock Mandate Found
biggo.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Mesa 25.2 brings new hardware support for Nouveau users
collabora.com·16h·
Discuss: Hacker News
⚡CUDA
Try Qwen Image Online
qwen-image.ai·3h·
Discuss: Hacker News
🎨Rendering
Compressing Icelandic name declension patterns into a 3.27 kB trie
alexharri.com·3d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
Many prediction markets would be better off as batched auctions
lesswrong.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Defining 'Toast' Messages (2020)
adrianroselli.com·2d·
Discuss: Hacker News
✅Formal Methods
Microsoft Used China-Based Engineers to Support Product Recently Hacked by China
propublica.org·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
How the Brain Protects Itself from Blood-Borne Threats
quantamagazine.org·1h·
Discuss: Hacker News
🎨Rendering
MIT tool visualizes and edits “physically impossible” objects
news.mit.edu·11h·
Discuss: Hacker News
🎨Rendering
My Most Productive Day
curzel.it·1d·
Discuss: Hacker News
🦀Rust
Lessons from 10 Years at GitHub
rickwinfrey.com·3d·
Discuss: Hacker News
🦀Rust
Write Faster with AI – While Keeping It Yours
anupshinde.com·1d·
Discuss: Hacker News
🦀Rust
Show HN: NameFast – Generate names for your SaaS idea in seconds
news.ycombinator.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Minimal Astro and TypeScript blog theme with MDX and SEO support
github.com·1d·
Discuss: Hacker News
🦀Rust
Lobsters Interview with Icefox
lobste.rs·3d·
Discuss: Lobsters
🦀Rust
Switching to Qwen3-30B-A3B-Instruct-2507 Significantly Improves Local Agent
hexeditreality.com·4d·
Discuss: Hacker News
✅Formal Methods
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·2d·
Discuss: Substack
🦀Rust
Silent Push CEO on cybercrime takedowns: 'It's an ongoing cat-and-mouse game'
theregister.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Show HN: OpenSQLDB a Fork of MariaDB
github.com·19h·
Discuss: Hacker News
✅Formal Methods