Mini-repro for SO question about weird TypeScript error message involving contravariance.
git clone git@gist.github.com:408b45c4e7b126fb7c28c69140604546.git test && cd test
npm ci
npm run build
import dataclasses | |
import datetime | |
import re | |
import socket | |
import socketserver | |
import time | |
class config: | |
SOCKET_TIMEOUT = 10 |
module Foo where | |
test_Foo = undefined |
module LibModule where | |
greeting = "=== Hello, Cabal! === Module Main speaking ~~~" |
Mini-repro for SO question about weird TypeScript error message involving contravariance.
git clone git@gist.github.com:408b45c4e7b126fb7c28c69140604546.git test && cd test
npm ci
npm run build
#!/usr/bin/env python | |
""" | |
Use TOTP secret with RFC6238 algorithm for AWS MFA login. | |
$AWS_PROFILE is expected to be set, naming a section in ~/.aws/credentials | |
That same section must also contain 2 extra values for this script: | |
[my-awesome-shiny-aws-account] |
{-# LANGUAGE DataKinds, PolyKinds, TypeFamilies #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
{-# LANGUAGE FlexibleInstances, UndecidableInstances #-} | |
{-# LANGUAGE NoStarIsType #-} | |
{-# OPTIONS_GHC -Wno-orphans #-} | |
{-# OPTIONS_GHC -fplugin=Overloaded -fplugin-opt=Overloaded:Symbols #-} | |
module Main where | |
import Data.Fixed | |
import Data.Function (on) |
#!/usr/bin/env runhaskell | |
{- cabal: | |
build-depends: | |
aeson, | |
attoparsec, | |
attoparsec-aeson, | |
base, | |
bytestring, | |
conduit, | |
conduit-aeson, |
'use strict'; | |
/* Python-like repr() formatter for JS types, with recursion limit. */ | |
/* Adapted from https://gist.github.com/soapie/6407618 */ | |
function repr(x, max, depth) { | |
var ELIDED = "[..]"; | |
if (depth === undefined) depth = 0; | |
if (max === undefined) max = 2; | |
if (isPrim(x)) | |
return showPrim(x); | |
if (typeof x === 'function') |
#!/usr/bin/env python3 | |
""" | |
https://gist.github.com/ulidtko/fdd7222bd7e85480fa201614fbc42faf | |
""" | |
import os | |
import subprocess | |
import sys | |
from time import sleep | |
from urllib.error import URLError |
#!/usr/bin/env python3 | |
import argparse | |
import datetime | |
import sys | |
import os.path | |
import boto3 | |
import jinja2 | |