If you’re going to post a code example, at least check that it works. Here’s your example, with no type hints, giving me errors both from the LSP, and when trying to run via mypy: https://imgur.com/a/Hq5Y5Gt.

You can use mypy and/or Pydantic.

Ugh I can’t find the xkcd about this where the guy goes, “you know what we call precisely written requirements? Code” or something like that

You mean omega, not theta

Surely you could implement this via a sorting algorithm? If you can prove the distance function is a metric and both lists contains elements from the same space under that metric, isn’t the answer to sort both?

I remember a guy who tied his baby’s rocker to the drive and wrote code to open and close the CD drive repeatedly lol. Fun times.

It’s likely transpiring and not compiling, so it’s a lot easier than it seems. Source: made a language that adds features to Python and transpiles to valid Python.

Yeah I worked at a place like that, but it made sense because we were also expected to keep PRs small, so a good commit message for several squashed ones was perfectly fine.

James did a great video covering this article. TLDR is that the article endorses RDT, but with about 4 spritzes of water instead of the normal 1. Moreover, it points out that this can lead to increased extraction in espresso brewing.

Huh, that’s neat. From their docs it does seem like aside from some scaffolding, I shouldn’t need to write much Rust.

Oh god I feel so called out. I wish I paid more attention to my commit messages but I’m usually too busy fixing the directory structure and refactoring. Sigh.

How much Rust do I need to know to use Tauri?

It do be the holiday season.

Yeah, on its own this is a good feature and I don’t have to write my own version based on the GDPR data request.

I’ve found it’s a bit overrated honestly. Usually, I also need the commands before and after something, so I use history | grep -B N cmd instead

What do you like about fish? Have you tried zsh? I’m in the market for a new shell too.

I think you’d like the alternatives that mix languages with Shell. See Google’s zx or (shameless plug) my pysh for instance.

zx looks super interesting! I’m building something very similar, except using Python as the language instead of JS: https://github.com/yrahul3910/pysh

I’ll try out zx though, it looks cool, although I’d be worried about Google ditching it in the future.

I’m writing my own: https://github.com/yrahul3910/pysh

Yeah I agree I don’t find alignment very useful. It’s more work for dubious benefit, and god forbid you change one of the lines.