Tin Tvrtković @tinche.bsky.social · 24/06/2026More like, you have a few days to enroll in a lottery to see if you get to buy it (Which I have, naturally) 000
Tin Tvrtković @tinche.bsky.social · 22/06/2026Interesting write-up! Instead of focusing on leak detection, wouldn't a better approach here be applying some structured concurrency so the issue surfaces right away in tests? Does Go have good primitives for this? 110
Tin Tvrtković @tinche.bsky.social · 19/06/2026Apparently deep seek thinks I'm the author of the dash cryptocurrency (?) 000
Tin Tvrtković @tinche.bsky.social · 16/05/2026I do this regularly, it never even occurred to me to ask someone for permission 010
Tin Tvrtković @tinche.bsky.social · 09/05/2026Someone at Netflix majorly fucked up. They seem to have released the new season of White Lotus as the second season of Beef? 000
Tin Tvrtković @tinche.bsky.social · 02/05/2026The best part about being a dad is your child, obviously. The second best thing is that dad jokes are "developmentally appropriate" for me now. 020
Tin Tvrtković @tinche.bsky.social · 26/03/2026github.com/Tinche/quatt... Why did it make me so long to do this? Video games probably 000
Tin Tvrtković @tinche.bsky.social · 22/03/2026Played a little Death Rally (classic) last night. One of my favorite games from ~30 years ago. It holds up, still a fun game. Although the experience is a little different playing it on a 38" widescreen vs a 14" Adi ProVista 😬 000
Tin Tvrtković @tinche.bsky.social · 21/03/2026We live in a modern art installation, at least that part's kinda cool 000
Tin Tvrtković @tinche.bsky.social · 17/03/2026Feeling cute, might publish later: github.com/Tinche/pytes...github.comGitHub - Tinche/pytest-typingContribute to Tinche/pytest-typing development by creating an account on GitHub. 000
Tin Tvrtković @tinche.bsky.social · 17/03/2026You're right in that, theoretically, we can bend the type system any way we want. My argument boils down to "if it's hard to explain, it's a bad idea". 'Here's a function that actually defines a class that's actually half-protocol' falls in that category, to me. 110
Tin Tvrtković @tinche.bsky.social · 15/03/2026Agreed. The proposal prominently mentions structural typing but produces classes (which are nominal types). So typing-wise they'd probably have to behave somewhat like protocols, making them difficult to explain and teach. Right? Whereas typeddicts are already structural, but can't be (yet) frozen. 101
Tin Tvrtković @tinche.bsky.social · 12/03/2026Literate testing is great, yes, but mostly I got bored of writing my typing tests in yaml files The first version will support Mypy and ty ;) 010
Tin Tvrtković @tinche.bsky.social · 12/03/2026@alexwaygood.bsky.social I liked your "typing tests in markdown code blocks" idea so much I stole it into a pytest plugin I'm planning to publish soon. That's ok with you folks right? I mention that it was inspired by you in the README. 110
Tin Tvrtković @tinche.bsky.social · 05/03/2026Reading the latest extended incident report from Honeycomb makes me want to never run Kafka in production. Which is an approach that's served me fine up to this point in my career, why not in the future as well? 🤞 000
Tin Tvrtković @tinche.bsky.social · 26/02/2026Ghostty is written in Zig and it really shows, unfortunately 000
Tin Tvrtković @tinche.bsky.social · 20/02/2026The Steering Council has formally accepted the TypeForm PEP. This is big news for cattrs but I'll hold off on implementing it until Mypy enables support for it without a flag. 001
Tin Tvrtković @tinche.bsky.social · 14/02/2026Apparently on Linux uv defaults to hardlinking files from its cache when installing stuff into a virtualenv. That kind of sucks for people who sometimes edit third-party libraries to stick prints or breakpoints in there, like me. 330
Tin Tvrtković @tinche.bsky.social · 31/01/2026Yes from a practical perspective (sure, it needs to import the code) but also from a logical perspective. If you have pytest unit tests, pytest is a (dev) dependency of your project. If you format your files, Black or ruff is a dependency of your project. Same for Mypy. They should all be listed. 010
Tin Tvrtković @tinche.bsky.social · 28/01/2026It has been [0] days since some monkeypatching has caused me to waste over an hour of debugging. 010
Tin Tvrtković @tinche.bsky.social · 25/01/2026Since upgrading my OnePlus Open to Android 16, my home screen reset itself to blank twice. Super #firstworldproblems, but it feels like someone rearranged the furniture in my house. Trying to reconstruct app position by muscle memory right now (again). 021
Tin Tvrtković @tinche.bsky.social · 24/01/2026They wanted to simplify by not having exceptions and just returning errors from functions but got bored before they added sum types So instead functions return tuples with errors and exceptions still exist but they're called panics 000
Tin Tvrtković @tinche.bsky.social · 22/01/2026Doing chess lessons on Duolingo. "Pin my queen with your bishop" sounds way more fun out of context 010
Tin Tvrtković @tinche.bsky.social · 16/01/2026In your particular case, the type system doesn't model hashability. Lists are mutable and so not hashable. Tuples are immutable, but only hashable if their contents are hashable. So if you try hashing something like `([],)`, you'll again get an error. 010
Tin Tvrtković @tinche.bsky.social · 16/01/2026You don't have to go that far to get an exception to be raised in properly typed code: ```py x = [1] x[2] ``` The point of type checking isn't to ensure no exceptions, but to apply an additional, stricter model of execution to your code. This model sometimes includes exceptions. 110
Tin Tvrtković @tinche.bsky.social · 13/01/2026This might get really thorny, yeah. Let's say Claude knows a ton of Textual (which is true in my experience) having ingested a ton of Textual, is Claude a derived work of Textual? If Claude spits out a tool written in Textual for me, is that tool a derived work of Textual? 🤷🤷🤷 100
Tin Tvrtković @tinche.bsky.social · 13/01/2026You find a project you like, but you can't use it due to the license (maybe it's GPL or AGPL). What's stopping you feeding it to an agent and having it port it to another language, and then potentially back again? Bam, no more copyright. This is what AI companies are doing in the first place, yes? 100
Tin Tvrtković @tinche.bsky.social · 13/01/2026Serious question: what happens to copyright when this is done? I'm guessing you lose any claims to the new code? 200
Reposted by Tin Tvrtkovićthe babahuck @tylerhuckabee.bsky.social · 01/01/2026day one in mamdani’s new york 262210653645
Tin Tvrtković @tinche.bsky.social · 28/12/2025This is no longer the case since AI can do all of this for you, zero effort required. In fact it's much worse since the sycophantism inherent to the process will actually push this further in the wrong direction. 100
Tin Tvrtković @tinche.bsky.social · 28/12/2025Back in the olden days™️ it used to be the case that if a person went to the trouble of publishing an open source project - setting up the repo, tests, CI, documentation) - you could at least assume said person spent a modicum of time validating their idea first, by doing a little research. 100
Tin Tvrtković @tinche.bsky.social · 26/12/2025Turns out J. Michael Straczynski (of Babylon 5 fame) worked on both the original He-man cartoon and the Captain Power and the Soldiers of the Future show. I haven't seen Babylon 5 but this dude had a large influence on my childhood. Maybe I should just watch it 😅 210
Tin Tvrtković @tinche.bsky.social · 23/12/2025Kudos to @hynek.me for writing hynek.me/articles/mac..., which just solved my problem. 001
Tin Tvrtković @tinche.bsky.social · 21/12/2025Why? A more consistent story for positional, kw-only and combined arguments. Type checking. Linting. Auto formatting. Sophisticated argument validation. If I could clone myself, this would be pretty awesome. I'd base it on the Astral stuff (ruff, ty) and Cyclops. 000
Tin Tvrtković @tinche.bsky.social · 21/12/2025I like `just` a lot. I switched all my open source stuff to it (from make) and we're in the process of adopting it as standard at $DAYJOB. Would not go back to make for my needs. But I have this niggling suspicion a task runner based on Python would be better. 200
Tin Tvrtković @tinche.bsky.social · 13/12/2025Hot take: saying we need EU big tech is like saying we need EU asbestos 110
Tin Tvrtković @tinche.bsky.social · 11/12/2025Sick in bed since Monday afternoon Feeling significantly better today, but now the toddler is burning up. 🫠🫠🫠 010
Tin Tvrtković @tinche.bsky.social · 07/12/2025Looks like Wolfgang Lohr replaces Caravan Palace as my artist of the year on Spotify. Katzenjammer in there too. 000
