Skip to content

Instantly share code, notes, and snippets.

View mikepilat's full-sized avatar

Michael Pilat mikepilat

View GitHub Profile
let List/concat = https://prelude.dhall-lang.org/List/concat.dhall
let List/filter = https://prelude.dhall-lang.org/List/filter.dhall
let List/map = https://prelude.dhall-lang.org/List/map.dhall
let Natural/equal = https://prelude.dhall-lang.org/Natural/equal.dhall
-- input was preformatted as List Natural
let input = ./input.dhall
@mikepilat
mikepilat / example.dhall
Last active November 30, 2020 20:04
Dhall Text/replace behavior
let func = ./func.dhall in func "\${my.terraform.interp}"
@mikepilat
mikepilat / pichain.rb
Created August 22, 2018 16:00
Blockchain hash example
#!/usr/bin/ruby
# code to hash the first block of blockchain example as found at
# https://anders.com/blockchain/blockchain.html
# Usage: ruby pichain.rb [start_nonce]
require 'digest'
require 'time'
@mikepilat
mikepilat / gist:9467656
Created March 10, 2014 15:50
proof for keybase.io
-----BEGIN PGP MESSAGE-----
Version: GnuPG v1.4.13 (Darwin)

owGbwMvMwMRoHlTUUqPxbQnj6QNvkhiCZe9bVisl5adUKllVK2Wngqm0zLz01KKC
osy8EiUrJcsUC8s0SyMz87REE6NUI1PDREsDI0MzC2NzUyNzIwsT82QjizSzRBMl
HaWM/GKQDqAxSYnFqXqZ+UAxICc+MwUoClfvbGThZuYIUl8KlkhMNjcwtki0TDJL
TEwzNkxKTEk2BdqQbJ6YZGmaZGAAUlicWpSXmJsKVJ2bmZ1akJmTWKJUq6MEFC7L
TE4FORoqnZ5ZklGahEdLSWUBSKw8NSkeqjs+KTMvBehloKay1KLizPw8JStDoMrk
kkyQdkNjSxMTMzMzQ3MdpdSKgsyi1PhMkApTczMLAyDQUSooSi0DGmmSbGxokGaU
try
tell application "Finder"
return name of application file id "com.macromates.TextMate"
end tell
on error err_msg number err_num
return null
end try