Anne `hex(44203)` 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!

@cadadr Did you see they also attempt to redefine the following things for little reason:
mathematical notation, including "procedures" (why not just S-expressions?):
https://musa.bet/arithmetic.htm
calendars, including work/free days:
https://musa.bet/social.htm
modal propositional logic (why not just become intuitionist?):
https://musa.bet/logic.htm

Miss Mister, a bigender superhero with the power of sensing when plants are uncomfortable and increasing the humidity

might switch to "it" pronouns just so i can use this picture to come out

so apparently Amazon is trying to take over Rust

hi @haskal, did you know that in Germany they have the degree Dr rer nat?

unfortunately the Dr does not stand for dragon :(

so apparently Amazon is making a new live-action she-ra series

Wait, no, you would be able to detect the difference (or the `=' relation is no longer transitive): start with one generic function, then add a method returning `0' in a specific case, then take the original and add a method returning `1' in that specific case. So new0 = original = new1, but they return different values.

hmm hmm hmm.

Hmm, how evil would it be to have the new generic function returned by `generic:add-method' compare as equal to the original, even though it has more methods? 🤔

(In particular, you wouldn't quite be able to detect the difference in side-effect-free code, since the difference is one throws less errors than the other.)

Now a big question is: should I make (generic) functions mutable objects, which means adding a method in one process can mess up another process, or rebind the name to a new generic function each time we add a method, causing slight identity crises?

I have macros working in my Lisp, and used them to implement `add-method!', which I then used to implement `rest' parameters. And it only took 2 weeks of flailing about in confusion about what was supposed to be calling what!

(Previously: https://mastodon.vierkantor.com/@Vierkantor/106847210460280202)

... just realized that "waso" in toki pona is derived from french "oiseau"

french spelling should be thrown in the trash tbh