Show HN: Gimli Tailwind 5 -The most popular extension for TailwindCSS developers
gimli.app·1h·
Discuss: Hacker News
🦀Rust
Target Market doesn't mean Demographic
longform.asmartbear.com·7h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Real-Time Solutions at the "Cosmic Edge"
windriver.com·3d·
Discuss: Hacker News, r/space
🔒Cryptography
RRAM and the AI Hardware Revolution
thepotentialsurface.substack.com·3d·
Discuss: Substack
⚡CUDA
No-CPU Amiga Demo and Framework
github.com·2d·
Discuss: Hacker News
✅Formal Methods
Door at Launch: Design Review of an LLM-Driven Story Game
ianbicking.org·4d·
Discuss: Hacker News
✅Formal Methods
The entropy formula for the Ricci flow and its geometric applications
arxiv.org·16h·
Discuss: Hacker News
✅Formal Methods
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·2d·
Discuss: Hacker News
🦀Rust
Why Agentic AI Needs Identity Infrastructure
sphericalcowconsulting.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Development Speed Has Never Been a Bottleneck
pawelbrodzinski.substack.com·3d·
Discuss: Substack
🦀Rust
VMware's in court again. Customer relationships rarely go this wrong
theregister.com·7h·
Discuss: Hacker News
🔒Cryptography
Highlighted tools
simonwillison.net·3d·
Discuss: Hacker News
🦀Rust
The General Uses Warp
en.wikipedia.org·21h·
Discuss: Hacker News
✅Formal Methods
Debugging Rustler on Illumos
system-illumination.org·6d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀Rust
Show HN: Reverse vs. Vectorized Forward Ad: A Performance Exploration in C
raph5.github.io·2d·
Discuss: Hacker News
⚡CUDA
Finding Wisdom Online
bensterne.substack.com·31m·
Discuss: Substack
🔐Zero-Knowledge Proofs
Ask HN: Would Windows users want a native multi-model AI client?
news.ycombinator.com·4h·
Discuss: Hacker News
✅Formal Methods
Build an AI PR Reviewer with MCP and Gemini
decodingml.substack.com·3d·
Discuss: Substack
✅Formal Methods
Walikancrypt
github.com·5d·
Discuss: Hacker News
🔒Cryptography
The Great Bitnami BSI Shift: What the New Costs and Licenses Mean for End Users
iits-consulting.de·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs