Social media put our entire discourse in the hands of our society's biggest assholes and idiots, just in time for the arrival of an alien superintelligence
So, in general, I think it's not good in icons to show pictures of a particular product design because like the 3 and 1/2 in floppy for save. Um even though some there's still a few of those kicking around, but obviously it it didn't age well. Better to use a metaphor.
I think the case of TLA+ and most, not all, but most formal methods, they shine the most in highly computational domains, where most of the problems are highly technical and not like business embedded.
so much of that debate is like I think um in some ways uh a little bit of a waste of time because, you know, I think it's inevitable that we're going to have very powerful models
the problem with training models on maintainability is like the cost function of bad architecture and bad program design can't be evaluated by running the unit test because it hits you 3 to 6 months later
In the face of weakened renewable roll-out in Australia, the most likely outcome is simply that coal and gas just generate more, and for many more years past their shut down date.
But right now like there's no way to press pause on their biological time. So like what if you had an ambulance of the future, right? Like what if you could take someone who is on their deathbed and um you know find some way to you know just sort of hibernate them basically until um the sort of critical cure for their disease comes online.
I think that managing change, it's always been manager's job to manage change and there's always the chaos of what's going on. I just think the rate of change is accelerating and we've seen that over the last couple of decades.
Whereas with text, it's already sort of been abstract into those bits that we as humans care about. So the representations are already there and they're not just good representations. They actually like focus in on what really matters.
When new technologies come out, this pendulum swings from best of platform towards best of breed. And the reason for that is incumbents typically aren't that great at these new technologies.
In fact, there’s a handful of dates that tell us that the fourth creation does continue farther on, that that baktun place should have 20 baktuns in it, like their counting system would dictate, not 13.
What you create doesn’t have to be utterly unlike every prior piece of art in human history to be valuable; the fact that you’re the one who is saying it, the fact that it derives from your unique life experience and arrives at a particular moment in the life of whoever is seeing your work, is what makes it new.
But many of these gains have already been achieved: the best data centers already use just 10% of their electricity for cooling and other non-IT equipment.
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.