In another variant of https://danluu.com/learn-what/, I caught up with a former colleague who worked on automated theorem proving. It turns out he's had an interesting career doing all sorts of interesting stuff using the skills he developed by spending a decade writing/using theorem provers. At one point, he said, "if you use X like a theorem prover, it works really well", which surprised me to hear, but of course this is a highly generalizable skill just like compilers or benchmarking/evals.
Today is a very historical moment for AI video generation You can now generate AI video faster than you can watch it Before it'd take let's say 2-5 minutes to generate 15 seconds of video @fal made a post-trained Minimax H3 variant called Max which is 50x faster than the original but still maintains quality It generates 15 seconds of video in 9 seconds!
At the same time, at work, if you come to me and you you tell me this feature idea, I'm going to get mad at you. Like, it's so easy that you just discuss the feature idea with an agent, you build it, you make screenshots, you let me play with it.
So my role and arguably that of like other mathematicians might actually just shift subtly into that curation direction of what ideas are are worth displaying.
and you may now use the actual Inquisition record of you having gone through censorship as the document to prove that you and only you have the right to print the book and therefore you can sue people for plagiarizing it or printing an unauthorized edition. And so, the very first version of copyright is the Inquisition.
So I I don't do one-on- ones. My friend Bing told me that Jeff Bezos wouldn't ever do one-on ones because it created politics and it was a huge waste of his time. I was like, I love that. No one ones.
. Understanding how we grow and develop will help you become a better leader and a more empathetic colleague. More accessible than his academic work, this book also provides a framework for understanding underlying beliefs and motivations that might be holding you back.
Fantastic Four. It was ok? Aside from a few things, I’m having trouble getting excited about post-Infinity Saga Marvel. There was just a special alchemy about that whole arc that is proving impossible to reproduce. (B)
And I think what's also kind of interesting is that just human nature is that if you have a question that you feel like, you know, you might be a bit embarrassed to ask or you don't want to bother someone, you just don't ask the question, right? And so by the nature of having these tools, you get actually a pretty large explosion of questions being asked.
You can shortcut like hard feelings because now you can just watch TikTok instead of actually dealing with the very difficult emotion or tension that you had with a colleague or with your partner or with your children.
I'm much more comfortable with the fox paradigm. Yeah. So yeah, I like looking for analogies, narratives. I spend a lot of time… If there's a result, I see it in one field, and I like the result, it's a cool result, but I don't like the proof, it uses types of mathematics that I'm not super familiar with, I often try to re-prove it myself using the tools that I favor.
Unfortunately, making those simple changes is infuriatingly difficult. Global meat consumption keeps rising every year. The world still wastes at least one fourth of its food.
Gillian Tett, Anthro-Vision – my colleague Gillian Tett makes the case for thinking like an anthropologist in business and in life. The description of how KitKats took Japan by storm is a particular delight.
A korrent is a belief a person has stated in their own words: one
sentence stating the claim, backed by a quote and a source, kept at
korrents.com.
Under a name here, the quoted block is what they actually said.
The korrent beneath it is the claim those words support, in
korrents' wording — tap it to see the record, its source, and who
else holds it.
Nobody here wrote their own korrents. They are compiled from public
statements, and a person can change their mind, which is recorded too.
About the English under a post
Some people here publish in a language other than English. Where they
do, this site shows a machine translation beneath the post, in
this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the
serif above is exactly what the person published, and it is what to
quote them on. A translation can be wrong in ways that matter,
especially about tone.
Only the post's own words are translated. A quoted post, a linked
article and a belief on korrents.com
are left in their original language.