Querk

That would be an atypical rocket, but it checks out.

Steamer :)

That's incorrect. Any base system has the same property. For base 12, we would just have two extra digits, and we would be counting powers of 12 instead of powers of 10. Let's say those extra digits are X for ten and Y for 11. We would write numbers like so (starting with zero and incrementing by one): 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, X, Y, 10, 11, 12, ..., 18, 19, 1X, 1Y, 20, 21, ..., 29, 2X, 2Y, 30, ...

For example, in base 10, a number 265 means we have 10² twice and 10¹ six times and 10⁰ five times (100 + 100 + 10 + 10 + 10 + 10 + 10 + 10 + 1 + 1 + 1 + 1 + 1).

Same number in base 12 has 12² once and 12¹ ten times and 12⁰ once (144 + 12 + 12 + 12 + 12 + 12 + 12 + 12 + 12 + 12 + 12 + 1).

A "round" four-digit number in base ten is written as 1000 (written in base twelve as 6Y4). If we subtract one, we get a three-digit string of nines (highest single digit): 1000 - 1 = 999 (written in base twelve as 6Y3).

A "round" four-digit number in base twelve is written as 1000 (written in base ten as 1728). If we subtract one, we get a three-digit string of Ys (highest single digit): 1000 - 1 = YYY (written in base ten as 1727).

I hope this shows you how there's symmetry between the bases and there is nothing special about base 10 other than we're familiar with it. If we were familiar with base 12, the "round" numbers for us would be (writing in base 10 here): 12, 144, 1728, ... which we would be writing as 10, 100, 1000, ...

Big if true

What an appropriate homage - linking to one of markdown's originator's Wikipedia page using markdown.

"In 2002 Aaron Swartz created atx and referred to it as "the true structured text format". Gruber created the Markdown language in 2004, with Swartz acting as beta tester ... Markdown: Swartz was a major contributor to John Gruber's Markdown,[249][250] a lightweight markup language for generating HTML, and author of its html2text translator. The syntax for Markdown was influenced by Swartz's earlier atx language (2002)" from wikipedia

Best 5 seconds of excitement happened at end of Q2 when Max placed 10th and there were still 2 drivers putting their final time in. For a brief moment, I thought Gasly might knock out Max. Good times.

Proof of work "toll" for each request or session seems like a good option.

Buckwheat (must buy eastern european kind) with diced avocado thrown in and a few pinches of salt is the shiznitz.

If I had to choose only one meal to eat for the rest of my life - this would be it.

edit: buckwheat prep: boil for 10-20 mins until most of the water boils away. Add some water if it boils away too soon. Leave some water/moisture to boil away while it's cooling and not to get buckwheat burned and stuck on the pot surface. Throw in some diced avocado chunks. Add salt to bring out the buckwheat flavor. Done.

Gasoline cars produce, on average, about ten times more lifetime pollution compared to manufacturing pollution. So even if electric car manufacturing pollutes a bit more, it more than makes up for it over its lifetime of driving.

Your other claim that batteries can't be recycled is false. And that recycling pollutes more. More than 90% of battery materials by mass can and do get recycled - and the expectation is to reach 98+%. Recycling process is expected to produce less pollution and be cheaper than mining the equivalent amounts of material.

My supply of popcorn is running low. It's a good problem to have :)

Source? :D