https://austinletson.com/ 2025-06-14T00:00:00+00:00 https://austinletson.com/posts/ 2025-06-14T00:00:00+00:00 https://austinletson.com/posts/open_in_new_tmux_pane/ 2025-04-19T16:07:22-04:00 https://austinletson.com/categories/ 2024-08-03T00:00:00+00:00 https://austinletson.com/tags/lake/ 2024-08-03T00:00:00+00:00 https://austinletson.com/tags/lean/ 2024-08-03T00:00:00+00:00 https://austinletson.com/categories/lean/ 2024-08-03T00:00:00+00:00 https://austinletson.com/tags/lean4/ 2024-08-03T00:00:00+00:00 https://austinletson.com/tags/ 2024-08-03T00:00:00+00:00 https://austinletson.com/posts/using_lakes_api/ 2024-08-03T00:00:00+00:00 https://austinletson.com/tags/editors/ 2020-04-29T14:09:05-04:00 https://austinletson.com/categories/editors/ 2020-04-29T14:09:05-04:00 https://austinletson.com/posts/express_yourself_in_vim/ 2020-04-29T14:09:05-04:00 https://austinletson.com/tags/jane-austen/ 2020-04-29T14:09:05-04:00 https://austinletson.com/tags/regular-expressions/ 2020-04-29T14:09:05-04:00 https://austinletson.com/tags/vim/ 2020-04-29T14:09:05-04:00 https://austinletson.com/tags/google-docs/ 2020-03-05T00:00:00+00:00 https://austinletson.com/tags/microsoft-word/ 2020-03-05T00:00:00+00:00 https://austinletson.com/posts/thinking_in_letters/ 2020-03-05T00:00:00+00:00