#Computer Science

Church-Brahmagupta Numerals

Aug 15, 2022   #Lambda Calculus  #Church numerals  #Kleene numerals 

Prolog Is Magic

Jul 16, 2019   #Prolog 

Beta abstraction for bottom up theory building

Feb 6, 2016   #Beta abstraction  #Scheme  #Database  #Clojure  #Transducers 

Wash dishes. Don't collect garbage.

Jul 6, 2014   #Garbage collection