corpus.blog
41554 blogs · [ { "id": "01a0876f-63f0-73bb-968b-143cc0c41f8e", "title": "Shippers and Theory Builders", "url": "https://www.dragonwasrobot.com/categories/musings/shippers-and-theory-builders/", "published_at": "2026-07-10T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cc06b2170", "title": "Programming in Style: From Pattern Matching to Point Free", "url": "https://www.dragonwasrobot.com/categories/musings/programming-in-style-from-pattern-matching-to-point-free/", "published_at": "2023-04-27T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cbfe430f8", "title": "Sum types in Kotlin, Elixir, and Elm", "url": "https://www.dragonwasrobot.com/categories/musings/sum-types-in-kotlin-elixir-and-elm/", "published_at": "2016-12-20T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cbf9dd934", "title": "Product types in Kotlin, Elixir, and Elm", "url": "https://www.dragonwasrobot.com/categories/musings/product-types-in-kotlin-elixir-and-elm/", "published_at": "2016-11-14T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cbebc9746", "title": "Enum types in Kotlin, Elixir, and Elm", "url": "https://www.dragonwasrobot.com/categories/musings/enum-types-in-kotlin-elixir-and-elm/", "published_at": "2016-10-02T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cbd1d486e", "title": "Idealized versions of Moessner's theorem and Long's theorem", "url": "https://www.dragonwasrobot.com/categories/moessners-sieve/idealized-versions-of-moessners-theorem-and-longs-theorem/", "published_at": "2016-07-10T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cbd0fd936", "title": "A grid of Moessner triangles", "url": "https://www.dragonwasrobot.com/categories/moessners-sieve/a-grid-of-moessner-triangles/", "published_at": "2016-06-29T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cbc4b1a11", "title": "Deriving Moessner's sieve from Horner's method", "url": "https://www.dragonwasrobot.com/categories/moessners-sieve/deriving-moessners-sieve-from-horners-method/", "published_at": "2016-05-17T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cbbec50b8", "title": "Obtaining Taylor Polynomials with Horner's method", "url": "https://www.dragonwasrobot.com/categories/moessners-sieve/obtaining-taylor-polynomials-with-horners-method/", "published_at": "2016-04-08T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cbb2da68e", "title": "A characteristic function of Moessner's sieve", "url": "https://www.dragonwasrobot.com/categories/moessners-sieve/a-characteristic-function-of-moessners-sieve/", "published_at": "2016-03-04T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cba9932d0", "title": "A dual to Moessner's sieve", "url": "https://www.dragonwasrobot.com/categories/moessners-sieve/a-dual-to-moessners-sieve/", "published_at": "2016-02-19T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cba0a6f92", "title": "An introduction to Moessner's theorem and Moessner's sieve", "url": "https://www.dragonwasrobot.com/categories/moessners-sieve/an-introduction-to-moessners-theorem-and-moessners-sieve/", "published_at": "2016-01-12T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cb99ecb84", "title": "Rotating Pascal's triangle and the binomial coefficient", "url": "https://www.dragonwasrobot.com/categories/moessners-sieve/rotating-pascals-triangle-and-the-binomial-coefficient/", "published_at": "2015-12-20T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cb9553afe", "title": "An introduction to Pascal's triangle and the binomial coefficient", "url": "https://www.dragonwasrobot.com/categories/moessners-sieve/an-introduction-to-pascals-triangle/", "published_at": "2015-11-07T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cbe8e9df3", "title": "Equivalence of interpretation and compilation followed by execution", "url": "https://www.dragonwasrobot.com/categories/musings/equivalence-of-interpretation-and-compilation-followed-by-execution/", "published_at": "2015-10-16T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cbdf62f59", "title": "An interpreter, a compiler, and a virtual machine", "url": "https://www.dragonwasrobot.com/categories/musings/an-interpreter-a-compiler-and-a-virtual-machine/", "published_at": "2015-09-26T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cb874d7e6", "title": "An introduction to Horner's method", "url": "https://www.dragonwasrobot.com/categories/moessners-sieve/an-introduction-to-horners-method/", "published_at": "2015-08-03T00:00:00+00:00" }, { "id": "01a0876f-63f0-73bb-968b-143cbd93d99a", "title": "A Primer on the Coq Proof Assistant", "url": "https://www.dragonwasrobot.com/categories/musings/a-primer-on-the-coq-proof-assistant/", "published_at": "2015-07-18T00:00:00+00:00" } ] posts Claim your blog
Back to dragonwasrobot.com
Blog · corpus.blog/blogs/dragonwasrobot.com/posts

dragonwasrobot.com

dragonwasrobot.com

2026

Shippers and Theory Buildersoriginal ↗
10 Jul 2026

2023

Programming in Style: From Pattern Matching to Point Freeoriginal ↗
27 Apr 2023

2016

Sum types in Kotlin, Elixir, and Elmoriginal ↗
20 Dec 2016
Product types in Kotlin, Elixir, and Elmoriginal ↗
14 Nov 2016
Enum types in Kotlin, Elixir, and Elmoriginal ↗
2 Oct 2016
Idealized versions of Moessner's theorem and Long's theoremoriginal ↗
10 Jul 2016
A grid of Moessner trianglesoriginal ↗
29 Jun 2016
Deriving Moessner's sieve from Horner's methodoriginal ↗
17 May 2016
Obtaining Taylor Polynomials with Horner's methodoriginal ↗
8 Apr 2016
A characteristic function of Moessner's sieveoriginal ↗
4 Mar 2016
A dual to Moessner's sieveoriginal ↗
19 Feb 2016
An introduction to Moessner's theorem and Moessner's sieveoriginal ↗
12 Jan 2016

2015

Rotating Pascal's triangle and the binomial coefficientoriginal ↗
20 Dec 2015
An introduction to Pascal's triangle and the binomial coefficientoriginal ↗
7 Nov 2015
Equivalence of interpretation and compilation followed by executionoriginal ↗
16 Oct 2015
An interpreter, a compiler, and a virtual machineoriginal ↗
26 Sept 2015
An introduction to Horner's methodoriginal ↗
3 Aug 2015
A Primer on the Coq Proof Assistantoriginal ↗
18 Jul 2015