#Computer Science

Modular Arithmetic in Lambda Calculus

Mar 28, 2026   #Lambda Calculus  #Church Numerals  #Kleene Numerals  #Brahmagupta 

CS edu and 'AI coding agents'

Feb 20, 2026  

Church-Brahmagupta Numerals

Aug 15, 2022   #Lambda Calculus  #Brahmagupta  #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