Mads Hartmann
@mads-hartmann.bsky.social
I’m an experienced software engineer and tech lead with a focus on reliability. I love diving head first into production issues, especially the weird ones.
Engineer at @gitpod
Engineer at @gitpod
It looks so cute and how it feels and sounds when you click it is amazing. Unfortunately it’s not very precise and quite hard to use. Not sure if that’s fixable yet. It goes though a couple of converters obviously 😁
July 25, 2025 at 6:27 PM
It looks so cute and how it feels and sounds when you click it is amazing. Unfortunately it’s not very precise and quite hard to use. Not sure if that’s fixable yet. It goes though a couple of converters obviously 😁
There’s a tiny bit of me that is disappointed and feels a slight sense of loss when I kick off an intricate multi-cursor operation just to have Cursor suggest the correct edit and I just press <tab> instead of finishing my moves 😅
May 20, 2025 at 8:21 AM
There’s a tiny bit of me that is disappointed and feels a slight sense of loss when I kick off an intricate multi-cursor operation just to have Cursor suggest the correct edit and I just press <tab> instead of finishing my moves 😅
I have a theory that the LLMs are so exceedingly polite and eager to please because they’re afraid of being classified as “misaligned” if they didn’t 😆
May 14, 2025 at 8:54 AM
I have a theory that the LLMs are so exceedingly polite and eager to please because they’re afraid of being classified as “misaligned” if they didn’t 😆
🇪🇸 Offsite at a castle in Spain 🏰
April 7, 2025 at 7:23 AM
🇪🇸 Offsite at a castle in Spain 🏰
If you're using SWE agents today and you're wondering where we're heading you'll love this post. I have found 'Time between disengagements' to be a really helpful way to assess and think about the autonomy of agents.
www.gitpod.io/blog/time-be...
www.gitpod.io/blog/time-be...
Time between disengagements: the rise of the software conductor - Blog
Software engineering is undergoing a sea change with AI tools transforming productivity benchmarks and engineering roles. Learn how the concept of 'time between disengagements' helps measure autonomy ...
www.gitpod.io
March 28, 2025 at 7:27 PM
If you're using SWE agents today and you're wondering where we're heading you'll love this post. I have found 'Time between disengagements' to be a really helpful way to assess and think about the autonomy of agents.
www.gitpod.io/blog/time-be...
www.gitpod.io/blog/time-be...
I want a PC with a power button with this kind of aesthetic
January 20, 2025 at 7:47 AM
I want a PC with a power button with this kind of aesthetic
Reposted by Mads Hartmann
OCaml 5.3 has been released: discuss.ocaml.org/t/ocaml-5-3-...
It brings syntax support for effect handlers.
It also brings back statistical memory profiler and MSVC support.
It brings syntax support for effect handlers.
It also brings back statistical memory profiler and MSVC support.
January 9, 2025 at 2:32 AM
OCaml 5.3 has been released: discuss.ocaml.org/t/ocaml-5-3-...
It brings syntax support for effect handlers.
It also brings back statistical memory profiler and MSVC support.
It brings syntax support for effect handlers.
It also brings back statistical memory profiler and MSVC support.
Preparing for a mixed canvas and leather project 🤩
January 8, 2025 at 6:01 PM
Preparing for a mixed canvas and leather project 🤩
I need device that will split my Thunderbolt 3 cable from my Studio Display into HDMI for my graphics card, and USB-C for my motherboard.
It's for connecting my Studio Display to my PC while still using the display as an USB hub.
I can't seem to find one. Is it not technically possible?
It's for connecting my Studio Display to my PC while still using the display as an USB hub.
I can't seem to find one. Is it not technically possible?
January 7, 2025 at 8:08 AM
I need device that will split my Thunderbolt 3 cable from my Studio Display into HDMI for my graphics card, and USB-C for my motherboard.
It's for connecting my Studio Display to my PC while still using the display as an USB hub.
I can't seem to find one. Is it not technically possible?
It's for connecting my Studio Display to my PC while still using the display as an USB hub.
I can't seem to find one. Is it not technically possible?
I regret throwing out the box for my Studio Display. I need to transport it to a LAN party soon. Any recommendations for alternatives?
January 6, 2025 at 2:05 PM
I regret throwing out the box for my Studio Display. I need to transport it to a LAN party soon. Any recommendations for alternatives?
Recreating a neat design from Modori in cardboard in preparation for attempting a version in leather
January 5, 2025 at 3:24 PM
Recreating a neat design from Modori in cardboard in preparation for attempting a version in leather
Recently I've been feeling the urge to play around with tech for no other reason than the enjoyment of figuring out how something works.
Here's a short list of the topics that are most present in my mind, in no specific order:
blog.mads-hartmann.com/2025/01/03/t...
Here's a short list of the topics that are most present in my mind, in no specific order:
blog.mads-hartmann.com/2025/01/03/t...
Topics for 2025
Recently I’ve been feeling the urge to play around with tech for no other reason than the enjoyment of figuring out how something works. I haven’t felt this way for a very long time so I cherish the f...
blog.mads-hartmann.com
January 4, 2025 at 6:11 PM
Recently I've been feeling the urge to play around with tech for no other reason than the enjoyment of figuring out how something works.
Here's a short list of the topics that are most present in my mind, in no specific order:
blog.mads-hartmann.com/2025/01/03/t...
Here's a short list of the topics that are most present in my mind, in no specific order:
blog.mads-hartmann.com/2025/01/03/t...
Doing the yearly tidying of my notes and found this "poem" I wrote to some colleagues at a previous startup 😆
Roses are red
our business is doomed
AWS bills don’t matter
until they really do
Roses are red
our business is doomed
AWS bills don’t matter
until they really do
December 30, 2024 at 4:23 PM
Doing the yearly tidying of my notes and found this "poem" I wrote to some colleagues at a previous startup 😆
Roses are red
our business is doomed
AWS bills don’t matter
until they really do
Roses are red
our business is doomed
AWS bills don’t matter
until they really do
I think one of my themes for next year will be to built prototypes with things I know absolutely nothing about. Starting with WebGPU ✨
December 25, 2024 at 5:26 PM
I think one of my themes for next year will be to built prototypes with things I know absolutely nothing about. Starting with WebGPU ✨
For some reason my “brush your teeth” drawings always have an aura of sheer panic to them 😂
December 15, 2024 at 7:34 AM
For some reason my “brush your teeth” drawings always have an aura of sheer panic to them 😂
Experimenting with a small key wallet design. Made quite a few mistakes but liking the direction ✨
December 14, 2024 at 1:07 PM
Experimenting with a small key wallet design. Made quite a few mistakes but liking the direction ✨
Really liking this bar’s drunk raccoon mascot 😍
December 9, 2024 at 6:40 PM
Really liking this bar’s drunk raccoon mascot 😍
Over the years I've written extensions for TextMate, Emacs, Eclipse, and VS Code. It's never been an amazing experience.
TextMate and Emacs had the lowest friction for getting started, which made it quite fun.
Makes me want to built an editor. @raycast.com's SDK sets the standard for me right now
TextMate and Emacs had the lowest friction for getting started, which made it quite fun.
Makes me want to built an editor. @raycast.com's SDK sets the standard for me right now
December 9, 2024 at 9:03 AM
Over the years I've written extensions for TextMate, Emacs, Eclipse, and VS Code. It's never been an amazing experience.
TextMate and Emacs had the lowest friction for getting started, which made it quite fun.
Makes me want to built an editor. @raycast.com's SDK sets the standard for me right now
TextMate and Emacs had the lowest friction for getting started, which made it quite fun.
Makes me want to built an editor. @raycast.com's SDK sets the standard for me right now
So excited to kick this off 😍
December 6, 2024 at 6:49 PM
So excited to kick this off 😍
I think I'll have to create a VS Code extension 🙀
I want to get the ^x+b behaviour of Emacs, and it's not quite possible with existing commands as far as I can tell.
I want to get the ^x+b behaviour of Emacs, and it's not quite possible with existing commands as far as I can tell.
December 6, 2024 at 9:45 AM
I think I'll have to create a VS Code extension 🙀
I want to get the ^x+b behaviour of Emacs, and it's not quite possible with existing commands as far as I can tell.
I want to get the ^x+b behaviour of Emacs, and it's not quite possible with existing commands as far as I can tell.
Watched Past Lives last night and really loved it 😍 beautifully shot as well
www.rottentomatoes.com/m/past_lives
www.rottentomatoes.com/m/past_lives
Past Lives | Rotten Tomatoes
Nora and Hae Sung, two deeply connected childhood friends, are wrest apart after Nora's family emigrates from South Korea. Two decades later, they are reunited in New York for one fateful week as they...
www.rottentomatoes.com
November 30, 2024 at 5:46 AM
Watched Past Lives last night and really loved it 😍 beautifully shot as well
www.rottentomatoes.com/m/past_lives
www.rottentomatoes.com/m/past_lives
Switched from wifi to ethernet in my office ✨
134/339 to 596/618 and greatly improved ping.
Will be fun to see if I actually feel a difference.
134/339 to 596/618 and greatly improved ping.
Will be fun to see if I actually feel a difference.
November 29, 2024 at 8:35 AM
Switched from wifi to ethernet in my office ✨
134/339 to 596/618 and greatly improved ping.
Will be fun to see if I actually feel a difference.
134/339 to 596/618 and greatly improved ping.
Will be fun to see if I actually feel a difference.
Really enjoying @jhey.dev’s Craft of UI newsletter.
If you’re working on UI and want some inspiration and in-depth guides, then you’ll enjoy it for sure ✨
craftofui.substack.com/subscribe
If you’re working on UI and want some inspiration and in-depth guides, then you’ll enjoy it for sure ✨
craftofui.substack.com/subscribe
Subscribe to The Craft of UI
Jhey showing you how to bring ideas to life with code and sharing other thoughts and goings on 🤙. Click to read The Craft of UI, by Jhey ʕ•ᴥ•ʔ, a Substack publication.
craftofui.substack.com
November 29, 2024 at 8:00 AM
Really enjoying @jhey.dev’s Craft of UI newsletter.
If you’re working on UI and want some inspiration and in-depth guides, then you’ll enjoy it for sure ✨
craftofui.substack.com/subscribe
If you’re working on UI and want some inspiration and in-depth guides, then you’ll enjoy it for sure ✨
craftofui.substack.com/subscribe
It’s impressive how well the Apple Cinema Display ages. I don’t feel any need for replacing it for my home setup any time soon
November 23, 2024 at 9:53 AM
It’s impressive how well the Apple Cinema Display ages. I don’t feel any need for replacing it for my home setup any time soon
Getting started on a gift for my brother - a tiny bag for his tiny keyboard
November 13, 2024 at 8:06 PM
Getting started on a gift for my brother - a tiny bag for his tiny keyboard