Viewing profile — thr1owaway9621

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 w…

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 th…

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 ha…

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 dj…

> 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…

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 …

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 n…

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 wee…

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 Manni…

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 Ai…

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,…