Peer Stritzinger retweeted
Look at the post below.
Yesterday, we reported that Europe’s four biggest mobile operators 🇩🇪🇫🇷🇪🇸🇬🇧are exploring a joint bid to take on Starlink: phones connected straight to satellites, no tower needed.
The replies came on cue: “Europe can’t launch. Europe has no satellites. Europe has no money. SpaceX has no competition. Period.”
We hear this every time Europe talks about tech independence. But are they right? 👇
❌ “Europe can’t launch.”
✅ True, SpaceX launches far more: 165 Falcon 9 flights in 2025. That gap is real.
But even Amazon booked 24 launches on Europe’s Ariane 6 for its own Starlink rival.
Ariane 6 has already put 100 of its satellites in orbit.
In September, @isaraerospace, a German 🇩🇪 startup, reached orbit. At the same time, Europe’s first reusable rocket prototype is on its pad in Sweden 🇸🇪.
And the @esa has put €900M+ behind a new generation of rockets. That’s more than twice the ~$400M NASA gave SpaceX to develop Falcon 9 and its Dragon capsule.
What will happen to American launchers once these are operational?
❌ “Europe doesn’t build satellites.”
✅ Galileo, Europe’s GPS, is the most precise satellite navigation system in the world. Over 4.5 billion devices use it. Probably yours too.
Finland’s 🇫🇮 @iceye_global runs the world’s largest fleet of radar satellites, which see through clouds and at night.
@Thales_Alenia_S, in Turin, Italy 🇮🇹, built over half of the International Space Station’s living space. It also built the current satellites of Iridium, the American satellite-phone network.
@AirbusSpace, @ThalesAerospace and @LDO_Space are merging their space businesses into one 25,000-strong champion. And IRIS², the EU’s own 348-satellite network, is moving to full deployment of its governments and defence infrastructure.
If Europe has “nothing”, why are NASA’s astronauts living in it and your phone navigating with it?
❌ “Europe doesn’t have the money.”
✅ EU households keep €12 trillion in cash and bank deposits. That’s more than Nvidia and Apple, the world’s two most valuable companies, combined. Enough to buy SpaceX five times over.
On top of that, Europeans hold $8 trillion in US stocks and bonds. For now.
Because something has changed. Every year, €300bn of European savings leaves the EU. Europe is done watching it go: it has started building a single market for savings and investment, so that European money grows European companies.
Some, like Danish 🇩🇰 pension funds, have already started dumping US government bonds.
What will happen the day Europe offers a real alternative to American financial markets?
❌ “Europe is years behind on innovation.”
✅ 3 of the last 4 Nobel laureates in physics were born in Europe 🇬🇧🇫🇷🇧🇪. All three did their prize-winning work at American universities.
The world’s first microprocessor, the chip that became the brain of every computer, was designed at Intel by an Italian 🇮🇹: Federico Faggin. Google’s AI lab, DeepMind, was born in London 🇬🇧. OpenAI was co-founded by scientists born in Poland 🇵🇱 and Slovakia 🇸🇰.
Now Washington is cutting research funding, and applications from US-based scientists to the European Research Council have more than doubled. The EU has proposed doubling its budget too.
Europe’s red tape can be cut with a vote.
Can America win back the trust it has destroyed by threatening, humiliating and insulting its allies?
❌ “Europe needs America more than America needs Europe.”
✅ Look closer.
In April, NASA flew astronauts around the Moon for the first time in over 50 years.
The module that powered their spacecraft, pushed it to the Moon and kept them alive was European, assembled in Bremen, Germany 🇩🇪.
NASA’s Webb telescope launched on a European Ariane 5, so precisely that its fuel should last about 20 years instead of 10.
And the world’s most advanced AI chips can only be made with machines from one company: ASML, in the Netherlands 🇳🇱.
We’ve seen this film before.
In 1970, American planemakers ruled the skies. Europeans pooled their strengths and built Airbus. Airbus has out-delivered Boeing every year since 2019.
The US just turned 250.
The University of Bologna, in Italy, was founded in 1088, 938 years ago. Europe has been written off many times.
Those trying to convince Europeans we can’t stand on our own forget who gave the world the Renaissance, the scientific revolution, the welfare state and the World Wide Web, born at CERN in Geneva 🇨🇭.
Betting against Europe isn’t analysis - it’s hubris.
And that arrogance is pushing European public opinion towards one conclusion: we’re done with America.
One day, those repeating “weak, dependent Europe” will wake up to a Europe running on its own rockets, satellites, capital and talent.
That day is closer than they think. 🇪🇺
Peer Stritzinger retweeted
Only 14 hours left for regular tickets at Code BEAM Europe!
Prices increase tonight (19 Oct, 11:59 PM). Use code: 10FORYOU for an extra 10% off.
21–22 Oct | Haarlem & online
codebeameurope.com/#register
#CodeBEAMEurope
Peer Stritzinger retweeted
Luca Succi & Peer Stritzinger (@peerstr) will speak about bringing Erlang's JIT to embedded in "BeamAsm Goes Embedded: Porting Erlang’s JIT to ARM32" at Code BEAM Europe 2026.
📅 21-22 Oct | Haarlem, NL | In-person & Virtual
codebeameurope.com/#register
#Erlang #BEAM #CodeBEAMEurope
Peer Stritzinger retweeted
Der Verbrenner ist in China ein sehr schnell sterbender Markt. In Europa wird der Markt auch wegbrechen. Der Kampf der Lobbyisten war ein Eigentor. Ein frühes und eindeutiges Enddatum für den Verbrenner hätte Planungssicherheit und Anreize für deutsche Hersteller gegeben
Peer Stritzinger retweeted
Europe doesn’t have a talent problem.
It doesn’t even have a capital problem anymore.
It has a story problem.
The best hardware teams in the world are here, and almost nobody outside their industry knows their names.
Peer Stritzinger retweeted
String theory is what happens when an intelligent system is starved of sensory input and starts hallucinating. Intelligence needs grounding.
For this reason, intelligence is practically never the bottleneck to solving impactful problems. The bottleneck is iterated contact with reality.
Peer Stritzinger retweeted
Lets get this one right. And everything else will be a trickle down effect.
Peer Stritzinger retweeted

