Mastodawn

my proposal of writing an exposition of linear type theory as the final project for my quantum computation course was not approved and now i may have to resort into even more formal obscurity😈

kream

Nov 6

@winslow 我tg没力

kream

Nov 1, 2024

BritSwedeGuy Oct 9, 2024

The Rubble Kittens safe from the storm in the catservatory 😻😻😻
#cat #cats #catsofmastodon #portugal #AdoptDontShop #rescuecats #mastocats #mastocat #FediCats #Catstodon #kitten #kittens

kream

Dec 3, 2023

𝗖 𝗔 𝗧 Dec 3, 2023

Capitalism favors the rich. The accumulation of capital isn't a result of hard work, but a product of systemic exploitation of the working class that the rich benefits from. Inherited wealth and connections allows the rich to amass wealth with no effort. Profit is derived from surplus value generated by workers' labor. Let's abolish this economy and replace it with a new economy, one where resources are collectively owned and distributed based on principles of common ownership and mutual aid.

Show thread

kream

Dec 1, 2023

@Air_Quotes_Comedian nice! i didn't know that. i won't use it tho cuz it's proprietary

Show thread

kream

Dec 1, 2023

oh fyi im using firefox
not sure if the trick works on other browsers

kream

Dec 1, 2023

So youtube has been trying to restrcit users with adblockers enabled on the site for a while now. Most notably people using uBlockOrigin, or uBO. There is an ongoing battle between uBO devs and the youtube anti-adblock script.
However, I want to point out that you can always just block the popup window using the element picker from uBO. Of course a lot of people realized this, but the flaw of this method is that you can't scroll as it's disabled as part of the popup window script. There is an easy fix to this: just enter and exit fullscreen, voila problem solved. You can even write a script that does this automatically upon opening a youtube page.

#youtube #uBlockOrgin #adblocker

@hsdsslhT @board 逆天

Benjamin Spider 🏳️‍🌈Oct 7, 2023

Pierce (tuxedo) with his older brother Willow (tabby).

#cats #kittens #caturday. #catsofmastodon

Show thread

kream

Oct 6, 2023

@scaryplaguedoctor @lowqualityfacts 😭

pronouns	妳, they/them
formal sciences	nPOV, lawvere-marx-hegel, type theory, cat theory, computation, logic, formal semantics
advocates for:	lgbt+, trans rights, free software, open access, crypto-anarchy, right to repair, antiwar, antifa, anticapitalism, anarcho-communism, monero, cats, revolution, computational trinitarianism, academic paradigm shift to type/category theory
languages	en, ch, hott, ccc