iiinova — where your digital self keeps evolving

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 6h

[violence against mosquitos] *smashes mosquito* "take that, carnist! go eat a bean!"

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 7h

"vegan ways to ABSOLUTELY FUCKING MURDER mosquitos." 🖊️

100

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 17h

oh it turns out i was wrong! i did come across noble polyhedra and did edit the #Wikidata entry in 2024 on the basis of the Wikipedia entry: www.wikidata.org/w/index.php?title=… i had also already added them as a superclass of regular polyhedra, which is what i […]

chaos.social

Original post on chaos.social

000

Reposted by sofia ☮️🏴

Nordern @nordern.chaos.social.ap.brid.gy · 06/10/2026

#inktober 06 - Ogre Really feel like I'm starting to get a grasp on shading. Although I feel like the actual joke isn't as recognizable as I'd like. Even forgot for a moment what the prompt was 😅 #inktober2026

131

Reposted by sofia ☮️🏴

Nordern @nordern.chaos.social.ap.brid.gy · 05/10/2026

The existence of things whose existence implies the existence of other things implies the existence of things whose existence implies nothing.

001

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 04/10/2026

@nordern infinite monkey means infinite shakespeare 🤑.

100

Reposted by sofia ☮️🏴

Nordern @nordern.chaos.social.ap.brid.gy · 04/10/2026

Infinite monkey glitch

101

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 03/10/2026

deutsche einheit? wahrscheinlich 0.33 liter.

001

Reposted by sofia ☮️🏴

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 03/10/2026

@march schon wieder ist die DDR schuld, dass ich keine bananen hab 😔.

002

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 03/10/2026

@march schon wieder ist die DDR schuld, dass ich keine bananen hab 😔.

002

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 03/10/2026

@march fuck, ich wollt heute bananen kaufen 😠.

100

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 03/10/2026

"but if kids can cheat with AI, how do we decide which of them will get access to an education, and which ones will be thrown in the trash??"

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 03/10/2026

i wish the school system a merry crash and burn.

101

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 02/10/2026

really wild idea, but what if you had themes for browsers? not just a bunch of usually-terrible color schemes, but actual CSS* that could expand or even replace the standard UI style. woudn't that be wild and basically unheard of? (i assume the Firefox UI is basically all web at this point? not […]

chaos.social

Original post on chaos.social

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 02/10/2026

@nordern they just wanna brag with Firefox's lack of support for squircles. :P

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 02/10/2026

oh boy, more rounded rectangles, my favourite! #Firefox

201

Reposted by sofia ☮️🏴

Nordern @nordern.chaos.social.ap.brid.gy · 01/10/2026

*Thing exists* "Will all other things stop existing????!???"

002

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 29/09/2026

@nordern holy shit! 🤯 and that's not just, like, two bicepses but multiplied? 😲

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 29/09/2026

"i don't just have biceps. i have TRIceps!" leans in closely and whispers: "that's a real thing!"

100

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 22/09/2026

[dream nonsense] the word prettty clearly comes from en.wikipedia.org/wiki/Morwen_Thistl… a mathematician known for his contributions towards knot theory and Rubik's Cube solvers. i actually came across the name in both contexts, but didn't realize it was the same person. also i […]

chaos.social

Original post on chaos.social

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 22/09/2026

[dream nonsense] today's dream brought me the idea that a "thistlewaithe" is an instrument commonly considered to be cruel and *deceptive* towards thistles. it involved two paths, a long winding one and a shortcut. the two possibilities are presumably what misleads the thistles. it seems […]

chaos.social

Original post on chaos.social

100

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 21/09/2026

and what the fuck is "pseudonymous proof-of-age" possibly supposed to mean?

110

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 21/09/2026

i'm so annoyed with petitions being like "we age against $bad_thing, but we also implicitly or explicitly recognize the motivation for $bad_thing as legitimate and propose the following shitty compromise." i guess this will appeal to some centristy wishy-washy types, but are those even the […]

chaos.social

Original post on chaos.social

111

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 21/09/2026

freedom to all people. death to all nations.

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 17/09/2026

i'm going to #datenspuren this weekend (friday and saturday, wanna leave early on sunday). if anyone wants to hang out, shoot me a message. i also wouldn't mind finding a place to sleep 😇.

001

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 12/09/2026

i just thought of a weird way to generalize multiellipses. might implement (or not).

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 10/09/2026

a perfect balance of dillying and dallying.

001

Reposted by sofia ☮️🏴

Nordern @nordern.chaos.social.ap.brid.gy · 09/09/2026

The sun flies too close to me

001

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 07/09/2026

