Ashton Wiersdorf on Lambda Land

follow: @[email protected]

Posts

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

A Quick Guide to LaTeX

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

Big Updates to My Blog

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

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

Implementing Type Systems as Macros

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

Praise for the pragmatic third camp

Metric Worship, or: How a bad manager wrecked a (small) company

Changes in Career Aspirations

What is a type system, really?

Make an Emacs Buffer Open the Way You Want

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

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

Complete and Liveness, Safe and Sound

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

Using a Raspberry Pi for Proctorio

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

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

Computers and Abstractions

FreeBSD on a Raspberry Pi

Switching from Helm to Ivy

Macros with Elixir

Citations with Pandoc

Organization Theory

Semester Finished

Editors, or The Tools of my Trade

Induction and Side-Effects

Life Hacks: Text Notifications

Leaving Facebook

Rapid Website Development with Mojolicious and Polymer

Eh, Docker, we have a problem here…

Emacs Tips and Tricks

Lesson 2023-06-25