Sharing what I learned about Rust functions and closures
blog.cuongle.dev·12h·
Discuss: Hacker News, r/rust
🔧MLIR
Using Haskell in Production
agentultra.com·1d·
Discuss: Hacker News
🔧MLIR
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·2h·
Discuss: Hacker News
✅Formal Verification
Program management update — August 2025
blog.rust-lang.org·4h
🔧MLIR
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🔧MLIR
TypeScript Advanced Patterns: Writing Cleaner & Safer Code in 2025
dev.to·1h·
Discuss: DEV
✅Formal Verification
Effects as Capabilities in Scala
nrinaudo.github.io·16h·
Discuss: Lobsters, Hacker News
✅Formal Verification
Object Reorientation: Generic Functions
gigamonkeys.com·4h·
Discuss: Hacker News
🔧MLIR
Rewriting Dataframes for MicroHaskell
mchav.github.io·2d·
Discuss: Hacker News
🔧MLIR
What's in (a) main() ?
reddit.com·16h·
Discuss: r/rust
🔧MLIR
In Defense of C++
twitter.com·20h·
Discuss: DEV
🔧MLIR
I developed a blockchain in Rust from scratch
medium.com·7h·
Discuss: r/rust
🔗Crypto
Getting Started with STM32 on Mac M2 – Is Windows a Must?
udemy.com·13h·
Discuss: r/embedded
🔧MLIR
Rich Answered That
gist.github.com·1d·
Discuss: Lobsters, Hacker News
✅Formal Verification
Domain modeling, Units-of-Measure, and Property-based testing, oh my
dev.to·1d·
Discuss: DEV
✅Formal Verification
Trial and Error Driven Development
stevenoxley.com·7h·
Discuss: Hacker News
✅Formal Verification
Show HN: 5MB Rust binary that runs HuggingFace models (no Python)
github.com·12h·
Discuss: Hacker News
🔧MLIR
Most Rust GUI frameworks suck
reddit.com·14h·
Discuss: r/rust
🔧MLIR
9 vital concepts of modern JavaScript
infoworld.com·19h
🔧MLIR
Exploring Active Agent, or can we build AI features the Rails way?
evilmartians.com·1d
🤖AI