Welcome to my website!https://michaeltimbs.me/https://michaeltimbs.me/blog/code-quality-in-the-age-of-coding-agents/https://michaeltimbs.me/blog/code-quality-in-the-age-of-coding-agents/An adaptation of an internal talk I gave during a company wide ai-adoption week.Wed, 11 Mar 2026 00:00:00 GMThttps://michaeltimbs.me/blog/software-is-not-verifiable-domain/https://michaeltimbs.me/blog/software-is-not-verifiable-domain/Software is highly checkable, but end-to-end verification is hard because deciding what should exist is the real work. A critique of AI verification through the lens of Naur, Deutsch, and Alexander.Sat, 27 Dec 2025 00:00:00 GMThttps://michaeltimbs.me/blog/evaluating-llm-reasoning-through-sports-betting/https://michaeltimbs.me/blog/evaluating-llm-reasoning-through-sports-betting/Sports betting might seem an unconventional AI benchmark, yet it uniquely tests reasoning under uncertainty, decision-making transparency, and real-world information synthesis.Sun, 20 Jul 2025 00:00:00 GMThttps://michaeltimbs.me/blog/understanding-solidjs-reactivity/https://michaeltimbs.me/blog/understanding-solidjs-reactivity/I've created two new SolidJS applications in the last three months. Both times I had issues with Layouts caused by a failure to consider SolidJS reactivity model. Here is a reference to remind future me why I keep making this mistake.Wed, 09 Jul 2025 00:00:00 GMThttps://michaeltimbs.me/blog/do-more-or-do-better/https://michaeltimbs.me/blog/do-more-or-do-better/When building a product company is it better to keep building more features and broadening the product offering, or focus on doing fewer things but being the absolute best at those things.Thu, 29 May 2025 00:00:00 GMThttps://michaeltimbs.me/blog/software-risks/https://michaeltimbs.me/blog/software-risks/There is real risk in failing to innovate and build. Growing too slow may be a slow death, but it is a very real failure mode. If you have a lot of technical debt in your product, throwing it away and starting again may be risky, but it may be less risky in the long term than persisting with a broken foundation.Mon, 30 Sep 2024 00:00:00 GMThttps://michaeltimbs.me/blog/removing-explicit-any/https://michaeltimbs.me/blog/removing-explicit-any/There are a surprising number of ways to explicitly rely on the any 'type' in TypeScript. Enough that it makes a search and delete not as trivial as you would think.Tue, 12 Mar 2024 00:00:00 GMThttps://michaeltimbs.me/blog/microservice-not-deployment-topology/https://michaeltimbs.me/blog/microservice-not-deployment-topology/Too many people use the terms Microservice to refer to an independently deployed piece of code. This is not a good definition of a Microservice. Microservice architecture has nothing to do with deployment topologySat, 30 Dec 2023 00:00:00 GMThttps://michaeltimbs.me/blog/twelve-factor-app-ecs/https://michaeltimbs.me/blog/twelve-factor-app-ecs/Amazon ECS encourages us to adopt practices that conform with the twelve-factor app methodologySat, 21 Aug 2021 00:00:00 GMThttps://michaeltimbs.me/blog/switching-aws-accounts/https://michaeltimbs.me/blog/switching-aws-accounts/How to set up switch role permissions in AWS to easily move between accountsWed, 04 Mar 2020 00:00:00 GMT