
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
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.
the normal form: Matios the Frobenius retweeted
Man is born free, yet everywhere he is a homomorphic image subject to nontrivial generator relations
the normal form: Matios the Frobenius retweeted
Why the Air Fryer Won
sebs.website/blog/why-the-ai…
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...
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.
the normal form: Matios the Frobenius retweeted
なぜ我々は負のポアソン比に魅了されるのでしょうか?
何はともあれ、新しい論文が掲載されました!
データ駆動型トポロジー最適化により、押すと縮む、いわゆる負のポアソン比を持つメタマテリアルを設計しました。
doi.org/10.1016/j.matdes.202…
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.
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.
the normal form: Matios the Frobenius retweeted
Replying to @MatiosTV





























