Pierce Darragh 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:

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

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?

	type color =
	\| Red
	\| Green
	\| Blue
	\| Black

	type row = color list

	type screen = row list

	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

	#!/usr/bin/env python3


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


	import re

	#!/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.
	#

	{-# 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)

	/* 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

	#!/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