efavdb

Super cool. Curious how / why ultrasound gets morphed into audible frequency range in air though.

My family uses Airbnb for every single holiday, has done for more than a decade, and have had a wonderful experience. Thank you airbnb!

For images, latent diffusion only works when using a special decoder that can produce realistic images given relevant samples from the latent space. This is trained like a GAN and doesn’t focus on pixel level error but higher level image features extracted via another network etc. expect that building a decoder like that for their problem may have solved their issues.

I see this author has a published book as well "Guide to Competitive Programming" - curious if it's the same text?

Strange. I thought a pale person would reflect more light so they’d burn less (obviously contrary to what we see). But apparently the resolution is that the uv is absorbed safely not reflected

The two-adjacent signals causing extra traffic is something I encounter daily in Berkeley -- Ashby / Claremont & Ashby / Domingo. I probably blow an average of 5 minutes a day cause of that double intersection.

To highlight one other point from the video: You want a light to be able to clear the line built up each time. If not, flux in > flux out and that's a recipe for a growing line, which causes a traffic jam.

I think they'll end up more like scientists. Landau famously advised his students to be proficient in math so that when they're working on a problem it's the scientific understanding that's the rate limiting step, not the math. Now mathematicians will be freed of some of the burden of proving things and their challenge will instead be to find interesting new things worth proving.

Do you not like AI?

That’s the smart car

Apparently Tristan was working on this problem for years, with AI providing help. Vs OpenAI spending a week with their new model, potentially having access to Tristan’s work.

I am curious who if anyone will get a reward for this. It would seem unreasonable to give it to the worker who asked the robot to solve it.

>> Keep in mind: natural science is different. It's not always a matter of computation.

Math is like this too. The big problems they've been solving have been identified as interesting only through lots of prior effort.

At a minimum posting to arxiv gives others a standard way to cite the work.

Seems like only yesterday that gpt 5 was supposed to mark our downfall

I agree the tradeoffs are real but consider it obvious that reading and writing were in net a boon and I also expect the same for AI / programming. Of course having some understanding is still required in both cases to make good use of the tools.

look to past examples. when the greeks developed writing, people complained that the youth were losing the ability to memorize much content. and that is true, but with writing they were able to do better still and that old skill -- though useful -- was lost.