burke

exprs = File.readlines('input')
  .map { |l| "    (seq.unit \"#{l.chomp}\")" }
  .join("\n")

smt2 = File.read('tpl.smt2')
  .sub('%EXPRS%', exprs)
File.write('out.smt2', smt2)

burke

(set-logic QF_ALIA)

(declare-const len Int)
(assert (= len 247))

(declare-const a (Array Int Int))
(define-fun x () (Array Int Int)
  (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store (store

burke

(set-logic AUFLIA)

(declare-sort RPS 0)
(declare-fun rock () RPS)
(declare-fun paper () RPS)
(declare-fun scissors () RPS)

(declare-sort OUTCOME 0)
(declare-fun win () OUTCOME)
(declare-fun lose () OUTCOME)

burke

// -*- mode: c++ -*-

#include "Kaleidoscope.h"
#include "Kaleidoscope-Macros.h"
#include "Kaleidoscope-LEDControl.h"
#include "Kaleidoscope-LEDEffect-BootGreeting.h"
#include "Kaleidoscope-LED-Stalker.h"
#include "Kaleidoscope-SpaceCadet.h"

// Macros

burke

// -*- mode: c++ -*-

#include "Kaleidoscope.h"
#include "Kaleidoscope-Macros.h"
#include "Kaleidoscope-LEDControl.h"
#include "Kaleidoscope-LEDEffect-BootGreeting.h"
#include "Kaleidoscope-LED-Stalker.h"
#include "Kaleidoscope-SpaceCadet.h"

// Macros

burke

#!/bin/bash
set -euo pipefail

plists=()
while read -r pl; do
  plists+=("${pl}")
done < <(ls ~/Library/LaunchAgents)

len=${#plists[@]}
height=$((len + 2))

burke

#!/usr/bin/env ruby

require('open3')

extra_fswatch_args, cmd_args = if (rest_index = ARGV.index('--'))
  [ARGV[0...rest_index], ARGV[rest_index+1..-1]]
else
  [[], ARGV]
end

burke

# fragment added to ~/.zshrc
zle-gasdf() { gasdf; zle .beginning-of-line; zle .kill-line; zle .accept-line }
zle -N zle-gasdf
bindkey 'å' zle-gasdf # Alt-A Canadian English

burke

      class JSONTypeClass < T::Types::Base
        ScalarType = T.type_alias { T.any(String, Numeric, NilClass, FalseClass, TrueClass) }
        IterType = T.type_alias { T.any(ScalarType, T::Array[T.untyped], T::Hash[String, T.untyped]) }

        def name
          'JSON'
        end

        def valid?(obj)
          # in this particular case I don't think it makes sense to distinguish

burke

        assert(JSONType.recursively_valid?({'a' => ['neato']}))
        refute(JSONType.recursively_valid?({'a' => [:neato]}))