Tootfinder

Today is the 100th anniversary of Edwin Hubble discovering that those fuzzy clouds were actually other galaxies! #lookup #space #Astronomy

@… @… There is so much right about this that I don't know where to start.
The only worry I have is that it sounds hard for someone else to create a competing implementation, and I think that we need more of that from our…

My voluminous and authoritative childhood drawings beg to differ
“The Theory That Volcanoes Killed the Dinosaurs Is Officially Extinct” https://m.slashdot.org/story/436739

So I've finally had some time to watch #SkeletonCrew. Really enjoyed these first episodes and I hope the series continues that way. But more importantly, let's hope that #StarWars keeps doing these shows about exploring the galaxy and it's countless universes other than to keep everything …

AI chatbots are like that one uncle you see at Thanksgiving. Over his life he became a true expert in something, say, ice sculptures, and can speak with authority on it. But he's convinced he should speak with authority on any subject at all — medicine, law, business, how rainy it will be next spring — stating with 100% certainty things he heard or made up.
Many things he says are right, many are wrong, and you can't judge which is which from his words alone.

The best thing about blogging is that I take things out of my head, which is full, and put them somewhere else.
The second best thing about blogging is that I meet more interesting people when I do it.

@… It's a whole new team now, isn't it? Makes me sad that it didn't work out. I agree that their editor was a pain but I think it was a pain in the right direction.

@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…

@… Amazing, thanks for sharing! It doesn’t surprise me that per-language approaches have been taken, and I would expect that if someone did this, it would be people who’ve already done it once, but niche.
I was definitely inspired a bit by Darklang.