I’m inclined to remove all mouse support, except for moving windows. 🤔 I originally wanted this to emulate the behavior of DOS programs, but a) mouse support is a lot of code, b) using the mouse is cumbersome anyway and I would rarely do it.

Slow progress: My hex editor now has an info panel that shows what’s under the cursor. https://movq.de/v/f9586ec65c/s.png

What’s going on here?

https://imgur.com/gallery/dude-back-trying-to-keep-together-ilY5Ltu

Is that real? Did I just watch a politician genuinely chuckle? That’s unheard of. Is that even legal?

@lyse@lyse.isobeef.org Sauna is awesome – if it wasn’t for other people. 🤣 A little mökki in Finland with a private sauna, that would be it.

@lyse@lyse.isobeef.org Found some numbers now, they’re saying it was around 10cm in 3-4 hours. I don’t know, felt like more. 😂 The forecast wasn’t really good either, now that I think about it. They said there’s going to be some snow, okay, fine, but then, boom.

Haha, that old ad is lovely. Those days are over. 🤣

Haven’t watched it to the end yet, but @lyse@lyse.isobeef.org might like this: https://www.youtube.com/watch?v=EarBm4tfMXs

@lyse@lyse.isobeef.org I don’t know a number (wait, why can’t I google a Wetterbericht but only a Wettervorhersage?!), but it was enough for public transportation to shut down. 😅 I think I saw around five trucks on the side of the road who couldn’t continue, too icy. Some cars stranded.

My car has an automatic gearbox and I’m not sure if that’s good or bad in such conditions. 😂 Pretty hard to accelerate without spinning wheels …

