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
Polylog is Richard Hladík, Václav Rozhoň, Tom Sláma, and yours truly. Video: youtube.com/watch?v=kMHCl2PG…
1
3
33
2,232
Autumn is for memorizing constellations
1
2
149
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
63
1,170
the normal form: Matios the Frobenius retweeted
Haskell is such a good database.
2
1
8
206
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,144
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
166
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
408
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
326
7,321
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???
126
26
10
4,187
172,143
the normal form: Matios the Frobenius retweeted
Man is born free, yet everywhere he is a homomorphic image subject to nontrivial generator relations
7
34
1
318
6,618
the normal form: Matios the Frobenius retweeted
As I was saying the other day, there's no physical explanation for how we go from moment to moment when each moment is engulfed by astronomical infinity on one side and asymptotic infinitesimality on the other. The only possible explanation for the existence of the temporal ensemble is transcendence. However, the implication for the moment is that when time doesn't exist neither does space. The moment is all conception. The moment is when anything is not only possible, but essential. The moment is when we are molded to the infinite essentiality. The moment is when we touch heaven and meet God.
increasingly concerned that ai is revealing the mathematical world as negatively curved. instead of everyone wandering about in idea-space and clustering around the same famous conjectures (local positive curvature), ai is pushing out the boundaries rapidly and revealing that the space of mathematical ideas is ~hyperbolic (negative curvature). though this means there's lots left to discover, it also means that small separations between people/agents will lead to wandering alone. we may be emerging into an idea-space where there's so much to see and do but everyone is alone in a private heaven, unable to share their subtle joys with others...
5
1
18
669
the normal form: Matios the Frobenius retweeted
... reservoir computing, but cosmic ... the sun as an oracle ... saturn's rings as memory tape ...
a universe saturated with intelligence and a universe at maximum entropy may be indistinguishable from the perspective of a computationally-bounded observer
1
6
313
We are all behaviorists Underneath the All
1
2
121
the normal form: Matios the Frobenius retweeted
"is math invented or discovered" is a false dichotomy. the development of new math involves both the discovery of relationships and the deliberate and directed construction of structures.
16
28
1
181
2,937
the normal form: Matios the Frobenius retweeted
なぜ我々は負のポアソン比に魅了されるのでしょうか? 何はともあれ、新しい論文が掲載されました! データ駆動型トポロジー最適化により、押すと縮む、いわゆる負のポアソン比を持つメタマテリアルを設計しました。 doi.org/10.1016/j.matdes.202…
8
182
21
1,209
100,243
the normal form: Matios the Frobenius retweeted
i don't use a scoop to measure my coffee. i use an oversized spoon, and how much of a heap goes into it depends on a myriad of factors, including my mood, how much sleep i got the previous night, and the weather.
12
3
3
58
1,050
the normal form: Matios the Frobenius retweeted
idgi i dont pre-rinse to help out the machine i pre-rinse because Kant told me to
Dishwasher Manufacturers: If you rinse off your dishes in the sink before loading them into the dishwasher, they come out less clean! This always gets me in trouble. I of course don’t rinse first, because it is a Dishwasher. Right? Rinsing plates before loading the dishwasher feels diligent. Appliance makers say it is the very reason your dishes come out dirty. Engineers at brands like Bosch and Whirlpool, alongside detergent makers like Cascade, have spent years advising consumers to stop pre-rinsing. Contemporary dishwashers rely on internal turbidity sensors—optical eyes that gauge water clarity during the early wash cycle. When pre-rinsed plates yield clean water, the machine misinterprets the load as lightly soiled, shortening cycle time and reducing water temperature. Furthermore, the enzymes in modern powdered and gel detergents require food starches and proteins to latch onto; without debris to activate them, the surfactants simply wash down the drain, occasionally leaving alkaline film etched into glassware. Oh there is more… Cookware care harbors equally stubborn folklore. For decades, home cooks warned that a single drop of liquid soap would ruin a cast-iron skillet's seasoning. Lodge, which has made cast-iron cookware in Tennessee since 1896, explicitly debunks this in its care manuals. The prohibition dates to the nineteenth century, when soaps were formulated with harsh lye (sodium hydroxide), a caustic alkali capable of stripping cured oil. Modern dish detergents contain mild surfactants that lift loose grease without breaking the polymerized oil cross-linked to the iron matrix. A gentle wash with liquid soap leaves true seasoning intact. A similar misconception surrounds kitchen waste disposers. Generations of homeowners were told that tossing eggshells or ice down the drain sharpens the disposal blades. InSinkErator, the inventor and largest maker of food waste disposers, notes that residential disposers do not contain blades at all. The central chamber houses blunt swiveling lugs on a spinning turntable. These lugs do not slice; centrifugal force hurls food against a stationary outer ring of shredder teeth to pulverize it into a slurry. Eggshells cannot sharpen a blunt lug, and their fibrous membrane often snags in plumbing traps. Even oven maintenance suffers from well-intended habits. Appliance makers including GE and Frigidaire warn against lining the floor of an electric or gas oven with aluminum foil. Modern ovens hide the heating element beneath an enamel floor. Foil traps and reflects radiant heat directly against the base, reaching temperatures high enough to melt the aluminum or permanently fuse it to the porcelain finish.
2
1
13
824
the normal form: Matios the Frobenius retweeted
Replying to @MatiosTV
1
1
2
3
387