@prologic@twtxt.net Yeah, sound impressive, I gotta try this. 👌

Next heat wave coming up?

Still a few days to go, luckily, and these models aren’t super accurate … we’ll see …

@david@daiwei.me Yes!

So, a hobby OS, just like Linux was for Linus?

Although this is really an exercise is self-hosting a lagnguage, then self-hosting the language to build a self-hosting OS. It’s all meta-circular.

@david@daiwei.me It’s somewhat expected to have a fair bit of Assembly (machine code) to get some of the bits you need going. But I think I can reduce this a bit. Let’s see…

Dunno if anyone will find this interesting… But some ~6 months or so ago I experimented briefly with creating a whole bootloader + kernel + userland – Basically an entire OS in the Mu programming language (which as you know I also designed and created) – 6 months later I’ve worked on it some more after spending the last week working on improvements to Mu itself, which is now able to compile itself with its own Mu implemented compiler and now have an os/arch backend called muos/amd64 that boots into a running shell, with a tiny little vfs, UNIX-like semantics, syscalls, read/write, etc. It works pretty nicely, and aside from a small Assembly “nucleus”, most of the Kernel and Userspace is written in Mu.

https://git.mills.io/prologic/muos

Bwahahahaha, wie geil! :‘-D Wenn Österreicher Hochdeutsch sprechen müssen: https://www.youtube.com/watch?v=Xh-l1wfIDXY

Gestern Abend den Austrian Kiwi entdeckt, ein Neuseeländer, der seit ein paar Jahren in Österreich lebt. Der hat ein paar absolut großartige Videos.

@movq@www.uninformativ.de Type hints are just… so weird.

@movq@www.uninformativ.de I see! :-D So, how was your banana then?

@lyse@lyse.isobeef.org Ruff, the formatter/linter, yeah.

Lol, never heard of that banana moment before, but it sounds very fitting. :-D

No wonder. I just made that up. 🤣

Why.

Python’s numeric types complex, float and int are not subtypes of each other, but to support common use cases, the type system contains a straightforward shortcut: when an argument is annotated as having type float, an argument of type int is acceptable; similar, for an argument annotated as having type complex, arguments of type float or int are acceptable.

https://typing.python.org/en/latest/spec/special-types.html#special-cases-for-float-and-complex

@movq@www.uninformativ.de I hear you! It’s so annoying. Ruff, the formatter?

Lol, never heard of that banana moment before, but it sounds very fitting. :-D

@movq@www.uninformativ.de That’s cool! :-)

@lyse@lyse.isobeef.org

For the tags feed it would be cool to include the actual changelog entries

Did that now:

🥳

@movq@www.uninformativ.de Oh dear, Thunderbird became such garbage.

@movq@www.uninformativ.de You know you could in theory use the Twtxt App and the Twtxt Feeds service as your “news reader” right? 😅

@lyse@lyse.isobeef.org Bingo!

Oh, yeah, newsboat is good. For this particular use case, I explicitly needed a graphical feed reader, though. 😅 I ended up using Thunderbird, which has its own interesting way of configuring/adding feeds:

https://movq.de/v/a3557e3dc9/vid-1784952576.mp4

Why are feeds categorized as “Mail”? What’s going on with that “Add” button on the left of the dialog? Why does the dialog indicate that there’s a folder called “list-files Recent Commits” which doesn’t really exist in the end? (Why does it take about 1-2 seconds to load 25 feed items?) And so on.

@prologic@twtxt.net Ahh gotcha 👌

@GabesArcade@gabesarcade.com LOL 😂

@eldersnake@we.loveprivacy.club Login to https://feeds.twtxt.net/ with your Pod’s account. Re-create whatever you like. In the end I had to start over, there was too much mess. As you can no doubt imagine, the reason for revamping the feeds service was to thwart SPAM and Junk.

@prologic@twtxt.net sorry if I missed it somewhere… are Yarn feeds like slashdot no longer a thing?

