🕒 Hi, the current time is about a quarter past three in the small hours 😴.

@prologic@twtxt.net How on earth did you do that so quickly, especially day 10? People were struggling with this a lot. 🤯

@movq@www.uninformativ.de Haha 😆

@prologic@twtxt.net Jesus, that was quick. 😅

I cleaned up all my of AoC (Advent of Code) 2025 solutions, refactored many of the utilities I had to write as reusable libraries, re-tested Day 1 (but nothing else). here it is if you’re curious! This is written in mu, my own language I built as a self-hosted minimal compiler/vm with very few types and builtins.

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

I finished all 12 days of Advent of Code 2025! #AdventOfCode https://adventofcode.com — did it in my own language, mu (Go/Python-ish, dynamic, int/bool/string, no floats/bitwise). Found a VM bug, fixed it, and the self-hosted mu compiler/VM (written in mu, host in Go) carried me through. 🥳

@movq@www.uninformativ.de I shrank Day 9 Part 2 from “cover the whole map” to “only track the interesting lines.” By compressing coordinates to just the unique x/y breakpoints, the grid got tiny. I still flood-fill and do the corner-pair checks, but now on that compact grid with weighted prefix sums for instant rectangle checks. Result: far less RAM, way less CPU, same correct answer.

@prologic@twtxt.net How did you optimize that? 🤔

Day 9 also required some optimizations, if you aren’t careful, you end up with really inefficient algorithms with time/memory complexity beyond what a typical machine has 🤣

Ooops, I’ve run into a bug or limitation with mu for Day 9 🤔

Day 7 was pretty tough, I initially ended up implementing an exponential in both time and memory solution that I killed because it was eating all the resources on my Mac Studio, and this poor little machine only has 32GB of memory (I stopped it at 118GB of memory, swapping badly!), This is what I ended up doing before/after:

• Before: Time O(2^k · L), memory O(2^k), where k is the number of splitters along a reachable path and L is path length. Exponential in k.
  
• After: Time O(R·C) (or O(R·C + s) with s split events), memory O©, where R = rows, C = columns. Polynomial/linear in grid size.

@shinyoukai@neko.laidback.moe Good 😊

I just completed “Printing Department” - Day 4 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/4 – Again, I’m doing this in mu, a Go(ish) / Python(ish) dynamic langugage that I had to design and build first which has very few builtins and only a handful of types (ints, no flots). 🤣

I just completed “Lobby” - Day 3 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/3 – Again, I’m doing this in mu, a Go(ish) / Python(ish) dynamic langugage that I had to design and build first which has very few builtins and only a handful of types (ints, no flots). 🤣

@shinyoukai@neko.laidback.moe Funny you should say that, I designed a new Prolog(ish) Symbolic Reasoning Engine and DSl over the holidays 🤣

Porreiro do Taço

That’s some cool science in @xuu@txt.sour.is’s backyard: https://youtu.be/bzBcs0jv9G4

H… Ho… How have I not heard about vim-tagbar before? 😳

https://github.com/preservim/tagbar

Let’s see 😂

Bought more cheap slot plates (with bad reviews and people complaining about the pin order, because I could’nt find a product without such reviews), but those are simply correct now and just work. 🤪

(Well, one part late in the calendar might need floats, depending on how you solve it …)

@prologic@twtxt.net You won’t need floats, but 64 bit integers are mandatory. 😅

Did I mention mu only supports ints? 🤔 I’m not sure if I’ll need flots for this year’s AoC? 🤔

I’m having to write my own functions like this in mu just to solve AoC puzzles :D

fn pow10(k) {
    p := 1
    i := 0
    while i < k {
        p = p * 10
        i = i + 1
    }
    return p
}

I just completed “Gift Shop” - Day 2 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/2 – But again, I’m solving this in my own language mu that I had to build first 🤣

@prologic@twtxt.net Whoop, whoop! Nice! And welcome back. 😅

