I hereby claim:
- I am marcoy on github.
- I am marcoy (https://keybase.io/marcoy) on keybase.
- I have a public key ASAcnRu39hfDGl7tsGySaYjoxrSPJCSFzkNfdEWRXy7Epgo
To claim this, I am signing this object:
:set prompt "\ESC[1;31m%s\n\ESC[0;33mλ> \ESC[m" | |
let ghciEscapeShellArg arg = "'" ++ concatMap (\x -> if x == '\'' then "'\"'\"'" else [x]) arg ++ "'" | |
:def! hoogle \str -> return $ ":! hoogle --count=15 \"" ++ str ++ "\"" | |
:def! search return . (":! hoogle --color --count=20 " ++) . ghciEscapeShellArg | |
:def! doc return . (":! hoogle --info " ++) . ghciEscapeShellArg |
set noautofocus | |
set nosmoothscroll | |
let blacklists = ["https://mail.google.com/*", "*://mail.google.com/*"] | |
let mapleader = "," | |
" Normal mode: gna | |
let qmark a = ['http://www.reddit.com/r/clojure', 'http://www.reddit.com/r/haskell', 'http://www.reddit.com/r/java', 'https://news.ycombinator.com', 'https://lobste.rs/'] | |
let searchengine hayoo = 'http://hayoo.fh-wedel.de/?query=%s' |
I hereby claim:
To claim this, I am signing this object:
(previous Yoneda blog) (reddit) (twitter)
Let's explore the Yoneda lemma. You don't need to be an advanced Haskeller to understand this. In fact I claim you will understand the first section fine if you're comfortable with map
/fmap
and id
.
I am not out to motivate it, but we will explore Yoneda at the level of terms and at the level of types.
// Use this with `amm -p Troops.sc` | |
interp.repositories() ++= List( | |
coursier.Cache.ivy2Cache | |
) | |
@ | |
interp.configureCompiler(_.settings.YpartialUnification.value = true) | |
interp.configureCompiler(_.settings.feature.value = true) | |
interp.configureCompiler(_.settings.unchecked.value = true) |
# vim: ts=4 sw=4 | |
# Initialize completion | |
# autoload -Uz compinit | |
# compinit -d "$HOME/.zcompdump" | |
zstyle ':completion::complete:*' use-cache on | |
zstyle ':completion::complete:*' cache-path "$HOME/.zcache" | |
# Enable approximate completions | |
zstyle ':completion:*' completer _complete _ignored _approximate | |
zstyle -e ':completion:*:approximate:*' max-errors 'reply=($((($#PREFIX+$#SUFFIX)/3)) numeric)' |
about:config settings to harden the Firefox browser. Privacy and performance enhancements.
To change these settings type 'about:config' in the url bar.
Then search the setting you would like to change and modify the value. Some settings may break certain websites from functioning and
rendering normally. Some settings may also make firefox unstable.
Not all these changes are necessary and will be dependent upon your usage and hardware. Do some research on settings if you don't understand what they do. These settings are best combined with your standard privacy extensions (HTTPS Everywhere, NoScript/Request Policy, uBlock origin, agent spoofing, Privacy Badger etc), and all plugins set to "Ask To Activate".
// Use this with `amm -p AmmPlay.sc` | |
// | |
// interp.configureCompiler(_.settings.YpartialUnification.value = true) | |
interp.configureCompiler(_.settings.YmacroAnnotations.value = true) | |
interp.configureCompiler(_.settings.feature.value = true) | |
interp.configureCompiler(_.settings.unchecked.value = true) | |
interp.configureCompiler(_.settings.deprecation.value = true) | |
interp.configureCompiler(_.settings.language.tryToSet(List("higherKinds", "postfixOps"))) | |
// Check settings inside ammonite `repl.compiler.settings` |
;; http://stackoverflow.com/questions/18779296/clojure-core-async-any-way-to-control-number-of-threads-in-that-go-thread | |
(ns sandbox | |
(:require [clojure.core.async.impl.concurrent :as conc] | |
[clojure.core.async.impl.exec.threadpool :as tp] | |
[clojure.core.async :as async])) | |
(defonce my-executor | |
(java.util.concurrent.Executors/newFixedThreadPool | |
1 | |
(conc/counted-thread-factory "my-async-dispatch-%d" true))) |
ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAACAQDF6hAmxL1YgAIn5xcfz0VUN6sqTiLNdgXJgPj/GBmA8dYvbsDdzyKGPCvMsvHtbaTdM4jNWovkMS3z8cBJsMlRNBISS39aos1diOLvdlzMumwKyNvzdABq24yQ/B6HrhZhtKgxJHZs9f3ckjmW24TKVuUeLJDBtxhcRQdCtkWDsPcQxVAaJrIpVelxjH1wrI3U//R37Or5gfVIsQdyFA/oNTW9KftIo+eIdUTNqbVoD0lpR1HPvpIpqxrt1fAXbu29Z0rX7hHoGGe9jqSZZ7qROv6XJ106abm/5cEelSBx7dMoBDz97xTpBlQttvNMMBbikjdecimKngg3oCJJR0pwyB/PcUZv/HtVbPXpDKaFNcT/0MCY5C7IOpZjjdktv/OgBRx95pL7dxlcP7qZL3+n/weePImgR2+5Du29amjqboKtiQ9abgWEPX+40GSXITJ8glwnv2PIqpi+lbKWLvTcfgYshtNvKUzVVJJdgvovNulxBzmB7vJja+d1Tozkp6WE1b+kZRlQ7tNG96kvQ7I2aZoQ5cbEDzqD0ECSBbsAvcZ/PvnPqcxMiZtxicFaF7Mf4Xml9p82HVfgzuK6wXMSAM2FRS/hNkHYqQetQ3H24VzTrP7Izr94W6oDavwXaQG92B34VBd+KfltMhniwONLP93Hu0TkkdHhkKIANfEExQ== marcoy@buzzard |