Sharing what I learned about Rust functions and closures
blog.cuongle.dev·5h·
Discuss: Hacker News, r/rust
🔧MLIR
Using Haskell in Production
agentultra.com·1d·
Discuss: Hacker News
🔧MLIR
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🔧MLIR
Domain modeling, Units-of-Measure, and Property-based testing, oh my
dev.to·1d·
Discuss: DEV
✅Formal Verification
What's in (a) main() ?
reddit.com·10h·
Discuss: r/rust
🔧MLIR
In Defense of C++
twitter.com·14h·
Discuss: DEV
🔧MLIR
Effects as Capabilities in Scala
nrinaudo.github.io·10h·
Discuss: Lobsters, Hacker News
✅Formal Verification
Getting Started with STM32 on Mac M2 – Is Windows a Must?
udemy.com·7h·
Discuss: r/embedded
🔧MLIR
Rich Answered That
gist.github.com·1d·
Discuss: Lobsters, Hacker News
✅Formal Verification
Show HN: 5MB Rust binary that runs HuggingFace models (no Python)
github.com·5h·
Discuss: Hacker News
🔧MLIR
Trial and Error Driven Development
stevenoxley.com·1h·
Discuss: Hacker News
✅Formal Verification
Monday Morning Haskell: Graph Algorithms in Board Games!
mmhaskell.com·2d
🔄Protocol Design
Most Rust GUI frameworks suck
reddit.com·8h·
Discuss: r/rust
🔧MLIR
9 vital concepts of modern JavaScript
infoworld.com·13h
🔧MLIR
Exploring Active Agent, or can we build AI features the Rails way?
evilmartians.com·22h
🤖AI
These 3 Excel functions make me feel like a spreadsheet wizard
makeuseof.com·8h
✅Formal Verification
Systematic Optimization of Open Source Large Language Models for Mathematical Reasoning
arxiv.org·18h
🤖AI
Context Pruning in Conversational Agent
poonai.xyz·11h·
Discuss: Hacker News
🤖AI
DSRs, @DSPyOSS for Rust is here🚀
threadreaderapp.com·6h
🔧MLIR
Karate – Test Automation Made Simple
karatelabs.github.io·7h·
Discuss: Hacker News
🤖AI