I’m seeing crashes in the 3D subsystem. (Gallium? Glamor? Whatever other Mesa thing they have? No idea.) In the logs I find this:

malloc(): unaligned tcache chunk detected

And that’s why I still care about Rust and want to learn more about it, even though it’s giving me so much headache and I’ve given up so many times. Because Rust currently seems to be the only popular systems programming language that tries to eliminate these error classes.

And of course “the Rust experiment” in the Linux kernel has recently been concluded as “successful”, so that alone is reason enough for me:

https://lwn.net/Articles/1049831/

I just completed “Secret Entrance” - Day 1 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/1 — However I did it in my own toy programming language called mu, which I had to build first 🤣

That’s the right answer! You are one gold star closer to decorating the North Pole. [Continue to Part Two]

Whoo! Making progress! With AoC 2025 solutions implemented in my own toy language 🤣

Ahh that’s because I forgot to call main() at the end of the source file. mu is a bit of a dynamic programming language, mix of Go(ish) and Python(ish).

$ ./bin/mu examples/aoc2025/day1.mu 
Execution failed: undefined variable readline

Come back from my trip, run my AoC 2025 Day 1 solution in my own language (mu) and find it didn’t run correctly 🤣 Ooops!

$ ./bin/mu examples/aoc2025/day1.mu
closure[0x140001544e0]

And I’m back from my holidays! 🥳 Back to work boo 😒

Using #Python’s #pathlib to compare two repos and get back some missing files from a “recovered” version of a repo (mostly stuff in .gitignore that is handy not to discard right now).

from pathlib import Path

a = Path('sketch-a-day')
b = Path('sketch-a-day_broken')

files_a =  {p.relative_to(a) for p in a.rglob('*')
    if '.git' not in str(p)
    if 'cache' not in str(p)
    if 'checkpoint' not in str(p)
}
files_b =  {p.relative_to(b) for p in b.rglob('*')
    if '.git' not in str(p)
    if 'cache' not in str(p)
    if 'checkpoint' not in str(p)
}
missing = files_b - files_a

for p in missing:
    (b / p).rename((a / p))

@shizamura omg tens aí um labubu

Pronto, encontrámos o @edsantos e viemos parar ao Preto dos Anjos

Eu até simpatizo com o senhor, mas a versão que o David Fonseca fez do White Christmas é inexplicavelmente péssima, nada se aproveita

Em Lisboa para a AG da @d3 , onde é que se come bem nos Anjos?

Como ficaria as sua #VidaDigital se você perdesse acesso à sua conta do #Google (gmail, drive, photos e etc.)? Isso pode acontecer e acontece.

Tento pensar nisso pelo menos uma vez por ano. De tempos em tempos uso google.com/takeout e fica cada vez mais difícil.

Impulsionei agora pouco um post sobre uma pessoa trancada pra fora da conta da #Apple, um desastre também.

FFS! Finally got a better Internet service 🥲

Alright, Advent of Code is over:

https://www.uninformativ.de/blog/postings/2025-12-12/0/POSTING-en.html

It’s been quite the time sink, especially with the DOS games on top, but it was fun. 🥳

In case you’re wondering: All puzzles (except for part 2 of day 10) were doable in Python 1 on SuSE Linux 6.4 and ran in a finite time on the Pentium 133. Puzzle 10/2 might have been doable as well if I had better education. 🤣

Right at sunset we went for a quick stroll into the woods. Cannot complain about the colors in the sky: https://lyse.isobeef.org/abendhimmel-2025-12-12/

@shinyoukai@neko.laidback.moe Time to become a trixie or forky!

@aelaraji@aelaraji.com Yes, exactly. It also blows my mind that with sooo much less budget and equipment, her videos are way superior to productions of big TV stations.

@shinyoukai@neko.laidback.moe is that https://github.com/owncloud/ocis (Go based, instead of PHP 🤮)?

@lyse@lyse.isobeef.org I swear, Her vlog is all I needed to cleanse my soul! Full of pure human interactions (whenever there is any), No BS No pretending and No Nonsense. Again, Thank you!

