Batist Leman (@BatistLeman) header
Batist Leman (@BatistLeman) profile picture

CEO @Azumuta. Father of 2. European Dynamist. Optimist in general.

Ghent
Joined April 2009
Photo by Batist Leman (@BatistLeman)Photo by Batist Leman (@BatistLeman)Photo by Batist Leman (@BatistLeman)Photo by Batist Leman (@BatistLeman)Photo by Batist Leman (@BatistLeman)Photo by Batist Leman (@BatistLeman)Photo by Batist Leman (@BatistLeman)Photo by Batist Leman (@BatistLeman)Photo by Batist Leman (@BatistLeman)Photo by Batist Leman (@BatistLeman)
I finally added a slide based on the excellent essay danwang.co/how-technology-gr… by @danwwang to define @Azumuta's role in pushing the boundary between explicit instructions & tacit know-how
1
9
The employees could also write an open letter and threaten to resign and move to Terrafab… 🤔
28
What a nice surprise to see @danwwang in the latest @WorksInProgMag!
4
41
Batist Leman retweeted
12 years ago I founded Boom, as a software engineer doing hardware for the first time. I’m probably the least handy founder in hard tech. My 12 y/o son does my soldering and 3D printing for home projects, and I’ve struggled with imposter syndrome the whole way through. What business does a software guy have building supersonic jets and turbines? More than a decade in, the most insane realization is that software is the key to reaccelerating hardware engineering. But in a way that I don’t think is widely understood or implemented, even in the burgeoning hard tech community. Most hardware engineering is actually software engineering in disguise. It’s spreadsheet “code,” engineering calculations done as one-offs. Eg wing structural loads in, spar sizing design out. Thermal loads in, air conditioning system sizing out. Everything is a calculation, and calculation is software. But these calculations are done essentially by hand, as if we are doing arithmetic but have not yet discovered algebra. Hardware engineers have baby software, built in spreadsheets, the kind of crappy software I wrote as a kid before I understood architecture, unit tests, APIs, version control, and everything else that makes modern software good. Our airplanes and engines are built with the software sophistication of a script kiddie. So what we tell our engineers: don’t design the hardware, design the *algorithm* for designing the hardware. And take the algorithm seriously—as an algorithm and as a first-class engineered software system. Never design a piece of hardware, such that you couldn’t redesign it tomorrow with a different set of assumptions. This all sounds obvious, yet our experience at Boom is that it changes everything. Ten years ago we couldn’t afford to build much software. We had a small team—and there were few software engineers with the curiosity, brilliance, and vision required to learn hardware engineering. But now AI changes the equation. Now everyone can code. The software engineers define the architecture. The hardware people bring the physics and engineering know-how. We have a turbomachinery design tool that lets one engineer do in realtime what previously took 100 engineers six months. Another tool auto-generates 65% of entire aircraft structure. I’m sure we’ll figure out the other 35% too. Eventually these should not be multiple tools, but one integrated physics model of a complete vehicle, airframe and powertrain. The results speak for themselves. A boomless supersonic airplane built by 50. A full scale supersonic turbine made by 150. And with this approach, I don’t think we’ll need that many more people to build and certify a supersonic airliner. You don’t need a big team to build big things—not when everyone on the team is a software engineer.
153
340
131
4,059
410,319
Lol
We asked GPT-6 Astra to edit Qwen3.5-0.8B weights to improve math. It directly changed only 0.016% of weights, fixing 0.8B's reasoning loops & improving math up to 6x and even instruction following 3x, without gradients or training. We call this Weight-Space Programming: frontier LLMs can now natively read/write neural network weights! 🧵 Blog: rikiyat.github.io/blog/weigh…
Readers added context they thought people might want to know
LLM was given weights explicitly as text in prompt and used code/forward passes (per authors' logs) to ablate Qwen looping direction, a known thinking-mode issue per model card. Primarily fixed repetition in that mode, not general 'natively' improving weights/math. rikiyat.github.io/blog/weight-sp… github.com/RikiyaT/lm_und… huggingface.co/Qwen/Qwen3.5-0… huggingface.co/RikiyaT/Qwen3.…
17
Batist Leman retweeted
It feels pretty fitting for @JensenHuang & @nvidia to end their European tour with Microducks on stage. Microduck was designed and engineered in Europe (more precisely Bordeaux, France) by the @pollenrobotics and @huggingface teams. With American capital and ambition + Chinese manufacturing genius, it became the most popular robot of 2026 with over 15,000 sold all over the world! I believe Europe has more opportunity to shine in AI than in any previous tech wave. We intend to prove it with @huggingface @nvidia and the whole open-source AI community in the coming years! Let's go European AI 🇪🇺🇪🇺🇪🇺
52
96
21
809
66,825
Will smart rock invent floating rock? 🤔
1
15
Batist Leman retweeted
The statue of Prometheus is finally finished. It was cast in Paris, crossed the Atlantic, and was assembled at Starbase. It took us 100 days to go from nothing to this. People of the West, we have lived through an era devoid of dreams, devoid of destiny. But the time has come to reclaim our dream of antiquity. In a few months, we will start building a new city. It will be the most magnificent city in all of history. After all, the great dream of the West has always been to rebuild Rome. Come walk beside us in this endeavor. The world is waiting.
2,169
5,709
1,312
51,181
3,565,349
Damn, worth trying this time!
Replying to @Google
Gemini 4 Argon is our next era of frontier intelligence. It shows significant improvements across benchmarks, setting a new state of the art for real-world long-horizon software engineering tasks.
1
24
There is so much one-dimensional p(doom) talk, it's crazy. The discourse around AI is so flat... (except at the @Azumuta lunch table, but that's for another time 😁) The book "What is intelligence" by @blaiseaguera is great, here are some takes from it. (At least, in my reading of it - it might be mixed with some other input) * It's survival of the most fitted all the way down. 🐢 * We tend to anthropomorphize everything, we even say "the bacteria are searching for food" while it's really 'just' chemotaxis * Neural networks exist to make predictions. * (!) It's not obvious where neural nets begin and where they stop. Is a group of people actually one, or many? Is an ant colony one organism? (Stigmergy FTW!) * In one brain there are multiple subnets competing for the signal. Extremely so in octopuses. Descartes was probably wrong. 😅 * I heard people say LLMs are by definition non-deterministic. Not sure where is is coming from... it is absolutely not true. LLMs have fixed weights. Each inference will produce the exact same probability distribution. Randomness comes from hardware noise or needs to be added explicitly by sampling tokens from the distribution. * We often regard two neurons connected if they are physically connected by an axon. Again, not true. All sensory input is actually connecting networks. (Visual, audio, touch, ...) And outputs. (Expression, voice, touch, ...) That means that, in a sense, multiple physically separated networks can actually be one. * Yes, LLMs are 'just calculations', but aren't we 'just calculations' as well? And a paradox to close with... (not from the book, from The Orville, but interesting anyway 🫣) If consciousness is an emergent property from large neural networks. If we force robots to do all our chores, and work in our factories. If the robots are powered by large neural networks. Wouldn't they be slaves? (I don't like the term 'consciousness' because it's completely undefinable, but I guess it's our best attempt at explaining our sense of 'self' and justify our sense of superiority over other species 😅)
2
46
We should build new pyramids, 100x the volume!
Autonomous excavator building a wall! 🪨 This will blow your mind! 🤯 Researchers from ETH Zürich and Robotic Systems Lab have used an autonomous excavator to build a 65-meter-long, six-meter-high dry-stone wall. The autonomous system, called "Heap," precisely firstly scanned and then placed stones, forming a wall. Through computer-aided design and control, the robot was able to handle and position over 900 individual elements, some weighing over 1000 kilograms. Can we call it the Great Wall of Switzerland?! 🇨🇭 Here's the page of the project that was on from 2016 to 2025: rsl.ethz.ch/robots-media/hea… ~~  ♻️ Join the weekly robotics newsletter, and never miss any news → ziegler.substack.com
1
49
To properly token max, I need to see the counters - all the time. 😅
1
34
session 0% - yes it just reset, don't worry
1
16
Codex - gotta catch 'em all!
1
7
Awesome!
You asked for more pro-Europe merch. We made more pro-Europe merch. 🇪🇺 PROTOTYPE Collection #2 is live: 12 new posters. 2 new shirts. 2 new hoodies. For Europe 🇪🇺🚀 👉 prototype-shop.com PS: Due to popular demand, The Holy Draghi is now available.
27
seeing the agents blast through list like these in a couple of minutes never gets old
17
I feel it in the air. We'll have Office for Linux - soon.
9
Damn, voxtype is mindblowingly fast & accurate
15
Haha, exactly
Now AI can tell you that it is human produced. Where is Gödel when you need him?
33