articles.json

{
	"title": "zephyrtronium",
	"author": "zephyrtronium",
	"email": "zephyrtronium@hey.com",
	"href": "https://zephyrtronium.github.io/",
	"description": "correct opinions about types, go, capital letters, &c.",
	"sections": [
		{
			"section": "Data Structures for Throughput",
			"articles": [
				"rwmutex",
				"syncmap"
			]
		},
		{
			"section": "Type Techniques",
			"articles": [
				"unmarshal-validation",
				"static-assert"
			]
		},
		{
			"section": "Thoughts on a Programming Language",
			"articles": [
				"lang",
				"lang-subtypes",
				"lang-maybe",
				"lang-dynamic-scope",
				"lang-encapsulation",
				"lang-paradigm",
				"lang-products",
				"lang-modules",
				"lang-distribution",
				"lang-concurrency"
			]
		},
		{
			"section": "Koka",
			"articles": [
				"koka-experience"
			]
		},
		{
			"section": "Miscellany",
			"articles": [
				"copilot",
				"generics-enums",
				"randomness",
				"bocchi"
			]
		}
	]
}