javcasas

type APIWithExtra = {
    hasExtra: true;
    field: string;
    optionalField: string;
}
type APINoExtra = {
    hasExtra: false;
    field: string;
}

javcasas

from z3 import *

s = Optimize()

task_length = {
        1: 20,
        2: 50,
        3: 80,
        4: 50,
        5: 60,

javcasas

//////////////
// index.js //
//////////////
function flatten1(arr) {
  // Imperative flatten that works by attaching elements to a resulting array
  const res = [];
  function inner(a) {
    if(Array.isArray(a)) {
      a.forEach(inner);
    } else {

javcasas

type MyADT = {
    t: "Case1";
    v1: string;
} | {
    t: "Case2";
    v2: string;
    at: number;
} | {
    t: "Case3",
    v2: string

javcasas

ssh -L 1433:mssql_server:1433 user@tunnel_through_server

javcasas

* Prevent commiting to master with a pre-commit hook such as https://gist.github.com/eddywashere/107b33b35601d21b1a2a