Observing the universe into existence one light cone at a time. Board member https://xitter.cf/t.co/jfgHlLwJO7 creator https://xitter.cf/t.co/MpnKJPwMaF https://xitter.cf/t.co/l35QWamid7 Erlang, BSD, Physicist.

Maisach, Germany
Joined June 2009
Peer Stritzinger retweeted
And we're open. Welcome to Code BEAM Europe 2026, in the room and on the stream. A short intro on Track 1 now, then at 9:15 @samaaron takes the stage. #CodeBEAM #Erlang
1
2
129
Peer Stritzinger retweeted
Morning, Haarlem. Code BEAM Europe 2026 opens today in a former philharmonic hall, which explains a few things about this year's programme. Badges and coffee from 8:00 in the Foyer, first session at 9:00 on Track 1. Watching online? Same time. #CodeBEAM #Elixir
1
1
149
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. 🇪🇺
After Trump and Musk restricted Starlink in Ukraine, four of Europe's biggest phone companies are joining forces to bring satellite coverage straight to your phone. European industry is answering what people want: a satellite service that isn't controlled from Washington.
169
747
58
2,784
96,274
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
2
3
362
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
4
11
483
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
457
276
12
1,757
48,754
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.
3
1
1
13
1,201
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.
773
1,310
333
12,486
5,492,009
Peer Stritzinger retweeted
Lets get this one right. And everything else will be a trickle down effect.
Europe’s founders need a European standard to compete globally from day one. Europe’s leaders committed to delivering one. But their teams are negotiating away the very things that make it one. There is still time to change course if Europe's Heads of State step in now.
4
34
684
Peer Stritzinger retweeted
Yaroslav Trofimov
@yarotrofOct 14
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.
133
968
89
3,307
180,174
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/…
Europe’s founders need a European standard to compete globally from day one. Europe’s leaders committed to delivering one. But their teams are negotiating away the very things that make it one. There is still time to change course if Europe's Heads of State step in now.
42
166
22
873
55,044
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!
16
43
3
545
15,533
Peer Stritzinger retweeted
1
5
11
405
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.
8
6
70
2,931
Anyone has already rewritten Rust in Rust?
5
2
27
1,753
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…
DHH
@dhhOct 8
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…
68
106
16
1,036
59,026
Peer Stritzinger retweeted
Bullish on the OTP and Elixir.
There are many discussions on unit tests lately, so I recorded a quick video sharing a side-project I am working on, how it is structured, and where unit tests fit. It was an impromptu session while I was working on something else, so a bit chaotic but hopefully useful.
7
13
2
167
10,742
Peer Stritzinger retweeted
EV Clinic
@evclinicOct 9
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
14
76
9
658
24,952
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
1
1
53
1,430
Peer Stritzinger retweeted
5x speedup just by fixing cache code. DHH didn't know what his code was doing even before AI psychosis.
In case someone’s curious where I left off with my fork of the original Rails code I fixed some sloppy cache code that hits the DB on every cache hit (yes really) Pretty confident most of the issues are just app code and you could get it down even more.
2
4
1
210
10,266