Yaroslav Trofimov@yarotrofOct 14
United States
United StatesConnected via United States App StoreAccount-level information, not a live location or per-post device.
Aspiring European competitor to Starlink, Eutelsat, soars on the news of U.S. throttling access for Ukraine. Investors expect European defense billions to be diverted from U.S. companies, and SpaceX in particular.
Peer Stritzinger retweeted
At this point the whole EU Inc negotiations are so lost in the details that everyone forgot the main goal: Creating a standard.
Basically, allow founders to raise quickly globally and use stock options to hire competitively.
Let’s say it quite clearly:
1) If EU Inc isn’t providing a standard it’s useless. We already got 30+ legal entities in Europe. Experienced founders use Delaware Inc already because of this.
2) If EU Inc doesn’t fix stock options Delaware Inc is still the better option.
I understand the there are complex details and people are worried about loopholes. But you can’t lose the actual goal of it because of it.
An EU Inc that doesn't provide a standard is pointless. Nobody will care about intricacies of compromises reached in political committees if the market can't use the outcome.
If you are in contact with your political leaders (prime ministers, presidents, et al) please reach out to them. Or to founders/investors in your network who might have that access.
🔥🇪🇺✌️
xitter.cf/euinc_petition/status/…
Peer Stritzinger retweeted
Hooray, my Erlang/Elixir-to-Lean project, Lynx, has already uncovered a bug in Erlang/OTP!
I started exploring proofs about Erlang's calendar module. Some properties are straightforward. For example, converting seconds to days and time, then converting them back, should give us the original number of seconds:
{days, time} = :calendar.seconds_to_daystime(seconds)
days * 86400 + :calendar.time_to_seconds(time) == seconds
We can also verify totality properties: that a function successfully returns a result for every input satisfying its preconditions. For example, every valid date should have an ISO week number:
law iso_week_number_valid_date(date),
requires: :calendar.valid_date(date),
expects: is_tuple(:calendar.iso_week_number(date))
It turns out that this property couldn't be proven because iso_week_number/1 failed for January 1 and 2 of year 0000!
Fortunately, this bug has already been fixed in Erlang/OTP. But the fact that we're already at the stage of uncovering real bugs with formal verification is incredibly exciting!
Peer Stritzinger retweeted
We have a new AI policy for #AshFramework. github.com/ash-project/.gith…
Basically removing all special provisions and replacing them with only one AI-specific rule.
Peer Stritzinger retweeted
So I was trying to understand why pull requests speeding up the Elixir version were being denied by the clankers while they were being accepted to Go/Express/Rust.
It turns out that, not only each project had a different starting point and a different prompt, but also each project also has a different set of verifications that they are required to pass!
For example, Elixir is the only guided to "preserve the pinned Rails reference behaviour", the only with a explicit verification that we are using Redis and draining its queue (so we cannot remove it while others can), and the only one actively enforcing it.
So it turns out that the people telling you to not read the code cannot even use AI to set up fair benchmarks (probably because they would have to read the code in order to do that).
You don't have to believe me, you can do your own research or ask your agent to do it for you. E.g. here is what Claude Code came back with: gist.github.com/josevalim/ae…
Replying to @dhh
Also extracted a separate verification project that's responsible for the benchmarking and checking of new implementations and improvements to the existing ones. The full report from the latest runs is there too. github.com/basecamp/once-cam…
Peer Stritzinger retweeted
Bullish on the OTP and Elixir.
Peer Stritzinger retweeted
Tesla Endgame: The King of 145 Years of Automotive History!
1.250.000 Km - 1 original battery and eDrive EV Clinic HolyGrail upgrade.
GUINNESS WORLD RECORD
evclinic.eu/2026/10/09/tesla…
Bravo @woodhaus2
Bravo @Tesla
Bravo @elonmusk
Bravo @SKFgroup Bearings
Peer Stritzinger retweeted
Still gotta hand it to @mikehostetler. Went hunting to see if #AshFramework's AshAI package supports OpenAI's decision model, and of course ReqLLM already supports it and its perfectly compatible with what we built on top of it
5x speedup just by fixing cache code.
DHH didn't know what his code was doing even before AI psychosis.


