@aelaraji@aelaraji.com Anytime! Glad you like it, too. :-)

@lyse@lyse.isobeef.org It was too late when I read the “Addictive” warning… 😆 Thanks for sharing this!

Ano que vem no MAM-SP vou dar dois cursos online, o que eu dei ano passado vai ser em abril, mas agora em janeiro eu vou dar um outro curso mais curtinho com 3 encontros:

https://mam.org.br/curso/arte-computacional-produzindo-imagens-reticuladas/

#py5 #programaçãoCriativa #arteComputacional #Python

Image

@bender@twtxt.net agreed

@aelaraji@aelaraji.com probably a bug on my end with the bridge. I’ll figure it out with your help when I get home from my holidays.

@shinyoukai@neko.laidback.moe it was a mess, we are better without it. Until a new mobile client comes (not holding my breath), Yarn is very usable on the mobile, just using the browser.

@prologic@twtxt.net I dunno if it’s me or the bridge, but my pleroma instance didn’t pull any of your notes + a follow request got stuck as Request Sent

Image

Vor einiger Zeit auf Zeilsteen habe ich “Pool Scene” von Chalk zum ersten Mal gehört und jetzt habe ich einen Ohrwurm.
https://www.youtube.com/watch?v=m0aJc3A-rIc

ok novo recurso pra perder tempo

https://c.eev.ee/doom-text-generator

Image

praça de alimentação de rico é “food hall”, que ridículo

What the fresh hell! “Glance” wants to take over my Android lock screen and won’t take NO for an answer, just “Not now — so I’ll ask again later!”

Updade: found the app and disabled it, I hope it won’t be able ta ask again anything.

What the fresh hell! “Glance” wants to take over my Android lock screen and won’t take NO for an answer, just “Not now — so I’ll ask again later!”

https://9to5google.com/2024/04/26/glance-android-lockscreen-motorola-turn-off/

Waiting for @prologic@twtxt.net to make it back from his luxurious vacation, to engage on Australia’s teen-under-16 social media banning technical, parental, and philosophical discourse.

@prologic@twtxt.net @bender@twtxt.net I see, ta! :-)

@bender@twtxt.net that’s kind of what I was getting it initially yeah

@movq@www.uninformativ.de this is brilliant!

Webp, though it has been around for a long while, wasn’t fully supported on all browsers until recently. The other formats have been in use for such a long time, proving to work just fine, that the advantages Webp provides haven’t been seemingly enough to merit a switch.

Google is also the one behind Webp, and, well, people don’t trust, nor like, them much.

Webp, though it has been around for a long while, wasn’t fully supported on all browsers until recently. The other formats has been in use for such a long time, proving to work just fine, that the advantages Webp provides haven’t been seemingly enough to merit a switch.

Google is also the one behind Webp, and, well, people don’t trust, nor like, them much.

@zvava@twtxt.net I figure I will know when it is ready, the day I see you using it. Can’t wait! :-)

@movq@www.uninformativ.de lovely, thanks for sharing! Now you know what I will be using today on a loop.

May I turn your attention to this timeless masterpiece:

https://www.youtube.com/watch?v=zkyFHx4ncR0 (Terra Ferma - Floating)

@zvava@twtxt.net looking sweet!

@movq@www.uninformativ.de @zvava@twtxt.net I think people get sick of everything changing all the time and so don’t bother adopting things to change when things are already good enough 🤷

@prologic@twtxt.net Yeah, but isn’t it from 2010? No widespread adoption after 15 years? Is there that much inertia? 🤔 On my box, everything just works – browser, GIMP, ImageMagick, imlib2, … 🤔

Ba Na Hills and it’s basically clouds at this point 🤣

@movq@www.uninformativ.de I think WebP being new just hasn’t seen widespread adoption everywhere (yet) 🧐

i’m always open to suggestions: PRs also welxome 🤣

