
BG:@atrinassa TwitterArtDirector JxRConsulting FlatSun ABSORBMORELASER RadicalCentrist SpacePaladin OCEANTRUTHER Matriot CalTrad MaineFrameworksTwitter DTA
California
Joined July 2009
- Tweets84.9K
- Following4.9K
- Followers2.3K
- Likes87K
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
The peculiar fun of having to give up every abstraction humanity has relied on since time immemorial. Space as made of points, time as homogeneous, both perfectly continuous.
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.
the normal form: Matios the Frobenius retweeted
The secret about "before math" is no one was using most of the results, did not care about most uses of the results. Integrating the most basic things we know about math into culture is what we should strive for.
the normal form: Matios the Frobenius retweeted
For microcosms within microcosms, the only stable qualities are the principles they follow and their commitment to following those principles
Can we finally make a theory for Darwin's "Endless Forms Most Beautiful and Most Wonderful"?
Introducing ruliobiology as a path to general theory in biology, starting with foundations for a theory of biological form
writings.stephenwolfram.com/…
the normal form: Matios the Frobenius retweeted
Patterns reveal themselves in the spaces between forms.
Merging and overlapping show how sets combine while isolation and opposite mark clear boundaries. Hierarchy and structure organize nodes into ordered graphs, and connections link them into networks.
Influence and spreading radiate outward from a center, while attraction and concentration pull inward. Chaos scatters without direction; the circle and whole restore unity.
Simple shapes encode the logic of systems.



















