BG:@atrinassa TwitterArtDirector JxRConsulting FlatSun ABSORBMORELASER RadicalCentrist SpacePaladin OCEANTRUTHER Matriot CalTrad MaineFrameworksTwitter DTA
California
Joined July 2009
- Tweets84.9K
- Following4.9K
- Followers2.3K
- Likes87K
Didn’t Wittgenstein chase this guy around the house with wrought iron
“How is consciousness possible? Human brains are basically like termite colonies—which are not conscious.
A termite colony is made of maybe even a million termites—mindless little bugs [...] and not a single one of them knows anything about the larger project that they’re about.
Well, your brain is really like a termite colony in that way. It’s composed of several [...] billion little neurons and each one of them is not even as smart as a termite, and yet their action produces Gaudi[’s basilica].
How do you get a Gaudi-type consciousness out of a brain which is like a termite colony?”
—Daniel Dennett on the philosophy of consciousness
the normal form: Matios the Frobenius retweeted
Automation as the path to accelerating science makes no sense. Very little of scientific work is bound by efficient cause. A credible path must improve measurement, interpretation, construction (!!), and observation, all of which are difficult to automate.
the normal form: Matios the Frobenius retweeted
What the fuck is happening in the world man. @MatiosTV is this yo king?? Is this yo king??
the normal form: Matios the Frobenius retweeted
Polylog is Richard Hladík, Václav Rozhoň, Tom Sláma, and yours truly. Video: youtube.com/watch?v=kMHCl2PG…
the normal form: Matios the Frobenius retweeted
Glad I talked the foundry into letting us bring a photographer in. With AI everywhere, there’s something pretty cool about showing Americans actually making things.
the normal form: Matios the Frobenius retweeted
My view, which I've publicly held for a long time, is that nobody actually wants to do proofs about their programs (except a tiny but vocal minority). People instead want *confidence* in their programs. Finally, we can focus on the human factors we've neglected all along.
One heartening thing about the @AnthropicAI + @theoremlabs verification work: almost every PL researcher on my feed is excited about the future and seeing years of research put to use. Quite a contrast to the “AI is taking our jobs” mood I’ve seen in other communities.