gcnew

ECC

Curve safety

• https://safecurves.cr.yp.to/
• https://www.reddit.com/r/crypto/comments/czi4ij/brainpoolp256r1_vs_brainpoolp256t1_which_one_to/

Algorithms

• prime256v1
• secp384r1
• secp521r1 (not supported in modern web, only Firefox; no known security issues)

gcnew

-Djavax.net.ssl.trustStoreType=KeychainStore

e.g.

-vmargs
-XX:+IgnoreUnrecognizedVMOptions
--add-modules=ALL-SYSTEM
-Xms64m
-Xmx1024m
-XstartOnFirstThread

gcnew

export { }

class Thunk<T> {
    private constructor(
        private evaluated: boolean,
        private f: (() => T) | undefined,
        private val: T | undefined
    ) {
    }

gcnew

export {}

type NumBox  = { kind: 'num_box',  value: number  }
type BoolBox = { kind: 'bool_box', value: boolean }
type StrBox  = { kind: 'str_box',  value: string  }
type RefBox  = { kind: 'ref_box',  value: Box     }

type PrimBox = NumBox | BoolBox | StrBox
type Box     = PrimBox | RefBox

gcnew

package TicTacToe

import scala.util.{ Try, Success, Failure }
import scala.io.StdIn

object Main {

    sealed trait Tile
    case object X     extends Tile

gcnew

• Disable malignant autosave functionality

  defaults write -g ApplePersistence -bool no

• Autosave of documents

  • (old OSX) Go to Settings -> General -> Ask to keep changes when closing documents
  • Settings -> Desktop & Dock -> Ask to keep changes when closing documents

• Recent Items:

  • (old OSX) Go to Settings -> General -> Recent Items := choose your poison

gcnew

JavaScript test runners that don't rely on a global driver function.

• tap
• lab
• ava
  • veeeery slow
  • terrible, installs one million dependencies

See https://medium.com/dailyjs/javascript-test-runners-benchmark-3a78d4117b4

gcnew

type Bool = 'true' | 'false'

type Or<X extends Bool, Y extends Bool> = {
    'true': 'true',
    'false': Y
}[X]

type HasKey<T, Key extends string> = (
    { [K in keyof T]: 'true' } &
    { [key: string]: 'false' }

gcnew

type Endomorphism<A> = (x: A) => A

type Kleisli<F<*>, A, B> = (x: A) => F<B>

type Cokleisli<F<*>, A, B> = (fa: F<A>) => B

// Catamorphism <> foldr ?
// Yoneda ??
// Codensity

gcnew

export {}

interface Collection<T> {
    length: number;
    add(x: T): void;
    remove(x: T): boolean;
}
interface Combinators {
    map<T, U>(c: Collection<T>, f: (x: T) => U): Collection<U>;