Organizing Chaos jordankaye.dev

Refinement in Rust: optimization, arithmetic, and stateful predicates

jkaye2012.github.io·49w

Refinement in Rust: optimization, arithmetic, and stateful refinement

jordankaye.dev·49w·

Discuss: Lobsters, Hacker News

Refined: simple refinement types for Rust

jkaye2012.github.io·53w

Technical debt and conscious decision making

jkaye2012.github.io·65w

Spending time wisely

jkaye2012.github.io·66w

Spending time wisely

jordankaye.dev·66w

Letting go

jkaye2012.github.io·73w

Letting go

jordankaye.dev·73w

Overcorrection

jkaye2012.github.io·79w

Overcorrection

jordankaye.dev·79w

A Rust + WASM development environment with Nix

jkaye2012.github.io·91w

A Rust + WASM development environment with Nix

jordankaye.dev·91w

Enabling constraints

jkaye2012.github.io·101w

Enabling constraints

jordankaye.dev·101w

A few fast solutions for Advent of Code 2023

jkaye2012.github.io·111w

A few fast solutions for Advent of Code 2023

jordankaye.dev·111w

Minimize global process

jkaye2012.github.io·117w

Software engineering is about thinking, not typing

jkaye2012.github.io·122w

Software engineering is about thinking, not typing

jordankaye.dev·122w

Simplicity isn't easy

jkaye2012.github.io·127w

Loading...Loading more...