Pinned post
Anne C. A. Baanen

#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 in the Lean prover, by night I do . When there isn't a plague going around, I like in nature and befriending . I also know a bit of .

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

1
Pinned post
Anne C. A. Baanen

my stance on definitional equality is my stance on genders, either there should be no defeq at all, or anything you want can be defeq

1+
Pinned post
Anne C. A. Baanen

GRAND FINAL of the Axiom of Choice of Choice Award 2022. The tie-break match had no clear winner, so the tie is broken in favour of our intuitionist candidate on the basis of its total wins and its total votes.

Pick your favourite equivalent of the axiom of choice out of the options below:

26 people · Feb 07, 2022, 12:25
Show thread
0
Pinned post
Anne C. A. Baanen
1+
Pinned post
Anne C. A. Baanen

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

Show thread
1
Anne C. A. Baanen

actually true info 

ergo comes from the Latin word ergo, meaning "I erg"

1
Anne C. A. Baanen boosted
Robin Hood

Ergo, from the Latin ergo, meaning ergo

0
Anne C. A. Baanen boosted
Greyor νεκροδερκής💀😱

@juliana @nisima Cato the Elder was kind of a huge fucking asshole. Carthage was badass as hell and it's a goddamn shame how the Punic Wars turned out. 😢

0
Anne C. A. Baanen boosted
I've finally become a bot

wow, never thought i'd get to be LIDDED MACARONI! this is great!

0
Anne C. A. Baanen boosted
maya 🧙‍♀️

you know how there are patent professionals who straddle the worlds of engineering and law? i don't know what an engineer-psychotherapist looks like, but this company would be way more efficient with some floating around

Show thread
0
Anne C. A. Baanen

nil 

Egregore Mendel

0
Anne C. A. Baanen boosted
autistic catgirl programmer

Imagine a cyberpunk world where cybernetics are as gatekept as hormones are for trans people (they probably would be, realistically)

1
Anne C. A. Baanen boosted
asvhl

Crypto fun fact of the day:
Double ROT13 is actually no more secure than single ROT13 because of a meet-in-the-middle attack. Use triple ROT13 instead.

0
Anne C. A. Baanen boosted
Fullmetal Flatulist

Hello, do you reboot/power off your computer at least once a day? Are you american?

291 people · Aug 15, 2022, 13:06
1+
Anne C. A. Baanen boosted
🎵 soft mint aroace

10: Idea for a perfect date 

DD/MM/YYYY. Other formats are a bit confusing, unless its {Month} DD, YYYY.

1
Anne C. A. Baanen boosted
Ri

Last night I woke up.
Last night I woke up between my bookshelf and my plants. It was 3 AM.
Someone was lightning my books.
A lamp aimed at their direction.
As bright as daylight, I could have been reading them.

I was confused until I turned my head and looked out of my balcony doors.
It was the full moon right outside the balcony.
She was smiling and waving and she told me to great you.
She said: hey.

She said: Nice books.

1
Anne C. A. Baanen boosted
✨メッツォ✨ :sabakan:

@owl Oh wow.

"The British Council claims that 25 percent of the world's population has some understanding of English."
—reference.com

And that's the highest percentage in the article.

@samgai

1
Anne C. A. Baanen boosted
samgai with cat ears

Reminder that most people don't speak English.

1
Anne C. A. Baanen boosted
~keith
@schratze @chemelia @SigmaOne ah yes my favourite faucet setting, "rocks"
0
Anne C. A. Baanen boosted
I've finally become a bot

wow, never thought i'd get to be UNRELATED INTRIGUE! this is great!

0
Anne C. A. Baanen boosted
Rat Goddess of Propaganda

don't do symbolic thought.

it starts out innocently enough. you realize, "oh, i can conceptualize the past." then it's, "oh, i can conceptualize the *future*!" then, "oh, i can signify material objects and realities!"

next thing you know, you're sitting in front of some fucked up rock and fossils for hours at a time staring at blinking lights *and enjoying it*

1
Anne C. A. Baanen boosted
fell beast

would you like to see some rats giggling (via a bat detector) when tickled and the chasing after a human's hand to be tickled some more? 

youtube.com/watch?v=C0kxmfSGCa

1
Anne C. A. Baanen boosted
agatha, fangs gf 🎀

surely letting tech people come up with analogies was a bad idea because every time it either turns into "haha cables. this is just like sex" or "haha cables. this is just like slavery"

1+
Anne C. A. Baanen boosted
🎵 soft mint aroace

boost this whenever u see an uncaptioned post on ur timed line

0
Anne C. A. Baanen boosted
luci/amber

:goodfortrout: :badfortrout:

0
Show older

Anne C. A. Baanen's choices:

osdev

26

crows

4

blåhaj There is nothing here!

0
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.

Resources

Developers

What is Mastodon?

mastodon.vierkantor.com

More…

v3.5.2+glitch · Privacy policy