Tessera: A declarative, immediate-mode UI framework for Rust
github.com·28m·
Discuss: Hacker News
⚡CUDA
clj-coll: Clojure collections and sequences in Common Lisp
github.com·17h·
Discuss: Lobsters, Hacker News
✅Formal Methods
Building a Rust Crate Summarizer with Workers AI: Lessons Learned
samjs.io·2d·
Discuss: Hacker News
✅Formal Methods
The Sail instruction-set semantics specification language
alasdair.github.io·12h·
Discuss: Hacker News
✅Formal Methods
Programming Language Escape Hatches
buttondown.com·2d·
Discuss: Hacker News
✅Formal Methods
Refactoring in the Age of Unlimited Code Generation
worksonmymachine.substack.com·19h·
Discuss: Substack
✅Formal Methods
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·3d·
Discuss: Hacker News, Hacker News
✅Formal Methods
How to create an ACID compliant toy db in Rust
deebkit.com·16h·
Discuss: Hacker News
✅Formal Methods
Moneyballing individual pitches with a Support Vector Machine
runningonnumbers.com·7h·
Discuss: Hacker News
✅Formal Methods
Rules for AI coding assistants working with the Linux kernel codebase
lore.kernel.org·17h·
Discuss: Hacker News
✅Formal Methods
Pointers Are Complicated, Or: What's in a Byte?
ralfj.de·2d·
Discuss: Hacker News
✅Formal Methods
RustMailer – Week 1 Update: 729 Views, 165 Clones, 13 Stars (in 9 Days)
indiehackers.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
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·1d·
Discuss: Hacker News
✅Formal Methods
Show HN: YouTubeTLDR – A lightweight, self-hosted YouTube summarizer in Rust
github.com·2d·
Discuss: Hacker News
✅Formal Methods
Can we build an Activist AI?
micahbornfree.substack.com·7h·
Discuss: Substack
🔐Zero-Knowledge Proofs
The current state of Gusto's modularity tooling (2024)
engineering.gusto.com·20h·
Discuss: Hacker News
✅Formal Methods
Artisanal Programming (Coding)
kuccello.medium.com·16h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
(Weak) Factorization Systems
bartoszmilewski.com·19h·
Discuss: Hacker News
✅Formal Methods
I Built a Visual Novel Engine in TypeScript
news.ycombinator.com·1d·
Discuss: Hacker News
✅Formal Methods