View bi-tempered.py
# source: https://google.github.io/bi-tempered-loss/ | |
# apache 2 licensed | |
import torch | |
def logT(u, t): | |
if t == 1: | |
return torch.log(u) | |
else: | |
return (torch.pow(u, 1.0 - t) - 1.0) / (1.0 - t) |
View Main.hs
module Main where | |
main = print "hi" |
View contrived.hs
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE TypeApplications #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
{-# LANGUAGE TypeFamilies #-} | |
{-# LANGUAGE AllowAmbiguousTypes #-} | |
{-# LANGUAGE KindSignatures #-} | |
{-# LANGUAGE TypeOperators #-} | |
import GHC.Base (Type) |
View gist:d1d4fe3bcae794581abea0d6adbaf329
The invocation of "nix-build --keep-going -A python27Packages.sphinx-jinja -A python27Packages.anyjson -A qt5.qtwebchannel -A axis2 -A python35Packages.minimock -A kde4.semnotes -A faust2lv2gui -A python35Packages.actdiag -A xfce.xfce4_netload_plugin -A kde4.kremotecontrol -A skype_call_recorder -A prison -A mono46 -A python27Packages.traits -A kde5.kdenlive -A kde5.l10n.it.qt4 -A python35Packages.github3_py -A mfcj6510dw-cupswrapper -A python35Packages.oauthlib -A python35Packages.gst-python -A msilbc -A kde4.l10n.nds -A python35Packages.topydo -A kde4.zanshin -A kde5.l10n.wa.qt4 -A fcitx-engines.libpinyin -A mediastreamer-openh264 -A rili -A R -A xorg.xf86inputjoystick -A xpilot-ng -A atanks -A linuxPackages_chromiumos_3_18.nvidia_x11 -A kde4.kfourinline -A python35Packages.carrot -A python27Packages.pytest_xdist -A compton -A opkg -A kde4.kamera -A puddletag -A gnome3.networkmanager_openvpn -A python35Packages.pyramid_debugtoolbar -A glabels -A python27Packages.clepy -A plantuml -A SDL2_gfx -A python27Pack |
View decoding-nested-json-fragment.purs
module X where | |
import Prelude | |
import Data.Foreign (F) | |
import Data.Foreign.Class (class IsForeign, readJSON, readProp) | |
import Data.Foreign.Index (prop) | |
import Control.Monad.Eff.Console (logShow) | |
import Data.Either (Either(..)) | |
-- { repo(owner: “tom”, name: “holborn”) |
View typeapp.hs
{-# LANGUAGE ScopedTypeVariables #-} | |
{-# LANGUAGE TypeApplications #-} | |
{-# LANGUAGE AllowAmbiguousTypes #-} | |
{-# LANGUAGE DataKinds, PolyKinds, TypeOperators #-} | |
{-# LANGUAGE TypeFamilies, FlexibleInstances #-} | |
{-# LANGUAGE InstanceSigs #-} | |
-- When do I need TypeApplication? | |
-- When I need some intermediate types that change how |
View example.py
import sklearn.base as base | |
import sklearn.linear_model as lm | |
import numpy | |
class ByThreshold(base.BaseEstimator, base.ClassifierMixin): | |
def __init__(self, estimator, threshold=0.95): | |
self.threshold = threshold | |
self.estimator = estimator |
View stack.py
#!/usr/bin/env python | |
""" | |
Welcome to Tom-does-another-disgusting-hack. | |
This is an executable shim for the stack binary whose only purpose is | |
to make the amazing intero mode [1] work in a non-stack environment (Nix | |
in our case). | |
Dump it somewhere and make sure it runs *instead* of the actual stack binary. | |
You will not be able to use stack at the same time. |
View stack.py
#!/usr/bin/env python | |
import sys | |
import time | |
import os | |
import subprocess | |
def main(): | |
if sys.argv[1:] == ["path", "--project-root", "--verbosity", "silent"]: | |
print "/home/tom/src/intero" |
View gist:c195cedccabcf54733e6bd0436b83c07
$ cat .git/config | |
... | |
[diff "nixops"] | |
textconv = nixops export -s | |
$ cat .gitattributes | |
production/secrets/**/* filter=git-crypt diff=nixops | |
NewerOlder