'Wetenschap beloofde ons vrijheid, maar brengt onderdrukking.' Horkheimer en Adorno verwoordden de blok nog nooit zo treffend.

Voor Veto schreef ik samen met @eliasfret.bsky.social een stuk over hoe 262 andersgezinde studenten voor een andere rector-elect hadden kunnen zorgen. Daarbij maakte ik de mooiste spreadsheet uit mijn leven tot nog toe: www.veto.be/onderwijs/26...

met enige voorzichtigheid in het hart: de examens van zowel Topologie als Gegevensstructuren en Algoritmen zijn naar mijn aanvoelen zeer goed gegaan, en bij beide heb ik de dag ervoor Sjostakovitsj geluisterd. En idem voor mijn beste examen ooit (Declaratieve Taken vorig semester). Two's a pattern…

my body is a machine that turns food and sustenance into horrible (but sorry-free!) 112 line Lean proofs of trivial statements (the subspace topology on a subset is, in fact, a topology)

I still adore Haskell to death. Learned about Huffman encoding in a DS&A class, had something whipped up in twenty minutes. What a gorgeous language.

Ik wou maar dat ze hier was als het even kon.

Hilariteit

Het is en blijft Veto's lijfspreuk: de journalistiek staat niet stil. Morgen (enfin, vandaag) bij het ochtendgloren te lezen!

Ook te lezen op pagina vijfentwintig van het papieren magazine. (Sla trouwens ook de pagina eens om naar 27, daar leest u een opiniestuk van yours truly 😉)

📣 Mis niets van de rectorsverkiezingen en het feestjaar van 600 jaar KU Leuven met @vetobe.bsky.social! Ter gelegenheid verlagen we onze abonnementsprijs naar slechts 16 euro! Abonneer je eenvoudig via veto.be/abonnement en ontvang ons magazine volgend semester thuis in de brievenbus.

Categorietheorie, Homologische Algebra, Categorische Topologie.... de master Wiskunde van de VUB caught de KUL lacking man

Learning Lean4 is quite a journey. It's going to take some time to get used to dependent typing, propositions-as-types and the word "inductive".

today marks the first year in which a past exam typeset in @typst.app has helped someone from the year below mine :))

merry christmas everyone. I think today I will start learning OCaml

My family knows me well, what a great Christmas present :)

everyone studying differential equations reaches a breaking point, and friends, let's just say: it's Sturm-Liouville and Sura Al Baqarah time

Als lay-outverantwoordelijke is het altijd een hard labeur om zo'n Veto vormelijk in elkaar te steken. Het resultaat: veertig pagina's vol interessante en pertinente artikelen, ditmaal over GOG en rilatinegebruik bij studenten. Lezen geblazen!! www.veto.be/internationa...

Yet another thing to love about #Haskell: I need a function to concatenate all `Just`s from a 2D list of `Maybe`s. So I came up with `concatMap (maybe [] (:[]))`. hlint promptly told me that this was equivalent to `concatMap maybeToList` and in turn equal to `catMaybes`. Static analysis rules!

An unexpected cool side effect (hah!) of doing AoC 2024 in #Haskell is that the laziness (and inefficient code) means I get a cool animation of my solution being printed for free.

Ondergeapprecieerd nummer. open.spotify.com/track/1QYpsi...

Cadeautip voor wie nog een origineel kerstgeschenk zoekt

Kameraden, na jaren werk kan ik aankondigen: mijn nieuwe gedichtenbundel — getiteld scheve schoven — is nu beschikbaar op schrijfsel.store.

Een ellendige novemberavond, met een motregen die de dappersten van de straat veegt.

feiten!

Het is fascinerend hoe goed lopen werkt tegen de seizoensgebonden dipjes. O, vrijstudentenheerlijkheid!

Alle sites moeten met Lynx te bekijken zijn!

This title slide has no reason to be this metal

Voor wie @vetobe.bsky.social en haar journalisten op de voet wil volgen: hierbij een verzameling van alle Vetoranen die al actief zijn op Bluesky! 🦋🖋️🗞️ go.bsky.app/V7LNop9

de nieuwste in de reeks "ik heb geen enkele reden om a priori aan te nemen dat ik deze vaardigheid ga beheersen of er überhaupt maar aanleg voor hebben": bronsgieterij

Bon, hier zijn we dan.

man I love taking pictures