azdavis.net https://azdavis.net/posts/feed.xml Ariel Davis 2025-12-12T00:00:00.000Z The programming language and tooling I want https://azdavis.net/posts/pl-tooling/ 2025-12-12T00:00:00.000Z Moving past our current local maxima. To improve https://azdavis.net/posts/desire-to-improve/ 2025-07-26T00:00:00.000Z The most important quality. In support of more housing https://azdavis.net/posts/middle-housing/ 2025-04-13T00:00:00.000Z An email sent to my city council. My path to urbanism https://azdavis.net/posts/urbanism-path/ 2025-03-11T00:00:00.000Z A long and winding grade-separated multi-use path. The core ideas https://azdavis.net/posts/core-ideas/ 2025-03-08T00:00:00.000Z The beliefs that underlie certain philosophies. Tomato soup https://azdavis.net/posts/tomat-soup/ 2024-12-23T00:00:00.000Z A classic staple. Spicy rigatoni https://azdavis.net/posts/spicy-rig/ 2024-12-12T00:00:00.000Z A delicious Italian-inspired recipe. The 2024 US election https://azdavis.net/posts/election-2024/ 2024-11-04T00:00:00.000Z The choice is clear. rjsonnet https://azdavis.net/posts/rjsonnet/ 2024-10-10T00:00:00.000Z A language server for Jsonnet. Karma https://azdavis.net/posts/karma/ 2024-06-01T00:00:00.000Z A reassuring delusion. Car-centrism https://azdavis.net/posts/car-centrism/ 2023-11-01T00:00:00.000Z I like trains. Rewriting recursion as iteration https://azdavis.net/posts/unrecur/ 2023-01-29T00:00:00.000Z A constructive proof of an equivalence. Test the repository https://azdavis.net/posts/test-repo/ 2023-01-17T00:00:00.000Z Going beyond testing the behavior of programs. SSH without a password with Kerberos https://azdavis.net/posts/ssh-no-password/ 2022-12-28T00:00:00.000Z Avoid typing your password every time you `ssh`. Breakfast burritos https://azdavis.net/posts/breakfast-burritos/ 2022-12-24T00:00:00.000Z A recipe for a tasty snack. Rust in 2023 https://azdavis.net/posts/rust-2023/ 2022-12-23T00:00:00.000Z What I'd like to see from Rust going forward. Understanding Git repository state https://azdavis.net/posts/git-state/ 2022-12-22T00:00:00.000Z Tips and pointers for knowing what's going on with a Git repository. Provide the witness https://azdavis.net/posts/witness/ 2022-11-17T00:00:00.000Z A strategy for code organization. Assume recursion works https://azdavis.net/posts/assume-recursion-works/ 2022-10-02T00:00:00.000Z A way to think about writing recursive functions. Hash map cost bounds https://azdavis.net/posts/hash-map-cost-bounds/ 2022-09-20T00:00:00.000Z A technicality hidden in some asymptotic cost bounds. The coffee shop analogy https://azdavis.net/posts/coffee-shop-analogy/ 2022-09-16T00:00:00.000Z An analogy for software engineer levels. Millet https://azdavis.net/posts/millet/ 2022-07-02T00:00:00.000Z A language server for Standard ML. PL idea: built for tooling https://azdavis.net/posts/pl-idea-tooling/ 2022-03-26T00:00:00.000Z The next generation of programming languages. PL idea: unified function call syntax https://azdavis.net/posts/pl-idea-ufcs/ 2022-03-11T00:00:00.000Z Removing the distinction between functions and methods. If it's worth doing, it's worth doing at all https://azdavis.net/posts/worth-doing/ 2021-12-14T00:00:00.000Z Another little idiom I like. Limitations engender opportunity https://azdavis.net/posts/limitations-opportunity/ 2021-12-10T00:00:00.000Z Alternative title: "tradeoffs exist". Improving my writing https://azdavis.net/posts/improve-writing/ 2021-11-11T00:00:00.000Z Trying to do better. Communication for software engineers https://azdavis.net/posts/comm-for-swe/ 2021-10-18T00:00:00.000Z Tips on communicating effectively. Humans are generally good https://azdavis.net/posts/human-good/ 2021-10-05T00:00:00.000Z An overall positive outlook on humanity. Terms, types, and functions https://azdavis.net/posts/lambda-cube/ 2021-10-04T00:00:00.000Z Various varieties of function in programming languages. Unoriginality is okay https://azdavis.net/posts/unoriginality/ 2021-09-18T00:00:00.000Z An exhortation to create. Everything in moderation, including this https://azdavis.net/posts/moderation/ 2021-09-16T00:00:00.000Z A little idiom I like. Write more, but less https://azdavis.net/posts/write-more-but-less/ 2021-09-15T00:00:00.000Z A particular writing style that may not work for you, but sometimes works for me. Define a PL: sums https://azdavis.net/posts/define-pl-04/ 2021-07-15T00:00:00.000Z Adding sums (aka "enums" or "tagged unions") to a small PL. Define a PL: products https://azdavis.net/posts/define-pl-03/ 2021-06-05T00:00:00.000Z Adding product types (aka "structs" or "tuples") to a small PL. Define a PL: functions https://azdavis.net/posts/define-pl-02/ 2021-05-22T00:00:00.000Z Adding pure functions to a small PL. Define a PL: integers and booleans https://azdavis.net/posts/define-pl-01/ 2021-03-31T00:00:00.000Z The beginnings of a small, formally defined PL. Resources for learning Japanese https://azdavis.net/posts/japanese-resources/ 2021-03-25T00:00:00.000Z Things I use to study Japanese.