pdarragh

Finally got around to setting up an x86 instance of Homebrew via Rosetta to install x86 Racket. Here's all the steps I took.

First, ensure Rosetta 2 is installed:

$ /usr/sbin/softwareupdate --install-rosetta

Then install x86-64 Homebrew. However, I've also kept the regular Apple Silicon Homebrew. Turns out they require different path prefixes anyway, so the regular one is at /opt/homebrew while the x86 one is at /usr/loca/homebrew. To install the x86 one, I did:

pdarragh

Cookie Recipes

As promised: my cookie recipes! I used a gluten-free one-for-one substitute instead of regular flour.

• Jam Thumbprints
• Ginger Molasses Cookies
• Peanut Butter Blossoms

pdarragh

Approachable PL Papers for Undergrads

On September 28, 2021, I asked on Twitter:

PL Twitter:

you get to recommend one published PL paper for an undergrad to read with oversight by someone experienced. the paper should be interesting, approachable, and (mostly) self-contained.

what paper do you recommend?

pdarragh

type color =
  | Red
  | Green
  | Blue
  | Black

type row = color list

type screen = row list

pdarragh

import argparse

from pathlib import Path

"""
Run this by doing:

$ python3 better_io.py /path/to/file

This version uses the `type` parameter of the `add_argument` function to pass

pdarragh

#!/usr/bin/env python3


"""This module provides functions for solving the New York Times Spelling Bee
puzzles using a given dictionary file.
"""


import re

pdarragh

#!/usr/bin/env sh

# I TAKE NO RESPONSIBILITY FOR YOUR CHOICE TO USE THIS SCRIPT.
# It's probably a better idea to just read the commands and enter
# them by hand one-by-one. But I've used this script and it works
# for me, so here it is.

# Migrates the commits from an old repository to a new one using
# a rebase.
#

pdarragh

{-# LANGUAGE ConstrainedClassMethods #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}

import Prelude hiding (all, any, length, map)
import Data.Bool (Bool(..), not, otherwise)
import Data.List (reverse)
import qualified Data.List (length)

pdarragh

/* Copyright 2015-2017 Jack Humbert
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 2 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

pdarragh

#!/usr/bin/env python3

from shlex import split as split_args  # This is used for splitting strings in
                                       # the way the shell does it.

# The `argparse` module in the standard library provides a ton of functionality
# for easily parsing command-line arguments when invoking Python programs. The
# full documentation is available here:
#
#     https://docs.python.org/3/library/argparse.html