The Future of Programming is Dependent Types — Programming Word of the Day

Sometimes it feels like programming languages didn’t really change from the 60s up to now. When I feel that, I often remind myself of the cool tools and features we have now that make our lives easier…

What is Lazy Evaluation? — Programming Word of the Day

When a compiler encounters an expression, usually it tries to evaluate it. Evaluation is the process of getting the root meaning of a piece of code. The meaning of 5 + 3 is 8. Our brains also do this: when somebody tells you, "She's a…

What’s a Turing Machine? (And Why Does It Matter?)

Why JavaScript is an OOP Language (Even Though It Doesn’t Have Classes)

You probably know how OOP works. The class Dog inherits from class Animal, which means that if you have a Dog you access methods from Animal. This is actually just a subset of OOP. You can be object oriented…

What’s the smallest possible number? — Programming Word of the Day

What’s the smallest number greater than 0? This is one of those simple questions with complicated answers somewhere between “there is none” and “it depends”.

Why Recursion Is Less Efficient Than a Loop — Programming Word of the Day

Asynchronous programming with Kotlin and Coroutines— Lesson 1: Routines

Note: Make sure to check out my other…

Asynchronous programming with Kotlin and Coroutines — Lesson 2: Suspension Points

Why code without comments wastes my time

There’s a constant discussion in programming about the use of comments. A great Swift…