Full Width [alt+shift+f] Shortcuts [alt+shift+k]
Sign Up [alt+shift+s] Log In [alt+shift+l]

Ruud van Asseldonk

Ruud van Asseldonk
A type system for RCL: Implementing a typechecker in Rust
7 months ago
Ruud van Asseldonk
The yaml document from hell
over a year ago
Ruud van Asseldonk
A type system for RCL, part 1: Introduction
7 months ago
Ruud van Asseldonk
A type system for RCL, part 3: Related work
7 months ago
Ruud van Asseldonk
A type system for RCL, part 2: The type system
7 months ago
Ruud van Asseldonk
AI alignment starter pack
8 months ago
Ruud van Asseldonk
LLM text makes human interactions less fun
a month ago
Ruud van Asseldonk
A reasonable configuration language
a year ago
Ruud van Asseldonk
Working on a virtualenv without magic
over a year ago
Ruud van Asseldonk
Building Elm with Stack
over a year ago
Ruud van Asseldonk
Neither necessary nor sufficient
over a year ago
Ruud van Asseldonk
Git’s push url
over a year ago
Ruud van Asseldonk
Build system insights
over a year ago
Ruud van Asseldonk
On benchmarking
over a year ago
Ruud van Asseldonk
Global Game Jam 2015
over a year ago
Ruud van Asseldonk
Zero-cost abstractions
over a year ago
Ruud van Asseldonk
An API for my Christmas tree
over a year ago
Ruud van Asseldonk
Exceptional results: error handling with C# and Rust
over a year ago
Ruud van Asseldonk
A language for designing slides
over a year ago
Ruud van Asseldonk
Model facts, not your problem domain
over a year ago
Ruud van Asseldonk
A perspective shift on automated market makers through MEV
over a year ago
Ruud van Asseldonk
Please put units in names
over a year ago
Ruud van Asseldonk
An algorithm for shuffling playlists
a year ago