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