azdavis.nethttps://azdavis.net/posts/feed.xmlAriel Davis2023-11-01T00:00:00.000ZCar-centrismhttps://azdavis.net/posts/car-centrism/2023-11-01T00:00:00.000ZI like trains.Rewriting recursion as iterationhttps://azdavis.net/posts/unrecur/2023-01-29T00:00:00.000ZA constructive proof of an equivalence.Test the repositoryhttps://azdavis.net/posts/test-repo/2023-01-17T00:00:00.000ZGoing beyond testing the behavior of programs.SSH without a password with Kerberoshttps://azdavis.net/posts/ssh-no-password/2022-12-28T00:00:00.000ZAvoid typing your password every time you `ssh`.Breakfast burritoshttps://azdavis.net/posts/breakfast-burritos/2022-12-24T00:00:00.000ZA recipe for a tasty snack.Rust in 2023https://azdavis.net/posts/rust-2023/2022-12-23T00:00:00.000ZWhat I'd like to see from Rust going forward.Understanding Git repository statehttps://azdavis.net/posts/git-state/2022-12-22T00:00:00.000ZTips and pointers for knowing what's going on with a Git repository.Provide the witnesshttps://azdavis.net/posts/witness/2022-11-17T00:00:00.000ZA strategy for code organization.Assume recursion workshttps://azdavis.net/posts/assume-recursion-works/2022-10-02T00:00:00.000ZA way to think about writing recursive functions.Hash map cost boundshttps://azdavis.net/posts/hash-map-cost-bounds/2022-09-20T00:00:00.000ZA technicality hidden in some asymptotic cost bounds.The coffee shop analogyhttps://azdavis.net/posts/coffee-shop-analogy/2022-09-16T00:00:00.000ZAn analogy for software engineer levels.Millethttps://azdavis.net/posts/millet/2022-07-02T00:00:00.000ZA language server for Standard ML.PL idea: built for toolinghttps://azdavis.net/posts/pl-idea-tooling/2022-03-26T00:00:00.000ZThe next generation of programming languages.PL idea: unified function call syntaxhttps://azdavis.net/posts/pl-idea-ufcs/2022-03-11T00:00:00.000ZRemoving the distinction between functions and methods.If it's worth doing, it's worth doing at allhttps://azdavis.net/posts/worth-doing/2021-12-14T00:00:00.000ZAnother little idiom I like.Limitations engender opportunityhttps://azdavis.net/posts/limitations-opportunity/2021-12-10T00:00:00.000ZAlternative title: 'tradeoffs are a thing'.Improving my writinghttps://azdavis.net/posts/improve-writing/2021-11-11T00:00:00.000ZTrying to do better.Communication for software engineershttps://azdavis.net/posts/comm-for-swe/2021-10-18T00:00:00.000ZTips on communicating effectively.Humans are generally goodhttps://azdavis.net/posts/human-good/2021-10-05T00:00:00.000ZAn overall positive outlook on humanity.Terms, types, and functionshttps://azdavis.net/posts/lambda-cube/2021-10-04T00:00:00.000ZVarious varieties of function in programming languages.Unoriginality is okayhttps://azdavis.net/posts/unoriginality/2021-09-18T00:00:00.000ZAn exhortation to create.Everything in moderation, including thishttps://azdavis.net/posts/moderation/2021-09-16T00:00:00.000ZA little idiom I like.Write more, but lesshttps://azdavis.net/posts/write-more-but-less/2021-09-15T00:00:00.000ZA particular writing style that may not work for you, but sometimes works for me.Define a PL: sumshttps://azdavis.net/posts/define-pl-04/2021-07-15T00:00:00.000ZAdding sums (aka 'enums' or 'tagged unions') to a small PL.Define a PL: productshttps://azdavis.net/posts/define-pl-03/2021-06-05T00:00:00.000ZAdding product types (aka 'structs' or 'tuples') to a small PL.Define a PL: functionshttps://azdavis.net/posts/define-pl-02/2021-05-22T00:00:00.000ZAdding pure functions to a small PL.Define a PL: integers and booleanshttps://azdavis.net/posts/define-pl-01/2021-03-31T00:00:00.000ZThe beginnings of a small, formally defined PL.Resources for learning Japanesehttps://azdavis.net/posts/japanese-resources/2021-03-25T00:00:00.000ZThings I use to study Japanese.