Anne C. A. Baanen @Vierkantor@mastodon.vierkantor.com

An introductions post, since I've got a bunch of new followers in the last couple of weeks (hello everybody!)

By day, I do computer verification of #math in the Lean prover, by night I do #osdev. When there isn't a plague going around, I like #cycling in nature and befriending #crows. I also know a bit of #linguistics.

I really like explaining concepts — feel free to ask any question (esp. mathematics / theoretical comp sci). Replies to toots are always welcome.

(of course, my gender is just a temporary situation until my Glorious Lisp OS-powered Robot Body finally is usable in daily life!)

ME, ONE YEAR AGO: this mexican party is good, but it has... how can one say ... too many people? there are in fact, only so many people one can dance with in the course of a party. I think I'm right in saying that, aren't I?

MY WIFE: this is absurd!

ME: my dear, don't take it too hard. it's quality celebrating. there are simply too many people. just remove a few, and it will be perfect.

MY WIFE: which few did you have in mind?

"smartphone" but with "smart" meaning "hurt" or "sting"

A couple of visiting jackdaws!

current mood

garbage collector seems to work fine now, only we still run out of memory! apparently it freed 2.3 GB during execution before it couldn't keep up any more (the virtual machine has 1GB available)

some more bugfixing later, looks like we can run for a while until we get out of memory. in other words: time to re-activate the GC and see what happens!

alternate history where "inactivated virus vaccines" are called "bimbofied virus vaccines"

okay, i think i got rid of the worst errors, now just need to figure out why nothing is actually being displayed on the screen

glowing reviews: "this reads like a vsauce video from an alternate timeline"

did you know the creator of kay👒bop🎩 is creating a video series teaching the language? https://redirect.invidious.io/watch?v=xDfGrTwRlmQ

GNU GAS protip: if you need to introduce a local label in a macro "hygienically", you can just use \@ as a numbered label. For example:

.macro car cons, result
cmp \cons, 0
beq \@f // Don't read anything if `\cons' is `nil'.
ldr \result, [\cons, 0]
\@: csel \result, \result, xzr, ne // If \cons is `nil', the answer will be `nil'.
.endm

academics signal their prestige by placing stacks of books and papers on their desk. the higher the stack, and the more desk surface covered by the stack, the higher the academic is ranked. when you need to get an extra table because the other one is filled with stacks of books, they make you a professor.

I'm wondering what counts as a selfie to you. Tick the boxes below to indicate when a picture is still a selfie, even if:

gonna write a paper called "The Next 700 Isomorphism Theorems"