m4lvin @m4lvin@scholar.social
logic, linux, cycling, https://www.illc.uva.nl, https://www.transcend.org
My #PhD #thesis about epistemic logic, card games, drinking logicians, gossip, binary decision diagrams, #haskell and muddy children is out: https://malv.in/phdthesis/ and I shall defend it on June 13th in #amsterdam.
Kleiner Spoiler: er macht das wirklich in den 28s, die das Video dauert 😉
RT @froeschmi@twitter.com und so kann man beim @Fairphone@twitter.com selbst Akku und Display tauschen, zeigt Gründer und CEO @basvanabel@twitter.com
https://oe1.orf.at/player/20180628/519113
🐦🔗: https://twitter.com/froeschmi/status/1012286445153914880
recycling against car culture part 2...
#kick #kicking #bottledwater #highheels #littering #carculture #animatedgif
To give a better understanding of hitchbiking a friend created a video for me. Enjoy: https://peertube.mastodon.host/videos/watch/8c8f03f1-d5a4-4005-ada8-ebc896136d38
#hitchhiking #hitchbiking #autostop #peertube #cycling #opensource #undso #bellaciao
#meme #cats #capitalism #anticapitalism
(via anarchist_meme_for_cool_people@diasp.org)
Day three of our course "Functional Programming for Logicians" and my first try at explaining Monads "theory first". Feel free to follow along here: https://malv.in/2018/funcproglog/
#haskell #monads #categorytheory #logic
"...main point is that with the growing reliance on free software (freeware), paid employment is increasingly reduced to duct taping. Coders are often happy to perform the interesting and rewarding work on core technologies for free at night but, since that means they have less and less incentive to think about how such creations will ultimately be made compatible, that means the same coders are reduced during the day to the tedious (but paid) work of making them fit together." Graeber - bs jobs
Reminder: https://scholar.social is not the place to defend sexist or racist jokes
hey can academics stop normalizing working on the weekends please? thanks.
My #PhD #thesis about epistemic logic, card games, drinking logicians, gossip, binary decision diagrams, #haskell and muddy children is out: https://malv.in/phdthesis/ and I shall defend it on June 13th in #amsterdam.
I had my first bad hitchhiking experience. And I felt like I want to share that experience. So I wrote a text.
https://write.as/hitchbikerevolution/my-first-bad-experience-while-hitchhiking
#hitchhiking #hitchbiking #autostop #Greece #harassment #writing
Once, when the zuiderzee was still a sea, there was such a strong winter that the salty water froze and the fishers couldn't sail out. In order to still catch something some fishers went on the ice. A fisher with his two sons got out late and due to misfortune ended adrift on a piece of ice. Floating north all about the sea for weeks before ending up in enkhuizen. They where all saved there but all but the youngest son died to their health.
This week we published the first #TWIF: https://f-droid.org/en/2018/04/27/this-week-in-fdroid.html
Trial run, hope we can continue this on the future! 😃
Das hier: https://waiting.stream/ (Audio an!) hat ein Kommilitone mal aus Langeweile gebaut 😂
Read this poem and then read it in reverse
when they told you that computers are really dumb, because they only do exactly what you tell them to do, that was a lie
a lie of omission.
they do what you tell them to do, while also doing what a million other people over the past 40 years told them to do to
sometimes, those commands interfere with, or contradict each other
It’s the small things that make software / products delightful
I think the best lesson you can give to a computer programmer is to let them know that they're not alone in trying to figure this shit out.
Hell, it's a young field and already we've created so many different cultures and languages. Nobody could possibly know all of this all the time.
Be gentle with yourself, computer programmer. The task is hard enough without being hard on yourself.
