100 Techniques for Writing Readable Rust Code
github.com·2h·
Discuss: r/rust
🔧MLIR
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·19h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·8h·
Discuss: r/C_Programming
🔧MLIR
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·21h·
Discuss: DEV
✅Formal Verification
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
🔧MLIR
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
✅Formal Verification
Flag this post
Pain Points of OCaml
quamserena.com·1d·
Discuss: Lobsters, Hacker News
🔧MLIR
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·9h
🔧MLIR
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
🛡️AI Safety
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·8h
🔧MLIR
Flag this post
How to build a Heapless Vector using `MaybeUninit<T>` for Better Performance.
dev.to·17h·
Discuss: DEV
🔧MLIR
Flag this post
Convince me to use C instead of Rust
reddit.com·2d·
Discuss: r/C_Programming
🔧MLIR
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·10h
🔧MLIR
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·2d·
Discuss: DEV
🔧MLIR
Flag this post
Think DSP second edition
allendowney.com·13h
🤖AI
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2d·
Discuss: Hacker News
🔧MLIR
Flag this post
There is no truthy or falsy in Rust
joschuba.com·9h
✅Formal Verification
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·1d·
Discuss: Hacker News
🔧MLIR
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·11h·
Discuss: DEV
✅Formal Verification
Flag this post