Check out my blog at https://www.teachmaths.org/
It would have to be Gödel’s Incompleteness Theorem. Such a beautiful proof that shakes mathematics to its core.
The science communicator Veritasium made a nice video about it: https://youtu.be/HeQX2HjkcNo
I first learned about it in Douglas Hofstaedter’s masterpiece Gödel Escher Bach: An Eternal Golden Braid
Ah, the nouveau “landed gentry” has arrived… :-)
When I compiled that program, the executable was around 10MB. I wrote the same program in C, and the executable was 15kB. That’s about 3 orders of magnitude difference. Is Rust really 1000 times better than C? :-)
Well, corporations don’t care about your data, they only care about protecting your own :-D Having a separate phone for work stuff is just generally good practice anyway.
InTune is mobile device management that allows a company to enforce policies on your phone such as pin code length/screen locking policies, and ability to remotely wipe your phone. Since these privacy ROMs are about giving control back to the user, I suspect that there will be problems with MDM enforcement software like InTune. I no longer work for a company that uses that software though, so no chance to test it out.
I have had some issues with Robert Oster inks and hard starts. In particular, they don’t work well in my Lamy 2000 fine nib and Pilot Prera medium nib pens, whereas a Pilot Iroshizuku ink I bought recently seems to flow a lot better. It’s a shame, because I do like the colours; I might try them in my Kaweco sport pen (which has a wetter medium nib) and see if they flow better.