41554 blogs · [ { "id": "01a08790-7c12-7327-917d-6b61d0697b7d", "title": "Refinement in Rust: optimization, arithmetic, and stateful predicates", "url": "https://jkaye2012.github.io/posts/refined_0_0_4/", "published_at": "2025-03-08T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d10de213", "title": "Refined: simple refinement types for Rust", "url": "https://jkaye2012.github.io/posts/refined/", "published_at": "2025-02-07T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d173cb3e", "title": "Technical debt and conscious decision making", "url": "https://jkaye2012.github.io/posts/tech-debt-podcast/", "published_at": "2024-11-15T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d1cf278f", "title": "Spending time wisely", "url": "https://jkaye2012.github.io/posts/spending-time-wisely/", "published_at": "2024-11-06T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d21b7921", "title": "Letting go", "url": "https://jkaye2012.github.io/posts/letting-go/", "published_at": "2024-09-22T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d2e002ba", "title": "Overcorrection", "url": "https://jkaye2012.github.io/posts/overcorrection/", "published_at": "2024-08-06T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d3c4e562", "title": "A Rust + WASM development environment with Nix", "url": "https://jkaye2012.github.io/posts/rust-wasm-nix/", "published_at": "2024-05-14T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d469055f", "title": "Enabling constraints", "url": "https://jkaye2012.github.io/posts/enabling-constraints/", "published_at": "2024-03-06T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d5220147", "title": "A few fast solutions for Advent of Code 2023", "url": "https://jkaye2012.github.io/posts/aoc-2023/", "published_at": "2023-12-29T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d586854f", "title": "Minimize global process", "url": "https://jkaye2012.github.io/posts/minimize-global-process/", "published_at": "2023-11-15T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d6246e87", "title": "Software engineering is about thinking, not typing", "url": "https://jkaye2012.github.io/posts/thinking-not-typing/", "published_at": "2023-10-11T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d6f381ae", "title": "Simplicity isn't easy", "url": "https://jkaye2012.github.io/posts/simplicity-isnt-easy/", "published_at": "2023-09-05T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d70eca3f", "title": "Cheat codes", "url": "https://jkaye2012.github.io/posts/cheat-codes/", "published_at": "2023-07-10T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d7d33c41", "title": "About Me", "url": "https://jkaye2012.github.io/about/", "published_at": "2023-06-21T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d85b25cf", "title": "Flexible systems", "url": "https://jkaye2012.github.io/posts/flexible-systems/", "published_at": "2023-06-21T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d9529696", "title": "Lexicon", "url": "https://jkaye2012.github.io/lexicon/", "published_at": "2023-06-21T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61d9dd6632", "title": "Go slow to move fast", "url": "https://jkaye2012.github.io/posts/go-slow-move-fast/", "published_at": "2023-03-18T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61da9d7bd4", "title": "Striped development", "url": "https://jkaye2012.github.io/posts/striped-development/", "published_at": "2022-10-01T00:00:00+00:00" }, { "id": "01a08790-7c12-7327-917d-6b61dabd255e", "title": "Creating a development blog", "url": "https://jkaye2012.github.io/posts/blog-genesis/", "published_at": "2020-12-14T01:13:18+00:00" } ] posts Claim your blog
Back to jkaye2012.github.io
Blog · corpus.blog/blogs/jkaye2012.github.io/posts

jkaye2012.github.io

jkaye2012.github.io

2025

2024

2023

2022

2020