alkyon

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

Enabling ESNI in Firefox should be a countermeasure (encrypted SNI extension of the TLS so that hostname is no longer sent in plain text)

https://superuser.com/questions/1346634/modern-browser-with-...

According to this site https://bandaancha.eu/articulos/gobierno-tiene-lista-web-ofi..., they use SNI (https://en.wikipedia.org/wiki/Server_Name_Indication)

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)

> 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.

This is really interesting and available here: https://www.youtube.com/watch?v=IbGNZQvobkc

Ant Intelligence will be next big thing in machine learning after this bubble bursts

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.

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.

It would be more like Lem's novel where it completely disappears from the human horizon: https://en.wikipedia.org/wiki/Golem_XIV

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.

About 800ms - 2s startup time for emacs. I run it as as systemd service so it's only started once.

hyperfine 'emacsclient -n -r file' gives me only 15ms on average

SNR aka flag-to-commotion ratio

https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=%22f...

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

Tradional bigos was made with venison. Decent sauerkraut really matters as do dried mushrooms which should include boletus.

Fun fact, it gets gradually better with each reheating

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://www.livescience.com/space/the-sun/space-photo-of-the...

https://en.wikipedia.org/wiki/Solar_prominence

I think I will just cross the river and find a better place somewhere in the Parque del Agua Luis Buñuel or Expo. Should be also packed but a bit less then the bridges

I stopped taking melatonin because I had problems waking up in the morning and was getting nasty headaches even with half a dose (1 mg).

Edit: Maybe I should try reducing the dose even further (to 200 μg) as mentioned in other posts here

At least you learned something new today

"Zaragoza (Spanish: [θaɾaˈɣoθa]), traditionally known in English as Saragossa[7] (/ˌsærəˈɡɒsə/ SARR-ə-GOSS-ə)" according to Wikipedia, originally Caesaraugusta and later Saraqusṭah to be exact

In Spain it's a trio of consecutive eclipses from 2026 to 2028 (the last one annular). To view the second one I don't even need travel anywhere.

Will be in Saragossa on Wednesday and gonna use Canon binos with image stabilization, the partial phase with filter and then some precious seconds without (a scary moment, I'll rely on an alarm to prevent my eyes to get damaged when the totality is over). Some people generally advised to skip any instruments and just enjoy it with your own eyes for the first time, but I'm too curious about corona details to let this opportunity pass.

I'm not so sure it's just perception involved. You're going along a street and can hear a violin playing. A melody develops, you establish a sense of tonality, can predict next sounds maybe. And then you also make out a recorder. Another piece, totally unrelated harmonically. Another stream to process, I would assume a brain can handle it (at least a musical one should).

I agree that language processing is different, but some similarities do exist.

It's incorrect to reduce polyphony to just shifting harmonies. Harmony is of course the constraint but the whole point is about intertwined voices - various melodies that your brain can process simultaneously. Music is not speech, but it's not that far from the language as it seems in terms of processing. When you hear 2 melodic lines at the same time, you're brain needs to encode them separately, in a similar manner to parallel speech streams.

The same is true for music, otherwise canons and polyphony wouldn't work.

Ultimately, AI models will need to ingest the slop ziggurat they created. This means, other things being equal, that it won't be so easy as it is now to achieve incremental gains from the sheer fact of gobbling up more code.

I wonder if it would be possible for Starlink to use less reflective materials for their satellites so that the sky is less polluted for the astronomers.

Yes, I was taught that relativity is a significant part of quantum chemistry equations in gold atoms 25 years ago. The idea is quite old and the title is misleading.

Calling someone "stinky manager" is not ad hominem. It's a way of saying that he's managerial skills are very poor. Does it relate to the argument? Very much so. Changing a bread factory into a slop factory makes Jarred a stinky manager and even a "sloppy" one

I think you meant lossy compression and not lossless. I'm not suggesting this as a method to extract those books from the models, which by their nature are not databases. Just commenting on the somewhat surprising fact that the bigger the model the more likely it is to produce some (short) excerpts of the original training material

Gemini should be trained on those books already, so in theory it could regurgitate some verbatim fragments (as NYT lawsuit against OpenAI showed some time ago).

I wonder what will be the next big thing for Zuck after metaverse failure and now AI coming to nothing? Perpetual motion machines?

Nice quote from Tao Te Ching about complexity and simplicity completing each other.

The rules of go could be explained to a 4 years old. On the other hand, the superficial complexity of so many framworks/systems is just a facade and nothing more.

The same goes for NP-hard problems where complex solutions have trivial verification methods.