View dj.py
#!/usr/bin/env python
import argparse
from cryptography import exceptions
from cryptography.hazmat.backends import default_backend
from cryptography.hazmat.primitives.ciphers.aead import ChaCha20Poly1305
from cryptography.hazmat.primitives.hashes import SHA256
from cryptography.hazmat.primitives.kdf.pbkdf2 import PBKDF2HMAC
from getpass import getpass
import os
import sys
View keybase.md

Keybase proof

I hereby claim:

  • I am mgrabovsky on github.
  • I am eminentbaruch (https://keybase.io/eminentbaruch) on keybase.
  • I have a public key ASCQIxloRY8jqCnnVYF9arV7TvxSa-HbktZMomECrUWNwAo

To claim this, I am signing this object:

View base.css
/*! normalize.css v3.0.2 | MIT License | git.io/normalize */
html {
font-family: sans-serif;
-ms-text-size-adjust: 100%;
-webkit-text-size-adjust: 100%;
}
body { margin: 0; }
View how-to-break.tex
% Compile with xelatex
\documentclass[11pt,a4paper,twoside]{scrartcl}
\usepackage{hyperref}
\usepackage{polyglossia}
\usepackage{microtype}
\usepackage{scrlayer-scrpage}
\usepackage{xcolor}
\usepackage{paralist}
\usepackage[orig, british, cleanlook]{isodate}
View index.md

This is an incomplete list of tools that aid in detecting type errors in JavaScript and statically typed languages that compile to JavaScript.

  • Flow is a type checker with gradual typing capabilities, classes, parametric polymorphism with constraints (bounded polymorphism), function overloading, union and intersection types, and modules.

  • TypeScript is a typed superset of JavaScript (todo: which version? ES6/7?) backed by Microsoft.It features contextual typing, interfaces and classes, parametric polymorphism (generics with

View algebra.v
Require Import Coq.Setoids.Setoid.
(** * Magmas *)
Module Type magma.
(** Type of elements *)
Variable elt : Type.
(** The structure's binary operation *)
Variable op : elt -> elt -> elt.
Infix "*" := op (left associativity, at level 40).
View .block
license: gpl-3.0
View Makefile1
#:This list
.PHONY: ?
?:;@for file in "Makefile $$(perl -lne 'print for m|^include\s+(.*)$$|g' Makefile)"; do \
perl -0777 -ne 'while (m/#:\s*(.*?)\n\.PHONY:\s*(.*?)\n/sg) { print "make $$2\t# $$1\n"; }' "$${file}"; \
done | sort -u | column -ts $$'\t'
# Source: https://github.com/gtramontina/sourcing/blob/023cae5/Makefile#L68-L72