> The common name derives from the word jack, denoting "small", and daw, a less common synonym for "jackdaw", and the native English name for the bird. en.wikipedia.org/wiki/Western_jackd… ah, so jackdaw means small jackdaw, mmh yes. #birb

en.wikipedia.org

Western jackdaw - Wikipedia

003

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 02/09/2026

youtube is being weird. i'm getting a lot of artefacts where half of the screen is tinted somewhat differently than the other?

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 01/09/2026

[everyday impact of religion] @nordern yeah, it's quite remarkable that theologists jump though all kind of bizarre hoops to make their god seem good and impressive, but suggesting it maybe isn't the same as the vain and petty dictator god of the bible usually seems to be a step too far.

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 31/08/2026

oh also i didn't mention an important operator yet (forking this tread was a mistake, lol). linear implication, written "⊸" and sometimes pronounced "lolli". "A ⊸ B" means you can consume an A to get a B. it does not work in reverse and it can only be used once. by itself, anyway. Also: A ⊸ […]

chaos.social

Original post on chaos.social

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 31/08/2026

the negation is described as consumption, something that cancels out the negated a proposition. again sounds kinda like normal negation, but check this out: ~(A & B) = ~A ⊕ ~B ~(A ⊕ B) = ~A & ~B so the negation of a choice between A and B is getting either ~A or ~B but not getting to choose! […]

chaos.social

Original post on chaos.social

100

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 31/08/2026

welp i somehow have a hornet in my room despite the fly screen 😬️.

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 31/08/2026

okay so the connection between the ⊗ operator and addition still seems pretty solid, but something is up. linear logic also has it's own kind of negation, which is inconveniently written as a superscript ⊥, so i will use a prefix tilde instead. ⊗ and ⅋ follow de Morgan's law: ~(A ⊗ B) = ~A ⅋ […]

chaos.social

Original post on chaos.social

100

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 31/08/2026

i forgot the exact context but i a website of a linux distro named "linux compatible" among their features, so i had to make this...

the "the floor here is made of floor" meme with an elongated Buzz Lightyear's looking sceptically at the floor, namely a bed he stands on.

the text has been changed to "hmm … yes … the linux here is linux compatible".

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 31/08/2026

NVIDIA®: maybe some day we'll have working drivers.™

100

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 31/08/2026

"the bubble will burst and then it will be all gone, just like the internet in the 2000s."

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 31/08/2026

[everyday impact of religion] you know what pisses me off a bit? the casual invocation of christian misanthropy. naming "being human" as a sign of being inadequate. ignorant, myopic, weak, stupid, evil, whatever. "merely human" compared to what, exactly? sure you can compare humans with […]

chaos.social

Original post on chaos.social

110

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 30/08/2026

#Mastodon feature request: you should be able to bookmark accounts, not just posts.

012

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 30/08/2026

now that the client-server web is clearly failing in extremely predictable ways, can we finally take the idea of a #p2p web seriously? maybe?

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 30/08/2026

there is also a forth binary operator called "⅋" or "par". it is generally considered hard to explain and getting an intuitive understanding of it might actually be my primary goal. there are also the constants "1", "0", "⊤" and "⊥" which are the neutral elements for each of the binary operations.

000

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 30/08/2026

i assume there is a decent reason why it's called multiplicative, and why 2 other operators ("⊕" and "&") are considered additive. even though they don't give you both, and instead they represent an "either or" situation (even though "&" is considered a conjuction and is also called "with"). and […]

chaos.social

Original post on chaos.social

100

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 30/08/2026

speaking of elementary arithmetic: one of the rather unfortunate happenstances is the the one operator is called that is very clearly like addition, you put two things together and have both, is called multiplicative conjunction, ⊗, times or tensor. accordingly the symbol for "nothing", where […]

chaos.social

Original post on chaos.social

200

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 30/08/2026

it's not that i'm opposed to learning how tf proofs work, but linear logic just seems like something simple and elegant on it's own, that can be largely described in terms of real-life circumstances. it like a book on elementary arithmetic being filled with allusions to multivariabe calculus […]

chaos.social

Original post on chaos.social

100

sofia ☮️🏴 @sofia.chaos.social.ap.brid.gy · 30/08/2026

i'm currently trying to learn #linear_logic. i made less serious attempts to understand it ages ago. i picked out "Linear Logic for Linguists" which is still more focussed on types and proofs that i would like, but the applications to grammar seem kinda interesting. really i would prefer […]

chaos.social

Original post on chaos.social

100

Reposted by sofia ☮️🏴

Nordern @nordern.chaos.social.ap.brid.gy · 29/08/2026

Bartzitter Schokolade

001