mikesol

MIDIClient.init;
MIDIClient.sources;
MIDIIn.connect;    // init for one port midi interface
MIDIIn.removeFuncFrom(\control, ~controlKludge);
~current = 0;
~controlKludge = { arg src, chan, num, val;

	if (val == 127, {
		[chan,num,val].postln;

mikesol

currentSeq = tops[top] ? tops[top].scene || new EvSeq(new EventEmitter()) : currentSeq;
  if (verb === states.STAGED || verb === states.SHIT) {
    console.log("playing " + top);
    if (verb === states.SHIT) {
      // reset currentSeq
      currentSeq.stop();
    }
    // TODO: figure out a way to unsubscribe observables...this will probably in a memory leak
    Observable.fromEvent(tops[top].event || new EventEmitter(), 'sc')
      .subscribe(function(msg) {

mikesol

import _ from 'lodash';
const ____kludge = (function*() {}).constructor;
const isGeneratorFunction = ugh => ugh instanceof ____kludge;
const recurse = rules => fn => isGeneratorFunction(fn) ? sagaTeller(fn, rules) : fn;

const genWrapper = (value, rules) => ({
  ...value,
  fn: recurse(rules)(value.fn),
  args: value.args.map(recurse(rules)),
});

mikesol

_BACKEND_SPEC = dict(
    set_learning_phase=__set_learning_phase,
    is_keras_tensor=__is_keras_tensor,
    variable=__variable,
    placeholder=__placeholder,
    eye=__eye,
    eval=__eval,
    random_uniform_variable=__random_uniform_variable,
    random_normal_variable=__random_normal_variable,
    random_uniform=__random_uniform_variable,

mikesol

document.addEventListener('DOMContentLoaded', function () {
	var hashcache = {};
    var langcache = {};
    var ariacache = {};
	Array.prototype.forEach.call(document.querySelectorAll('ul.nav.nav-tabs'), function(tablist) {
    Array.prototype.forEach.call(tablist.querySelectorAll('li.nav-item'), function(tabitem) {
      Array.prototype.forEach.call(tabitem.querySelectorAll('a'), function (anchor) {
        var lang = anchor.getAttribute("data-lang");
        var aria = anchor.getAttribute("aria-controls");
        var obj = {

mikesol

from z3 import *

def test_negative_list_sum():
  ll = Datatype('ll')
  ll.declare('empty')
  ll.declare('cons', ('car', IntSort()), ('cdr', ll))
  ll = ll.create()
  list_sum = Function('list_sum', ll, IntSort(), BoolSort())
  a,e = Consts('a e', ll)
  b,c,d = Ints('b c d')

mikesol

from z3 import *

def test_list_elt_gt_1():
  ll = Datatype('ll')
  ll.declare('empty')
  ll.declare('cons', ('car', IntSort()), ('cdr', ll))
  ll = ll.create()
  list_sum = Function('list_sum', ll, IntSort(), BoolSort())
  list_len = Function('list_len', ll, IntSort(), BoolSort())
  a,e = Consts('a e', ll)

mikesol

class _First {  
  infix fun sign(into: _Into) = into
}
class _Into {  
  infix fun your(console: _Console) {
    // insert sign in logic, ie via Robolectric
    return console
  }
}
class _Console {  val Then = this

mikesol

{
  "object": "list",
  "data": [
    {
      "id": "cus_GhmXKD3awekHyV",
      "object": "customer",
      "account_balance": -755,
      "address": {
        "city": "Elk Grove",
        "country": "US",

mikesol

{
  "error": {
    "message": "You did not provide an API key. You need to provide your API key in the Authorization header, using Bearer auth (e.g. 'Authorization: Bearer YOUR_SECRET_KEY'). See https://stripe.com/docs/api#authentication for details, or we can help at https://support.stripe.com/.",    "type": "invalid_request_error"
  }
}