Skip to content

Instantly share code, notes, and snippets.

View gen.rb
exprs = File.readlines('input')
.map { |l| " (seq.unit \"#{l.chomp}\")" }
smt2 ='tpl.smt2')
.sub('%EXPRS%', exprs)
File.write('out.smt2', smt2)
View day1-part2.smt
(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
View part2-tpl.smt2
(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)
View model100.ino
// -*- 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
View Model100.ino
// -*- 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
View lrl
set -euo pipefail
while read -r pl; do
done < <(ls ~/Library/LaunchAgents)
height=$((len + 2))
View onchange
#!/usr/bin/env ruby
extra_fswatch_args, cmd_args = if (rest_index = ARGV.index('--'))
[ARGV[0...rest_index], ARGV[rest_index+1..-1]]
[[], ARGV]
View 0.zsh
# 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
View json_type.rb
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
def valid?(obj)
# in this particular case I don't think it makes sense to distinguish
burke / 0test.rb
Created Sep 24, 2021
I'm going to hell for sure.
View 0test.rb
assert(JSONType.recursively_valid?({'a' => ['neato']}))
refute(JSONType.recursively_valid?({'a' => [:neato]}))