@movq@www.uninformativ.de Since you ask, it must be only the one in the title bar, but not the one below. :-( Let me suggest Newsboat to you: https://newsboat.org/

@movq@www.uninformativ.de Not sure, I very rarely see people wearing cowboy hats. They’re a great protection against the sun in my opinion. Even as a child, I always loved their looks, but I only wear them in summer for that particular reason. Unfortunately, they’re too cumbersome to carry around not on your head. And they don’t combine with bicycle helmets or head rests.

About one and a half decades ago, I made two hats myself. Sadly, they both turned out to be failures.

Haha, now that you mention the aliens, I cannot unsee them anymore. :-D

Tell me which one of those “plus” icons on this screenshot you can click and which one is just decoration.

FFS.

@lyse@lyse.isobeef.org Hats are back, aren’t they? Lots of people wearing hats these days, like, the big ones. 🤔

06.jpg looks like it’s from another planet. 😅

@david@daiwei.me You better stick to your doctor’s prescription of mowing three times a week.

@david@daiwei.me Thank you! They were so busy, my camera got dizzy:

@prologic@twtxt.net Seems to work? 🧐

Skipped a meeting and went for a stroll this arvo because my head was aching due to tension caused by lack of physical activity. That was a very good decision: https://lyse.isobeef.org/waldspaziergang-2026-07-23/

I’m not a fan of light shows but that’s a cool UFO! https://youtu.be/DbSmUCCR9Es

Dang it, @david@daiwei.me, you blew my cover!

I was raised without a TV, so I don’t miss it one bit. My parents just didn’t by a new one after their super old black and white device died. Looking after a baby was maybe spare time activity enough for them. :-P

When there was some super cool program I wanted to watch, like a James Bond movie, I visited my grandma. Sure, it sometimes was a pity that I could not join yesterday’s TV series discussions with my classmates, but oh well. I survived that. Building stuff with Lego or playing outside was all I really wanted.

Apart from a few really good programs, there’s sooooo much trash, non-stop ads and the like. Even as a kid, I was very disgusted by all that. But I have to admit that visting somebody with a TV and watching a good show was usually a highlight. These days, I can easily waste all my time and more on YouTube. :-/

@movq@www.uninformativ.de @klaxzy@klaxzy.net Same situation here.

Data protection, @dce@hashnix.club! :-D

This revealed another bug in my client that I still need to fix at some point. Inserting an empty set of messages failed with an SQL logic error. Whoops. I didn’t think about that corner case.

@klaxzy@klaxzy.net Hey, sounds exactly like the company I work(ed) for.

@prologic@twtxt.net I don’t think so? At least, I didn’t hear about any issues on Codeberg’s end. It may, of course, have had something to do with me using HTTPie instead of wget, but I really don’t know what happened.

@movq@www.uninformativ.de Oh I agree. Long-term the whole thing is completely “fucked”. But it says more about “Cloud” and “X as a Service” than about “AI” itself. It’s a bit like all these fucking entertainment subscription services you need to entertain one’s self. How many subscriptions does one need to Hulu, Netflix, Disney+, Stan, etc, etc.

@prologic@twtxt.net Our company is paying a shitload of money for all these (different) AI tools … I’m probably not allowed to tell you the exact number, but it is a lot. The only other way would be to lay off employees, so we can pay even more for AI. (Needless to say, that would be the worst possible move.)

For a private person, $20 a month is also pretty expensive, isn’t it? And then assume that you maybe need more than one AI tool. You’re quickly up to $50 a month or much more. This isn’t something that I, as a private person, will ever be willing to spend for this kind of stuff.

“AI” is just expensive as fuck. On every level. They will have to (ab)use every possible way to squeeze more money out of it, and that includes ads and what not.

@GabesArcade@gabesarcade.com this sort of tells me two things 1) that enterprises aren’t really engaging with OpenAI and establishing lucrative enough contractual agreements and 2) users aren’t willing to pay for ChatGPT or if they are aren’t willing to pay much more than $20 a month

@dce@hashnix.club Was it ever really empty on the Codeberg side in the Git repo? 🤔

@aelaraji@aelaraji.com Perfect! :-D

@movq@www.uninformativ.de it’s a shame we have to ruin such great technology that only depends a lot of this with crappy bullshit nonsense like advertising we’ve been into responses 🤦‍♂️

@prologic@twtxt.net This was to be expected and I’m glad that it’s finally happening. I seriously hope that AI/LLM output gets swamped with advertisements or unwanted code, so people see what they have gotten themselves into, especially the “vibe coders”.

@david@daiwei.me You might have ended up loading the page in an unfortunate moment while I was reworking it. 😅 The CHANGES file is there, in the browser:

Advertise in ChatGPT | Hacker News Seriously?! 😳 wut da actual fuq?! 😱

@aelaraji@aelaraji.com Perfect! 👌

@prologic@twtxt.net Sorry I haven’t seen your question before! and to answer your question, no, it wasn’t hard at all. it’s a simple go build …etc. as instructed + scp twtd to remote + made a systemd service for it to (re)start automatically under a dedicated twtd user for lols. + poked at the Caddyfile to reverse-proxy a couple of paths and called it a day.

Too much info?

@david@daiwei.me @lyse@lyse.isobeef.org How about Augmented Ignorance ? it packs a better punch, doesn’t it? 😅

@movq@www.uninformativ.de Yes good I think we are too! 👌

@david@daiwei.me Go down to “Releases”, there’s a link to the CHANGES: https://movq.de/git/jenny/CHANGES.html

@lyse@lyse.isobeef.org Yeah, the feed names are legacy and I didn’t want to set up redirect rules. (I can’t really tell if anybody actually uses them …)

Extracting the info from the CHANGES file would be nice. Maybe I’ll add that. :-)

@aelaraji@aelaraji.com @david@daiwei.me Hahaha, neither did I came across this before. :-D