dariusf

Using Apron on macOS

Install PPL.

brew install ppl

For some reason, installing from opam doesn't pick up the presence of PPL. We run ./configure manually to fix that.

dariusf

// Keybindings for compound rubrics
document.onkeypress = function(e) {
  if (e.key === 'n') {
    setTimeout(() => {
      // both events have to be sent
      document.dispatchEvent(new KeyboardEvent('keydown', {'key': 'j'}));
      document.dispatchEvent(new KeyboardEvent('keyup', {'key': 'j'}));
      setTimeout(() => {
        document.dispatchEvent(new KeyboardEvent('keydown', {'key': 'k'}));
        document.dispatchEvent(new KeyboardEvent('keyup', {'key': 'k'}));

dariusf

type 'a tree =
  | Section of {
      item : 'a;
      children : 'a tree list;
    }

let item a = Section { item = a; children = [] }

type 'a path =
  | Top

dariusf

Pandas

Mental model

Pandas is oriented around performing SIMD operations on arrays, and its API directly reflects this. Some operations may be less intuitive than they are in the SQL or stream processing worlds. Operations like apply and iter* which involve user-defined Python are generally slow.

Basics

dariusf

$$\mathit{Total\ Correctness} = \mathit{Partial\ Correctness} + \mathit{Termination}$$ Program Verification

---

$$\mathit{Emacs} + \mathit{Go} = \mathit{Parametric\ Polymorphism}$$ Fulfilling a Pikedream: the ups of downs of porting 50k lines of C++ to Go.

---

dariusf

Updated Feb 2022.

ShiViz visualizes space-time diagrams, a succinct way to represent distributed system executions.

The examples on the site are all rather large, so here's a tiny Hello World example which illustrates the input format and basic ideas.

client1 "message 1 sent" {"client1":1}
client2 "message 2 sent" {"client2":1}
server "message 2 received" {"server":1, "client2":1}

dariusf

Updated Dec 2021.

Zoom doesn't have chat notifications. This is a problem when invigilating online exams.

If you're using macOS, notifications can be hacked on by using a bunch of scripts to tell when something on the screen changes.

Rectangles

The first piece is how to capture a small region of the screen.

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)

dariusf

Updated July 2022.

Install system dependencies:

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

dariusf

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