Anne C.A. Baanen @Vierkantor@mastodon.vierkantor.com
- Accept-language
- nl, en;q=0.9, de;q=0.8, es;q=0.5, fr;q=0.4, Python, Haskell, Befunge, C, C++, assembly;q=0.6, Lisp;q=0.6, FORTH;q=0.2, *;q=0.1
- Content-Type
- programming; languages; maths; daily life; weird
- X-Powered-By
- English Breakfast tea with a splash of milk
Admin
/'ɑ.nə/ & legally certified as they who must become Master & (intuitionistic) maths / programming / languages & pronouns: they/them (or best offer) & tra(i)ns, crows and sheep & as seen in children's magazine & UTC+00:00 unless mentioned otherwise
"acceptably deranged " — @aeonofdiscord
Joined Jul 2019
Pinned toot
#introductions
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.
Pinned toot
(of course, my gender is just a temporary situation until my Glorious Lisp OS-powered Robot Body finally is usable in daily life!)
Pinned toot
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?
Pinned toot
"smartphone" but with "smart" meaning "hurt" or "sting"
Pinned toot
Anne C.A. Baanen
boosted
we are rebranding crypto. it no longer means "security math" or "scammer math," now it exclusively refers to people and things that crawl out of crypts.
i dont want to hear about your crypto unless you were recently sleeping underground in a cemetery.
sorry bigfoot lovers, your use of crypto is also banned. zombies only!
daily AoC (axiom of choice), day 7
Here's a statement I didn't know was equivalent to the axiom of choice one week ago:
For all infinite sets A, the cartesian product A × A is in bijection with A.
(Hint: show that this implies the well-ordering principle.)
update: i managed to power through. worried that my face will permanently stay as 😬 though.
made my tea too strong. currently alternating sips from my tea with sips from a cup of hot water.
send help
Anne C.A. Baanen
boosted
it kinda bugs me more than it should when ppl are like "lol computers are made of sand"
... because that doesn't come close to how actually weird it really is.
this is the crystal (literally one single atomic crystal) that chips are sliced from like fucking magical deli ham
it was grown, by people, from a seed crystal mined from the earth, through a FUCKING MAGICAL POTION LETS JUST BE HONEST OKAY
Anne C.A. Baanen
boosted
@JanBittner i turned it into sound once, which sounds mildly awful 😎.
https://commons.wikimedia.org/wiki/File:Thue-Morse_waveform.ogg
Anne C.A. Baanen
boosted
so i was wondering what the #hitomezashi pattern with a #thueMorse sequence (used horizontally and vertically) looks like. so here you go 😃!
it's mildly trippy and definitely thue-morse-y.
it's made by hand in inkspace, but i should probably code it to try more variations…
In this episode of Star Trek, Picard plays the role of the Vichy government. Again.
In this episode of Star Trek, the crew of the Enterprise meets Cardassian leader Gul Ibble
Anne C.A. Baanen
boosted
Anne C.A. Baanen
boosted
@Dee I don't fit within the non-binary nonbinary binary.
Anne C.A. Baanen
boosted
making a gender selector where the two options are "non-binary" and "nonbinary"
Anne C.A. Baanen
boosted
are you a statistics enby (i.e. mean(man,woman)) a quantum mechanical enby (i.e. superposition of |man> + |woman> and can change when observed) or a linear algebra enby where you are mearly projected onto the [man,woman] spectrum but cannot be fully described in fewer dimensions?
Anne C.A. Baanen
boosted
Fun fact: Phi (~1.618) is really close to the ratio between miles and kilometers (~1.609), which means you can use adjacent fibonacci numbers to quickly mentally convert back and forth between them.
for instance: 21 kilometers is roughly 13 miles (it's actually 13.05)
daily AoC (axiom of choice), day 6
Let's get the other famous equivalent out of the way: the well-ordering principle states that every set can be well-ordered.
More precisely, for any set S there exists a function min : P(S) \ {∅} → S such that:
* min X ∈ X
* min (Y ∪ {min X}) = min X for Y ⊆ X
* if min {x, y} = x and min {y, z} = y, then min {x, z} = x
DO-TIP: prove that defining x ≤ y as "min {x, y} = x" gives a linear order and min returns the minimum of each set according to this order.
Anne C.A. Baanen
boosted
field programmable gender array
@johanneshelo Hi, who are you?
Anne C.A. Baanen
boosted
Christmas photos with our pasta cats (Penne, Spaghetti and Fettucine) #cats #cat https://redd.it/ra8xbt
Anne C.A. Baanen
boosted
lb: sometimes a family can be a middle aged couple and their three pasta cats
- Accept-language
- nl, en;q=0.9, de;q=0.8, es;q=0.5, fr;q=0.4, Python, Haskell, Befunge, C, C++, assembly;q=0.6, Lisp;q=0.6, FORTH;q=0.2, *;q=0.1
- Content-Type
- programming; languages; maths; daily life; weird
- X-Powered-By
- English Breakfast tea with a splash of milk
Admin
/'ɑ.nə/ & legally certified as they who must become Master & (intuitionistic) maths / programming / languages & pronouns: they/them (or best offer) & tra(i)ns, crows and sheep & as seen in children's magazine & UTC+00:00 unless mentioned otherwise
"acceptably deranged " — @aeonofdiscord
Joined Jul 2019
Anne C.A. Baanen's choices:
