corpus.blog
41554 blogs · [ { "id": "01a08798-2ac2-7230-a23d-3f271fec4130", "title": "Bedrock 2.0 Released", "url": "https://lambdaland.org/posts/2026-09-06-bedrock-v2/", "published_at": "2026-09-07T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2720b03be5", "title": "Two Ends of Programming", "url": "https://lambdaland.org/posts/2026-08-31-two-ends-of-programming/", "published_at": "2026-08-31T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27216c6d1c", "title": "Writing with AI is Stupid", "url": "https://lambdaland.org/posts/2026-08-07-ai-writing-stupid/", "published_at": "2026-08-07T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2721e67b3d", "title": "Semantics of Slideshow Animations", "url": "https://lambdaland.org/posts/2026-06-19-semantics-of-slideshows/", "published_at": "2026-06-19T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272259a80c", "title": "Explainer: Tree-sitter vs. LSP", "url": "https://lambdaland.org/posts/2026-01-21_tree-sitter_vs_lsp/", "published_at": "2026-01-21T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2723549129", "title": "Running", "url": "https://lambdaland.org/posts/2026-01-09_running/", "published_at": "2026-01-09T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27235fcb63", "title": "Typst for Your Code Blocks", "url": "https://lambdaland.org/posts/2025-11-20_typst_your_codeblocks/", "published_at": "2025-11-20T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2723927b9c", "title": "Federate Away From GitHub", "url": "https://lambdaland.org/posts/2025-11-18_federate_your_forges/", "published_at": "2025-11-18T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2724276945", "title": "How I Organize the Papers I Read", "url": "https://lambdaland.org/posts/2025-10-03_reading_papers/", "published_at": "2025-10-03T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27248d155b", "title": "Getting Started With Lock Picking", "url": "https://lambdaland.org/posts/2025-08-21_lockpicking/", "published_at": "2025-08-21T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2725433006", "title": "AI stands for “Artificial Inanity”", "url": "https://lambdaland.org/posts/2025-08-04_artifical_inanity/", "published_at": "2025-08-04T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27262b1bfd", "title": "Bedrock Version 1.5.0 Released", "url": "https://lambdaland.org/posts/2025-07-15_bedrock_release/", "published_at": "2025-07-15T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27267a48b1", "title": "How I Take Notes for Research", "url": "https://lambdaland.org/posts/2025-07-11_research_notes/", "published_at": "2025-07-11T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2727020353", "title": "Programmers and Their Monospace Blogs", "url": "https://lambdaland.org/posts/2025-06-24_reading_blogs/", "published_at": "2025-06-24T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27276a4d77", "title": "Real Programmers", "url": "https://lambdaland.org/posts/2025-05-13_real_programmers/", "published_at": "2025-05-13T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2728596ea4", "title": "TV Shows for Kids", "url": "https://lambdaland.org/posts/personal/2025-04-20-kids-shows/", "published_at": "2025-04-20T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2729021f0f", "title": "A Quick Guide to LaTeX", "url": "https://lambdaland.org/posts/2025-02-06_latex_bootstrap/", "published_at": "2025-02-06T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2729866171", "title": "What's New in Emacs: Last Decade Edition", "url": "https://lambdaland.org/posts/2024-12-14_emacs_catchup/", "published_at": "2024-12-14T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272a5f3968", "title": "Should Programming Languages be Safe or Powerful?", "url": "https://lambdaland.org/posts/2024-11-21_powerful_or_safe_languages/", "published_at": "2024-11-21T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272ab6769f", "title": "Towards the Fastest Brainf*** Implementation Ever", "url": "https://lambdaland.org/posts/2024-10-22_bf_writeup/", "published_at": "2024-10-22T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272ad42ad2", "title": "How to Make Racket Go (Almost) As Fast As C", "url": "https://lambdaland.org/posts/2024-09-27_threaded_interpreter/", "published_at": "2024-10-15T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272b6fab1b", "title": "Why You Should Resist Surveillance", "url": "https://lambdaland.org/posts/2024-09-26_resist_surveillance/", "published_at": "2024-09-26T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272bcfc12d", "title": "First-Class Helper Functions", "url": "https://lambdaland.org/posts/2024-09-11_parameterized_decisions/", "published_at": "2024-09-11T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272c5cc0fe", "title": "Fancy lightweight prompts for Eshell and Zsh", "url": "https://lambdaland.org/posts/2024-08-19_fancy_eshell_prompt/", "published_at": "2024-08-19T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272d1f545f", "title": "Notes on Zero-Knowledge Proofs and Secure Remote Password (SRP) Protocol", "url": "https://lambdaland.org/posts/2024-08-06_zkp/", "published_at": "2024-08-06T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272d3735f7", "title": "How, Where, and Why I Take Notes", "url": "https://lambdaland.org/posts/2024-07-29_note_mediums/", "published_at": "2024-07-29T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272d9027c7", "title": "Evolving Languages Faster with Type Tailoring", "url": "https://lambdaland.org/posts/2024-07-15_type_tailoring/", "published_at": "2024-07-15T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272dd3a120", "title": "Skills That I Needed When I Started My PhD", "url": "https://lambdaland.org/posts/2024-07-09_phd_tools/", "published_at": "2024-07-09T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272e069db8", "title": "I Probably Hate Writing Code in Your Favorite Language", "url": "https://lambdaland.org/posts/2024-06-27_language_hate/", "published_at": "2024-06-27T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272eda4e9c", "title": "Lessons From Writing My First Academic Paper", "url": "https://lambdaland.org/posts/2024-06-21_writing_a_paper/", "published_at": "2024-06-21T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f272fbf45f8", "title": "Chorex: Guaranteeing Deadlock Freedom in Elixir", "url": "https://lambdaland.org/posts/2024-06-03_chorex_0_1/", "published_at": "2024-06-03T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273019d5ac", "title": "My Top Emacs Packages", "url": "https://lambdaland.org/posts/2024-05-30_top_emacs_packages/", "published_at": "2024-05-30T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273034a4bd", "title": "Boilerplate Busting in Functional Languages", "url": "https://lambdaland.org/posts/2024-05-01_definitely_not_about_monads/", "published_at": "2024-05-06T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27306ec90b", "title": "Building a Text Editor in Haskell, Part 1", "url": "https://lambdaland.org/posts/2024-03-27_haskell_editor_part_1/", "published_at": "2024-03-27T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2731038746", "title": "Functional Languages Need Not Be Slow", "url": "https://lambdaland.org/posts/2023-12-20_functional_langauge_speed/", "published_at": "2023-12-20T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27317b028c", "title": "Towards Fearless Macros", "url": "https://lambdaland.org/posts/2023-10-17_fearless_macros/", "published_at": "2023-11-13T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2731afb2d2", "title": "Why Don't More Languages Have a call/cc Operator?", "url": "https://lambdaland.org/posts/2023-10-30_why_no_callcc/", "published_at": "2023-10-30T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27322dd074", "title": "Deriving Recursion from First Principles", "url": "https://lambdaland.org/posts/2023-10-03_recursion_from_first_principles/", "published_at": "2023-10-02T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2732ba1655", "title": "My Commitment to Intellectual Integrity", "url": "https://lambdaland.org/posts/2023-09-23_all_original/", "published_at": "2023-09-23T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2732dbfecd", "title": "Reflections one year into a PhD program", "url": "https://lambdaland.org/posts/2023-08-05_one_year_into_phd/", "published_at": "2023-08-05T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2732f9313f", "title": "Warp Factor Refactoring in Emacs", "url": "https://lambdaland.org/posts/2023-05-31_warp_factor_refactor/", "published_at": "2023-06-01T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2733c35d92", "title": "Hike up Desolation Trail", "url": "https://lambdaland.org/posts/personal/2023-05-26-hike/", "published_at": "2023-05-26T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2733cecd9e", "title": "Writing Racket Macros: define-syntax and phases", "url": "https://lambdaland.org/posts/2023-05-19_racket_macros/", "published_at": "2023-05-19T06:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27349c2b7d", "title": "Meta: Update should fix RSS feeds", "url": "https://lambdaland.org/posts/2023-05-13_rss_fixup/", "published_at": "2023-05-13T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2734c0d9a8", "title": "The kind of thinking computer science enables", "url": "https://lambdaland.org/posts/2023-05-11_thinking_cs/", "published_at": "2023-05-11T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2735afbca0", "title": "Using a Real Mail Client with Outlook", "url": "https://lambdaland.org/posts/2023-05-03_email_with_outlook/", "published_at": "2023-05-03T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2735cd26cf", "title": "Delimited Continuations", "url": "https://lambdaland.org/posts/2023-04-11_delimited_continuations/", "published_at": "2023-04-11T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2735ff9f44", "title": "The Case for Picking a Non-Mainstream Programming Language", "url": "https://lambdaland.org/posts/2023-04-10_case_for_esoteric_langs/", "published_at": "2023-04-10T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2736c89431", "title": "Praise for the pragmatic third camp", "url": "https://lambdaland.org/posts/2023-03-16_appreciation_for_business_programmers/", "published_at": "2023-03-16T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2737917b3f", "title": "Metric Worship, or: How a bad manager wrecked a (small) company", "url": "https://lambdaland.org/posts/2023-02-21_metric_worship/", "published_at": "2023-02-21T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27380bbde1", "title": "What is a type system, really?", "url": "https://lambdaland.org/posts/2023-01-17_what_is_a_type_system_really/", "published_at": "2023-01-23T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2738d48c19", "title": "Make an Emacs Buffer Open the Way You Want", "url": "https://lambdaland.org/posts/2022-12-27_repl_buffer_on_the_right/", "published_at": "2022-12-27T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2739d2a70d", "title": "Christmas", "url": "https://lambdaland.org/posts/personal/2022-12-25-christmas/", "published_at": "2022-12-25T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2739da8c0c", "title": "What I Like in a Font for Code", "url": "https://lambdaland.org/posts/2022-12-05_what_I_like_in_a_coding_font/", "published_at": "2022-12-05T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273ad5344a", "title": "Never surrender your password", "url": "https://lambdaland.org/posts/2022-11-22_never_surrender/", "published_at": "2022-11-22T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273b7736ba", "title": "Continuations—what are they?", "url": "https://lambdaland.org/posts/2022-11-17_continutations/", "published_at": "2022-11-17T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273c70041e", "title": "Unix As a Tool Forge", "url": "https://lambdaland.org/posts/2022-11-07_unix_philosophy/", "published_at": "2022-11-07T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273d397bbc", "title": "Yet another blog revamp", "url": "https://lambdaland.org/posts/2022-10-26_yet_another_blog_theme/", "published_at": "2022-10-26T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273d5dae3a", "title": "Email, Getting Work Done, and Corporations, Or: Outlook Considered Harmful", "url": "https://lambdaland.org/posts/2022-08-28_keep_email_federated/", "published_at": "2022-08-28T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273dc79ed6", "title": "Today I learned: Vertical monitors and subpixel anti-aliasing", "url": "https://lambdaland.org/posts/2022-08-11_til_vertical_monitors/", "published_at": "2022-08-11T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273dcca150", "title": "A New Font", "url": "https://lambdaland.org/posts/2022-08-01_a_new_font/", "published_at": "2022-08-01T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273eb843be", "title": "How to write a type checker/type inferrer with good error messages", "url": "https://lambdaland.org/posts/2022-07-27_how_to_write_a_type_checker/", "published_at": "2022-07-27T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273ec59b5c", "title": "Adding a Clock to the Tab-Bar in Emacs 28", "url": "https://lambdaland.org/posts/2022-07-20_adding_a_clock_to_emacs/", "published_at": "2022-07-20T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273f2fa504", "title": "Rules for Social Media", "url": "https://lambdaland.org/posts/2022-07-17_social_media_rules/", "published_at": "2022-07-17T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273f640199", "title": "microKanren Reading", "url": "https://lambdaland.org/posts/2022-07-04_kanren/", "published_at": "2022-07-04T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f273fe28a65", "title": "Blog update", "url": "https://lambdaland.org/posts/2022-07-02_update/", "published_at": "2022-07-02T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f274075c931", "title": "Complete and Liveness, Safe and Sound", "url": "https://lambdaland.org/posts/2022-03-02_sound_complete_and_duals/", "published_at": "2022-03-02T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27412759ad", "title": "Christmas 2021", "url": "https://lambdaland.org/posts/2021-12-25_christmas/", "published_at": "2021-12-25T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2741fee074", "title": "Class Management Reviews: Fall 2021", "url": "https://lambdaland.org/posts/2021-12-18_classroom_management_reviews/", "published_at": "2021-12-18T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2742b0a9bc", "title": "Foundations of High-Modernist Ideology in Metropolis", "url": "https://lambdaland.org/posts/2021-12-07_metropolis_essay/", "published_at": "2021-12-07T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2742ee4afa", "title": "Programs and Intent", "url": "https://lambdaland.org/posts/2021-11-09_programs_and_intent/", "published_at": "2021-11-09T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f274369c3ff", "title": "Models of Programming", "url": "https://lambdaland.org/posts/2021-09-25_models_of_programming_draft2/", "published_at": "2021-10-24T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27441e062e", "title": "Reluctance to Bear a Symbol", "url": "https://lambdaland.org/posts/2021-09-19_symbols/", "published_at": "2021-09-19T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2744fe1aab", "title": "A programmable programming language? I'll drink to that!", "url": "https://lambdaland.org/posts/2021-08-21_racket_mug/", "published_at": "2021-08-21T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2745ece95e", "title": "Health and Taking Care of Yourself", "url": "https://lambdaland.org/posts/2021-08-14_health/", "published_at": "2021-08-14T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2746bf304f", "title": "Ode to Used Book Stores", "url": "https://lambdaland.org/posts/2021-08-03_used_books/", "published_at": "2021-08-03T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2747113266", "title": "Control-Flow Analysis", "url": "https://lambdaland.org/posts/2021-05-20_cfa/", "published_at": "2021-07-27T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2747b3e80e", "title": "This Too Shall Pass", "url": "https://lambdaland.org/posts/2021-06-13_this_shall_pass/", "published_at": "2021-06-13T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2748157894", "title": "Easter 2021", "url": "https://lambdaland.org/posts/2021-03-21_easter_2021/", "published_at": "2021-03-21T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f2748e3ba39", "title": "Using a Raspberry Pi for Proctorio", "url": "https://lambdaland.org/posts/2021-01-30_proctorio/", "published_at": "2021-01-30T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27491a146a", "title": "FreeBSD on a Raspberry Pi 4 with 4GB of RAM", "url": "https://lambdaland.org/posts/2020-12-23_freebsd_rpi4/", "published_at": "2020-12-28T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f274931de85", "title": "Dr. Loopback, Or: How I Learned to Stop DOSing Myself and Love the Pi-Hole", "url": "https://lambdaland.org/posts/2020-12-11-raspberry-pi-dos/", "published_at": "2020-12-11T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f27495e9a46", "title": "RMS Does Not See the Future of Emacs", "url": "https://lambdaland.org/posts/2020-11-future-of-emacs/", "published_at": "2020-11-27T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f274a2d9c43", "title": "The Social Dilemma", "url": "https://lambdaland.org/posts/2020-10-27-social-dilemma/", "published_at": "2020-10-27T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f274a2f257b", "title": "The 11th", "url": "https://lambdaland.org/posts/2020-09-11-september-11th/", "published_at": "2020-09-11T00:00:00+00:00" }, { "id": "01a08798-2ac2-7230-a23d-3f274ac8e941", "title": "Quarantine in the 1600s", "url": "https://lambdaland.org/posts/2020-09-05-quarantine-in-1600s/", "published_at": "2020-09-05T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d349af568", "title": "Book Review: Technopoly", "url": "https://lambdaland.org/posts/2020-08-16-book-review-technopoly-v2/", "published_at": "2020-08-26T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d35346ab8", "title": "Thoughts on Goals in Programming Language Design", "url": "https://lambdaland.org/posts/2020-08-04-thoughts-on-pl-design-goals/", "published_at": "2020-08-04T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d35511921", "title": "Transitioning to GUI'd Emacs on macOS", "url": "https://lambdaland.org/posts/2020-07-22-gui-emacs/", "published_at": "2020-07-22T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d356be338", "title": "Programming Languages and Typography", "url": "https://lambdaland.org/posts/2020-06-15-languages-and-fonts/", "published_at": "2020-06-15T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d36111d3b", "title": "Book Review: Amusing Ourselves to Death", "url": "https://lambdaland.org/posts/2020-06-07-amusing-ourselves-to-death/", "published_at": "2020-06-07T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d36f3097e", "title": "Masks", "url": "https://lambdaland.org/posts/2020-05-23-masks/", "published_at": "2020-05-23T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d37b5faea", "title": "Computers and Abstractions", "url": "https://lambdaland.org/posts/2020-05-20-computers-and-abstractions/", "published_at": "2020-05-20T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d387cd6ae", "title": "Starting Fresh", "url": "https://lambdaland.org/posts/2020-05-09-starting-fresh/", "published_at": "2020-05-09T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d38aa7066", "title": "FreeBSD on a Raspberry Pi", "url": "https://lambdaland.org/posts/2020-02-12-freebsd-on-a-raspberry-pi/", "published_at": "2020-02-12T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d3934d9fb", "title": "Switching from Helm to Ivy", "url": "https://lambdaland.org/posts/2019-12-13-switching-to-ivy-from-helm/", "published_at": "2019-12-13T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d39a2c5bf", "title": "Macros with Elixir", "url": "https://lambdaland.org/posts/2019-02-27-macros-with-elixir/", "published_at": "2019-02-27T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d39eaea08", "title": "Citations with Pandoc", "url": "https://lambdaland.org/posts/2019-02-06-citations-with-pandoc/", "published_at": "2019-02-06T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d3a50dc46", "title": "Marked Man", "url": "https://lambdaland.org/posts/2019-01-24-marked-man/", "published_at": "2019-01-24T00:00:00+00:00" }, { "id": "01a08798-2ac3-71b2-824c-104d3b08f3c4", "title": "DuckDuckGo", "url": "https://lambdaland.org/posts/2019-01-15-duckduckgo/", "published_at": "2019-01-15T00:00:00+00:00" } ] posts Claim your blog
Back to ashton314
Blog · corpus.blog/blogs/lambdaland.org/posts

