A crow today on the way to the supermarket. Five when I came back with a fresh bag of peanuts. They learn quickly 😊

@faho Definitely ask the person in question. For me it was nice to have it in the history, as a statement "This is who I really am." I don't really hate my old name though. I'm sure there are others who don't want to be reminded.

yes, I'm GAY 

Indeed, I happen to be the IUPAC nucleid acid notation for the codon of aspartic acid.

#osdev 

Here is it running (badly, with half of the features not working!) on real hardware:

Show thread

#osdev 

Some more twiddling of bits in system registers later, and it seems everything works, finally! 🎉

(I suspect some system registers were not consistently being set when the machine powers up? e.g. some reserved-as-0 bits being set as 1. In any case, QEMU is much more forgiving of weirdness in the MMU, which is nice for setting expectations, not so nice for debugging wtf is going on when you're still bringing the system up.)

Show thread

today i realised that wikipedia is older than a lot of people i talk to on this website on a regular basis

i have memories of a time before wikipedia, i tend to assume everyone had

#osdev 

still some weirdness left though: only a few lines in the framebuffer are getting updated after switching to virtual memory.

Show thread

#osdev 

disabling the MMU while updating the mapping seems to fix this issue 🎉

Show thread

Or prog1 rock, or prog2 rock, or progv rock, or prog* rock, or multiple-value-prog1 rock?

Show thread

#osdev 

hmm, `at s1e1r' indicates that some physical addresses are not being translated correctly. even though it is being translated correctly in QEMU. argh. time for bed.

Show thread

#osdev 

after a couple of nights of trying, still can't figure out wtf i'm doing wrong when trying to enable virtual memory. I have read through the whole aarch64 and cortex-a72 docs on this subject, tried all combinations of TLBI + DMB + IC + ISB instructions that i can think of. it just seems like all read operations using virtual memory are returning 0 and all write operations are getting lost.

met our friend again, who now always does a low swoop in front of us before landing on a nearby tree.

post from an alternate universe 

Did you know that a 1712 law against sorcery is still in force in England, making it illegal to fly? This is why British Airways force you to wear a seatbelt, as the restraint gives you the legal defence that you were being abducted rather than flying yourself.

re: bad category theory puns 

the list destructor function, of type `list a -> (a × list a)', should obviously be called "ns"

Show thread

re: bad category theory puns 

"colimit cocones" should have been called "ne colimits".

Show thread

Did you hear about the homotopy type theorist who dualised Coenzyme A? 

She made HoTT coCoA.

covid, nlpol 

It must be amazing to have such an optimistic view of people, like the guy who appeared on tv to propose "Why don't restaurants have 'safe days' on monday, wednesday and friday, and 'unsafe days' on tuesday, thursday and saturday? Let people choose for themselves how much risk they can handle."

Show more
Vachtnoes

Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.