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.

No mention of Thunderbird yet??

I never know how to answer this. I grew up till middle school in Canada and the rest of my school in India. I rarely get dentist with many Indian traditions, but I also didn’t spend enough time in Canada to be a “real” Canadian.

I just flip a coin in my head and answer each time. And then get the follow-up asking where my parents are from. Just ask my race, you coward.

I like Aptos more than Calibri, but I wish they also had a better Serif typeface than Cambria.

CMU Serif is always a good choice imo.

Times, which I think NeurIPS uses, is pretty solid.

Latin Modern Roman is another good one, used by TMLR.

IBM Plex just looks so nice too.

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

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

It do be the holiday season.

It’s more about getting the portafilter hot too.

As for the on button, I use a SwitchBot Bot.

I have a Roomba j7+ and I love it. I also have a Braava Jet M6, so mopping is taken care of too. The mopping is slow, but it’s quiet and it’s not like I have to wait for it.

Can you recommend a good VPS service? I’ve been meaning to get a Synology, but it’s out of my budget for now.

Computer Science! My work is on applied machine learning for software analytics.

I’ll be getting my PhD in the Spring! Hopefully I’ll have a job lined up before graduating.

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

Yeah, quite frankly I watch so much that it’s just worth it. I don’t use other streaming services, so it’s fine for me.