ashton314

lambdaland.org

2026

Bedrock 2.0 Releasedoriginal ↗
7 Sept 2026
Two Ends of Programmingoriginal ↗
31 Aug 2026
Writing with AI is Stupidoriginal ↗
7 Aug 2026
Semantics of Slideshow Animationsoriginal ↗
19 Jun 2026
Explainer: Tree-sitter vs. LSPoriginal ↗
21 Jan 2026
Runningoriginal ↗
9 Jan 2026

2025

Typst for Your Code Blocksoriginal ↗
20 Nov 2025
Federate Away From GitHuboriginal ↗
18 Nov 2025
How I Organize the Papers I Readoriginal ↗
3 Oct 2025
Getting Started With Lock Pickingoriginal ↗
21 Aug 2025
AI stands for “Artificial Inanity”original ↗
4 Aug 2025
Bedrock Version 1.5.0 Releasedoriginal ↗
15 Jul 2025
How I Take Notes for Researchoriginal ↗
11 Jul 2025
Programmers and Their Monospace Blogsoriginal ↗
24 Jun 2025
Real Programmersoriginal ↗
13 May 2025
TV Shows for Kidsoriginal ↗
20 Apr 2025
A Quick Guide to LaTeXoriginal ↗
6 Feb 2025

2024

What's New in Emacs: Last Decade Editionoriginal ↗
14 Dec 2024
Should Programming Languages be Safe or Powerful?original ↗
21 Nov 2024
Towards the Fastest Brainf*** Implementation Everoriginal ↗
22 Oct 2024
How to Make Racket Go (Almost) As Fast As Coriginal ↗
15 Oct 2024
Why You Should Resist Surveillanceoriginal ↗
26 Sept 2024
First-Class Helper Functionsoriginal ↗
11 Sept 2024
Fancy lightweight prompts for Eshell and Zshoriginal ↗
19 Aug 2024
Notes on Zero-Knowledge Proofs and Secure Remote Password (SRP) Protocoloriginal ↗
6 Aug 2024
How, Where, and Why I Take Notesoriginal ↗
29 Jul 2024
Evolving Languages Faster with Type Tailoringoriginal ↗
15 Jul 2024
Skills That I Needed When I Started My PhDoriginal ↗
9 Jul 2024
I Probably Hate Writing Code in Your Favorite Languageoriginal ↗
27 Jun 2024
Lessons From Writing My First Academic Paperoriginal ↗
21 Jun 2024
Chorex: Guaranteeing Deadlock Freedom in Elixiroriginal ↗
3 Jun 2024
My Top Emacs Packagesoriginal ↗
30 May 2024
Boilerplate Busting in Functional Languagesoriginal ↗
6 May 2024
Building a Text Editor in Haskell, Part 1original ↗
27 Mar 2024

