BG:@atrinassa TwitterArtDirector JxRConsulting FlatSun ABSORBMORELASER RadicalCentrist SpacePaladin OCEANTRUTHER Matriot CalTrad MaineFrameworksTwitter DTA

California
Joined July 2009
CORDUROY: CHECK JAVIER SOLÍS: CHECK
Replying to @GrantSSC
Still seems like it’s before 5 @MatiosTV
21
5
2
56
the normal form: Matios the Frobenius retweeted
I think the deep idea within quadratic equations for high schoolers is the idea that every parabola is in some sense the same parabola
6
1
37
2,514
Flowers are just memoizing constellations
Stories are just memoizing constellations
1
84
It wasn’t the meat, it was the flowers wasn’t it That made our brains grow ?
Bees and apes love shapes and sweet things
1
92
Bees and apes love shapes and sweet things
1
2
166
the normal form: Matios the Frobenius retweeted
Logs/exponentials are probably a sweet spot in "deep" math accessible to kids. The depth being the idea that with some magic, multiplication/division can be "transformed" into addition/subtraction
5
3
1
50
2,366
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.
3
1
19
938
the normal form: Matios the Frobenius retweeted
Replying to @MatiosTV
Ibns been bending no futurama
1
1
1
77
Stories are just memoizing constellations
Autumn is for memorizing constellations
1
2
209
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??
Trump: I looked at one hell of a beautiful ass before, Nicki Minaj. That's hard to miss. Stand up.
1
1
1
93
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.
3
1
12
789
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…
1
5
41
3,623
Autumn is for memorizing constellations
1
1
2
290
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.
2
66
1,255
the normal form: Matios the Frobenius retweeted
Haskell is such a good database.
2
1
8
216
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.
12
27
2
254
7,182
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.
1
5
167
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/…
1
3
412
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.
4
77
4
327
7,393
the normal form: Matios the Frobenius retweeted
$27 of GDP is created when a $3 shot of bourbon sells for $30 at an airport bar. how can GDP be real???
125
26
10
4,188
172,285