We know from Gödel’s incompleteness theorem that if ZFC is consistent, then it is incomplete. We don’t consider incompleteness to be a problem any more, so no biggie there. We generally assume and believe that ZFC is consistent and therefore incomplete, a perfectly fine way for it to be. But we can’t prove its consistency, so there are understandably some lingering doubts.
There are definitely IDE to USB adapters. Not sure about IDE to SATA.
As a result, will be able to offer drives beyond 140 TB in the 2030s.
Um thanks but tell us about 2026?
What info do you want to collect and what do you want to keep private? If it’s an in-person event, how do you expect it to stay private once people show up? Why do you need sign up? What if you just announce the event and tell people to come?
https://en.wikipedia.org/wiki/Vasily_Blokhin
Blokhin was selected for the position by Joseph Stalin in 1926 and led a company of executioners that performed and supervised numerous mass killings in the Soviet Union during Stalin’s reign, mostly during the Great Purge and Eastern Front of World War II.[1] Blokhin is recorded as having executed tens of thousands of prisoners by his own hand, including his killing of about 7,000 Polish prisoners of war during the Katyn massacre in spring 1940, making him the most prolific official executioner in recorded world history.[1][2][3] Blokhin was forced into retirement in 1953 after the death of Stalin and condemned during de-Stalinization shortly before his death in 1955.
For simple cutting I just use ffmpeg. It can do a few other effects too.
Yes, that’s Frege’s system mentioned in Henry Cohn’s post. But that happened in a very naive time compared with today. So it would be more of a surprise if something like that happened again.
There is an MO thread about this:
Basically “our mathematical system” for mathematicians usually (though not always) refers to so-called ZFC set theory. This is an extremely powerful theory that goes far beyond what is needed for everyday mathematics, but it straightforwardly encodes most ordinary mathematical theorems and proofs. Some people do have doubts about its consistency. Maybe some inconsistency in fact could turn up, likely in the far-out technical fringes of the theory. If that invalidates some niche areas of set theory but doesn’t affect the more conventional parts of math, then presumably the problem would get fixed up and things would keep going about like before. On the other hand, if the inconsistency went deeper and was harder to escape from, there would be considerable disruption in math.
See Henry Cohn’s answer in the MO thread for the longer take that the above paragraph is cribbed from.
I’d raise my hand to the person, showing its six fingers.
Look at his blog on stallman.org. It comes up all the time there.
He consistently describes LLMs as “bullshit generators” so the LLM being local doesn’t help that much. It’s better for privacy but that’s a separate matter.
LLMs
OMG. I’m shocked RMS let THAT happen.
We have Ask Lenny. Do you really want a bigger version?
Lookup “splog”.
Dunno what happened with your subculture but there is a recurring path that isn’t pretty:
Hardware incompatibility between phones. The PC world is much better standardized.
As a few people have said, using mobile data to sync to a remote server is susceptible to local jamming of your mobile signal. So you might want to sync by wifi to some nearby device(s) instead. I guess it depends on the location, whether you can have a car parked nearby, etc. Or if it’s near your home or office, maybe you can have a fixed camera watching the scene.
Oh that’s interesting. Can you reach your iCloud stuff from a remote computer? Just have something on the remote machine auto-uoload the video from iCloud to some storage outside the US.
Buy a new hard drive/SSD for your Linux installation. Put your Windows drive away in a drawer so all of its contents are saved, and you can swap it back in if you have to. A USB adapter can be helpful for retrieving files.