corpus.blog
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

Refinement in Rust: optimization, arithmetic, and stateful predicatesoriginal ↗
8 Mar 2025
Refined: simple refinement types for Rustoriginal ↗
7 Feb 2025

2024

Technical debt and conscious decision makingoriginal ↗
15 Nov 2024
Spending time wiselyoriginal ↗
6 Nov 2024
Letting gooriginal ↗
22 Sept 2024
Overcorrectionoriginal ↗
6 Aug 2024
A Rust + WASM development environment with Nixoriginal ↗
14 May 2024
Enabling constraintsoriginal ↗
6 Mar 2024

2023

A few fast solutions for Advent of Code 2023original ↗
29 Dec 2023
Minimize global processoriginal ↗
15 Nov 2023
Software engineering is about thinking, not typingoriginal ↗
11 Oct 2023
Simplicity isn't easyoriginal ↗
5 Sept 2023
Cheat codesoriginal ↗
10 Jul 2023
About Meoriginal ↗
21 Jun 2023
Flexible systemsoriginal ↗
21 Jun 2023
Lexiconoriginal ↗
21 Jun 2023
Go slow to move fastoriginal ↗
18 Mar 2023

2022

Striped developmentoriginal ↗
1 Oct 2022

2020

Creating a development blogoriginal ↗
14 Dec 2020