Ghost Logic is dead or unnecessary code that leads the reader to make false assumptions about values and states. An example is better than a thousand words: def recalculate_score ( age : Int32 ?, iq : Float32 , wealth : Money ?) : PersonalScore return PersonalScore . UNKNOWN if ! age return PersonalScore . UNKNOWN if ! money if ( age < 18 ) return PersonalScore . CHILD end if ( iq > 200 ) Log .…
Jesus was not really a martyr. His sacrifice was small. Here is the Ultimate Martyr. Jesus Did Not Die When you “die”, but then you actually go to heaven, that’s not “dying”. You are just being teleported to a different place. Therefore Jesus isn’t really a martyr. Not just that. He is teleportet to heaven , which by definition is a better place than earth. So…
Java is a popular programming language, but it teaches bad habits and bad OOP. Here are my reasons and opinions. Interface Inflation Because Java was designed without lambda functions/closures, hundreds of unnecessary single-method interfaces had to be added. E.g. all kinds of XyzListeners . If the language had lambdas from the start, these interfaces could have been replaced by simple function…
Typing is an important part of programming. Regular keyboards are oversized and have horrible layouts. These are my thoughts about improvements regarding keyboard layout, keybindings, timings etc. How I Type I do not acutally type much. And I type in bursts. I do not have and never had RSI. I did never type with 10 fingers. I have some weird typing behaviours. I jump around the keyboard with both…
William Lane Craig often presents the fine-tuning argument: The values of the fundamental constants are fine-tuned, because if they would differ just by a tiny fraction, life would not exist. The argument in detail: If the fundamental constants of the universe (e.g. the gravitational constant) would differ by just a tiny fraction, life would not be possible Life exists and therefore the constants…
A problem graph is a directed, irreflexive graph that is used to model the relationships between problems and their solutions. This is a relatively simple example: What this graph models is basically that the problem Spamming can be prevented by using Captchas . But Captchas in turn introduce a UX problem since the user is annoyed with extra input fields. A graph like this is bipartit , since a…