https://beta.lambdaland.org/ https://beta.lambdaland.org/posts/ https://beta.lambdaland.org/posts/2017-09-23-emacs-tips-and-tricks/ 2017-09-23 https://beta.lambdaland.org/posts/2017-10-26-eh-blog-we-have-a-problem-here/ 2017-10-26 https://beta.lambdaland.org/posts/2017-11-09-quick-website-programming-with-mojolicious-and-polymer/ 2017-11-09 https://beta.lambdaland.org/posts/2017-11-18-drafting/ 2017-11-18 https://beta.lambdaland.org/posts/2018-06-23-leaving-facebook/ 2018-06-23 https://beta.lambdaland.org/posts/2018-08-11-life-hacks-text-notifications/ 2018-08-11 https://beta.lambdaland.org/posts/2018-10-08-induction-and-side-effects/ 2018-10-08 https://beta.lambdaland.org/posts/2018-12-06-editor-apology/ 2018-12-06 https://beta.lambdaland.org/posts/2018-12-14-semester-finished/ 2018-12-14 https://beta.lambdaland.org/posts/2019-01-05-organization-theory/ 2019-01-05 https://beta.lambdaland.org/posts/2019-01-15-duckduckgo/ 2019-01-15 https://beta.lambdaland.org/posts/2019-01-24-marked-man/ 2019-01-24 https://beta.lambdaland.org/posts/2019-02-06-citations-with-pandoc/ 2019-02-06 https://beta.lambdaland.org/posts/2019-02-27-macros-with-elixir/ 2019-02-27 https://beta.lambdaland.org/posts/2019-12-13-switching-to-ivy-from-helm/ 2019-12-13 https://beta.lambdaland.org/posts/2020-02-12-freebsd-on-a-raspberry-pi/ 2020-02-12 https://beta.lambdaland.org/posts/2020-05-09-starting-fresh/ 2020-05-09 https://beta.lambdaland.org/posts/2020-05-20-computers-and-abstractions/ 2020-05-20 https://beta.lambdaland.org/posts/2020-05-23-masks/ 2020-05-23 https://beta.lambdaland.org/posts/2020-06-07-amusing-ourselves-to-death/ 2020-06-07 https://beta.lambdaland.org/posts/2020-06-15-languages-and-fonts/ 2020-06-15 https://beta.lambdaland.org/posts/2020-07-22-gui-emacs/ 2020-07-22 https://beta.lambdaland.org/posts/2020-08-04-thoughts-on-pl-design-goals/ 2020-08-04 https://beta.lambdaland.org/posts/2020-08-16-book-review-technopoly-v2/ 2020-08-26 https://beta.lambdaland.org/posts/2020-09-05-quarantine-in-1600s/ 2020-09-05 https://beta.lambdaland.org/posts/2020-09-11-september-11th/ 2020-09-11 https://beta.lambdaland.org/posts/2020-10-27-social-dilemma/ 2020-10-27 https://beta.lambdaland.org/posts/2020-11-future-of-emacs/ 2020-11-27 https://beta.lambdaland.org/posts/2020-12-11-raspberry-pi-dos/ 2020-12-11 https://beta.lambdaland.org/posts/2020-12-23_freebsd_rpi4/ 2020-12-28 https://beta.lambdaland.org/posts/2021-01-30_proctorio/ 2021-01-30 https://beta.lambdaland.org/posts/2021-03-21_easter_2021/ 2021-03-21 https://beta.lambdaland.org/posts/2021-05-20_cfa/ 2021-07-27 https://beta.lambdaland.org/posts/2021-06-13_this_shall_pass/ 2021-06-13 https://beta.lambdaland.org/posts/2021-08-03_used_books/ 2021-08-03 https://beta.lambdaland.org/posts/2021-08-14_health/ 2021-08-14 https://beta.lambdaland.org/posts/2021-08-21_racket_mug/ 2021-08-21 https://beta.lambdaland.org/posts/2021-09-19_symbols/ 2021-09-19 https://beta.lambdaland.org/posts/2021-09-25_models_of_programming_draft2/ 2021-10-24 https://beta.lambdaland.org/posts/2021-11-09_programs_and_intent/ 2021-11-09 https://beta.lambdaland.org/posts/2021-12-07_metropolis_essay/ 2021-12-07 https://beta.lambdaland.org/posts/2021-12-18_classroom_management_reviews/ 2021-12-18 https://beta.lambdaland.org/posts/2021-12-25_christmas/ 2021-12-25 https://beta.lambdaland.org/posts/2022-03-02_sound_complete_and_duals/ 2022-03-02 https://beta.lambdaland.org/posts/2022-07-02_update/ 2022-07-02 https://beta.lambdaland.org/posts/2022-07-04_kanren/ 2022-07-04 https://beta.lambdaland.org/posts/2022-07-17_social_media_rules/ 2022-07-17 https://beta.lambdaland.org/posts/2022-07-20_adding_a_clock_to_emacs/ 2022-07-20 https://beta.lambdaland.org/posts/2022-07-27_how_to_write_a_type_checker/ 2022-07-27 https://beta.lambdaland.org/posts/2022-08-01_a_new_font/ 2022-08-01 https://beta.lambdaland.org/posts/2022-08-11_til_vertical_monitors/ 2022-08-11 https://beta.lambdaland.org/posts/2022-08-28_keep_email_federated/ 2022-08-28 https://beta.lambdaland.org/posts/2022-10-26_yet_another_blog_theme/ 2022-10-26 https://beta.lambdaland.org/posts/2022-11-07_unix_philosophy/ 2022-11-07 https://beta.lambdaland.org/posts/2022-11-17_continutations/ 2022-11-17 https://beta.lambdaland.org/posts/2022-11-22_never_surrender/ 2022-11-22 https://beta.lambdaland.org/posts/2022-12-05_what_I_like_in_a_coding_font/ 2022-12-05 https://beta.lambdaland.org/posts/2022-12-27_repl_buffer_on_the_right/ 2022-12-27 https://beta.lambdaland.org/posts/2023-01-17_what_is_a_type_system_really/ 2023-01-23 https://beta.lambdaland.org/posts/2023-02-21_metric_worship/ 2023-02-21 https://beta.lambdaland.org/posts/2023-03-16_appreciation_for_business_programmers/ 2023-03-16 https://beta.lambdaland.org/posts/2023-04-10_case_for_esoteric_langs/ 2023-04-10 https://beta.lambdaland.org/posts/2023-04-11_delimited_continuations/ 2023-04-11 https://beta.lambdaland.org/posts/2023-05-03_email_with_outlook/ 2023-05-03 https://beta.lambdaland.org/posts/2023-05-11_thinking_cs/ 2023-05-11 https://beta.lambdaland.org/posts/2023-05-13_rss_fixup/ 2023-05-13 https://beta.lambdaland.org/posts/2023-05-19_racket_macros/ 2023-05-19T00:00:00-06:00 https://beta.lambdaland.org/posts/2023-05-31_warp_factor_refactor/ 2023-06-01 https://beta.lambdaland.org/posts/2023-08-05_one_year_into_phd/ 2023-08-05 https://beta.lambdaland.org/posts/2023-09-23_all_original/ 2023-09-23 https://beta.lambdaland.org/posts/2023-10-03_recursion_from_first_principles/ 2023-10-02 https://beta.lambdaland.org/posts/2023-10-30_why_no_callcc/ 2023-10-30 https://beta.lambdaland.org/posts/2023-12-20_functional_langauge_speed/ 2023-12-20 https://beta.lambdaland.org/posts/2024-03-27_haskell_editor_part_1/ 2024-03-27 https://beta.lambdaland.org/posts/2024-05-01_definitely_not_about_monads/ 2024-05-06 https://beta.lambdaland.org/posts/2024-05-30_top_emacs_packages/ 2024-05-30 https://beta.lambdaland.org/posts/2024-06-03_chorex_0_1/ 2024-06-03 https://beta.lambdaland.org/posts/2024-06-21_writing_a_paper/ 2024-06-21 https://beta.lambdaland.org/posts/2024-06-27_language_hate/ 2024-06-27 https://beta.lambdaland.org/posts/2024-07-09_phd_tools/ 2024-07-09 https://beta.lambdaland.org/posts/2024-07-15_type_tailoring/ 2024-07-15 https://beta.lambdaland.org/posts/2024-07-29_note_mediums/ 2024-07-29 https://beta.lambdaland.org/posts/2024-08-06_zkp/ 2024-08-06 https://beta.lambdaland.org/posts/2024-08-19_fancy_eshell_prompt/ 2024-08-19 https://beta.lambdaland.org/posts/2024-09-11_parameterized_decisions/ 2024-09-11 https://beta.lambdaland.org/posts/2024-09-26_resist_surveillance/ 2024-09-26 https://beta.lambdaland.org/posts/2024-09-27_threaded_interpreter/ 2024-10-15 https://beta.lambdaland.org/posts/2024-10-22_bf_writeup/ 2024-10-22 https://beta.lambdaland.org/posts/2024-11-21_powerful_or_safe_languages/ 2024-11-21 https://beta.lambdaland.org/posts/2024-12-14_emacs_catchup/ 2024-12-14 https://beta.lambdaland.org/posts/2025-02-06_latex_bootstrap/ 2025-02-06 https://beta.lambdaland.org/posts/2025-05-13_real_programmers/ 2025-05-13 https://beta.lambdaland.org/posts/2025-06-24_reading_blogs/ 2025-06-24 https://beta.lambdaland.org/posts/2025-07-11_research_notes/ 2025-07-11 https://beta.lambdaland.org/posts/2025-07-15_bedrock_release/ 2025-07-15 https://beta.lambdaland.org/posts/2025-08-04_artifical_inanity/ 2025-08-04 https://beta.lambdaland.org/posts/2025-08-21_lockpicking/ 2025-08-21 https://beta.lambdaland.org/posts/2025-10-03_reading_papers/ 2025-10-03 https://beta.lambdaland.org/posts/2025-11-18_federate_your_forges/ 2025-11-18 https://beta.lambdaland.org/posts/2025-11-20_typst_your_codeblocks/ 2025-11-20 https://beta.lambdaland.org/posts/2026-01-09_running/ 2026-01-09 https://beta.lambdaland.org/posts/2026-01-21_tree-sitter_vs_lsp/ 2026-01-21 https://beta.lambdaland.org/posts/personal/ https://beta.lambdaland.org/posts/personal/2022-12-25-christmas/ 2022-12-25 https://beta.lambdaland.org/posts/personal/2023-05-26-hike/ 2023-05-26 https://beta.lambdaland.org/posts/personal/2025-04-20-kids-shows/ 2025-04-20 https://beta.lambdaland.org/tags/ https://beta.lambdaland.org/tags/academia/ https://beta.lambdaland.org/tags/book-review/ https://beta.lambdaland.org/tags/emacs/ https://beta.lambdaland.org/tags/faith/ https://beta.lambdaland.org/tags/hiking/ https://beta.lambdaland.org/tags/privacy/ https://beta.lambdaland.org/tags/programming-languages/ https://beta.lambdaland.org/tags/research/ https://beta.lambdaland.org/tags/tools/ https://beta.lambdaland.org/tags/typography/ https://beta.lambdaland.org/tags/writing/