Skip to content

Instantly share code, notes, and snippets.

Nicolas Pouillard np

Block or report user

Report or block np

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
np / testpipeline.hs
Created Feb 15, 2018
A pipeline example using MonadJob
View testpipeline.hs
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
import Data.Aeson
type URL = String
newtype JobServerURL i o = JobServerURL URL
class Monad m => MonadJob m where
callJob :: (ToJSON i, FromJSON o) => JobServerURL i o -> i -> m o
np / test.hs
Created Feb 15, 2018
Cleaning Async resources upon cancel
View test.hs
{-# LANGUAGE ScopedTypeVariables #-}
import Control.Concurrent
import Control.Concurrent.Async
import Control.Exception
main :: IO ()
main = do
let f = 1000000
v <- newMVar ()
let debug = withMVar v . const . putStrLn
np / gist:cd5f005a4e802af1d0973b7899244210
Created Oct 26, 2017
Verifying that "" is my Blockstack ID.
View gist:cd5f005a4e802af1d0973b7899244210
Verifying that "" is my Blockstack ID.
np / RTTI.hs
Created Jun 12, 2017 — forked from edsko/RTTI.hs
Run-time type information in Haskell
View RTTI.hs
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
View 21log.json
{"timestamp": "2016-06-10 08:50:00 UTC+00:00", "amount": "+100 satoshis", "to": "",
"desc": "You submitted work through the 21 Bitcoin Computer."},
{"timestamp": "2016-06-10 08:50:00 UTC+00:00", "amount": "+5 satoshis", "to": "", "from": "",
"desc": "You sold '' to 21dotco"}
View timestamps
View onename verification
Verifying I am +np on my passcard.
np / .emacs
Created May 11, 2015
.emacs for agda (crypto-agda include dirs)
View .emacs
(setq np-home (concat (getenv "HOME") "/"))
(setq agda-pkg (concat np-home ".agda-pkg/"))
(eval-after-load 'agda2
(set-default 'agda2-include-dirs
(concat agda-pkg "github/agda/agda-stdlib/src")
(concat agda-pkg "github/crypto-agda/agda-nplib/lib")
(concat agda-pkg "github/crypto-agda/explore/lib")
(concat agda-pkg "github/crypto-agda/protocols")
View gist:2e48ef7d8ce09eabf3fb
Verifying that +npouillard is my Bitcoin username. You can send me #bitcoin here:
np /
Created Aug 27, 2014
Proving my github identity on

Keybase proof

I hereby claim:

  • I am np on github.
  • I am np ( on keybase.
  • I have a public key whose fingerprint is 326B FF50 7855 62A4 AC88 55CF 8826 FA56 57EF 6CA0

To claim this, I am signing this object:

You can’t perform that action at this time.