George Z

@typeable
52 Followers
172 Following
477 Posts

🇱🇧 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.

Sitehttps://grgz.me
LanguagesEN / FR / عربي
PronounsHe/Him
Bluesky@grgzkhr.bsky.social

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

why does it sound funny?
SML 0w0
Strava says 2hrs 06min and 33sec for the climb. Not too bad :)
It was cold up there, and descending 1400m fast requires layers
And look at these mountains
Look at those hairpins
That's how we were welcomed
That's the valley i'm squeezing into for the big climb