Malvin

cyclogician

Interested in Modal and Dynamic Logic, Gossip protocols, Haskell, Linux and Bicycles.

Assistant professor at ILLC, University of Amsterdam.

(Yes, I moved from scholar.social to goto.fiets.pizza.)

pronouns
he/him they/them
location
Amsterdam
Malvin boosted:
2025-12-25
a cartoon of a city st where use of spare space is raked today. shed, boxes, wardrobes, chairs, bicycle lanes all frowned upon while  parked car ok...
Malvin boosted:
Natasha 🇪🇺Natasha_Jay@tech.lgbt
2025-12-25

For the mathematicians

A complex mathematical formula which works through in 5 stages to say "merry = x-mas"
Malvin boosted:
Anna-la-la-la, fa-la-la-lavenite@mastodon.nl
2025-12-25

Ter herinnering: als je deze dagen gevraagd wordt even de computer/printer van een familielid te fixen is het ok om er Linux op te zetten. Doe een leuke strik om de usb-stick

2025-12-24

Hello @FediTree :-)

Malvin boosted:
Daniel Gultschdaniel@gultsch.social
2025-12-24

I’m happy to announce the 12th annual Holiday season Conversations giveaway. 🎄☃️

The federated instant messaging client is now available for free on Google Play until New Year’s Eve. 🧨🎆

Merry Christmas, Happy Holidays. Enjoy #39C3.

play.google.com/store/apps/det

#XMPP #Jabber #Conversations_im #DigitalSovereignty #Fediverse

Malvin boosted:
Jason Evangelho 🐧🎒killyourfm@layer8.space
2025-12-23

Remember kids, it's absolutely illegal to create an archive of the Spotify library, but it's totally OK for big tech to scrape the vast majority of created content on the internet to train LLMs...

Malvin boosted:
2025-12-22

Jetzt, wo das süße Katzenvideo deine Aufmerksamkeit auf diesen Trööt gelenkt hat und du eh schon hier bist, kannst du auch die Petition mitzeichnen, um klarzustellen, dass du keine Listen von trans und nicht-binären Menschen, und zukünftig auch keine sonstigen Listen von "normabweichenden" Menschen haben willst.
epetitionen.bundestag.de/petit

Malvin boosted:
Peter Jelinekpeterjelinek
2025-12-22

Das ist schon witzig...

Malvin boosted:
2025-12-20

The threat of Mozilla is so much different when you're running Windows with Mozilla's auto-updater installed, or using snaps from Mozilla on Ubuntu (a distro that abdicated its role), or whatever on MacOS, etc.

Versus running a real Linux distro where the same people you trusted to put together a base system that works in your interests are also the ones building and shipping the Firefox source and able to omit anything exceedingly harmful before it gets to you.

Malvin boosted:
Marijke Luttekesmahryekuh@hachyderm.io
2025-12-20

I just read about a Dutch municipality that caused a data leak of residential personally identifiable information after… employees uploaded the data to ChatGPT.

JFC 🤦🏼‍♀️

2025-12-20
Malvin boosted:
2025-12-20
Malvin boosted:
2025-12-19

🚨 THE FINAL TWO 🚨

From thirty-two candidates, we’ve now made it to the final round where Elon Musk and Peter Thiel will face off for the crown.

Who will win? You decide!

🗳️ Cast your ballot: twsu.forms.app/wpit25-final

Elon Musk vs Peter Thiel
Malvin boosted:
2025-12-19

Merry #Christmas, my fellow nerds!

#academicchatter #phd #academia

A Christmas tree made out of file names that start at 1.tex, through different versions of the article (e.g. atricle final.tex, article final reviewed new.tex), all the way down to article final reviewed submit.tex and article.tex twice. The tree has a yellow star on top. The background is green and the text is off-white.
Malvin boosted:
Kropotkinsonamici@loops.video
2025-12-18

How whales protect against #cancer, and how humans can do the same. Video touches on some advanced topics in #MolecularBiology

Malvin boosted:
Glyphglyph
2025-12-17

it's truly amazing what LLMs can achieve. we now know it's possible to produce an html5 parsing library with nothing but the full source code of an existing html5 parsing library, all the source code of all other open source libraries ever, a meticulously maintained and extremely comprehensive test suite written by somebody else, 5 different models, a megawatt-hour of energy, a swimming pool full of water, and a month of spare time of an extremely senior engineer

2025-12-17

@bikerouter This is amazing. Thank you! Pic related 😉

Bike handlebar with gps in front of a narrow path going downhill that is definitely not a bike path.
Malvin boosted:
maxine 🇵🇸maxine@hachyderm.io
2025-12-17

I don't understand why anyone dissatisfied with Firefox right now would switch to Vivaldi, a browser built on top of Blink (Chromium) that's "proprietary freeware" and not foss. That doesn't seem like a good trade-in no matter how much Firefox is fucking up at present, and they really are fucking up a lot.

Malvin boosted:
Cybso :progress: 4373@39c3cybso@osna.social
2025-12-17

Leute, mal ernsthaft, wo bleiben die Allys? Unterschreibt das Ding, pusht es unter euren Freunden und Familien!

Die Weitergabe des ursprünglichen Vornamens bei einer Namensänderung an die Behörden mag harmlos und auf den ersten Blick vielleicht sinnvoll für die Strafverfolgung klingen.

Aber wenn Dobrindt damit durchkommt, dann schenken wir einer zukünftigen faschistischen Regierung eine Liste aller Transpersonen! Soweit darf es nicht kommen ❤️

epetitionen.bundestag.de/petit

2025-12-17

My little page "Fedi Poll View" now includes @Gemueseturnir , @Obstturnier and @bahnturnier as examples 🥦🍍🚂

https://tools.malv.in/list/fedipollview.html

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst