for the record I was able to watch without logging in, on Firefox Linux

My Haskell is rusty—what does this line do?

    type Burrito = Meat option * Ingredient list

Does `*` create a tuple type?

Do lowercase `option` and `list` somehow specify `Option` and `List` types?

I think this is F#, not Haskell. '*' creates a product type, pretty sure it's a tuple in this case. "Meat option" is an alternative syntax for "Option<Meat>" and "Ingredient list" is a linked list of Ingredients

Looks more like F# (or something ML-y) than Haskell.

Yep, tuple or "product type."

Yep, in F# type annotations can be either in prefix style `List<T>` or postfix style `T list`.

This seems to be based entirely on 15 days' worth of data from the first month of the war. That seems insufficient to me, for such a confident claim.

This is just a press release, but they link to the actual report, which goes into more detail, such as specifically calling out C and C++

https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-...

Yeah, I think they're trying to say "Stop writing in C and C++, blockheads!" but in a more diplomatic tone. Most of the common languages today are memory-safe. Really, which ones aren't? C and C++ are the big ones. I guess throw Pascal in there if you don't use pointers correctly. Assembly lets you make indirect accesses anywhere in your allocated memory. Perl lets you leak memory if you create circular structures and then lose references to them. But Java, JavaScript, Go, Python, Ruby, etc. don't let you trample all over memory the way C and C++ let you. You can corrupt memory if you really want to, e.g. in Python by using ctypes to cast integers to pointers, but it takes a lot of effort.

Mind elaborating on this? I've always used Raspbian and am interested in hearing about the downsides.

I was referring to other boards, not the Raspberries which have a well supported OS, apologies for not being clear about that. Other board manufacturers often publish distros which have been cobbled together with old kernels and proprietary blobs, then they abandon them when the board is declared obsolete. This is not the case of the Raspberry Pi of course, but for other boards I would check first the above mentioned distros before installing anything by the vendors.

Ahhh, I understand what you mean and believe you to be 100% correct in this case!

Not to mention that if you really want to tinker you can use pi-gen to customise builds from a desktop without all that much difficulty:

https://github.com/RPi-Distro/pi-gen

Worth a play.

My favorite periodic table is the subtly fake one from the BBC science parody Look Around You

https://www.bbc.co.uk/comedy/lookaroundyou/series1/periodic....

Just use the spacebar, or really any key other than arrows.

Yup if you scroll to the bottom of the Computed tab, it shows the "Rendered Fonts".

I like the phrase "in a civilized fashion", I wonder what he means by that—no chatbots?

I think it means human-friendly: not 50pages of arcane symbols; referring to welle known theorems instead of inclining the proofs.

In case anyone else was wondering, the "MWh/acre" stats near the beginning are per year. Here they are converted to units that I find more meaningful:

"...a nuclear power plant can generate over 6,507 kW/acre compared to solar at 23 kW/acre, or a natural gas plant at 114 kW/acre."

What an absolutely meaningless metric for power generation in one of the largest countries on earth by land area.

Indeed: agrivoltaics is under active R&D. Initial results seem to indicate that in dry areas PV can actually increase crop yields while reducing irrigation demand.

So in effect it has a negative land requirement in those places.

It's the one stat which makes nuclear look good, so of course it's mentioned as if it has any relevance whatsoever.