100 Techniques for Writing Readable Rust Code
github.com·8h·
Discuss: r/rust
🔧MLIR
Flag this post
Creating Lisp Systems
renato.athaydes.com·4h·
Discuss: Hacker News
🔧MLIR
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·14h·
🔧MLIR
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
Formal Verification
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·1d·
Discuss: DEV
Formal Verification
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·2d·
Discuss: Hacker News
🔧MLIR
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
Formal Verification
Flag this post
Pain Points of OCaml
quamserena.com·1d·
🔧MLIR
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·15h
🔧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
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1h·
Discuss: r/programming
🔧MLIR
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·1h·
Discuss: Hacker News
🔧MLIR
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·34m·
Discuss: Hacker News
🔧MLIR
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·14h·
Discuss: r/programming
🔧MLIR
Flag this post
AI and machine learning outside of Python
infoworld.com·3h
🤖AI
Flag this post
How to build a Heapless Vector using `MaybeUninit<T>` for Better Performance.
dev.to·23h·
Discuss: DEV
🔧MLIR
Flag this post
Convince me to use C instead of Rust
reddit.com·2d·
🔧MLIR
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·16h
🔧MLIR
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·2d·
Discuss: DEV
🔧MLIR
Flag this post