On teaching programmers and mathematicians
I have been lucky to be exposed to some very good teachers with different approaches as well as collect my own experience: I am teaching C/Assembly since around 2009. I’ve also taught things like Lambda-calculus and functional programming, mathematics and playing piano. This post is intended as a summary of how I see an ideal education in virtually any domain. I will speak about teaching mathematics and or programming; the principles however are sufficiently abstract to be applied anywhere.
A word about René Magritte
Recently I’ve been lucky to spend a couple of days in Belgium. I’ve come to Bruxelles, rushed through Brugge and Gant and ended my journey by visiting René Magritte museum. I was quite impressed, partly because I have not seen much of Magritte before. This post is intended as a quick review of my impressions and thoughts on Magritte style and his philosophy.
goto, the marvelous
IT folks are prone to prejudices, as we all are. Once a beginner programmer starts exploring the world of coding, he quickly learns catchy memes from the more experienced part of the community. One can then easily live by them without putting much thought in their meaning.
Proving dependent equalities in Coq with SSReflect
Proving dependent equalities in Coq is boring, but quite frequently done.