View config
# Put in your ~/.ssh/config
### Problem
#
# You are on a public WiFi network that blocks SSH ports but you don't want to switch
# to pushing your Github changes to GH remotes via HTTPS nor do you want to change the
# remote hostname in all your repos.
Host github.com
Hostname ssh.github.com
View FooBarBaz.hs
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE RankNTypes #-}
module FooBarBaz.Main
( compose3a
, compose3b
, compose3c
, main
) where
{-
View cors-validation
#!/usr/bin/env bash
function usage() {
>&2 echo "Usage: $0 SOURCE_URL PROXY_URL"
}
function main() {
local -r source_url="${1}"
local -r proxy_url="${2}"
curl \
View .gitignore
node_modules
View church-numerals.scala
/*
SP: currying this gives the type: (T => T) => T => T
That looks an awful lot like Haskell's application ($) operator. :)
There is a higher order abstraction here, sniff it out.
*/
type ChurchNumeral[T] = (T => T, T) => T
def cn0[T](f:T=>T, x:T):T = x
def cn1[T](f:T=>T, x:T):T = f(x)
def cn2[T](f:T=>T, x:T):T = f(f(x))
View LAZY.md
$ ruby bench/lazy.rb
                                                                                                           user     system      total        real
using Range#lazy                                                                                       0.330000   0.000000   0.330000 (  0.330689)
using Enumerator#yield                                                                                 0.170000   0.000000   0.170000 (  0.177117)
using Fiber#yield                                                                                      0.340000   0.120000   0.460000 (  0.458015)
View mutualrecursion.hs
-- module of natural number properties ... and stuff
module Naturally where
import Prelude hiding (even, odd)
-- recursive data structure
data Nat = Zero -- base case is "zero"
| Succ Nat -- successor of another Nat is the "recursive" case data constructor
deriving (Eq)
View RUBY_v2.4.0.md

Unified Fixnum and Bignum into Integer

It's backward compatible too.

$ irb
irb(main):001:0> RUBY_VERSION
=> "2.3.1"
irb(main):002:0> (2**100).class
=> Bignum
View myservice.nix
# Abstract
{ mkService, serviceArtifact, privateIfc, lbSource, authService, dataService, logService, logPath, secretsPath }:
mkService {
name = "service-name";
version = "0.1.2";
artifacts = [ serviceArtifact ];
listens = [ { type = "tcp"; port = 9999; interface = privateIfc; } ];
accepts = [ lbSource ]; # traffic sources to accept traffic from.
talks = [ authService dataService logService ]; # this allows auto configuration given the service definitions of those in the specific environment.
writes = [ logPath ];
View RULE41.md