@prologic@twtxt.net (While browsing through that, I noticed that https://mu-lang.dev/ itself doesn’t really mention the source code repo, does it? 🤔 Like, the quickstart guide begins with “Build the host: go build ./cmd/mu”, but where’s the git clone … command? 😅)

I’m not really sure what the goal is. 🤔 Do you want to get pull requests for the docs? Or bug reports for mu itself? 🤔

Well that was a lot of snow. Barely made it home. (Because, of course, today was the day where I went to the office. 🤣)

Have some Igorrr:

Blastbeat Falafel

Limbo

And probably still my favorite:

Houmous

Aww man, I need to pick up learning Finnish again. I just love the sound of that language.

Surprisingly, I still understand quite a bit of what she’s saying here: https://www.youtube.com/watch?v=Wfnt5-7QBvQ

@lyse@lyse.isobeef.org

I reckon up until then you had to have another first name that clearly differentiated.

Yes, apparently so. (I’m glad we stopped doing that. I don’t get this obsession with the contents of other people’s pants. 🤢)

Now I’m wondering, was that also the beginning when parents started giving their kids really weird names?

Did this ever happen or was this an urban myth? Would have to dig up some statistics, I guess. (Anecdotal evidence: None of the people I know gave their kids crazy names. 😆)

Fell into a bit of a rabbit hole and learned that it took German law until 2008 to actually allow unisex/gender-neutral first names: https://www.bundesverfassungsgericht.de/entscheidungen/rk20081205_1bvr057607.html 🤦

@bender@twtxt.net Will do. 🤣

@arne@uplegger.eu Das klingt spannend! Setze ich mal auf die Liste. (Bin gerade an The Luminous Dead dran.)

I wonder if my elderly German neighbors have learned enough English by now to understand what I’m swearing about all day long. 🤔

@klaxzy@klaxzy.net Nope, not IONOS, but we use them a lot at work. To be honest, I consider them one of the better providers (at least regarding the IaaS stuff that we do). 😅

My hoster broke UDP, so DNS is broken as well and that takes a lot of things with it. No more email for me, I guess.

Let’s hope they’ll fix it soon.

@prologic@twtxt.net (I still don’t know how you can muster up so much motivation and energy (especially when you have a family). Are we the same species?! 😅)

@lyse@lyse.isobeef.org Abed is a character from Community and “cool cool cool” was one of his “things”: https://www.youtube.com/watch?v=vMXYjejIup4

@lyse@lyse.isobeef.org Ohh, Winter Wonderland. Lovely!

Never had frozen hair. 😳 With just around 0°C? 🤔

@lyse@lyse.isobeef.org (Was that a reference to Abed? 😅)

Just importing data classes takes another 60 ms … This fancy new stuff is really costly.

Omg, Python. Parsing arguments with argparse takes 50 ms on my NUC, because this pulls in all kinds of fancy stuff behind the scenes, colorization and what not. 😮‍💨

Another project where I’m going to use my terminal widget toolkit is a hex editor. This is still very young, obviously, and there’s a lot of work to do (both in the toolkit and this particular application), but I’m making some progress:

https://movq.de/v/2bae14ed16/vid-1769283187.mp4

Since this program is UTF-8 clean (I hope), you can do things like enter multi-byte UTF-8 sequences or paste them from the system clipboard (another hex editor I just tried failed to do this correctly):

https://movq.de/v/e9241034c1/vid-1769283755.mp4

Under the hood, I’m using mmap() with MAP_PRIVATE, which is really cool: I get the entire file as a byte array, no matter how large it is, no need to actually read it upfront; and MAP_PRIVATE means that I can write to this area however I like without changing the underlying file. The kernel does copy-on-write for me. Only when you hit Save, it will write to the filesystem. And it’s just a couple lines of code. The kernel does all the magic. 🥳

(Thank goodness, they turned it off for the weekend! So it’s only 24/5! Whoop, whoop.)

@lyse@lyse.isobeef.org That’s a long way to walk! 🤯

@bender@twtxt.net Naaah, I don’t have a dish washer either, it’ll be fine. 🤣 (No it won’t.)

My washing machine is making funny noises and I’m this 🤏 close to just throwing it out and washing everything by hand, instead of buying another expensive enshittified product that’s designed to break down in a couple of years.

Washing is easy anyway, the spin cycle to dry that stuff is the important part …

ChatGPT https://brynet.ca/chatgpt/

@shinyoukai@yume.laidback.moe 🙋 with extra 24/7 noise from the construction site outside (construction guys live in a little “container” and they need power, so they have a diesel generator running 24/7)

Great article by Ploum about chatbots/AI and education: https://ploum.net/2026-01-19-exam-with-chatbots.html

@shinyoukai@yume.laidback.moe 🤣

When people “make plans”, I always respond like this:

https://movq.de/v/9a8712846d/at-night.jpg

Finally found the clip where this is from:

https://www.youtube.com/watch?v=VfDty810Kfc&t=65s

@prologic@twtxt.net Reminds me to have another look at LSP. Last time I checked, it was super messy in Vim. 🤔

Spent basically the entire day (except for the mandatory walk) fighting with Python’s type hints. But, the result is that my widget toolkit now passes mypy --strict.

I really, really don’t want to write larger pieces of software without static typing anymore. With dynamic typing, you must test every code path in your program to catch even the most basic errors. pylint helps a bit (doesn’t need type hints), but that’s really not enough.

Also, somewhere along the way, I picked up a very bad (Python) programming style. (Actually, I know exactly where I picked that up, but I don’t want to point the finger now.) This style makes heavy use of dicts and tuples instead of proper classes. That works for small scripts, but it very quickly turns into an absolute mess once the program grows. Prime example: jenny. 😩

I have a love-hate relationship with Python’s type hints, because they are meaningless at runtime, so they can be utterly misleading. I’m beginning to like them as an additional safety-net, though.

(But really, if correctness is the goal, you either need to invest a ton of time to get 100% test coverage – or don’t use Python.)

@shinyoukai@yume.laidback.moe Yeah, I avoided that issue as well. I moved everything on the website except for the twtxt stuff.

@lyse@lyse.isobeef.org The thing is that’s hard to avoid if TYPE_CHECKING, but documentation tools such as pdoc don’t support that … so it’s either type hints or API docs. 🤷

I hope I can eventually find a way out of this mess …

@javivf@adn.org.es Oh! Thanks, should be fixed now. 😊

Yikes. https://adamj.eu/tech/2021/05/13/python-type-hints-how-to-fix-circular-imports/

@lyse@lyse.isobeef.org All that short brown grass, almost looks like Scotland. 🤔 (I’ve never been there. 😅)

What the heck is 06.jpg?

@prologic@twtxt.net Changed the domain of my website (except for twtxt).

@lyse@lyse.isobeef.org (At least I didn’t break all the links again. In late 2015, I switched from a PHP backend to the current static website, which changed just about everything. I hope doing a disruptive change like this one every 10 years is tolerable. 😅)

@lyse@lyse.isobeef.org Oh, right. Forgot about that. 🫤

Did it work? Am I still here? 🤣

@prologic@twtxt.net I think I found an easy way to redirect anything except the twtxt stuff. That’s probably better. 🤔

So, are you guys up for an experiment?

I’m really not happy with the domain “uninformativ.de” anymore. I’m going to switch to “movq.de” soon (or maybe something else if I get another fancy idea).

If I keep the url = field in my twtxt file, nothing should break, right? Right? 🤣

@prologic@twtxt.net Yup. 😅

@bender@twtxt.net gemini-cli, something something https://github.com/google-gemini/gemini-cli/issues/16723

I recently got an email with this byte sequence:

\xf0\x9f\x8e\x81\xf0\x9f\x95\xaf\xef\xb8\x8f

That’s U+1F381, U+1F56F, U+FE0F. The last one is a “variation selector”:

https://unicodeplus.com/U+FE0F

My toolkit renders this incorrectly – and so do tmux and GNU screen.

Unicode ain’t easy. 🥴