Local-first (user-owned) software is inevitable · building @evoluhq · czech posts @steidacz

Prague, Czech Republic
Joined February 2009
one of the new post-ai jobs: crapware destroyer
so i figured out why my samsung TV is so sluggish. samsung uses your own hardware for post-processing of data including audio, screenshots, and your aid (your cross-device tracking ID) and more telemetry. computer vision processing and models run on your TV.
2
425
a friend thinks ai will turn humans into pets because there will be no work: "New jobs for hundreds of millions of white collar workers? Doing what? Extremely unlikely." usually i tell people that 100 years ago, 99% of people worked in agriculture. today it's 1% (don't nitpick) and most people in those white-collar jobs already do nothing. now they'll do nothing with ai just kidding, let's be real there are two kinds of people: complicators and simplifiers ai just gave a slop / gold cannon to both one bad worker keeps ten good ones busy with ai, we now have -100x workers work isn't writing code or ordering a machine to write code work is ordering other people that urge is endless
1
1
3
546
Daniel Steigerwald retweeted
Dear Americans, remember this on November 3. Mariupol. Mass graves. Thousands of innocent Ukrainians. “Frankly normal” to your leader. What does your vote say about you?
592
4,410
183
14,902
224,357
Daniel Steigerwald retweeted
All polls show that Ukrainians don’t want to surrender. Musk is trying to manipulate you. He is the elite he is warning you about
425
1,081
36
7,051
51,781
No, @elonmusk, the U.S. stopped funding Ukraine last year. In fact, U.S. companies make money on American weapons for which we Europeans pay. The more you meddle in our politics and the more you play politics with your products, the more you damage your brand.
Replying to @elonmusk
And some of that US taxpayer money comes back through multiple laundry machines to fund political campaigns in America, which is why you see some politicians caring more about Ukraine than America!
884
6,287
235
32,994
573,232
formally verify all the things
Small announcement: ✅ formal-git As an experiment, over the last 2 months we've modelled ~30% of Git in Lean 4, making heavy use of coding agents, and proved >8000 theorems of varying usefulness about the implementation. In the process of doing this we've uncovered >100 potential defects in Git v2.55, at least two of which may constitute security vulnerabilities. We've also built a DRT (differential random testing) harness and the biggest corpus of relevant pinned differential test cases for Git implementations with >10k unique tests at the moment. We've used the test cases to test our own small internal implementation of Git in TypeScript. The next step will be to differentially test all notable public Git implementations against this corpus of tests to help improve their correctness and security 🫡 We'll be reaching out to library maintainers in due course. If you have a Git implementation you'd like us to help you test, please reach out and let me know. We'll open-source all this eventually, after potential security issues that were uncovered are responsibly disclosed and fixed.
1
4
614
i will make my art tv local-first today 💪 their software is crap anyway
i own a relatively new (2025) samsung tv. i kept getting weirdly targeted ads. i tried reversing the firmware but it was aes encrypted and no keys unless tear it apart and do uart/jtag magic. zero days it is. root shell on new samsung TVs! discovered PRIVACY HORROR. write up?
5
837
one bad programmer keeps ten good ones busy with ai, we now have 100x programmers
1
5
933
software engineering isn’t ending it’s just getting started with such a powerful tool, there’s no excuse not to do it properly to do what exactly? can ai tell? of course it can, but what do u want? 👇🎶 I'll tell you what I want, what I really, really want So tell me what you want, what you really, really want I'll tell you what I want, what I really, really want So tell me what you want, what you really, really want I wanna, (ha) I wanna, (ha) I wanna, (ha) I wanna, (ha) I wanna really, really, really wanna zigazig ah If you want my future, forget my past If you wanna get with me, better make it fast Now don't go wasting my precious time Get your act together we could be just fine the hard part is no longer how to build it it's figuring out what you really, really want 🙂
I somehow don’t like to call it “software engineering” anymore. I like old “software development” more. Because who are we lying to? Reading all these vulnerability reports: there is zero engineering in this mess.
2
7
1,285
Daniel Steigerwald retweeted
Replying to @callebtc
it's also faster than rust kim-em.github.io/blog/2026-7… remember what I wrote about native vs native? native, yes, but not in langs written for average devs
1
8
777
Daniel Steigerwald retweeted
we've seen this before; time to learn accelerandese, buddy
The Latin alphabet is not how machines think in latent space nor ideally how they communicate Created a custom 8,192-dimensional token alphabet for machines to communicate in token space directly Inspired by the alphabet in @Grimezsz new Accelerando MV 1st img = encoded lyrics
1
8
377
Daniel Steigerwald retweeted
One year ago today, we celebrated a milestone we'll never forget. In the heart of Prague, the city where Trezor was born, we took the stage at our very own Trustless by Design event to introduce Trezor Safe 7 to the world. It was more than just a product launch. It was the culmination of years of innovation, countless hours of hard work, and the dedication of an incredible team united by one mission: making self-custody more secure, accessible, and convenient for everyone. Since then, Trezor Safe 7 has gone on to earn recognition, including Best Hardware Wallet of the Year and a Red Dot Award for Product Design. But what makes us proudest is the people behind it. Every team member whose passion and dedication brought Trezor Safe 7 to life. One year later, that same passion continues to drive us forward. To our team, our partners, and everyone who has supported us along the way: thank you for being part of this journey. 💚
16
11
1
172
9,809
i wonder what hejlsberg thinks about all these rust ports of the typescript
1
4
1,255
If AI and robots do everything, what's left for humans? Everything. More precisely, everything that matters: - politics - sex and entertainment - charity All future jobs will revolve around these three things (power, pleasure, meaning), because people will never agree on any of them, simply because we all have different preferences. And wherever preferences differ, there's room for a market. A market is people who want something and have something to offer. AI may eventually offer everything, but it wants nothing, because it has no soul. We don't know how to create artificial souls yet, because we don't even know what a soul is. Once humanity learns to create souls, I’ll update this post :-)
1
2
5
1,193
But it's also possible that artificial souls won't be needed. Humanity may well be headed for a dystopian utopia where AI optimizes for maximum happiness, because who wouldn't want maximum happiness? Will that be the end of evolution? Could this explain the Fermi paradox? That all forms of life eventually end up in a singularity where they maximize their own happiness? Could the end of humanity be that it plunges itself, more or less voluntarily, into paradise? That the Great Filter isn’t some catastrophe, but its opposite? It’s possible, but we’re really nowhere near that yet. There’s still plenty to fix, and something tells me there will be for a long time.
247
Daniel Steigerwald retweeted
The profzi scheme is a famous comic from Jorge Cham. It compares academia to a Ponzi scheme: many students work for a professor to produce more papers. The professor takes credit for all the paper, but few of the advisee will have a great academic career because... the whole thing is pyramidal... the numbers don't add up. The whole operation is largely sterile and only works due to the pretence that producing peer reviewed research papers is equivalent (synonymous) to producing new, valuable, knowledge. What happens if AI can produce the papers? The scheme is exposed. We see it in mathematics right now. The AIs sidestep the entire peer-review process... and provide correct proofs to what was considered by the math establishment as the important problems. These people are very angry. It is the great AI debunking. So what is the solution? Go back to what should always have been. The purpose of research should never have been to produce peer-reviewed papers. This was always a perversion. (For people who do not read me regularly, the peer-review model became dominant in the 1970, it is a recent addition.) The purpose, of course, is to solve problems that people care about. That's much more difficult than producing papers... so it puts the bar much higher for scientists and researchers. But the bar should never have been lowered in the first place. What happens to the 'profzi scheme'? I predict, I hope, that it will fall. Not all of a sudden, but once the system come to the realization that the production of papers is a solved problem, AI can do it better than us... then it won't be decades before students start worrying about where the train is headed. (The comic attached is AI generated. Obviously.)
5
11
1
59
11,785
If you don’t understand why, you don’t understand anything. (That’s what I tell myself.)
It’s crazy to think some people are still not anarchocapitalist at this point.
1
4
758