np

(setq np-home (concat (getenv "HOME") "/"))
(setq agda-pkg (concat np-home ".agda-pkg/"))
(eval-after-load 'agda2
  '(progn
    (set-default 'agda2-include-dirs
       (list
        (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")

np

Verifying I am +np on my passcard. https://onename.com/np

np

c691e1b19a5e46d63eeaa37a455b6e74de9890ee
d6b02c6055b6bd4253ced4b0ad91070481032c76

np

[
  {"timestamp": "2016-06-10 08:50:00 UTC+00:00", "amount": "+100 satoshis", "to": "npouillard@21.co",
   "desc": "You submitted work through the 21 Bitcoin Computer."},
  {"timestamp": "2016-06-10 08:50:00 UTC+00:00", "amount": "+5 satoshis", "to": "npouillard@21.co", "from": "21dotco@21.co",
   "desc": "You sold 'http://10.244.165.172:6002/?uri=21.co' to 21dotco"} 
]

np

{-# LANGUAGE FlexibleContexts      #-}
{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE DataKinds             #-}
{-# LANGUAGE EmptyCase             #-}
{-# LANGUAGE GADTs                 #-}
{-# LANGUAGE KindSignatures        #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds             #-}
{-# LANGUAGE RankNTypes            #-}
{-# LANGUAGE ScopedTypeVariables   #-}

np

Verifying that "np.id" is my Blockstack ID. https://onename.com/np

np

{-# 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

{-# 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

blueprint:
  name: Entity (light/switch) OFF after N minutes after last motion detected
  domain: automation
  input:
    motion_entity_group:
      name: Motion Sensor
      selector:
        entity:
          domain: binary_sensor
          device_class: motion

np

blueprint:
  name: Entity (light/switch) OFF group after n minutes after last motion detected
  domain: automation
  input:
    motion_entity_group:
      name: Motion Sensor
      selector:
        entity:
          domain: binary_sensor
          device_class: motion