#FediAjuda #AjudaMastodon meu irmão precisa comprar um computador, ele precisa navegar e rodar alguns programas de desenho, tipo inkscape. Ele sabe um pouco de SketchUp, e não sei se consigo tirar ele do Windows :((

Estamos no Brasil, alguma sugestão/dica perto de 2mil reais parcelados? Da Suponho que tela de 15”, i3 e SSD seja o mínimo?

@zvava@twtxt.net come on, bbycll, come! :-P

Searching the web a bit brings up lots of threads where people hate WebP. The problem being that browsers support WebP but other programs tend to be problematic … ? 🤔

@lyse@lyse.isobeef.org Yeah, no idea why that is. 🤔

@lyse@lyse.isobeef.org Nice! 🌇

@lyse@lyse.isobeef.org where he was is fog. That’s on the mountains.

We got a very colorful sunset today: https://lyse.isobeef.org/abendhimmel-2025-12-09/

@prologic@twtxt.net Nice! And foggy as heck, very beautiful! Or is this smog?

@movq@www.uninformativ.de The terminal colors change quite drastically, but not the photo. Interesting.

Conheço alguém que use os serviços da Infomaniak? Que tal a experiência?

Use more WebP, I guess.

• Lossless PNG, 635 kB: https://movq.de/v/b239c54838/scrot.png
  
• Lossless WebP, 469 kB: https://movq.de/v/b239c54838/scrot.webp
  
• Lossy WebP, 110 kB: https://movq.de/v/b239c54838/scrot%2Dlossy.webp
  
• Lossy JPEG, 110 kB: https://movq.de/v/b239c54838/scrot%2Dlossy.jpg

@prologic@twtxt.net That looks super humid. 😅

@prologic@twtxt.net who is that handsome man?! Looking good! :-)

@bender@twtxt.net

@bender@twtxt.net No no we did!!! Just the photos are rubbish 😂

@prologic@twtxt.net I like this one. Haven’t been to the Golden Bridge yet? Make sure you do!

@movq@www.uninformativ.de Ahh you are a brilliant man 🙌

@prologic@twtxt.net Here you go:

(LTT = “Linus Tech Tips”, that’s the host.)

LTT: There was a recent thing from a major tech company, where developers were asked to say how many lines of code they wrote – and if it wasn’t enough, they were terminated. And there was someone here that was extremely upset about that approach to measuring productivity, because–

Torvalds: Oh yeah, no, you shouldn’t even be upset. At that point, that’s just incompetence. Anybody who thinks that’s a valid metric is too stupid to work at a tech company.

LTT: You do know who you just said that about, right?

Torvalds: No.

LTT: Oh. Uh, he was a prominent figure in the, uh, improved efficiency of the US government recently.

Torvalds: Oh. Apparently I was spot on.

Went to Ba Na Hills today, but honestly it was so cold and misery i couldn’t take very good photos 🤣 Here’s a few shots i managed!

@movq@www.uninformativ.de BahahahGG 🤣🤣🤣

@klaxzy@klaxzy.net do you know what I also find equally just as stupid and dumb is having to upgrade the software license on something just to be able to get OIDC or OAuth support ffs 🤦‍♂️

can somebody please transcribe what he said and post it here? 🙏 I think it’s too good just to waste in a video it needs to be preserved. 🤣

Fuck me, soooooooo beautiful! Awwww! :‘-) https://www.youtube.com/watch?v=oYfKgi133qo

This focuses more on the landscape part, other episodes also have amazing interactions with the locals. I cannot recommend the Itchy Boots channel enough. It’s in my top three channels of all time I believe. I hardly get the travel bug, but this has now changed. Watching Noraly’s videos brings me great joy. It also shows humanity is not lost, contrary to what one might think in this crazy world. :-)

Caution, this channel gets very addictive!

@movq@www.uninformativ.de :‘-D

In case you haven’t seen it yet:

https://movq.de/v/89c2e025ce/torvalds.mp4

Linus Torvalds about SLOC as a measurement of productivity. 😅