All blogs / Functional / PL theory
Lambda Land
Lambda: The Ultimate Blog Post—a blog mostly about programming languages, academia, and Emacs
Functional / PL theoryLisp / Clojure / SchemeDev tools / editors / IDEs
- Posts
- 112 from 23 Sep 2017 to 1 Oct 2026
- Posting
- monthly (9 in the last year)
- Kind
- personal blog
- Feed
- https://lambdaland.org/atom.xml
2026 7
2025 12
- Typst for Your Code Blocks
- Federate Away From GitHub
- How I Organize the Papers I Read
- Getting Started With Lock Picking
- AI stands for “Artificial Inanity”
- Bedrock Version 1.5.0 Released
- How I Take Notes for Research
- Programmers and Their Monospace Blogs
- Real Programmers
- TV Shows for Kids
- Personal blog
- A Quick Guide to LaTeX
2024 17
- What's New in Emacs: Last Decade Edition
- Should Programming Languages be Safe or Powerful?
- Towards the Fastest Brainf*** Implementation Ever
- How to Make Racket Go (Almost) As Fast As C
- Why You Should Resist Surveillance
- First-Class Helper Functions
- Fancy lightweight prompts for Eshell and Zsh
- Notes on Zero-Knowledge Proofs and Secure Remote Password (SRP) Protocol
- How, Where, and Why I Take Notes
- Evolving Languages Faster with Type Tailoring
- Skills That I Needed When I Started My PhD
- I Probably Hate Writing Code in Your Favorite Language
- Lessons From Writing My First Academic Paper
- Chorex: Guaranteeing Deadlock Freedom in Elixir
- My Top Emacs Packages
- Boilerplate Busting in Functional Languages
- Building a Text Editor in Haskell, Part 1
2023 17
- Functional Languages Need Not Be Slow
- Towards Fearless Macros
- Why Don't More Languages Have a call/cc Operator?
- Deriving Recursion from First Principles
- My Commitment to Intellectual Integrity
- Reflections one year into a PhD program
- Warp Factor Refactoring in Emacs
- Hike up Desolation Trail
- Writing Racket Macros: define-syntax and phases
- Meta: Update should fix RSS feeds
- The kind of thinking computer science enables
- Using a Real Mail Client with Outlook
- Delimited Continuations
- The Case for Picking a Non-Mainstream Programming Language
- Praise for the pragmatic third camp
- Metric Worship, or: How a bad manager wrecked a (small) company
- What is a type system, really?
2022 16
- Make an Emacs Buffer Open the Way You Want
- Christmas
- What I Like in a Font for Code
- Never surrender your password
- Continuations—what are they?
- Unix As a Tool Forge
- Yet another blog revamp
- Email, Getting Work Done, and Corporations, Or: Outlook Considered Harmful
- Today I learned: Vertical monitors and subpixel anti-aliasing
- A New Font
- How to write a type checker/type inferrer with good error messages
- Adding a Clock to the Tab-Bar in Emacs 28
- Rules for Social Media
- microKanren Reading
- Blog update
- Complete and Liveness, Safe and Sound
2021 13
- Christmas 2021
- Class Management Reviews: Fall 2021
- Foundations of High-Modernist Ideology in Metropolis
- Programs and Intent
- Models of Programming
- Reluctance to Bear a Symbol
- A programmable programming language? I'll drink to that!
- Health and Taking Care of Yourself
- Ode to Used Book Stores
- Control-Flow Analysis
- This Too Shall Pass
- Easter 2021
- Using a Raspberry Pi for Proctorio
2020 15
- FreeBSD on a Raspberry Pi 4 with 4GB of RAM
- Dr. Loopback, Or: How I Learned to Stop DOSing Myself and Love the Pi-Hole
- RMS Does Not See the Future of Emacs
- The Social Dilemma
- The 11th
- Quarantine in the 1600s
- Book Review: Technopoly
- Thoughts on Goals in Programming Language Design
- Transitioning to GUI'd Emacs on macOS
- Programming Languages and Typography
- Book Review: Amusing Ourselves to Death
- 2020 05 23 masks
- Computers and Abstractions
- Starting Fresh
- FreeBSD on a Raspberry Pi