I still have to read the paper, but @davidcnorrismd and the computer scientist Markus Triska, have published a paper demonstrating the properties of a clinical trial design using one of my favorite computing languages ā Prolog. This is a wonderful intersection of medicine, statistics, and computing science.

Many thanks for highlighting this, Robert! Iām glad to know we share an interest in Prolog, too! Iād be happy to do an AMA, for anyone interested in this paper. I am in fact hard at work these days on a category-theoretic formulation of dose-escalation trial designs aiming:

to exhibit certain ethical shortcomings of these designs as [what is known in CT as] a universal property, and

to embed dose escalation within a larger class of dose-titration designs that transcend these shortcomings.

Prolog remains my experimental tool of choice for these investigations.

Speaking of category theory, there is an interesting dissertation that puts statistical models in a category theoretic context that will make it easier to compare and contrast traditional statistical models with machine learning. I am wondering how long it will take someone to use this framework to address some of the questions @f2harrell has asked in some of his ML vs Stats posts.

The video is likely to be abstract nonsense to those not familiar with terminology from category theory (Iām certainly no expert), but I post it for completeness.