np

# ensure_link() @ https://gist.github.com/np/9598621 {{{
# Dependencies:
#   error() @ https://gist.github.com/3736727
ensure_link(){
  local src="$1"
  local dst="$2"
  if [ -L "$src" ]; then
    # Check if the link is already as expected.
    [ $(readlink "$src") != "$dst" ] || return 0
    rm "$src"

np

# notbit GIT version
# Contributor: alphazo@gmail.com

_gitname=notbit
pkgname=notbit-git
pkgver=r339.e7bd67e
pkgrel=1
pkgdesc="A minimal Bitmessage client"
arch=('i686' 'x86_64')
depends=('openssl')

np

Keybase proof

I hereby claim:

• I am np on github.
• I am np (https://keybase.io/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:

np

Verifying that +npouillard is my Bitcoin username. You can send me #bitcoin here: https://onename.io/npouillard

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

(* defines the Ast.binding for a function of form: 
   let fun_name ?(opt_arg1) ?(opt_arg2) final_ident = function_body ...
   XXX: figure out the quotation magic for this, if such exists
*)
let function_with_label_args _loc ~fun_name ~final_ident ~function_body ~return_type opt_args =
   let opt_args = opt_args @ [ <:patt< $lid:final_ident$ >> ] in
   let rec fn _loc = function
   |hd::tl -> <:expr< function $hd$ -> $fn _loc tl$ >>
   |[] -> <:expr< ( $function_body$ : $return_type$ ) >>
   in

np

#!/bin/bash -e

perr(){
  echo "$@" > /dev/stderr
}

usage(){
  perr "Usage: cat <email> | email-reminder <at(1)-arguments>*"
  perr "$@"
  exit 1

np

#!/bin/bash
MSGID=$(grep 'Message-Id' | head -n 1 | sed 's/Message-Id: /:/')
hsgtd add "$@" "$MSGID"

np

#!/bin/sh
# LICENSE: Public Domain
ioreg -w0 -c AppleSmartBattery -r               | # Getting the info
  tail -n +2                                    | # Skipping the prelude
  sed  -e 's/" *=/": /g'                        | # Record field syntax
  sed  -e 's/\(": .*\)$/\1,/'                   | # Add commas
  ruby -e 'puts STDIN.read.gsub(/,\s*\}/, "}")' | # Removing last extra comma
  sed  -e 's/Yes/true/g'                        | # Yes->true
  sed  -e 's/No/false/g'                        | # No->false
  sed  -e 's/(\(.*,.*\))/[\1]/'                 | # CellVoltage field