http://anthonylorenhart.com/2019-08-05-A-New-Foundation-for-Realizability/ 2019-08-05T00:00:00+00:00 http://anthonylorenhart.com/2019-12-03-Some-Notes-on-Lambda-Encodings/ 2019-12-03T00:00:00+00:00 http://anthonylorenhart.com/2020-04-07-Sorting-Lists-Recursively;-The-Easy-Way/ 2020-04-07T00:00:00+00:00 http://anthonylorenhart.com/2020-08-31-Datatypes-as-Dialgebras/ 2020-08-31T00:00:00+00:00 http://anthonylorenhart.com/2020-09-18-My-(Mis)Adventures-with-Algorithmic-Machine-Learning/ 2020-09-18T00:00:00+00:00 http://anthonylorenhart.com/2020-10-07-Program-Synthesis-Specification/ 2020-10-07T00:00:00+00:00 http://anthonylorenhart.com/2020-10-09-Omega-Categories-Made-Easy/ 2020-10-09T00:00:00+00:00 http://anthonylorenhart.com/2021-01-08-Basic-Bijective-Godel-Encodings/ 2021-01-08T00:00:00+00:00 http://anthonylorenhart.com/2021-05-11-Computing-the-Discrete-Continuously/ 2021-05-11T00:00:00+00:00 http://anthonylorenhart.com/2021-09-04-Extremely-Simple-Self-Interpretation/ 2021-09-04T00:00:00+00:00 http://anthonylorenhart.com/2021-09-05-Differential-Forms-of-Lambda-Expressions/ 2021-09-05T00:00:00+00:00 http://anthonylorenhart.com/2021-09-20-What-Sort-of-Programs-are-Logic-Programs/ 2021-09-20T00:00:00+00:00 http://anthonylorenhart.com/2021-11-29-An-Optimal-and-Feasible-Pairing-Function/ 2021-11-29T00:00:00+00:00 http://anthonylorenhart.com/2022-05-06-My-Dog-Thor/ 2022-05-06T00:00:00+00:00 http://anthonylorenhart.com/2026-02-14-Creating-and-Optimizing-my-Relational-Programming-Language/ 2026-02-14T00:00:00+00:00 http://anthonylorenhart.com/aboutme/ http://anthonylorenhart.com/ http://anthonylorenhart.com/projects/ http://anthonylorenhart.com/speedex/ http://anthonylorenhart.com/tags/ http://anthonylorenhart.com/page2/ http://anthonylorenhart.com/page3/ http://anthonylorenhart.com/assets/interactive/speedex.html 2026-02-14T21:42:19+00:00