41554 blogs · [ { "id": "01a0872b-c725-72f7-8beb-fdeb6fa85904", "title": "Creating And Optimizing My Relational Programming Language", "url": "http://anthonylorenhart.com/2026-02-14-Creating-and-Optimizing-my-Relational-Programming-Language/", "published_at": "2026-02-14T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb7053c319", "title": "My Dog Thor", "url": "http://anthonylorenhart.com/2022-05-06-My-Dog-Thor/", "published_at": "2022-05-06T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb70df43c5", "title": "An Optimal And Feasible Pairing Function", "url": "http://anthonylorenhart.com/2021-11-29-An-Optimal-and-Feasible-Pairing-Function/", "published_at": "2021-11-29T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb71095264", "title": "What Sort Of Programs Are Logic Programs", "url": "http://anthonylorenhart.com/2021-09-20-What-Sort-of-Programs-are-Logic-Programs/", "published_at": "2021-09-20T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb71ddecba", "title": "Differential Forms Of Lambda Expressions", "url": "http://anthonylorenhart.com/2021-09-05-Differential-Forms-of-Lambda-Expressions/", "published_at": "2021-09-05T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb72135e1e", "title": "Extremely Simple Self Interpretation", "url": "http://anthonylorenhart.com/2021-09-04-Extremely-Simple-Self-Interpretation/", "published_at": "2021-09-04T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb730ea7c0", "title": "Computing The Discrete Continuously", "url": "http://anthonylorenhart.com/2021-05-11-Computing-the-Discrete-Continuously/", "published_at": "2021-05-11T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb73cc6e42", "title": "Basic Bijective Godel Encodings", "url": "http://anthonylorenhart.com/2021-01-08-Basic-Bijective-Godel-Encodings/", "published_at": "2021-01-08T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb74ae1e01", "title": "Omega Categories Made Easy", "url": "http://anthonylorenhart.com/2020-10-09-Omega-Categories-Made-Easy/", "published_at": "2020-10-09T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb752a8d5c", "title": "Program Synthesis Specification", "url": "http://anthonylorenhart.com/2020-10-07-Program-Synthesis-Specification/", "published_at": "2020-10-07T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb759cc0fd", "title": "My (mis)adventures With Algorithmic Machine Learning", "url": "http://anthonylorenhart.com/2020-09-18-My-(Mis)Adventures-with-Algorithmic-Machine-Learning/", "published_at": "2020-09-18T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb7681eab8", "title": "Datatypes As Dialgebras", "url": "http://anthonylorenhart.com/2020-08-31-Datatypes-as-Dialgebras/", "published_at": "2020-08-31T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb77341e3b", "title": "Sorting Lists Recursively; The Easy Way", "url": "http://anthonylorenhart.com/2020-04-07-Sorting-Lists-Recursively;-The-Easy-Way/", "published_at": "2020-04-07T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb776b0af1", "title": "Some Notes On Lambda Encodings", "url": "http://anthonylorenhart.com/2019-12-03-Some-Notes-on-Lambda-Encodings/", "published_at": "2019-12-03T00:00:00+00:00" }, { "id": "01a0872b-c725-72f7-8beb-fdeb78026918", "title": "A New Foundation For Realizability", "url": "http://anthonylorenhart.com/2019-08-05-A-New-Foundation-for-Realizability/", "published_at": "2019-08-05T00:00:00+00:00" } ] posts Claim your blog

Back to anthonylorenhart.com

Blog · corpus.blog/blogs/anthonylorenhart.com/posts

anthonylorenhart.com

anthonylorenhart.com

2026

Creating And Optimizing My Relational Programming Language original ↗

14 Feb 2026

2022

My Dog Thor original ↗

6 May 2022

2021

An Optimal And Feasible Pairing Function original ↗

29 Nov 2021

What Sort Of Programs Are Logic Programs original ↗

20 Sept 2021

Differential Forms Of Lambda Expressions original ↗

5 Sept 2021

Extremely Simple Self Interpretation original ↗

4 Sept 2021

Computing The Discrete Continuously original ↗

11 May 2021

Basic Bijective Godel Encodings original ↗

8 Jan 2021

2020

Omega Categories Made Easy original ↗

9 Oct 2020

Program Synthesis Specification original ↗

7 Oct 2020

My (mis)adventures With Algorithmic Machine Learning original ↗

18 Sept 2020

Datatypes As Dialgebras original ↗

31 Aug 2020

Sorting Lists Recursively; The Easy Way original ↗

7 Apr 2020

2019

Some Notes On Lambda Encodings original ↗

3 Dec 2019

A New Foundation For Realizability original ↗

5 Aug 2019