2023

Functional Languages Need Not Be Sloworiginal ↗
20 Dec 2023
Towards Fearless Macrosoriginal ↗
13 Nov 2023
Why Don't More Languages Have a call/cc Operator?original ↗
30 Oct 2023
Deriving Recursion from First Principlesoriginal ↗
2 Oct 2023
My Commitment to Intellectual Integrityoriginal ↗
23 Sept 2023
Reflections one year into a PhD programoriginal ↗
5 Aug 2023
Warp Factor Refactoring in Emacsoriginal ↗
1 Jun 2023
Hike up Desolation Trailoriginal ↗
26 May 2023
Writing Racket Macros: define-syntax and phasesoriginal ↗
19 May 2023
Meta: Update should fix RSS feedsoriginal ↗
13 May 2023
The kind of thinking computer science enablesoriginal ↗
11 May 2023
Using a Real Mail Client with Outlookoriginal ↗
3 May 2023
Delimited Continuationsoriginal ↗
11 Apr 2023
The Case for Picking a Non-Mainstream Programming Languageoriginal ↗
10 Apr 2023
Praise for the pragmatic third camporiginal ↗
16 Mar 2023
Metric Worship, or: How a bad manager wrecked a (small) companyoriginal ↗
21 Feb 2023
What is a type system, really?original ↗
23 Jan 2023

