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?
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 the six fingers.
My buddy who was a 2300-ish player suggested the book “Chess The Easy Way” by Reuben Fine and I read it. It was written around the 1940s and is still a great book. “A Primer of Chess” by Capablanca is also great. And for total beginners, “Bobby Fischer Teaches Chess” is surprisingly helpful (it’s almost entirely about back-rank checkmates).
Other than that, play a lot of slow OTB games. Don’t play speed chess. Check every move carefully to make sure it’s not a blunder. To do that, you have to spend time thinking at each move. That’s not compatible with speed chess. Ancient advice is to literally sit on your hands while deciding a move. That is to slow down the impulse to move before you have completely thought it out.
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.
If your phone is confiscated, you can’t count on getting it back. Upload the video to a server or another nearby machine (maybe another phone) as you shoot it. There are apps for that purpose of course.
I generally get stuff from porkbun.com since I’ve been there for a while, prices are decent and they have some convenient features. But, I should try namecrane.com since they are run by online buddies of mine. They are sort of a spin-off of the original buyvm.net.
Price comparator: https://tld-list.com/
Yes they separate out renewal prices so make sure to take that into consideration. The high renewal prices are a marketing trick of the TLD holders. The resellers can’t really do anything about them.
I used to watch one with Adam West and Burt Ward playing the vigilantes, but the grit and realism of that show got to me after a while.
Web search finds some Facebook resources:
https://duckduckgo.com/?q=report+threat+on+facebook
If you have to do crap like keep a bat next to your bed, you’ve somewhat already lost.
You know the person’s Facebook name? That might help.
Maybe this? https://www.ic3.gov/
One thing that can help (more for libraries than large applications) is “dependency cooldowns”. Basically don’t use the latest version of anything until a few weeks after its release. The hope is that most malicious changes or blatant bugs will be caught fairly early.
https://blog.yossarian.net/2025/11/21/We-should-all-be-using-dependency-cooldowns
generally, use “netstat -lpn | grep 8080” (or whatever port number) to find out what process is already listening on that port. This kind of thing happens all the time.
I’d DIY it (maybe with FreeNAS, about which I know nothing) instead of buying a proprietary NAS in a box. What’s the point of self-hosting if you’re going to be at the mercy of someone else’s software anyway? If you’re DIY’ing, there are 3.5" drive enclosures with soundproofing stuff in them that should keep the drive pretty quiet. Or if you can afford enough SSD’s for your storage requirements, then use those.
By coherent I assume you mean consistent. Yes an inconsistent theory isn’t considered useful in mathematics. In philosophical logic there’s an idea of “paraconsistency” that means something like “inconsistent but only slightly” but I think it’s not used much in math.
Russell’s fix to Frege’s inconsistent system was quite complicated, much more than just adding an axiom disallowing certain types of sets. ZFC handles it differently too, by saying you can only create new sets by following certain rules designed to keep things consistent. Frege’s system let you do whatever you wanted and it went sideways quickly, as Russel found.