Sign in

simeondermaats 🦀

@simeondermaats.bsky.social
107 followers 171 following 40 posts

Maths student @ KU Leuven, lay-out responsible for @vetobe.bsky.social. In love with category and type theory and declarative languages, Iosevka, Pynchon.

PostsRepliesMedia
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/2025
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...
220
simeondermaats 🦀 @simeondermaats.bsky.social · 12/06/2025
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…
040
simeondermaats 🦀 @simeondermaats.bsky.social · 06/06/2025
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)
130
simeondermaats 🦀 @simeondermaats.bsky.social · 01/06/2025
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.
130
Reposted by simeondermaats 🦀
Random Spinvis @dixitspinvis.bsky.social · 21/05/2025
Ik wou maar dat ze hier was als het even kon.
042
simeondermaats 🦀 @simeondermaats.bsky.social · 08/05/2025
Hilariteit
020
simeondermaats 🦀 @simeondermaats.bsky.social · 24/04/2025
Het 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/2025
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 😉)
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/2025
Categorietheorie, Homologische Algebra, Categorische Topologie.... de master Wiskunde van de VUB caught de KUL lacking man
020
simeondermaats 🦀 @simeondermaats.bsky.social · 12/01/2025
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".
030
simeondermaats 🦀 @simeondermaats.bsky.social · 27/12/2024
today 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/2024
merry christmas everyone. I think today I will start learning OCaml
143
simeondermaats 🦀 @simeondermaats.bsky.social · 24/12/2024
My family knows me well, what a great Christmas present :)
020
simeondermaats 🦀 @simeondermaats.bsky.social · 15/12/2024
everyone 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/2024
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...
053
simeondermaats 🦀 @simeondermaats.bsky.social · 08/12/2024
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!
010
simeondermaats 🦀 @simeondermaats.bsky.social · 06/12/2024
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.
010
simeondermaats 🦀 @simeondermaats.bsky.social · 06/12/2024
Ondergeapprecieerd nummer. open.spotify.com/track/1QYpsi...
open.spotify.com
Migration
Camel · The Snow Goose · Song · 1975
010
Reposted by simeondermaats 🦀
Simon Tibo @simontibo.bsky.social · 02/12/2024
Cadeautip voor wie nog een origineel kerstgeschenk zoekt
032
simeondermaats 🦀 @simeondermaats.bsky.social · 02/12/2024
Kameraden, na jaren werk kan ik aankondigen: mijn nieuwe gedichtenbundel — getiteld scheve schoven — is nu beschikbaar op schrijfsel.store.
schrijfsel.store
schrijfsel.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/2024
Een ellendige novemberavond, met een motregen die de dappersten van de straat veegt.
0116
simeondermaats 🦀 @simeondermaats.bsky.social · 29/11/2024
feiten!
140
simeondermaats 🦀 @simeondermaats.bsky.social · 28/11/2024
Het is fascinerend hoe goed lopen werkt tegen de seizoensgebonden dipjes. O, vrijstudentenheerlijkheid!
140
Reposted by simeondermaats 🦀
Free VH @freevh.bsky.social · 27/11/2024
Alle sites moeten met Lynx te bekijken zijn!
011
simeondermaats 🦀 @simeondermaats.bsky.social · 28/11/2024
This title slide has no reason to be this metal
010
Reposted by simeondermaats 🦀
Elias Fret @eliasfret.bsky.social · 27/11/2024
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
1157
simeondermaats 🦀 @simeondermaats.bsky.social · 24/11/2024
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
130
simeondermaats 🦀 @simeondermaats.bsky.social · 20/11/2024
Bon, hier zijn we dan.
250
simeondermaats 🦀 @simeondermaats.bsky.social · 30/07/2023
man I love taking pictures
a picture of two bridges crossing over each other: one of them meant for pedestrians and the other for trains
280