🇱🇧 expat living in 🇨🇭
PhD Student in Programming languages at the University of St.Gallen.
AUB and EPFL Alumni.
Programmer for more than 10 years.
Header picture is the green oval with the Fisk and Bliss buildings painted by Tarek Bohsali. It's in this corner where my best memories of AUB are.
| Site | https://grgz.me |
| Languages | EN / FR / عربي |
| Pronouns | He/Him |
| Bluesky | @grgzkhr.bsky.social |
Après la France et l'Allemagne, la Suisse ? Allez on croise les doigts pour que cette prise de conscience soit suivie d'actes concrets
La Confédération va-t-elle tourner le dos à Microsoft? https://www.rts.ch/info/suisse/2026/article/la-confederation-veut-reduire-sa-dependance-a-microsoft-29216786.html
La Confédération affirme vouloir "réduire progressivement et à long terme sa dépendance vis-à-vis de Microsoft", rapportait dimanche la NZZ am Sonntag. À rebours de ses décisions des dernières années, cette annonce est saluée par plusieurs politiques et spécialistes.
Indentation in python can be whatever, right? the first nested scope can be indented with 4 spaces, one deeper can be indented with 6, and its sibling with 7.
So, here me out:
I propose to do move away from geometric indentation to Fibonacci indentation.
Geometric indentation: a scope nested n-deep is indented with c*n leading spaces (c>0)
Fibonacci indentation: a scope nested n-deep is indented with F_{n+2}-1 leading spaces.
Here's a screenshot of what some code would look like
You know, when you think about it, practically every symphony orchestra is a cover band, and nobody busts their chops about it.
POPL has been very productive and fun this year on a personal level. I've met a whole lot of cool folks and I got a lot of pointers to follow up on during my poster session :)
Fingers crossed I'm there next year!
Chris 🏴
pat radio
Glyph
Natasha 
🇪🇺