Perhaps the work on binary lambda calculus and Kolmogorov complexity by John Tromp would be interesting to you? http://tromp.github.io/cl/cl.html "Functional Bits: Lambda Calculus based Algorithmic Information Theory"…
They have not become better (in my experience). The ads are still mostly irrelevant for me. (With no anti-tracking attempted by me.)
Perhaps the work on binary lambda calculus and Kolmogorov complexity by John Tromp would be interesting to you? http://tromp.github.io/cl/cl.html "Functional Bits: Lambda Calculus based Algorithmic Information Theory"…
They have not become better (in my experience). The ads are still mostly irrelevant for me. (With no anti-tracking attempted by me.)