Leo Gorodinski (@eulerfx) / X

Leo Gorodinski

4,074 posts

Leo Gorodinski

@eulerfx

Founder @CohesiveSystems, Prev: Co-Founder / CTO alvys.com @AlvysTeam, Engineer @JetTechnology

Del Mar, CA

Joined May 2008

Leo Gorodinski
@eulerfx
Jul 29
The AI era has given formal methods a reemerging role. As code production becomes increasingly automated, formal methods are moving upstream, from verifying code to formalizing intent. The scarce resource is no longer writing software; it’s expressing precisely what the software
Logic & Applications
@LogicPractice
Jul 29
Why people don't use formal methods hillelwayne.com/post/why-dont-…
Leo Gorodinski
@eulerfx
Jul 1
Yes. Code is one projection of the system, not the system itself. Perhaps the better substrate is a semantic system graph: something both humans and models can interpret and edit, with source code, diagrams, docs, infra, and agent context generated as projections.
John Carmack
@ID_AA_Carmack
Jul 1
AI may move to directly generating binary code, but I suspect there are still advantages to reasoning in a different representation. Textual code is a flattening of an abstract syntax tree, and while LLMs produce tokens linearly, the prior context is only linearly connected by
Leo Gorodinski
@eulerfx
Apr 30
All three curves are called Cotes spirals, after Roger Cotes’ work on the inverse cube force law, published posthumously in 1722. Cotes seems to have been the first to compute the derivative of the sine function. After Cotes’ death at the age of 33, Newton supposedly said “If he
SIAM Activity Group on Dynamical Systems
@DynamicsSIAM
Apr 29
Expository article: "The Inverse Cube Force Law" (by John C. Baez): arxiv.org/abs/2604.24799 [Journal reference: Notices Amer. Math. Soc. 73 (2026), 402–403]
Leo Gorodinski
@eulerfx
Apr 16
“OLS regression is structurally a special case of a single-layer Linear Transformer.” “…spectral decomposition reveals that linear attention achieves the OLS projection in one forward pass, showing statistical inference to be Transformer’s intrinsic algebraic property” “the
Stat.ML Papers
@StatMLPapers
Apr 16
Ordinary Least Squares is a Special Case of Transformer ift.tt/h3UFDBs
Leo Gorodinski
@eulerfx
Mar 24
Shubhendu Trivedi
@_onionesque
Mar 23
Very interesting work arxiv.org/abs/2603.20071
See @eulerfx's full profile
Sign up
Log in

See @eulerfx's full profile

See @eulerfx's full profile