Building a Rust Crate Summarizer with Workers AI: Lessons Learned
samjs.io·1d·
Discuss: Hacker News
✅Formal Methods
Programming Language Escape Hatches
buttondown.com·2d·
Discuss: Hacker News
✅Formal Methods
Show HN: YouTubeTLDR – A lightweight, self-hosted YouTube summarizer in Rust
github.com·1d·
Discuss: Hacker News
✅Formal Methods
Refactoring in the Age of Unlimited Code Generation
worksonmymachine.substack.com·1h·
Discuss: Substack
✅Formal Methods
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·2d·
Discuss: Hacker News, Hacker News
✅Formal Methods
Pointers Are Complicated, Or: What's in a Byte?
ralfj.de·1d·
Discuss: Hacker News
✅Formal Methods
Fine-Tuning Mistral-7B on Apple Silicon: A Mac User's Journey with Axolotl LoRA
medium.com·2d·
Discuss: Hacker News
⚡CUDA
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters
chapel-lang.org·15h·
Discuss: Hacker News
✅Formal Methods
A lightweight library for portable low-level GPU computation using WebGPU
github.com·20h·
Discuss: Hacker News
⚡CUDA
RustMailer – Week 1 Update: 729 Views, 165 Clones, 13 Stars (in 9 Days)
indiehackers.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Add AI coding assistant configuration to Linux kernel
lore.kernel.org·7h·
Discuss: Hacker News
✅Formal Methods
The current state of Gusto's modularity tooling (2024)
engineering.gusto.com·2h·
Discuss: Hacker News
✅Formal Methods
I Built a Visual Novel Engine in TypeScript
news.ycombinator.com·1d·
Discuss: Hacker News
✅Formal Methods
Lobsters Interview with Technomancy
lobste.rs·16h·
Discuss: Lobsters
✅Formal Methods
Signals for Python – Reactive State Management Inspired by SolidJS and Angular
reaktiv.bui.app·1d·
Discuss: Hacker News
✅Formal Methods
Use Qwen3-Coder (Or Any Other LLM) with Claude Code
old.reddit.com·2d·
Discuss: r/LocalLLaMA
✅Formal Methods
From Async/Await to Virtual Threads
lucumr.pocoo.org·14h·
Discuss: Lobsters, Hacker News
🔐Zero-Knowledge Proofs
Use Your Type System
dzombak.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
What if Left-Right and Seq-Lock had a baby?
github.com·8h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Rails Engine Assets: Making Your Gem Work with Sprockets and Propshaft
avohq.io·1d·
Discuss: Hacker News
✅Formal Methods