Just because it's written in Rust it doesnt mean it's fast. I was working on a project where Pydantic was the bottleneck - there were multiple levels of nested Pydantic objects, and creating the instances was very slow due to the validation which is performed on input values. Even after disablign the validation, dataclasses were twice as fast, compiling the dataclasses with mypyc improved the performance ten times.
Pydantic docs do clearly state that multple levels of nesting of Pydantic objects can make it much slower, so it isn't particularly surprising that such models were slow.
I'll bite - if you dont use Firefox because of "questionable ethics", then I am quite surprised you decided to use Brave, considering their controversies. Also Brave is still based on Chrome's engine, and I dont think they'll be able to maintain their fork long-term, so if the reason to switch was to break the Chrome monopoly, then I'm not sure this switch really counts.
Recently I have discovered Tametsi ( https://store.steampowered.com/app/709920 ), which is something like Minesweeper on steroids and some advanced levels can't be solved without advanced reasoning. If Minesweeper feels too easy/boring, this might be the right challenge for you.
Python type system is less expressive than TS, so defining types in Python and then generate (rather than write them manually) the equivalents in TS feels like the better way. There are tools to generate Typescript types/structures from OpenAPI definition for doing that.
If you write it out in base 12, it looks like 10 * 10 * 10 * 10 = 10,000. I can't tell you what number that is in English without working it out of course.
If you add extra numerals for eleven and twelve (lets say A and B) then 12 (base ten) is written 10 (base twelve) and multiplying in base twelve becomes just as easy as multiplying in base ten usually is.
That's not a formatting error. For c000 to make any sense, the base must be at least 13. In none of the bases where c000 is a valid number, the base 12 representation is 10000.
In base twelve would the symbols being in base not help you, like & is 12, &0 is 144, &00 is 1728 or something? And if the symbols made that natural would we not start finding it intuitive just because 144 would have an in base name like twun or something so you could easily say twelve, twun, twund, twend, or whatever and just add digits like with base 10? (Just making up short syllables that start with "tw".) I think I'm slightly off with my two second example because I'm not sure what && means without thinking more, but main point is just that wouldn't we have a means of making it easy to do quickly in base if that were the common base?
Edit: yeah, wanting to add a symbol for twelve instead of two more symbols before 10 in base twelve is my hasty mistake.
I suppose you’d get used to it eventually. But the first line of this post is silly. Another reason the author doesn’t like metric is base ten.
Do you know how many feet are in a mile? The answer is: Who cares.
The fact that you could pick a better base is irrelevant. They had their chance and came up with some silly numbers to scale from an inch to feet to yards to miles.
Metric: Just remember the base unit. Want a new unit? You change the prefix and move the dot appropriately. You can now scale down to atoms or up to galaxies with a single base unit.
Maybe my favorite thing is that auction prices were set in guineas (21 shillings), and the payment was made to the person who auctioned the item in pounds (20 shillings), fixing auction house fees at 4¾% which is basically where they've orbited to this day.
Seems bugged now. Reopening the website still shows the solution from yesterday and there's no way how to clean it other than clearing Local Storage. Also any new attempt is prefilled with the previous word instead of being empty.
Interesting, I have never had any problem with Source-based games.
The worst offender for me was Talos Principle and Far Cry 4 due to the headbob effect which couldnt be turned off (why?!).