Lambda Land

Background This is a question I’ve been wrestling with for a little bit.

Are you tired of having a particular buffer pop open in the wrong direction?

This year I discovered the profound joy of giving toys to a little girl.

I’m well aware that I may have a bit of an obsession with fonts.

In a study that Ars Technica reported on, researchers found that an alarming number of computer repair technicians snooped through clients’ devices—and female clients were way more likely to have their data accessed.

I had a friend ask me what continuations are, and why they’re useful.

Wikipedia cites a few different sources on what “Unix Philosophy” is.

Yes, it’s time to redo my blog again.

It’s hard to overstate how important email is in our modern world.

Something I learned today from a coworker: if you turn your monitor sideways, subpixel anti-aliasing gets completely broken.

This week I created a custom build of the Iosevka font.

This is an experimental type checker/inferer for a simple lambda calculus.

+++ Today I figured out how to add a tab-bar to Emacs.

I’m not on many social media platforms these days.

μKanren (“micro-Kanren”) is a tiny, embeddable logic programming language.

Brief update on the blog: I had been running a custom fork of the Anatole theme; it diverged pretty heavily, and I found a nice way to customize the CSS.

I have a hard time keeping these terms straight: liveness vs. safety soundness vs. completeness This is intended as a short guide for myself; maybe someone else will find it useful too!

It’s my first Christmas being a dad.

A collection of what worked well and what didn’t in classes that I took this semester.

The following is from a essay from a class on German literature and film.

What does this program do?

+++ Last week I was studying outside of a lecture hall where someone was teaching an introductory course on computer programming.

I feel uncomfortable with many symbols.

My wife and I got a chance to go to a place that lets you paint pottery and then have it fired.

It’s going to be another long night.

When I get a little money I buy books; and if any is left I buy food and clothes. — Erasmus of Rotterdam Used bookstores are my arch nemesis.

Control-Flow Analysis is a popular technique for performing static analysis of many different kinds of programming languages.

It’s cliché at this point to say that 2020 was a rough year.

I love Easter.

For one of my classes I am required to take a short weekly exam via Proctorio.

+++ This is the story of how I managed to get FreeBSD running on a Raspberry Pi 4 with 4GB of RAM, though I think the setup story is pretty similar for those with 2GB and 8GB.

I noticed that my Internet was acting strangely: whenever I visited a web page, my browser would hang for a good second or two before it started loading anything.

I am an avid Emacs user.

I just finished watching The Social Dilemma, and here’s my hot take: The Social Dilemma is an emotive, accessible introduction to problems that, without exaggeration, pose an existential threat to life as we know it.

Today is September 11th.

It’s been a long six months that we’ve been under quarantine and other disease-limiting measures.

In Technopoly: The Surrender of Culture to Technology, Neil Postman argues that our infatuation with technology has insidiously eroded our culture.

+++ I’ve been thinking about programming languages a lot recently.

I went on an adventure today.

An analogy occurred to me this evening as I was thinking about programming language design: Choosing good keywords and function names is like picking a good font; the ideas conveyed may be the same, but a change can drastically impact legibility and enjoy…

Overview The primary thrust of this book is that television has degraded our mode of public discourse.

Masks have become a hot issue.

Computers are funny things.

I’ve been building a compiler for a small lambda calculus that compiles to x86.

+++ I’m a FreeBSD guy.

+++ Yet again, I’ve tweaked my emacs configuration.

I gave a presentation at the Utah Elixir Meetup this February.

+++ Today I figured out how to get Pandoc to automatically generate MLA citations for me!

Marked Man (mm) is a little program I wrote to view Markdown files like UNIX man pages.

DuckDuckGo is a search engine.