Marten
@martndemus.bsky.social
I wish there was a linter rule “no bugs”.
November 2, 2025 at 7:53 AM
I wish there was a linter rule “no bugs”.
Yes, you have free choice of which charging company you have a contract with
July 29, 2025 at 10:59 AM
Yes, you have free choice of which charging company you have a contract with
In the Netherlands you get a fob and it works on all the chargers, you get a monthly bill from the charging co that provided the fob. You can pick and choose between charging companies.
July 28, 2025 at 6:00 AM
In the Netherlands you get a fob and it works on all the chargers, you get a monthly bill from the charging co that provided the fob. You can pick and choose between charging companies.
I prefer to star trek
April 29, 2025 at 5:43 AM
I prefer to star trek
I used Claude Code for the first time today, switching from Aider. Code quality was much better, never broke a test, only needed correction once or twice. Burns through tokens though, about $2/hr, as it freely reads files from the repository at will.
February 26, 2025 at 3:34 PM
I used Claude Code for the first time today, switching from Aider. Code quality was much better, never broke a test, only needed correction once or twice. Burns through tokens though, about $2/hr, as it freely reads files from the repository at will.
Test suite with 28k tests: discovering a new flaky test every week!
December 20, 2024 at 8:48 AM
Test suite with 28k tests: discovering a new flaky test every week!
I thought I could nuke my dotfiles and start over. Biggest mistake ever.
December 17, 2024 at 8:51 PM
I thought I could nuke my dotfiles and start over. Biggest mistake ever.
I tried the Lazy starter pack, that was pretty overwhelming! Now back to basics indeed with just the plugin manager and a couple of plugins.
December 11, 2024 at 7:24 PM
I tried the Lazy starter pack, that was pretty overwhelming! Now back to basics indeed with just the plugin manager and a couple of plugins.
Yes, consider me intrigued as well.
December 7, 2024 at 6:53 PM
Yes, consider me intrigued as well.
That’s right, but v4 is just a small subset of all UUID, hence I feel robbed!
December 7, 2024 at 6:38 PM
That’s right, but v4 is just a small subset of all UUID, hence I feel robbed!
I feel robbed, this is only the subset of all UUID v4. My favorite UUID FFFFFFFF-FFFF-FFFF-FFFF-FFFFFFFFFFFF is missing too!
December 7, 2024 at 8:38 AM
I feel robbed, this is only the subset of all UUID v4. My favorite UUID FFFFFFFF-FFFF-FFFF-FFFF-FFFFFFFFFFFF is missing too!
I like it, I did have issues distinguishing between driving and driven!
November 30, 2024 at 3:59 AM
I like it, I did have issues distinguishing between driving and driven!
Just as evergreen as:
There are two hard thing in CS:
Naming things
Caching things
Off by one errors
There are two hard thing in CS:
Naming things
Caching things
Off by one errors
November 28, 2024 at 7:30 PM
Just as evergreen as:
There are two hard thing in CS:
Naming things
Caching things
Off by one errors
There are two hard thing in CS:
Naming things
Caching things
Off by one errors
I don’t know any better than that I learned it from one of the early Agile books. Curious to find out though!
November 28, 2024 at 7:22 PM
I don’t know any better than that I learned it from one of the early Agile books. Curious to find out though!
@b0rk.jvns.ca I chose to start out with NetBewsWire and it looks like I don’t even need to look up your blog’s RSS feed!
November 25, 2024 at 5:45 AM
@b0rk.jvns.ca I chose to start out with NetBewsWire and it looks like I don’t even need to look up your blog’s RSS feed!
Thank you! This and the other responders tips has given me something to dig into!
November 23, 2024 at 8:41 PM
Thank you! This and the other responders tips has given me something to dig into!
RSS was really special, I too stopped using it when Google Reader was shut down. If I wanted to get going with RSS again, where should I start? Is it still easy to discover RSS feeds?
November 23, 2024 at 1:37 PM
RSS was really special, I too stopped using it when Google Reader was shut down. If I wanted to get going with RSS again, where should I start? Is it still easy to discover RSS feeds?
Thanks for clarifying that distinction, very helpful!
November 21, 2024 at 3:42 AM
Thanks for clarifying that distinction, very helpful!
Isn’t the same(-ish) analogy used in one of the XP books, but using steering a car instead?
November 20, 2024 at 9:36 PM
Isn’t the same(-ish) analogy used in one of the XP books, but using steering a car instead?