completely not respecting the dead - Koch bros 

blitz boosted

für die nächste #RebellionWave ab dem 7. Oktober brauchen wir auch finanzielle Unterstützung für Flyer, Poster, Farbe, Anschaffungen für Aktionen und viele mehr!

Hier der Link zu unserer Crowdfunding Kampagne:
gofundme.com/f/da3zj-extinctio

blitz boosted

meine Eltern haben heute beim Räumen eine Badische Zeitung vom 2. Juli 1988 gefunden... 😳

I used nextcloud for this before but it seems to be overkill now.

I installed syncthing today. I can recommend it for my simple use-case which is synchronizing files between my phones and my computer.

blitz boosted

⚠️ WE SHIPPED IT! 🎉

You can now follow remote profiles on Pixelfed instances that have enabled the feature.

1. Search the full url (ie: mastodon.social/@pixelfed)

2. Click the follow button on the results page

3. You will start seeing posts from that account on your home timeline

#pixelfed

blitz boosted

"Dude, suckin' at something is the first step to being sorta good at something." - Jake the Dog, Adventure Time

Finally, I got an idea how a type checker can be a proof verification system from this presentation: cs.swan.ac.uk/~csetzer/lecture

My Agda installation is set up and the hello world is running. Can't wait to learn more about interactive theorem proving and dependent types :)

blitz boosted
blitz boosted

RT @Ende__Gelaende@twitter.com

Eindrucksvolle Bilder: wir stoppen den Klimawandel, wo er entsteht - in Europas größter CO2-Quelle @RWE_AG@twitter.com.

🐦🔗: twitter.com/Ende__Gelaende/sta

blitz boosted

Me at 9 am: Going to bed late was a bad idea, I should really not do that

Me at 9 pm: I should really start getting ready for bed now so I don't end up not sleeping

Me at 2 am: Oops

blitz boosted

Ouch. My girlfriend tried to install wine on Ubuntu to run the Adobe Reader, and now the entire system is unusable. I mean, probably some expert could've still saved it, but I've been using and programming on Linux since 6.5 years so if I couldn't figure it out, it must've been pretty badly broken. Quite disappointing, ubuntu.

blitz boosted
blitz boosted
blitz boosted

the average human only uses 10% of their computer

blitz boosted

Hello Fediverse,

What is your opinion of the search site Ecosia? How privacy-conscious is it? How green is it?

ecosia.org

#SearchEngines #AskTheFediverse #AskMastodon #Ecosia

blitz boosted

Bhavani Esapathi (twitter.com/@bhaesa) is my friend and a dear, wonderful person who has been battling autoimmune disease for as long as I’ve known her and doing so while helping others. Now the Tories want to hand her a death sentence and deport her. We cannot let this happen.

Read about her ordeal:

independent.co.uk/news/uk/home

Sign/support this petition and help save her life:

change.org/p/home-office-grant

Tell your friends, call your elected representatives, make some noise.

#SaveBhavani

Show more
Mathstodon

A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.

Use \( and \) for inline LaTeX, and \[ and \] for display mode.