Skip to content

Instantly share code, notes, and snippets.

Avatar

Jonn Mostovoy manpages

View GitHub Profile
View kci.txt
601.2g. If the total cost includes a mana payment, the player then has a
chance to activate mana abilities (see rule 605, "Mana Abilities"). Mana
abilities must be activated before costs are paid.
601.2h. The player pays the total cost in any order. Partial payments
are not allowed. Unpayable costs can't be paid.
605.3. Activating an activated mana ability follows the rules for
activating any other activated ability (see rule 602.2), with the
following exceptions:
@manpages
manpages / Merkle.bib
Created Mar 7, 2018
LHS even the tiny things during R&D!
View Merkle.bib
@online{certitrans,
author = "Certificate Transparency Team",
title = "How Log Proofs Work",
url = "https://www.certificate-transparency.org/log-proofs-work",
keywords = "security,authenticated data structures,tls"
}
@paper{algorand,
author = "Silvio Micali",
title = "ALGORAND The Efficient Public Ledger",
keywords = "cryptocurrency,non-pow,decentralized,distributed",
View fetchFromGitStack.yaml
resolver: lts-3.19
packages:
- '.'
- scotty-hastache
extra-deps: []
flags: {}
@manpages
manpages / solution.md
Last active Dec 13, 2015
The ultimate solution to ling run-bys in macro PvZ
View solution.md
..........GG......
..........GG......
......NNNNPGG.....
......NNNNCGG.....
......NNNNCGG.....
......NNNNPGG.....
..........GG......
..........GG......
@manpages
manpages / .ghci
Last active Dec 3, 2015
Slides in your GHCi
View .ghci
import qualified System.IO.Strict as StrictIO
import qualified System.Directory as Dir
import qualified Data.Text as T
:set +m
:set prompt "\ESC[1;34m%s\n\ESC[0;34mλ> \ESC[m"
:set -XNoMonomorphismRestriction
:set -XRankNTypes
:set -XOverloadedStrings
@manpages
manpages / shell.nix
Created Nov 19, 2015
shellHook to the rescue
View shell.nix
{ nixpkgs ? (import <nixpkgs> {}) }:
nixpkgs.stdenv.mkDerivation {
name = "aliester-shell";
buildInputs = [];
shellHook =
''
export ANYTHING=666
export LANG=en_US.UTF-8
export LC_ALL=en_US.UTF-8
@manpages
manpages / Nix-logo.render
Created Nov 16, 2015
Render of ASCII art Nix logo
View Nix-logo.render
---. ,-----, --,
/\\\\\ \OOO0\ /OO0\
\/\\\\\ \OOO0\ /OOOO\
\/\\\\\ \OOO0\ /OOOO/
\/\\\\\ \OOO0\/OOOO/
-------\/\\\\\--------- \OOOOOOOO/
///////////////////////\\ \OOOOOO/
/\\\\\\\\\\\\\\\\\\\\\\\\\\ \OOOO0\
**************************** \00000\
@manpages
manpages / wtf-am-i-blind.purs
Created Aug 22, 2015
Doesn't compile with type mismatch
View wtf-am-i-blind.purs
data AttrNS = AttrNS { localName :: String
, value :: String
, legacyName :: String
, namespaceURI :: Nullable String
, prefix :: Nullable String
, legacySpecified :: Boolean }
--
toAttrNS :: forall r. { localName :: String
, value :: String
, namespaceURI :: Nullable String
@manpages
manpages / fmapNullable.purs
Created Aug 22, 2015
Nullable is clearly at least a functor
View fmapNullable.purs
fmapNullable :: forall a b. (a -> b) -> (Nullable a) -> (Nullable b)
fmapNullable f x = g f $ toMaybe x
where
g f Nothing = toNullable Nothing
g f (Just v) = toNullable $ Just (f v)
View zzz.purs
d <- doc'
b <- body'
img <- ND.createElement "img" d
b1 <- N.appendChild (e2n img) (e2n b)