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.
Causation in modern philosophy of science
Our minds use the notions of cause and consequences all the time. It is, without a doubt, one of the fundamentals of human reasoning. However, when observed closely and formally, it becomes apparent that our concept is based rather on intuition and lacks strictness and connection to the real word. This post is intended as a quick introduction to causation from the philosophical point of view.