
Founder @CohesiveSystems, Prev: Co-founder/CTO @AlvysTeam, First engineer → VPE @JetTechnology acq. by @Walmart
Del Mar, CA
Joined May 2008
- Tweets4.3K
- Following1.2K
- Followers1.6K
- Likes24.8K
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.
Leo Gorodinski retweeted
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.
Leo Gorodinski retweeted
Kevin Buzzard on why he is excited about math in the age of AI:
xenaproject.wordpress.com/20…
Leo Gorodinski retweeted
Code reviews today are mostly about gut checking if the complexity is worth the benefits.
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).
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/
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.
Leo Gorodinski retweeted
Can Being Really Emerge from Nothing? Hegel’s Science of Logic Explained
Full episode with @UrsSchreiber link: youtu.be/GO2UnQUHfu8
#philosophy
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
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.
Leo Gorodinski retweeted
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)
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
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.
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
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.































