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:
Finally, I got an idea how a type checker can be a proof verification system from this presentation: http://www.cs.swan.ac.uk/~csetzer/lectures/intertheo/07/intertheodraft1.pdf
Eindrucksvolle Bilder: wir stoppen den Klimawandel, wo er entsteht - in Europas größter CO2-Quelle @RWE_AG@twitter.com.
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.
Bhavani Esapathi (https://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:
Sign/support this petition and help save her life:
Tell your friends, call your elected representatives, make some noise.
I'm currently organizing the Berlin MathsJam. Meet me there if you are in the area!
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.