strongly-typed-thoughts.net blog strongly-typed-thoughts.net

A real and final goodbye, GitHub

strongly-typed-thoughts.net·1w

The burden of hypersensitivity

strongly-typed-thoughts.net·3w

defer and errdefer in Rust

strongly-typed-thoughts.net·33w·Hacker News, r/programming, r/rust

Goodbye, GitHub

strongly-typed-thoughts.net·38w·Hacker News

My Corne keyboard

strongly-typed-thoughts.net·47w

Vim vs. Kakoune puzzles

strongly-typed-thoughts.net·51w·Lobsters, Hacker News, r/programming

Zig; what I think after months of using it

strongly-typed-thoughts.net·66w·Lobsters, Hacker News, Hacker News, r/Zig, r/programming, r/rust

Introducing flirt

strongly-typed-thoughts.net·75w

Zig, linear types and PwTP

strongly-typed-thoughts.net·95w

Moving away from PR/MR workflow

strongly-typed-thoughts.net·101w

Zellij is doing too much

strongly-typed-thoughts.net·107w

The Kakoune philosophy

strongly-typed-thoughts.net·124w

Reflections about note-taking

strongly-typed-thoughts.net·135w

kak-tree-sitter v0.4 and reflections

strongly-typed-thoughts.net·141w

Kakoune design analysis with kak-tree-sitter

strongly-typed-thoughts.net·153w

Even more hindsight on Vim, Helix and Kakoune

strongly-typed-thoughts.net·155w

My thoughts about editors in 2022

strongly-typed-thoughts.net·175w

luminance redesign; Part 1: compatible vertex types

strongly-typed-thoughts.net·192w

A Rust shading language EDSL

strongly-typed-thoughts.net·197w

Useful Hop in 2022

strongly-typed-thoughts.net·199w

Log in to enable infinite scrolling