There is no truthy or falsy in Rust
joschuba.com·13h
✅Formal Verification
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·14h·
Discuss: DEV
✅Formal Verification
Flag this post
Iterators - Dive into Lazy, Composable Processing
itsfoxstudio.substack.com·2d·
Discuss: r/rust
🔧MLIR
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
reddit.com·1d·
Discuss: r/rust
🔧MLIR
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·21h
🔧MLIR
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·17h·
Discuss: Hacker News
🔧MLIR
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·2d
🧮Homomorphic Encryption
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·1d·
Discuss: Hacker News
🔧MLIR
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·1d·
Discuss: Hacker News
🔧MLIR
Flag this post
100 Techniques for Writing Readable Rust Code
reddit.com·5h·
Discuss: r/rust
🔧MLIR
Flag this post
Issue 496
haskellweekly.news·5d
🔧MLIR
Flag this post
Compelling reasons to learn Ruby today
rubynewbie.org·8h·
Discuss: Hacker News
🔧MLIR
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🔧MLIR
Flag this post
Scala vs. F#
alexn.org·2d·
Discuss: Hacker News
🔧MLIR
Flag this post
I really like Promptfoo for testing prompts, so I wrote an article on how to use it to test prompts with different models and various assert types. Let me know ...
pvkl.nl·2h·
Discuss: r/LLM
🤖AI
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.com·1d·
Discuss: www.blogger.com
🔧MLIR
Flag this post
Functional Ruby Programming with Trailblazer
dev.to·2d·
Discuss: DEV
🔧MLIR
Flag this post
Music in rust with tunes
crates.io·2d·
Discuss: r/rust
🔧MLIR
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·8h·
Discuss: Lobsters, Hacker News
🔧MLIR
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·4h
✅Formal Verification
Flag this post