Bringing Together Clazy and Clang-Tidy
alex1701c.github.io·1d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust
Vortex's Take on the Model M: Cover Band or New Legend?
reviews.ofb.biz·3h·
Discuss: Hacker News
🎨Rendering
The Sail instruction-set semantics specification language
alasdair.github.io·3d·
Discuss: Hacker News
🦀Rust
Show HN: Debunking Election Fraud Claims – Interactive Data Viz and Simulations
sullivan.zip·6h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Playing with open source LLMs
alicegg.tech·14h·
Discuss: Hacker News
🦀Rust
Raspberry Pi RP2350 A4 stepping fixes E9 GPIO Erratum, glitching bugs, introduces 2MB flash variants
cnx-software.com·8h·
Discuss: Lobsters, Hacker News
🦀Rust
Jetson Thor – Advanced AI for Physical Robotics
nvidia.com·1d·
Discuss: Hacker News
⚡CUDA
Show HN: Same prompt tested across Replit, Bolt, v0, Lovable and Raq.com
raq.com·7h·
Discuss: Hacker News
✅Formal Methods
On the Edge of Competence
ordep.dev·11h·
Discuss: Hacker News, r/programming
🔐Zero-Knowledge Proofs
Waiting for King Sebastian
ashouri.xyz·11h·
Discuss: Hacker News
✅Formal Methods
Post to HN
blog.cloudflare.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Qwen3 235B 2507 Instruct Now Available on Cerebras
cerebras.ai·21h·
Discuss: Hacker News
✅Formal Methods
Customers hate MVPs. Make a SLC instead
longform.asmartbear.com·7h·
Discuss: Hacker News
🦀Rust
Age Verification Laws Send VPN Use Soaring—and Threaten the Open Internet
wired.com·10h·
Discuss: Hacker News, r/technews
🔐Zero-Knowledge Proofs
Reflections on SoCraTes 2025
disintegrated.parts·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Introducing Socket MCP for Claude Desktop
socket.dev·38m·
Discuss: Hacker News
🦀Rust
Security pros are drowning in threat-intel data and it's making everything more dangerous
theregister.com·23h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Overarch – model your software system as data
github.com·1d·
Discuss: Hacker News
✅Formal Methods
Show HN: Real-time face recognition on low power microcontroller
github.com·14h·
Discuss: Hacker News
🦀Rust
tcmalloc's Temeraire: A Hugepage-Aware Allocator
paulcavallaro.com·1d·
Discuss: Hacker News, r/compsci, r/programming
⚡CUDA