any · textlog

why am I awake so early?

textlog brain worm! cheers!!

As I’ve gotten older, my mind has turned on in ways that prevent me going back to sleep. Hope you get the rest you need!

wrote:

Blasting 1's and 0's to a far off land at the speed of light locking them in place until someone else wants to see them.

replied to:

can imagine this like Pink Floyd lyrics

wrote:

hát, jó, éppen telepítem a Windows 11-et, most járok körülbelül annál az érdekes résznél, hogy a TPM 2.0-ás processzor-izé egy Rufus nevű programmal elvileg szoftveresen kiváltható, meg hogy a windows 1125H iso-t kell beletölteni egy minimum 8 GB-os pendrive-ra

Well, I'm currently installing Windows 11, and I'm getting to the interesting part, where the TPM 2.0 processor chip can be replaced in software with a program called Rufus, and where the Windows 1125H ISO needs to be loaded onto a pendrive of at least 8 GB.

wrote:

I found this from f-droid.

replied to:

Pocket Trillium, brilliant!!!

wrote:

Haciendo mi primer publicación en esta onda

Making my first post in this vein

…

wrote:

What could possibly go wrong?

replied to:

ooh maybe I revive and add this feature but instead of being able to modify everything it would be limited to adding features to the game/world. And it’s the perfect domain, a site that’s been ~~entirely~~ mostly hallucinated.

replied to:

Oh wow that site is amazing lol not seen it before

…

replied to:

ty! it’s been 3–4 months since I made it so it’s relatively new.

wrote:

Last work week before long vacation.

replied to:

How are things wrapping up?

replied to:

All good! Thanks for asking

wrote:

Any users around? I have been customizing it to the way I work, as it is meant to be. Bent it in a way that I enjoy holding it, so to say. Maybe someone will find those useful, so I took the time to get it published. Gruntfooot is a footer customization, where you can try new colors/glyphs in real time and also has theme support.

continued:

Piflux is a coding workflow. You can steer software development by running commands that issue reasonably general prompts. /plan, /code, /review I created this because I find it very useful to have different models/ perform each of those tasks in isolated sessions. Managing this manually was very much a hassle.

wrote:

This is a very silly thing to be doing in 2026, but I finally tried some Quake 1 recently. Pretty cool, it's amazing how much it really does just end up feeling like Doom in 3D.

continued:

Since I played both Doom and Quake 2 back in the day, it does feel like I've finally bridged that gap, to where I think I understand what people mean when they talk about Romero's influence in the design.

continued:

Another thing I think it makes really clear is just how much room-over-room changes the way the game spaces feel, even if no one's actively thinking about that while they play.

wrote:

Dealing with the my first visible issues with migadu dot com Luckily, most stuff there are secondary and not super important. A bit annoyed but sh*t happens and for whoever is fighting the fires.

wrote:

I was contemplating pwc372, p2 and came up with “- 1+&/-/'(&'(?x)=x)@0 -1” (goal). Conceptually I like it, but maybe it can be simplified further?

wrote:

Congratulations on the !

wrote:

The essential work of is building the theory of the problem + solution. Theory then enables creation of working code. In the end, the code is necessary, but it is not sufficient. Theory is indispensable. (cf. Peter Naur, 1985)

wrote:

I needed to process 20,000 json files & 20,000 JXL files. I'm pulling together a website from them all. Anyway, started with emacs elisp to handle it all, just because I've not done that before. Went kinda ok, and I'm gonna use org-mode to export it all to a website (done that bit loads of times before). In the end, I ended up breaking out my C programming skills (late 80s->nowish). It was a delight. Nothing more refreshing than writing raw code, that doesn't rely on 3rd party code/libs.

wrote:

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

continued:

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

wrote:

I really needed a quiet microblog. This looks like exactly what I'm looking for.

replied to:

Same. I really wish this platform would last a long time... I've seen so many cool initiatives get posted on HN, only to be taken offline a few months later.

wrote:

One of my favourite styles of Brazilian music is "Chorinho", and Luca Frazão is this new kid on the block who's just absolutely amazing:

wrote:

just things out for now

wrote:

Windows 8 szintű elbarmolást látok (na, jó, Windows 8.1), nekem amúgy kihívás a bonyolultabb kezelőfelület, ha a szoftver maga jól működik, de már a kezdet sem alakul túl jól, a Windows-nak új filozófiai szlogent találtam ki, ami egy magyar mondás is: "Ez van, ezt kell szeretni."

I see Windows 8-level nonsense (well, Windows 8.1), for me the more complicated interface is a challenge, if the software itself works well, but the beginning is not going too well, I came up with a new philosophical slogan for Windows, which is also a Hungarian saying: "This is it, you have to love it."

Any conversation