Darius Foo dariusf

VirtualBox for Docker users

Sometimes you need VirtualBox instead of Docker - when more isolation is required, or because a desktop environment is too hard to configure.

(Updated Sep 2021)

Updated July 2022.

Install system dependencies:

brew install --cask mono-mdk dotnet-sdk godot-mono
brew install mono

We're looking for pairs of customers who like exactly the same pizza, i.e. their respective sets of liked (and disliked) pizzas are equal.

To get this, we can find customers who differ in their preferences and take the complement of that. The general structure of the answer is thus:

all_pairs_of_customers = ...
customers_who_differ = ...
query = all_pairs_of_customers - customers_who_differ

	#!/usr/bin/env bash

	# This is safe to run in your paper directory, as it creates a copy of the files.
	# to be uploaded in the $dest directory below.
	# It assumes latexmk is used, and latexmk outputs go into a _build directory.

	set -e

	# build, as we need the bbl file
	latexmk

	#!/usr/bin/env python

	# Author: Darius Foo (darius.foo.tw@gmail.com)
	# License: GPLv3

	import re
	from collections import namedtuple

	Frame = namedtuple('Frame', ['fn', 'slots'])
	Slot = namedtuple('Slot', ['name', 'value'])

	#!/usr/bin/env python

	# Author: Darius Foo (darius.foo.tw@gmail.com)
	# License: GPLv3

	from z3 import *

	set_param(proof=True)
	s = Solver()


	Sub extractHighlighted()

	Dim objUndo As UndoRecord
	Set objUndo = Application.UndoRecord
	objUndo.StartCustomRecord ("Extract Highlighted Text")

	Selection.ClearFormatting
	Selection.HomeKey wdStory, wdMove