RSS.Social

azdavis.net

follow: @[email protected]

Posts

To improve

In support of middle housing

My path to urbanism

The core ideas

Tomato soup

Spicy rigatoni

The 2024 US election

rjsonnet

Karma

Car-centrism

Rewriting recursion as iteration

Test the repository

SSH without a password with Kerberos

Breakfast burritos

Rust in 2023

Understanding Git repository state

Provide the witness

Assume recursion works

Hash map cost bounds

The coffee shop analogy

Millet

PL idea: built for tooling

PL idea: unified function call syntax

If it's worth doing, it's worth doing at all

Limitations engender opportunity

Improving my writing

Communication for software engineers

Humans are generally good

Terms, types, and functions

Unoriginality is okay

Everything in moderation, including this

Write more, but less

Define a PL: sums

Define a PL: products

Define a PL: functions

Define a PL: integers and booleans

Resources for learning Japanese