2022

Make an Emacs Buffer Open the Way You Wantoriginal ↗
27 Dec 2022
Christmasoriginal ↗
25 Dec 2022
What I Like in a Font for Codeoriginal ↗
5 Dec 2022
Never surrender your passwordoriginal ↗
22 Nov 2022
Continuations—what are they?original ↗
17 Nov 2022
Unix As a Tool Forgeoriginal ↗
7 Nov 2022
Yet another blog revamporiginal ↗
26 Oct 2022
Email, Getting Work Done, and Corporations, Or: Outlook Considered Harmfuloriginal ↗
28 Aug 2022
Today I learned: Vertical monitors and subpixel anti-aliasingoriginal ↗
11 Aug 2022
A New Fontoriginal ↗
1 Aug 2022
How to write a type checker/type inferrer with good error messagesoriginal ↗
27 Jul 2022
Adding a Clock to the Tab-Bar in Emacs 28original ↗
20 Jul 2022
Rules for Social Mediaoriginal ↗
17 Jul 2022
microKanren Readingoriginal ↗
4 Jul 2022
Blog updateoriginal ↗
2 Jul 2022
Complete and Liveness, Safe and Soundoriginal ↗
2 Mar 2022

2021

Christmas 2021original ↗
25 Dec 2021
Class Management Reviews: Fall 2021original ↗
18 Dec 2021
Foundations of High-Modernist Ideology in Metropolisoriginal ↗
7 Dec 2021
Programs and Intentoriginal ↗
9 Nov 2021
Models of Programmingoriginal ↗
24 Oct 2021
Reluctance to Bear a Symboloriginal ↗
19 Sept 2021
A programmable programming language? I'll drink to that!original ↗
21 Aug 2021
Health and Taking Care of Yourselforiginal ↗
14 Aug 2021
Ode to Used Book Storesoriginal ↗
3 Aug 2021
Control-Flow Analysisoriginal ↗
27 Jul 2021
This Too Shall Passoriginal ↗
13 Jun 2021
Easter 2021original ↗
21 Mar 2021
Using a Raspberry Pi for Proctoriooriginal ↗
30 Jan 2021

