Mads Hartmann's Avatar

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

137 Followers  |  398 Following  |  38 Posts  |  Joined: 24.06.2023  |  1.4356

Latest posts by mads-hartmann.bsky.social on Bluesky

Post image Post image

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 😁

25.07.2025 18:27 — 👍 0    🔁 0    💬 0    📌 0

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 😅

20.05.2025 08:21 — 👍 1    🔁 0    💬 0    📌 0

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 😆

14.05.2025 08:54 — 👍 0    🔁 0    💬 0    📌 0
Post image Post image Post image

🇪🇸 Offsite at a castle in Spain 🏰

07.04.2025 07:23 — 👍 1    🔁 0    💬 0    📌 0
Preview
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 ...

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...

28.03.2025 19:27 — 👍 2    🔁 1    💬 0    📌 0

I might still that trick to get PRs merged 🤪

02.03.2025 21:01 — 👍 1    🔁 0    💬 1    📌 0
Post image

It's done 🥳 I might still try to add some finishing to the internal stitching but very happy with how it turned out

27.01.2025 18:45 — 👍 3    🔁 0    💬 0    📌 0
Post image

I want a PC with a power button with this kind of aesthetic

20.01.2025 07:47 — 👍 3    🔁 0    💬 0    📌 0
Post image

Making good progress ✨

17.01.2025 20:36 — 👍 3    🔁 0    💬 1    📌 0
Post image Post image

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.

09.01.2025 02:32 — 👍 63    🔁 23    💬 3    📌 1

The palm thimble looks really neat. For my leather projects so far I’ve been punching holes before stitching so was planning to just default to that again ☺️

08.01.2025 18:27 — 👍 3    🔁 0    💬 1    📌 0

Not sure about the canvas, might try Eva’s sewing machine if I can work out how to use it 😛 The leather parts will for sure be sown by hand

08.01.2025 18:14 — 👍 2    🔁 0    💬 1    📌 0
Post image

Preparing for a mixed canvas and leather project 🤩

08.01.2025 18:01 — 👍 4    🔁 0    💬 2    📌 0

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?

07.01.2025 08:08 — 👍 1    🔁 0    💬 0    📌 0

I regret throwing out the box for my Studio Display. I need to transport it to a LAN party soon. Any recommendations for alternatives?

06.01.2025 14:05 — 👍 1    🔁 0    💬 0    📌 0
Post image Post image Post image

Recreating a neat design from Modori in cardboard in preparation for attempting a version in leather

05.01.2025 15:23 — 👍 2    🔁 0    💬 1    📌 0
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...

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...

04.01.2025 18:11 — 👍 2    🔁 0    💬 0    📌 0

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

30.12.2024 16:23 — 👍 3    🔁 0    💬 0    📌 0
Post image

I think one of my themes for next year will be to built prototypes with things I know absolutely nothing about. Starting with WebGPU ✨

25.12.2024 17:26 — 👍 2    🔁 0    💬 0    📌 0
Post image

For some reason my “brush your teeth” drawings always have an aura of sheer panic to them 😂

15.12.2024 07:34 — 👍 2    🔁 0    💬 0    📌 0
Post image Post image

Experimenting with a small key wallet design. Made quite a few mistakes but liking the direction ✨

14.12.2024 13:07 — 👍 1    🔁 0    💬 0    📌 0

Definitely, I’m using that binding too ✨

13.12.2024 12:37 — 👍 1    🔁 0    💬 1    📌 0
Preview
GitHub - mads-hartmann/karabiner: My Karabiner Elements configuration My Karabiner Elements configuration. Contribute to mads-hartmann/karabiner development by creating an account on GitHub.

I’ve been having quite some fun with Karabiner Elements: github.com/mads-hartman...

The emacs mark mode emulation is pretty neat IMO

10.12.2024 11:31 — 👍 2    🔁 0    💬 1    📌 0
Post image Post image

Really liking this bar’s drunk raccoon mascot 😍

09.12.2024 18:40 — 👍 0    🔁 0    💬 0    📌 0

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

09.12.2024 09:03 — 👍 4    🔁 0    💬 0    📌 0

Turns out it's not quite possible to build this based on the public API of VS Code 😿

09.12.2024 08:59 — 👍 0    🔁 0    💬 0    📌 0
Post image

So excited to kick this off 😍

06.12.2024 18:49 — 👍 3    🔁 0    💬 2    📌 0

quickOpenPreviousRecentlyUsedEditor doesn't allow you to type to filter down the list. showAllEditors does, but it doesn't default the selection to the previous active editor, which means you can't use it to quickly switch between two editors.

06.12.2024 09:45 — 👍 1    🔁 0    💬 1    📌 0

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.

06.12.2024 09:45 — 👍 1    🔁 0    💬 1    📌 0
Preview
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...

Watched Past Lives last night and really loved it 😍 beautifully shot as well

www.rottentomatoes.com/m/past_lives

30.11.2024 05:46 — 👍 2    🔁 0    💬 1    📌 0

@mads-hartmann is following 20 prominent accounts