simeondermaats 🦀
@simeondermaats.bsky.social
Maths student @ KU Leuven, lay-out responsible for @vetobe.bsky.social. In love with category and type theory and declarative languages, Iosevka, Pynchon.
Reposted by simeondermaats 🦀
'Wetenschap beloofde ons vrijheid, maar brengt onderdrukking.' Horkheimer en Adorno verwoordden de blok nog nooit zo treffend.
June 18, 2025 at 1:23 PM
'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...
www.veto.be/onderwijs/26...
June 18, 2025 at 10:40 AM
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...
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…
June 12, 2025 at 10:07 AM
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)
June 6, 2025 at 5:33 AM
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.
June 1, 2025 at 7:24 PM
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.
Reposted by simeondermaats 🦀
Ik wou maar dat ze hier was als het even kon.
May 21, 2025 at 7:47 PM
Ik wou maar dat ze hier was als het even kon.
Hilariteit
Breaking: Omdat Leo een beschermd merk is, wordt de paus mogelijk Olé XIV
May 8, 2025 at 7:19 PM
Hilariteit
Het is en blijft Veto's lijfspreuk: de journalistiek staat niet stil. Morgen (enfin, vandaag) bij het ochtendgloren te lezen!
Binnen 6u start de campagne voor de aanstaande rectorverkiezingen aan de KU Leuven officieel, dus wordt er hier nog duchtig geschreven... @pieterjandouchy.bsky.social @simeondermaats.bsky.social @vetobe.bsky.social
April 24, 2025 at 1:49 AM
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 😉)
Opiniestuk in studentenblad #Veto. Het lezen waard, al zeg ik het zelf! 🙂 www.veto.be/opinie/geef-... #kuleuven #hogeronderwijs #universiteit
Geef studenten de tijd om écht te studeren
Professor computerwetenschappen Philip Dutré betreurt dat studenten te weinig inspanningen leveren om hun vakken echt te doorgronden. Maar ze moeten daarvoor ook de ruimte krijgen: 'We overladen stude...
www.veto.be
March 3, 2025 at 10:03 AM
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 😉)
Reposted by simeondermaats 🦀
📣 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.
January 22, 2025 at 2:28 PM
📣 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
January 15, 2025 at 10:08 PM
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".
January 12, 2025 at 9:40 PM
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 :))
December 27, 2024 at 12:36 PM
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
December 25, 2024 at 6:05 PM
merry christmas everyone. I think today I will start learning OCaml
My family knows me well, what a great Christmas present :)
December 24, 2024 at 10:10 PM
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
December 15, 2024 at 10:46 AM
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...
www.veto.be/internationa...
December 9, 2024 at 1:55 PM
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...
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!
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!
December 8, 2024 at 12:24 PM
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!
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.
December 6, 2024 at 11:24 PM
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.
Reposted by simeondermaats 🦀
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.
schrijfsel.store - scheve schoven!
scheve schoven, de nieuwste bundel van simeon duwel, is nu beschikbaar.
schrijfsel.store
December 2, 2024 at 4:05 PM
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.
schrijfsel.store - scheve schoven!
scheve schoven, de nieuwste bundel van simeon duwel, is nu beschikbaar.
schrijfsel.store
December 2, 2024 at 9:22 AM
Kameraden, na jaren werk kan ik aankondigen: mijn nieuwe gedichtenbundel — getiteld scheve schoven — is nu beschikbaar op schrijfsel.store.
Reposted by simeondermaats 🦀
Een ellendige novemberavond, met een motregen die de dappersten van de straat veegt.
November 20, 2024 at 3:37 PM
Een ellendige novemberavond, met een motregen die de dappersten van de straat veegt.
feiten!
Deze mens kan alles
November 29, 2024 at 6:58 PM
feiten!
Het is fascinerend hoe goed lopen werkt tegen de seizoensgebonden dipjes. O, vrijstudentenheerlijkheid!
November 28, 2024 at 12:38 PM
Het is fascinerend hoe goed lopen werkt tegen de seizoensgebonden dipjes. O, vrijstudentenheerlijkheid!