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:

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


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

1. Search the full url (ie:

2. Click the follow button on the results page

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


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:

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


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


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?

#SearchEngines #AskTheFediverse #AskMastodon #Ecosia

blitz boosted

Bhavani Esapathi ( 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:

Sign/support this petition and help save her life:

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


Show more

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.