2020

FreeBSD on a Raspberry Pi 4 with 4GB of RAMoriginal ↗
28 Dec 2020
Dr. Loopback, Or: How I Learned to Stop DOSing Myself and Love the Pi-Holeoriginal ↗
11 Dec 2020
RMS Does Not See the Future of Emacsoriginal ↗
27 Nov 2020
The Social Dilemmaoriginal ↗
27 Oct 2020
The 11thoriginal ↗
11 Sept 2020
Quarantine in the 1600soriginal ↗
5 Sept 2020
Book Review: Technopolyoriginal ↗
26 Aug 2020
Thoughts on Goals in Programming Language Designoriginal ↗
4 Aug 2020
Transitioning to GUI'd Emacs on macOSoriginal ↗
22 Jul 2020
Programming Languages and Typographyoriginal ↗
15 Jun 2020
Book Review: Amusing Ourselves to Deathoriginal ↗
7 Jun 2020
Masksoriginal ↗
23 May 2020
Computers and Abstractionsoriginal ↗
20 May 2020
Starting Freshoriginal ↗
9 May 2020
FreeBSD on a Raspberry Pioriginal ↗
12 Feb 2020

2019

Switching from Helm to Ivyoriginal ↗
13 Dec 2019
Macros with Elixiroriginal ↗
27 Feb 2019
Citations with Pandocoriginal ↗
6 Feb 2019
Marked Manoriginal ↗
24 Jan 2019
DuckDuckGooriginal ↗
15 Jan 2019
Next