41554 blogs · [ { "id": "01a087d5-af1a-72f0-aa25-54c464144f8b", "title": "Evaluation order and nontermination in query languages", "url": "http://www.rntz.net/post/2026-06-11-datalog-nontermination.html", "published_at": "2026-06-16T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c4642b5672", "title": "Deconstructing Datalog", "url": "http://www.rntz.net/post/my-thesis.html", "published_at": "2026-06-11T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c464f8c4f6", "title": "Cafés of Cambridge", "url": "http://www.rntz.net/post/2024-08-07-cafes-of-cambridge.html", "published_at": "2024-08-07T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c465a654f3", "title": "Simple, generic, type-safe substitution in Agda", "url": "http://www.rntz.net/post/2019-01-21-generic-substitution.html", "published_at": "2019-01-21T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c465edd024", "title": "Representing binding in Agda using functions as contexts", "url": "http://www.rntz.net/post/2019-01-18-binding-in-agda.html", "published_at": "2019-01-18T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c4668b8e1c", "title": "Could an archaeologist grok an iPhone?", "url": "http://www.rntz.net/post/2018-07-25-artifacts.html", "published_at": "2018-07-25T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c467119b98", "title": "Parsing list comprehensions is hard", "url": "http://www.rntz.net/post/2018-07-10-parsing-list-comprehensions.html", "published_at": "2018-07-10T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c467c600ed", "title": "Why I am not a fan of Cabal or Stack", "url": "http://www.rntz.net/post/2018-05-18-why-i-am-not-a-fan-of-stack.html", "published_at": "2018-05-18T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c468247f99", "title": "Against software development", "url": "http://www.rntz.net/post/against-software-development.html", "published_at": "2018-03-10T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c46882b97d", "title": "Ursula Le Guin is dead", "url": "http://www.rntz.net/post/2018-01-24-ursula-leguin-is-dead.html", "published_at": "2018-01-24T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c4692b349b", "title": "Semilattices and their tensor products", "url": "http://www.rntz.net/post/2017-10-12-semilattices.html", "published_at": "2017-10-12T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c469584bd6", "title": "Aphorisms on programming language design", "url": "http://www.rntz.net/post/2017-01-27-aphorisms-on-pl-design.html", "published_at": "2017-01-27T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c46a47899b", "title": "Not everything is an expression", "url": "http://www.rntz.net/post/2016-06-06-not-everything-is-an-expression.html", "published_at": "2016-06-06T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c46a4ca8a8", "title": "Option and null in dynamic languages", "url": "http://www.rntz.net/post/2014-07-02-option-in-dynlangs.html", "published_at": "2014-07-02T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c46afb04fc", "title": "Monoids, scope, and extensibility", "url": "http://www.rntz.net/post/2014-06-27-monoids-scope-extensibility.html", "published_at": "2014-06-27T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c46b73549b", "title": "On dynamic and static types", "url": "http://www.rntz.net/post/2014-06-16-on-dynamic-and-static-types.html", "published_at": "2014-06-16T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c46c264f73", "title": "Belief is indexed by proof system", "url": "http://www.rntz.net/post/logic-and-belief.html", "published_at": "2011-11-13T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c46c6a6a3f", "title": "Intuitive hygienic macros", "url": "http://www.rntz.net/post/intuitive-hygienic-macros.html", "published_at": "2009-03-03T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c46d25b3f1", "title": "An odd type inference problem", "url": "http://www.rntz.net/post/an-odd-type-inference-problem.html", "published_at": "2009-02-09T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c46d7013a8", "title": "Languages as models of computation", "url": "http://www.rntz.net/post/languages-as-models-of-computation.html", "published_at": "2009-01-17T08:00:00+00:00" }, { "id": "01a087d5-af1a-72f0-aa25-54c46e3496d3", "title": "OO and pattern-matching", "url": "http://www.rntz.net/post/oo-and-pattern-matching.html", "published_at": "2008-08-10T08:00:00+00:00" } ] posts Claim your blog

Back to rntz.net

Blog · corpus.blog/blogs/rntz.net/posts

rntz.net

rntz.net

2026

Evaluation order and nontermination in query languages original ↗

16 Jun 2026

Deconstructing Datalog original ↗

11 Jun 2026

2024

Cafés of Cambridge original ↗

7 Aug 2024

2019

Simple, generic, type-safe substitution in Agda original ↗

21 Jan 2019

Representing binding in Agda using functions as contexts original ↗

18 Jan 2019

2018

Could an archaeologist grok an iPhone?original ↗

25 Jul 2018

Parsing list comprehensions is hard original ↗

10 Jul 2018

Why I am not a fan of Cabal or Stack original ↗

18 May 2018

Against software development original ↗

10 Mar 2018

Ursula Le Guin is dead original ↗

24 Jan 2018

2017

Semilattices and their tensor products original ↗

12 Oct 2017

Aphorisms on programming language design original ↗

27 Jan 2017

2016

Not everything is an expression original ↗

6 Jun 2016

2014

Option and null in dynamic languages original ↗

2 Jul 2014

Monoids, scope, and extensibility original ↗

27 Jun 2014

On dynamic and static types original ↗

16 Jun 2014

2011

Belief is indexed by proof system original ↗

13 Nov 2011

2009

Intuitive hygienic macros original ↗

3 Mar 2009

An odd type inference problem original ↗

9 Feb 2009

Languages as models of computation original ↗

17 Jan 2009

2008

OO and pattern-matching original ↗

10 Aug 2008