Joined January 2011
27 Photos and videos
Michael Bang retweeted
It took myself and another engineer three weeks to build the VOPR. I mean, what’s the cost of never investing in determinism and in your own simulator? And which is going to give you that 100x bug finding (and fixing) velocity? We get so far ahead on TigerStyle, honestly anything else is 1% marginal.
4
5
73
4,964
Michael Bang retweeted
26 Feb 2025
in short, there's never been a better time to go really hard down a path, learn difficult things, put in the time and effort required to do exceptional work and in the long run you'll benefit from new tools amplifying your skills
17
40
923
38,188
Michael Bang retweeted
Do you like databases? Do you want to hear two database professors rant about them? Do you need one of those professors to have a Turing Award for databases? If yes, then join Mike Stonebraker and I next Wed Dec 10 @ 1:00pm EST for database hot takes: dbos.dev/webcast-2025-in-rev…
9
50
290
25,461
29 Jun 2025
Okay, this is a first 🙈
29 Jun 2025
I'm hoping to find the time to write a series of posts over the summer on tools that I love. Here's the first one which I fell in love with just 3 months ago: mise blog.vbang.dk/2025/06/29/too…
3
116
29 Jun 2025
I'm hoping to find the time to write a series of posts over the summer on tools that I love. Here's the first one which I fell in love with just 3 months ago: mise blog.vbang.dk/2025/06/29/too…

1
4
319
22 Jun 2025
I've been like yeah, yeah, Thorsten, amp sure does sound nice. But come on.. I've got Claude in VSCode agent mode. Amp is a _whole_ different game. First try, it fixed two large problems I've had with a Vue frontend app that I've dreaded having to fix. 1/2
You have to admit: ~6 months ago many have said this is impossible, right?
3
20
2,381
22 Jun 2025
In comparison, Copilot was just wasting my time. Very impressive and great job to everybody that helped to create this!
1
7
182
31 May 2025
God, I love @jdxcode's mise. I'm reading @thorstenball's newsletter which convinced me to try jujutsu (again), and thought to myself "you got me, let's try again" Just `mise use jujutsu` later and it's there, ready for me to play around with. Why isn't more software like this?
78
30 May 2025

ALT Yes Clapping GIF

Replying to @jhleath
s3 is the new fsync
64
25 May 2025
Tired of software relicensing and BSL, but don't know how to navigate it? @jorandirkgreef has a very interesting take on it. youtube.com/watch?v=Z0kzYlCT… This is preaching to the choir, but I'm sure there's a great podcast episode here, nudge nudge @bcantrill @ahl
4
17
2,117
Michael Bang retweeted
25 May 2025
Today @peer_rich is introducing our first hardware product, built by Invisible Computers, handcrafted in Germany 🇩🇪 Cal Ink (7.5") and Cal Ink Pro (10.2") - no color, just e-ink 🔅 - no operating system, just always on 🖼️ - no AI, but magical 📆 Win a signed copy by retweeting and commenting "What do you use @calcom for?" or preorder: → shop.invisible-computers.com…shop.invisible-computers.com…
50
29
331
72,701
Michael Bang retweeted
any database is just a WAL with indexes then it’s down to tradeoffs in guarantees, storage and indexes
8
13
306
16,204
Follow Phil's advice: subscribe The talks are awesome so far!
6 Apr 2025
subscribe
1
56
17 Mar 2025
All of this talk about 10x developers; I never realized this is what people meant!
24
17 Feb 2025
I had a once-in-very-rarely discussion today: blog.vbang.dk/2025/02/17/on-…

1
2
131
Need to explain reinforcement learning to non-technical people? Show them this video: youtube.com/watch?v=NUl6Qikj… It uses the racing game Trackmania to give an *excellent* intuition for how it works. Such a great video @yoshtm1!
1
80
Negative space in design is one of the most important aspects that you need to take care of. TigerBeetle talks about this explicitly in their TigerStyle document - "The golden rule of assertions is to assert the positive space that you do expect AND to assert the negative space that you do not expect because where data moves across the valid/invalid boundary between these spaces is where interesting bugs are often found. This is also why tests must test exhaustively, not only with valid data but also with invalid data, and as valid data becomes invalid." This focus on negative space also resonates with the Design By Contract paradigm first coined by Bertrand Meyer in connection with the design of the Eiffel programming language. Similar thoughts are also expressed in Floyd-Hoare logic, with a set of logical rules for reasoning rigorously about the correctness of computer programs. The idea is to assert negative paths equally exhaustively as the positive ones. And the most important part of using this assertion based programming is to have them in the production code as well.
1 Jan 2025
Replying to @ludwigABAP
this is like the very fancy version of my argument that negative space in system design, combined with constraints, are what leads to the most beautiful designs so I thought it was cool that mathematicians obviously have this very notion but abstracted and generalized
7
30
7,160
18 Dec 2024
Okay.. I had never thought there'd be value in _pretending_ that an index exists. This is a pretty interesting idea!
1
73
Michael Bang retweeted
13 Nov 2024
There seems to be a great move going on; you can also find me here
1
1
110
17 Nov 2024
This is incredibly powerful. Even doing just one or two items from the list will improve your codebase immensely. I've yet to experience DST first hand, but I long for the day that I have an excuse to implement it!
TigerStyle evolved over time from a mix of influences on me: - NASA’s The Power of Ten: Rules for Safety-Critical Code - @jamesacowling’s talks on “Durability Theatre” and online verification - FDB and Dropbox’s DST - Security work on how to detect zero days I got to bring these techniques together in various ways from 2016, but TigerBeetle in 2020 was the first project that would have not only simulation testing but also determinism as a guiding principle. When you combine ideas like: - static allocation - explicit limits - assertions - determinism - simulation The effect is so powerful. Like concentrating explosives. You really can build things you never dreamed you could—and get them right, in less time.
2
9
1,911