Articles

The complete list of articles on Bits and Theorems, sorted from newest to oldest, can be found here.

Managing time shiftable devices

August 12, 202525 minutesRead

Our energy usage is changing: the energy transition is rapidly making our energy consumption more electric. This doesn't come without challenges however. In this article we take a look at some of these challenges, and dive into the mathematics of smart grids.


Winning Cluedo

May 11, 202525 minutesRead

Was it Professor Plum with the Candlestick in the Study? We take a look at constraint logic programming, and use it to figure out how to solve a game of Cluedo!


Definite clause grammars and symbolic differentiation

March 9, 202525 minutesRead

Using the logic programming language Prolog, we build a tool capable of symbolic differentiation.


The simplicity of Prolog

January 25, 202525 minutesRead

Logic programming, what is it, and what can it do for you? We take a short look at the little-known paradigm of logic programming, and make a comparison between refactor efforts over the software lifecycle of the same simple authorization application implemented in Kotlin and Prolog.


The advantage of advantage

December 11, 202420 minutesRead

We take a deep dive into the advantage game mechanic of Dungeons and Dragons Fifth Edition. Just how good is advantage?


Tabletop role-playing games and probability generating functions

November 23, 202420 minutesRead

Using a nifty representation of probability distributions we'll build a tool to exactly calculate damage distributions for games like Dungeons and Dragons and Pathfinder.