Today I talked at the IWACO workshop about my ideas on Modular Borrowing Without Ownership or Linear Types. You can check out the slides and recording on the website!

月が綺麗ですね

Published a new post on the Mill build engineering blog: - Writing Your Own Simple Tab-Completions for Bash and Zsh mill-build.org/blog/14-bash-z…

Just learnt about a behavior difference in env between macOS, Debian and Alpine, I'm like...

Comment by ex-GitHub engineer on blog post about GitHub's UI getting slower over time Source: lobste.rs/s/5qq2k2/why_i…

I found this insightful. If you're saying you're making a tradeoff, but you're not sure that you're operating at the frontier (in terms of perf, but I think this could potentially be generalized to hings like correctness too), then maybe you're not really making a tradeoff.

New blog post on assertions (typesanitizer.com/blog/assertion…), where I talk about some personal history of using assertions at work, the technical side of how to use assertions, as well as the organizational side of getting (or trying to get) assertions adopted widely at work.

I'm considering creating a social media account on Bluesky or Mastodon, might be more active there than here. Thoughts? If you've tried both, how would you summarize the differences?

New blog post! wickstrom.tech/2025-08-28-fin…

My extreme opinion is that anything other than serializable isolation is a scam. Database people haven't figured out how to make it fast, so we have ended up with other half baked isolation levels.

Was looking at Oxide's web framework (library?) Dropshot; it has a quite well thought out trait for representing errors. docs.rs/dropshot/lates…

r/experienceddevs discussion on AI-assisted coding hype old.reddit.com/r/ExperiencedD…

Short blog post, inspired by 'Six blind men and the elephant', but with programmers and static type systems instead. typesanitizer.com/blog/6-program…

This seems to have spread through word of mouth, so I think I should give this a boost. Over the past 3 years or so, I've seen a number of "what to do about AI posts". Most of them are bad, because they are built around a flawed idea: that you have to predict the future to act.