Ciro Santilli @cirosantilli 40

Sometimes it just feels like Ubuntu devs don't actually use Ubuntu as a desktop.

Some extremely annoying problems are introduced and just never get fixed, even though they feel so obvious!

Would never happen on Mac...

And when it can't, attempt to classify which subset of the integers can be reached. E.g. Legendre's three-square theorem.

Ben Goertzel's fog computing project to try and help achieve AGI.

Subsidiary of Carl Zeiss AG and also part owned by ASML, sole optics vendor of ASML as of 2020.

math.stackexchange.com/questions/700235/is-there-an-easy-proof-for-the-classification-of-6-transitive-finite-groups says there aren't any non-boring ones.

bbchallenge.org/story#what-is-known-about-bb lists some (all?) cool examples,

wiki.bbchallenge.org/wiki/Cryptids contains a larger list. In June 2024 it was discovered that BB(6) is hard.