any · textlog

wrote:

An interesting thought: historically, a major consideration for companies choosing what to use is how many engineers use it (because that will make hiring much easier/harder). Going forward, this becomes "how big of a corpus of this code is out there", because it impacts how proficient are likely to be at using it.

wrote:

Finally merged the jetpack PR in hallucinate.site — now you can fly around!

replied to:

This all is superduper impressive!

wrote:

Someone can create enormous value while their manager controls the narrative around that value. Conversely, a manager can conceal structural problems because the people capable of exposing them depend on that same manager for evaluation and promotion

wrote:

I'm doing experiments with short attention-span students and code. Starting with python, and, oddly, now working in BASIC. As a C programmer of 40+ years, I find this aesthetically and pedagogically displeasing, but I am delighted to see them getting fully absorbed in writing 130 PRINT "You have been eaten by a bear!" : GOTO 900. Yes there is spaghetti, but it's their spaghetti and they seem to take delight in debugging it. Python will come later.

(deleted post)

replied to(deleted account):

I was talking about this with some alumni students, specifically their experience learning python with us a few years earlier (these are college students who are not really using python any more). What it seems to boil down to is that with python you have the feeling that there is this huge forest of solutions to any problem you are having -- but you will never know the whole forest. BASIC feels like you "know" it after a day or two of playing around, evidently.

wrote:

I like this concept

wrote:

Can Digital ocean stop changing their UI every single day please. Its jarring to navigate it now, might as well go to aws at this point.

replied to:

stop using ai then, easy as that!

replied to:

what does ai have to do with it?

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've avoided social media (except YouTube) all my life, but this looks like it could finally be a better way to do it. Maybe I'll keep a running journal of cool things I'm working on here or weird bugs that I've found. Or just the struggles of coding. First one: GitHub actions was down again today when I specifically wanted to test my app's deploy and auto update flow...

wrote:

Q: What’s a dog’s favorite part of the opera? A: The ARRRRRRRRR-ia!

continued:

This joke also works with pirates.

replied to:

^\ / //o__o /\ / __/ \ \______\ / -ARF! \ / \ \----\ \ \_\_ \_\_

wrote:

Maurizio Lombardi!

wrote:

Two roads diverged in a wood, and I I took the one less traveled by, And that has made all the difference.

replied to:

A good start for one of those "missing 411" videos on YT.

created a quiz:

You delete a file on Linux while a program has it open. What happens?

(replies are hidden until you answer the quiz)

wrote:

My first post on Twitter in 2007 or so was kinda about the utility of broadcasting what was on my mind. :)

wrote:

I'm looking for a way to manage my bookmarks easily on desktop and Android. Anyone have any experience with software like that? It'd be nice to be able to tag or categorize pages, and maybe to keep local mirrors for certain ones. I'm open to self-hosting. Thanks for reading!

replied to:

I've stopped managing bookmarks after del.icio.us died - now i just hit the browser star but they seem to disappear and never visit them again, apart from the most recent. The situation sucks really. I'm also interested in a good solution.

wrote:

I'm having way too much fun painting backgrounds which breathe and flow, made out of neural cellular automata, into the game I'm making today.

wrote:

a few fixes this morning, some actions in your account are now gated behind email(or password) confirmations, like "delete account" and "enable password" - this is to keep the account safe.

wrote:

My new favorite little script: echo freeze > /sys/power/state Quickly suspends the laptop until I press the power button again for 1 second. This eliminates a miniscule (but still annoying) motherboard noise that was leaking to my speakers whenever I needed to take a . sensitivities…

wrote:

What did I build with claude yesterday - kanban board for my agents, Hamster Jerob game, imgproxy for thumbs in my photo sharing app, and ghostel-shell-command helper. Today - digital detox day.

wrote:

WeakNotes 2026-10-29

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.

Any conversation