I liked the book, it uses an interesting storytelling mechanism of telling each chapter through the lens of a different historical character (his mom, his wife, friends, etc). But I think Labatut sacrificed voice and tone a little bit (there weren’t too many elements to differentiate between each narrator).
I haven't read MANIAC (yet) but a few years back I was trying to find a good biography of Von Neumann and there are not many; the problem is that he's really difficult to cover comprehensively, even for science historians, because he impacted so many areas of science that you'd practically have to be a von Neumann to create a biography of von Neumann. One could probably get a rough idea of his intelligence by how many science historians it would take to create a comprehensive biography which explains his life and work to a reasonably intelligent layman.
It's less of a strict biography and more of a fictionalized story involving Von Neumann and his wife. As far as I can recall from my reading it was pretty historically accurate though.
there are so many extraordinary things about von Neumann that there seems little need to write a fictionalized account of his life. How is the reader to know what is real and what is fiction?
Fefferman was right to include option C as someone could have come up with less contrived counterexample accompanied by some interesting theorems that actually shed light on the general case
Doesn't the way OAI's proof is formulated essentially rule that out, in that as long as an alternative solution concerns option C, it'd have to live in this same solution space they carved out?
I live in Spain and can still enjoy access to this site. This is enforced by major ISPs (Vodafone among others), so anyone sane just opts for a local ISP (if they have a choice)
I have a major ISP and cannot access directly, but in the last few years an VPN has become part of my routine (otherwise I wouldn't even be able to work normally during football matches) so I just click some random country and it's fixed.
Differs by the ISP you have, I've seen DNS manipulation, IP filtering, hostname filtering, and HTTPS interception so far. Obviously most websites use TLS today so it mostly "fails" so people see certificate errors rather than their scary "You're contributing to breaking the law blah blah blah". Sometimes just straight up timeouts, resets, or generic connection failures.
Browsers should change that page to say "someone is hacking your internet" with red background and giant warning sign, when certain certificates are received.
That superuser thread from 2018 (it's ECH now not ESNI) isn't much help
Although I do like the comment at the bottom that states the problem as disabling SNI not encrypting it. Encrypting SNI/ClientHello is over complicated, which is why ESNI was flawed and (allegedly) why Cloudflare disabled it. The solution to the plaintext SNI problem is to not send SNI (I don't send it unless necessary)
There is an alternative non-TLS method of encrypting traffic, per packet, that allows hosting multiple websites on the same IP. I use it in the homelab. It proves that TLS and SNI is not the only way
There's also a popular archive of www content that does not require SNI. It's older and larger than Cloudflare
The problem with software like Firefox is that it automatically sends SNI to every website no matter if SNI is required or not. The superuser thread mentions a Firefox add-on that no longer works. If Firefox is open source then why not just edit the code and recompile
Clearly, Mozilla is not going to provide a solution. It would rather add support for ESNI and then ECH as opposed to giving users an option to diable sending SNI
Mozilla is pro-surveillance advertising, Cloudflare is pro-surveillance advertising
Fortunately, not every HTTPS website is hosted on a shared IP, not every HTTPS website requires SNI. And popular web browsers derived from Mozilla and Google are not the only user agents
A couple of ways to not send SNI
1. Use an SSL client, e.g., openssl s_client, bssl client, etc.
2. Use a local forward proxy, e.g., stunnel, haproxy, etc.
Even if Cloudflare enables ECH across all the websites it controls, and we have been waiting for years, there is still the issue of SSL termination by Cloudflare. For many of those sites, all the TLS traffic, not just the SNI, is available as plaintext to Cloudflare and to whomever Cloudflare, a US corporation, may or must share it with
Nor on Vodafone for me, 3rd biggest ISP in the country. Guess that leaves us with Orange or possibly Digi as the second one that maybe actually has implemented the block?
Digi is not blocking archive.today on fiber or mobile, I just tried it (Sept 21 ~11AM). However they do block a bunch of the libgen URLs, so I assume they'll eventually block this too, it's just a matter of time.
Orange is not blocking it on my fiber yet but it is on my mobile connection.
The strange thing is I use the same DNS on both (which exits on my fiber connection, even when I'm on mobile), so they must be blocking it another way.
> It was a short film called Outside In, perhaps the earliest example of a viral video about substantive math, visualizing the key idea of Thurston’s own construction for sphere eversion.
It's still an optimistic scenario. Artificial superintelligence may develop hypermathematics of a kind that never will be accesible to human mind, enhanced or not. One can't teach geometry to ants even if you put them on a Moebius strip.
What’s optimistic or non-optimistic specifically about the machine having a system of mathematics beyond our comprehension within it? Why should we care about that in itself?
In the first case, we'd still have a chance to take a glance at the frontier of discovery (even if ordinary human mathematicians had to spent years translating what metahumans achieved).
In the second case all human-level maths would be solved and what lies beyond would be always out of our scope.
optimistic in comparison to the alternative, where humans can't understand anything anymore.
if a particularly intelligent sixth grader was highly motivated to understand chromatic homotopy and had a highly capable private teacher available to her 24/7, she might within a year get to the point where she could apply it by herself to figure out some simple but nontrivial topological properties. (nobody has tested this. maybe it would require at least three years instead of one.)
if a particularly intelligent chimpanzee was for some reason highly motivated to understand chromatic homotopy, no matter how many years the most incredible teachers spent explaining it to her, she would never comprehend anything about it.
that's the pessimistic scenario: humans will be to future AI like our closest evolutionary relatives are to us. or even more pessimistic: we will be to future AI like insects are to us.
Only two stone handicap against the machine with much deeper tree searching capabilities. This means that KataGo is lacking in strategy compared to Shin and he could leverage this to achieve this significant win.
A few of my favorites are "counterfeit consciousness" (artificial intelligence), "discourse acknowledgement" (voice recognition), and "arbitrary get right of passage to memory" (random access memory).
Home made sauerkraut maybe. In Spain it's impossible to buy anything decent either.
Edit: Low quality may be the result of adding vinegar instead of relying on natural fermentation. Also cabagge should be cut really fine, otherwise the copious amount of juice is not really there to keep it going
If you find some make sure its fermented and contains only cabbage, salt and optionally carrot. No vinegar, no citric acid, no preservatives or anything weird like that.
Traditional bigos was made with lemons, not sauerkraut. Lemons, meat and a lot of oriental spices to cover the scent of rancid meat (there were no refrigerators at the time) and show off the prestige of szlachta. Then peasants copied the meal using whatever was available to mimick the taste, and that's how we have bigos in modern/contemporary cuisine.
Saw it today in Zaragoza. Corona was amazing but what took my breath away when I looked through my binoculars were pink (fuchsia?) prominences close to the solar disk. As describes here they are in fact plasma structures:
https://en.wikipedia.org/wiki/The_MANIAC
reply