in education there's a concept that I think is really poison and why we have trouble innovating in education which is there's a view that you must serve everybody all at once for free like just anything you do in education no matter who it's for they're like I'm going to come up with a counter example where it doesn't work for everybody all at once for free and that's not how products are developed
With thousands of developed in a mono repo, it just does happen that one directory is missing one of the two files and this means that a subset of devs work with lobotomy. We fix this with automation but it’s a stupid complexity tax that shouldn’t have to be paid.
we see that the across the board the single PIO like pre-trained PIO7 model matches or outperforms the fine-tuned specialists that were developed with reinforcement learning post-training for those downstream tasks.
the best AI products haven't even been developed yet. You know, that if you look at the AI ecosystem and everything that's happened, like every wave is 10 times bigger than the past wave.
The speed at which a product is developed doesn't inherently make the product better or worse. The number of commits doesn't make the product better or worse. The number of people or agents working on it doesn't make it better or worse.
Then you had code review which gave you another level of feedback. You could roll out internally more frequently. And everybody was using Facebook for all kinds of stuff, personal and internal business stuff. So whatever feature you developed, people would start using it immediately. So you get another round of feedback. Then we had this phased roll out process where you'd start rolling your stuff out. If there was a problem, the blast radius would be limited to a a few million people.
I think that, you know, the model that we've put together collectively about the relationships between archaic and modern humans is sort of accreted over time. There was this, you know, idea that modern humans are distinct and that Neanderthals and Denisovans are like sisters of each other. And then over time we developed and detected additional mixture events like this modern human into Neanderthal and then this other ones I didn't even talk about like super divergent lineage going into Denisovans and like all this other stuff.
In other words, I still use exactly the same recipe that I developed for the Pulsar when I brew with the mini, I just brew with a dose smaller by a factor 0.6 (e.g., 15 grams instead of 25).
I think especially if you have a product that has daily frequency like that's actually the retention that matters the most is that like of your existing user base that has developed a habitual pattern how sticky is your product and it's that retention rate that really compounds and build that builds that daily habit.
I’ve grown to like Space Bar - it provides desktop workspaces akin to those in Sway/Hyprland which enabled me to use the muscle memory I’d developed over years.
For me personally, I kept introducing bugs, and I couldn't figure out why. And what I realized is that I developed... I wasn't copiloting well, I was autopiloting much better.
This book gave me both insight and a deeper curiosity about the subject. This book introduces the SPIN model checker and exposes the reader to the nuances of verifying programs using SPIN. A nice feature of the book is how it explains concepts using thoughtfully developed, freely available tools (such as jSpin) that the author created for pedagogical purposes. It's a demanding book, but the content was interesting. The book presents details about concurrency, temporal logic, non-determinism, advanced SPIN topics, and even case studies. I've already written a few blog posts about the topics I explored while reading this book, and I plan to write more. Overall, it's a good book. I'm sure I'll revisit the latter half again.
The internet is a micro medium. It is the best medium ever developed to reach specific people, but it is terrible at reaching everyone. There is no homepage. It is impossible to reach a hundred million people in one day on the internet, which is something TV used to do every night.
I had read Johnson-Laird's original work, Mental Models, last year. It was nice to see an in-depth follow-up on how the theory has developed in the subsequent two decades.
It is striking that Mill, although writing many decades before Hayek and Friedman, fleshed out a deeper and more enduring defense of liberty than they did.
Chris Miller tells us the history of how microchips were developed, emphasizing the critical role of the government, and especially defense procurement.
Compassionate Inquiry is an in depth teaching and distillation of the approach I have developed to working with human beings beset by personal issues, health problems that need gently guided exploration, mental health challenges, addictions, relationship difficulties and, above all, an unhealthy relationship to their own selves.
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.