Ciro Santilli @cirosantilli 40

When Ciro Santilli says set theory, he basically means. Zermelo-Fraenkel set theory.

A Turing machine that simulates another Turing machine/input pair that has been encoded as a string.

In other words: an emulator!

The concept is fundamental to state several key results in computer science, notably the halting problem.

www.youtube.com/watch?v=WB8r7CU7clk&list=PLUl4u3cNGP60TvpbO5toEWC8y8w51dtvm by Iain Stewart. Basically starts by explaining how quantum field theory is so generic that it is hard to get any numerical results out of it :-)

But in particular, we want to describe those subtheories in a way that we can reach arbitrary precision of the full theory if desired.

Company co-founded by Scott Hassan, early Google programmer at Stanford University, and Carl Victor Page, Jr., Larry Page's older brother.

They were an email list management website, and became Yahoo! Groups after the acquisition.

The company was sold to Yahoo! in August 2000 for $432m and became Yahoo! Groups. They managed to miraculously dodge the Dot-com bubble, which mostly poppet in 2021. After the acquisition, Yahoo started to redirect them to: groups.yahoo.com as can be seen on the Wayback Machine: web.archive.org/web/20000401000000*/egroups.com The first archive of groups.yahoo.com is from February 2001: web.archive.org/web/20010202055100/http://groups.yahoo.com/ and it unsurprisingly looks basically exactly like eGroups.

WellSync, if you are gonna useSync this wonky language thing inSync one place, you might as well useSync it everywhereSync and make it more decent. See also: how to convert async to sync in JavaScript.

Their CLI debugger is a bit crap compared to GDB, basic functionality is either lacking or too verbose:Documentation at: nodejs.org/dist/latest-v16.x/docs/api/debugger.html

Bought: November 2023.

March 2026: charger cords is not fixing in very well. I can get it with with a bit of force, but it comes out very easily. I can't see anything blocking the charger port, maybe the pin it got pushed in somehow? Happens on all USB-C cords, though it is slightly better on some than others. What a pain. Later I cleaned it with my Swiss knife's wooden pick and it worked wonderfully, there was actually some pocket lint stuck in there somehow and got it back to normal: www.youtube.com/watch?v=MtQGhSNBsnU Awesome? While taking of the cover however for cleaning I noticed there's a crack behind the phone under the camera. Funny how the screen is bulletproof, even stronger than the body.

A brain orgasm.