Reposted by simeondermaats 🦀Elias Fret @eliasfret.bsky.social · 18/06/2025'Wetenschap beloofde ons vrijheid, maar brengt onderdrukking.' Horkheimer en Adorno verwoordden de blok nog nooit zo treffend. 031
simeondermaats 🦀 @simeondermaats.bsky.social · 18/06/2025Voor 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... 220
simeondermaats 🦀 @simeondermaats.bsky.social · 12/06/2025met 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… 040
simeondermaats 🦀 @simeondermaats.bsky.social · 06/06/2025my 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) 130
simeondermaats 🦀 @simeondermaats.bsky.social · 01/06/2025I 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. 130
Reposted by simeondermaats 🦀Random Spinvis @dixitspinvis.bsky.social · 21/05/2025Ik wou maar dat ze hier was als het even kon. 042
simeondermaats 🦀 @simeondermaats.bsky.social · 24/04/2025Het is en blijft Veto's lijfspreuk: de journalistiek staat niet stil. Morgen (enfin, vandaag) bij het ochtendgloren te lezen! 021
simeondermaats 🦀 @simeondermaats.bsky.social · 03/03/2025Ook 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 😉) 170
Reposted by simeondermaats 🦀Robin Geukens @robingeukens.bsky.social · 22/01/2025📣 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. 074
simeondermaats 🦀 @simeondermaats.bsky.social · 15/01/2025Categorietheorie, Homologische Algebra, Categorische Topologie.... de master Wiskunde van de VUB caught de KUL lacking man 020
simeondermaats 🦀 @simeondermaats.bsky.social · 12/01/2025Learning 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". 030
simeondermaats 🦀 @simeondermaats.bsky.social · 27/12/2024today marks the first year in which a past exam typeset in @typst.app has helped someone from the year below mine :)) 000
simeondermaats 🦀 @simeondermaats.bsky.social · 25/12/2024merry christmas everyone. I think today I will start learning OCaml 143
simeondermaats 🦀 @simeondermaats.bsky.social · 24/12/2024My family knows me well, what a great Christmas present :) 020
simeondermaats 🦀 @simeondermaats.bsky.social · 15/12/2024everyone studying differential equations reaches a breaking point, and friends, let's just say: it's Sturm-Liouville and Sura Al Baqarah time 000
simeondermaats 🦀 @simeondermaats.bsky.social · 09/12/2024Als 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... 053
simeondermaats 🦀 @simeondermaats.bsky.social · 08/12/2024Yet 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! 010
simeondermaats 🦀 @simeondermaats.bsky.social · 06/12/2024An 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. 010
simeondermaats 🦀 @simeondermaats.bsky.social · 06/12/2024Ondergeapprecieerd nummer. open.spotify.com/track/1QYpsi...open.spotify.comMigrationCamel · The Snow Goose · Song · 1975 010
Reposted by simeondermaats 🦀Simon Tibo @simontibo.bsky.social · 02/12/2024Cadeautip voor wie nog een origineel kerstgeschenk zoekt 032
simeondermaats 🦀 @simeondermaats.bsky.social · 02/12/2024Kameraden, na jaren werk kan ik aankondigen: mijn nieuwe gedichtenbundel — getiteld scheve schoven — is nu beschikbaar op schrijfsel.store.schrijfsel.storeschrijfsel.store - scheve schoven!scheve schoven, de nieuwste bundel van simeon duwel, is nu beschikbaar. 040
Reposted by simeondermaats 🦀Willem Elsschot @willemelsschot.bsky.social · 20/11/2024Een ellendige novemberavond, met een motregen die de dappersten van de straat veegt. 0116
simeondermaats 🦀 @simeondermaats.bsky.social · 28/11/2024Het is fascinerend hoe goed lopen werkt tegen de seizoensgebonden dipjes. O, vrijstudentenheerlijkheid! 140
Reposted by simeondermaats 🦀Free VH @freevh.bsky.social · 27/11/2024Alle sites moeten met Lynx te bekijken zijn! 011
simeondermaats 🦀 @simeondermaats.bsky.social · 28/11/2024This title slide has no reason to be this metal 010
Reposted by simeondermaats 🦀Elias Fret @eliasfret.bsky.social · 27/11/2024Voor 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 1157
simeondermaats 🦀 @simeondermaats.bsky.social · 24/11/2024de 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 130