Leo Gorodinski (@eulerfx) header
Leo Gorodinski (@eulerfx) profile picture

Founder @CohesiveSystems, Prev: Co-founder/CTO @AlvysTeam, First engineer → VPE @JetTechnology acq. by @Walmart

Del Mar, CA
Joined May 2008
Photo by Leo Gorodinski (@eulerfx)Photo by Leo Gorodinski (@eulerfx)Photo by Leo Gorodinski (@eulerfx)Photo by Leo Gorodinski (@eulerfx)Photo by Leo Gorodinski (@eulerfx)Photo by Leo Gorodinski (@eulerfx)Photo by Leo Gorodinski (@eulerfx)Photo by Leo Gorodinski (@eulerfx)Photo by Leo Gorodinski (@eulerfx)Photo by Leo Gorodinski (@eulerfx)
Leo Gorodinski retweeted
When I was writing Unreal Engine 1, my time was divided as follows: - Around 30% went to seriously deep coding on hard problems: assembly language texture mappers, C++ BSP trees, data persistence, object oriented systems design, and networking. - Around 70% was just typing and refactoring large bodies of code needed for a complete engine feature set. This was not hard, and while I was doing it my mind was mostly on the deeper coding topics, thinking and planning for what's next. It didn't feel much different from vibe coding today, except that it was just me typing code on an IBM Model M keyboard rather than prompting it and reviewing the results. So, it has always seemed perfectly logical that we would rely on AI for that 70%, once the AI could do it with a similar quality standard as we could, which has never been perfection. It came as no surprise that, after a few years of AI model evolution, it was able to take the reigns on that 70% and free up programmers' time for more valuable tasks. What's more of a surprise is the emergence of AI as a sort of insta-Carmack able to solve hard technical problems quite cleverly and often cleanly, and that it's able to reason about and work in complex 3D scenes both by operating the tools and by directly understanding the raw data files. I abandoned assembly language in 1998 when out-of-order CPUs made much simpler C/C++ code faster, and never I missed it. If prompting through architectural documents, concept art, and design plans can transcend typing code and tweaking vertices, that will enable developers to spend their time on higher-level, higher value technical and creative tasks. What matters is the end product, whether it's a game or an engine. Anything developers can do to try out more ideas and make better software and games faster is a win for everyone.
983
1,636
396
18,813
1,625,077
Agents make code cheap. Understanding the system is still the bottleneck. Cohesive is a language for describing systems: their rules, workflows, and guarantees. People and agents work from the same model. Machines check and compile it. Here’s a brief introduction.
2
3
70
Code reviews today are mostly about gut checking if the complexity is worth the benefits.
11
40
12
622
32,759
Leo Gorodinski retweeted
"openai engineer explains /why/ he didn't need to understand the kernel line by line" 🙃 we're doing compilers 2.0
36
132
46
1,162
365,204
Leo Gorodinski retweeted
Introducing Hyperagents: an AI system that not only improves at solving tasks, but also improves how it improves itself. The Darwin Gödel Machine (DGM) demonstrated that open-ended self-improvement is possible by iteratively generating and evaluating improved agents, yet it relies on a key assumption: that improvements in task performance (e.g., coding ability) translate into improvements in the self-improvement process itself. This alignment holds in coding, where both evaluation and modification are expressed in the same domain, but breaks down more generally. As a result, prior systems remain constrained by fixed, handcrafted meta-level procedures that do not themselves evolve. We introduce Hyperagents – self-referential agents that can modify both their task-solving behavior and the process that generates future improvements. This enables what we call metacognitive self-modification: learning not just to perform better, but to improve at improving. We instantiate this framework as DGM-Hyperagents (DGM-H), an extension of the DGM in which both task-solving behavior and the self-improvement procedure are editable and subject to evolution. Across diverse domains (coding, paper review, robotics reward design, and Olympiad-level math solution grading), hyperagents enable continuous performance improvements over time and outperform baselines without self-improvement or open-ended exploration, as well as prior self-improving systems (including DGM). DGM-H also improves the process by which new agents are generated (e.g. persistent memory, performance tracking), and these meta-level improvements transfer across domains and accumulate across runs. This work was done during my internship at Meta (@AIatMeta), in collaboration with Bingchen Zhao (@BingchenZhao), Wannan Yang (@winnieyangwn), Jakob Foerster (@j_foerst), Jeff Clune (@jeffclune), Minqi Jiang (@MinqiJiang), Sam Devlin (@smdvln), and Tatiana Shavrina (@rybolos).
158
641
101
3,584
505,359
Leo Gorodinski retweeted
Have been updating my "physics of AI" blogs every day. Requiring only 2 hours every day, I learn surprising facts about neural networks via toy models. Many insights might be trivial or irrelevant in the end, but some will be huge and transform the field. kindxiaoming.github.io/blog/
14
40
4
516
29,941
Leo Gorodinski retweeted
In some important ways, a user’s LLM chat history is an extended interview. The social media algorithms learn what you like, but chats can learn how you think. You should be able to provide an LLM as a job reference, just like you would a coworker, manager, or professor. It can form an opinion and represent you without revealing any private data. Most resumes are culled by crude filters in HR long before they get to the checking-references stage, but this could greatly increase the fidelity. Our LLM will have an in-depth conversation with your LLM. For everyone. Most people probably shudder at the idea of an LLM rendering a judgement on them, but it is already happening in many interview processes today based on the tiny data in resumes. Better data helps everyone except the people trying to con their way into a position, and is it really worse than being judged by random HR people? Candidates with extensive public works, whether open source code, academic papers, long form writing, or even social media presence, already give a strong signal, but most talent is not publicly visible, and even the most rigorous (and resource consuming!) Big Tech interview track isn’t as predictive as you would like. A multi-year chat history is an excellent signal. Taken to the next level, you could imagine asking “What are the best candidates in the entire world that we should try to recruit for this task?” There is enormous economic value on the table in optimizing the fit between people and jobs, and it is completely two-sided, benefitting both employers and employees.
335
153
104
2,086
205,877
Leo Gorodinski retweeted
Can Being Really Emerge from Nothing? Hegel’s Science of Logic Explained Full episode with @UrsSchreiber link: youtu.be/GO2UnQUHfu8 #philosophy
3
4
356
Leo Gorodinski retweeted
Evaluating the Infinite 🧵 My latest paper tries to solve a longstanding problem afflicting fields such as decision theory, economics, and ethics — the problem of infinities. Let me explain a bit about what causes the problem and how my solution avoids it. 1/20
13
38
14
199
54,366
Leo Gorodinski retweeted
Grothendieck unpublished notes: a thread.⤵️
11
71
13
466
39,696
Leo Gorodinski retweeted
current big gap in AI capabilities: knot theory. recognizing knot types, even in"standard presentation" (from knot tables) is very difficult, even for the best models right now.
37
79
13
644
28,628
Today, I decided to try again at using generative AI (GPT-5 and Grok 4) to assist with a math/physics research problem. For context: I've been developing and testing a new first-order, flux-conservative formulation of the Einstein equations that can be evolved... (1/6)
Today I decided to try using o1 to assist with some math/CS research. Here's how it went. For context: I'm currently developing an automated theorem-proving framework in Scheme, and attempting to produce formal proofs of correctness for some advanced numerical algorithms. (1/10)
71
62
18
1,090
370,267
Leo Gorodinski retweeted
From a sports bar idea to a $65M Asset-Brokerage — Adam Blanchard shares top tips from how he scaled Tanager Logistics & Double Diamond Transport to fighting freight fraud in Congress, & how to build a winning team. Listen now! hubs.ly/Q03Dd8T50
2
4
141
Leo Gorodinski retweeted
Neural networks are grown, not programmed. What does that growth process look like? Like this! This is a small language model (3M) across training, visualised with a new interpretability technique: susceptibilities. We call this handsome critter the rainbow serpent.
29
158
35
1,363
126,410
Leo Gorodinski retweeted
Built by a fleet owner & tech innovator, Alvys is the modern TMS solving what legacy systems couldn’t. Smarter. Faster. Since 2020. Time to ditch outdated tools? Level up at: hubs.ly/Q03yrNgz0 #Alvys #FreightTech #LogisticsInnovation #TMS #TruckingTech #ModernTMS
1
5
144
Leo Gorodinski retweeted
Now accepted at Quantum Studies: Mathematics and Foundations link.springer.com/journal/40… our: ++++++++++++++++++++++++ ++ The Quantum Monadology ++++++++++++++++++++++++ ncatlab.org/schreiber/show/T… Thanks to the referees for their hard work and diligence, we appreciate it.
7
1
25
2,268