In practice, inertia is stopping me. For personal projects, I don't want to learn Rust just so I can do `def add(a: int, b: int) -> int`. For work, I don't really get a choice. I work on brownfield projects. We do use…
I started using types with Python in 2018-ish, and I never looked back. I am not that good a programmer, so maybe I am wrong, but I just like being able to tell what the data is that's moving through the system. Typed…
Cython is a niche language for writing perf-critical bits inside your Python codebase. It's like C for people who don't want to learn C. At least that's how I treated it, when I had to write some stuff to make some…
I use pyright with a 50k LOC Django REST API codebase. I haven't really had problems. From my pyproject.toml: django==4.2.30 djangorestframework==3.16.1 --- django-types==0.15.0 djangorestframework-types==0.8.0…
> Currently, the level of computing intuition needed to additively prompt the coding agents sits at roughly 5 years’ experience level. Today’s seniors were lucky enough to get paid to build their computing intuition,…
Japanese 7-11 is a fascinating story. Here is decent video on Youtube that goes into the history of the company, and why 7-11s are so different in the US and Japan (tldr: it's the core culture/infrastructure…
To me, the "enrichment" layer means 2 things: - a tiny DSL for rendering anything custom, where every markdown renderer potentially introduces its own unique bit of syntax that's not transferable (example: frontmatter…
I wonder if markdown will slowly fall out of favor for note taking, because AI can generate gorgeous-looking HTML essentially for free. I saw this bit of advice on twitter last week -- to use HTML as the target output…
In the last 3-4 years, I've mostly been using niche platforms: frontendmasters, ui.dev (fireship now?), boot.dev, codecrafters, a couple of others. And books. I always have a Manning subscription running. I've mostly…
What are these Chromebooks? The battery on my Macbook Pro, that I've owned since 2013, has finally gave out and I am looking for a new laptop. I considered buying an entry-level Air or a used Pro (<$1000 budget), but…
I never realized Windows tuning was a thing (WindHawk, Start11). Thank you for mentioning those. I recently had to install Windows 11 to play a video game that runs janky on Linux, and I am encountering all the annoying…
In practice, inertia is stopping me. For personal projects, I don't want to learn Rust just so I can do `def add(a: int, b: int) -> int`. For work, I don't really get a choice. I work on brownfield projects. We do use…
I started using types with Python in 2018-ish, and I never looked back. I am not that good a programmer, so maybe I am wrong, but I just like being able to tell what the data is that's moving through the system. Typed…
Cython is a niche language for writing perf-critical bits inside your Python codebase. It's like C for people who don't want to learn C. At least that's how I treated it, when I had to write some stuff to make some…
I use pyright with a 50k LOC Django REST API codebase. I haven't really had problems. From my pyproject.toml: django==4.2.30 djangorestframework==3.16.1 --- django-types==0.15.0 djangorestframework-types==0.8.0…
> Currently, the level of computing intuition needed to additively prompt the coding agents sits at roughly 5 years’ experience level. Today’s seniors were lucky enough to get paid to build their computing intuition,…
Japanese 7-11 is a fascinating story. Here is decent video on Youtube that goes into the history of the company, and why 7-11s are so different in the US and Japan (tldr: it's the core culture/infrastructure…
To me, the "enrichment" layer means 2 things: - a tiny DSL for rendering anything custom, where every markdown renderer potentially introduces its own unique bit of syntax that's not transferable (example: frontmatter…
I wonder if markdown will slowly fall out of favor for note taking, because AI can generate gorgeous-looking HTML essentially for free. I saw this bit of advice on twitter last week -- to use HTML as the target output…
In the last 3-4 years, I've mostly been using niche platforms: frontendmasters, ui.dev (fireship now?), boot.dev, codecrafters, a couple of others. And books. I always have a Manning subscription running. I've mostly…
What are these Chromebooks? The battery on my Macbook Pro, that I've owned since 2013, has finally gave out and I am looking for a new laptop. I considered buying an entry-level Air or a used Pro (<$1000 budget), but…
I never realized Windows tuning was a thing (WindHawk, Start11). Thank you for mentioning those. I recently had to install Windows 11 to play a video game that runs janky on Linux, and I am encountering all the annoying…