Skip to content

Instantly share code, notes, and snippets.

View pbevin's full-sized avatar

Pete Bevin pbevin

11 followers · 1 following
View GitHub Profile
@pbevin
pbevin / Robot4.elm
Last active April 30, 2017 19:12
module Main exposing (..)
import Exts.Float exposing (roundTo)
import Html exposing (..)
import Html.Attributes exposing (..)
import Svg exposing (Svg)
import Svg.Attributes as SA
import Svg.Path exposing (pathToString, subpath, startAt, lineToMany, emptySubpath, closed, open)
import Mouse exposing (Position)
@pbevin
pbevin / Robot2.elm
Created April 28, 2017 22:43
module Main exposing (..)
import Exts.Float exposing (roundTo)
import Html exposing (..)
import Html.Attributes exposing (..)
import Html.Events exposing (on)
import Json.Decode as Decode
import Mouse exposing (Position)
import Keyboard exposing (..)
import Char
@pbevin
pbevin / Robot.elm
Created April 28, 2017 22:41
module Main exposing (..)
import Exts.Float exposing (roundTo)
import Html exposing (..)
import Html.Attributes exposing (..)
import Html.Events exposing (on)
import Json.Decode as Decode
import Mouse exposing (Position)
import Keyboard exposing (..)
import Char
@pbevin
pbevin / keybase.md
Created July 17, 2016 20:11

Keybase proof

I hereby claim:

  • I am pbevin on github.
  • I am pbevin (https://keybase.io/pbevin) on keybase.
  • I have a public key ASBJUxKDucu4w1A5W35COnGciCDILCZJcTkLx9n3yd4Dfgo

To claim this, I am signing this object:

@pbevin
pbevin / e.rb
Created April 23, 2015 01:03
Ruby version of https://gist.github.com/pbevin/b87beb6c00969697b690
q,r,t,k,n = 1,0,1,1,2,3
loop do
if 2*q+r-t < n*t
print n
q,r,t,k,n = 10*q,10*(r-n*t),t,k,(10*(q+r))/t-10*n
else
r,t,k,n = (q+r)*k, t*k, k+1, (q+r*k)/(t*k)
end
end
@pbevin
pbevin / e.hs
Created April 23, 2015 00:30
Unpacked version of https://gist.github.com/pbevin/73131be877bb58189150
import Data.Char
e = map (intToDigit . fromInteger) $ stream next safe prod cons init lfts where
init = unit
lfts = [(1, k, 0, k) | k<-[1..]]
next z = floor (extr z 1)
safe z n = (n == floor (extr z 2))
prod z n = comp (10, -10*n, 0, 1) z
cons z z' = comp z z'
type LFT = (Integer, Integer, Integer, Integer)
@pbevin
pbevin / e.hs
Created April 23, 2015 00:24
Digits of e, based on http://www.cs.ox.ac.uk/jeremy.gibbons/publications/spigot.pdf
e = g(1,0,1,1,2,3) where
g(q,r,t,k,n,l) =
if 2*q+r-t<n*t
then n : g(10*q,10*(r-n*t),t,k,div(10*(q+r))t-10*n,l)
else g(q,(q+r)*k,t*k,k+1,div(q+r*k)(t*k),l+2)
@pbevin
pbevin / ga2.html
Created June 16, 2010 18:04
Tracker for pages hosted outside hover.com
<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='"+gaJsHost+"google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
</script>
<script type="text/javascript">
try {
var pageTracker = _gat._getTracker("UA-4171338-2");
pageTracker._setDomainName("none");
pageTracker._setAllowLinker(true);
pageTracker._setAllowHash(false);
@pbevin
pbevin / ga.html
Created June 16, 2010 18:02
Hover tracking code for subdomains of hover.com
<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='"+gaJsHost+"google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
</script>
<script type="text/javascript">
try {
var pageTracker = _gat._getTracker("UA-4171338-2");
pageTracker._setDomainName(".hover.com");
pageTracker._setAllowLinker(true);
pageTracker._setAllowHash(false);
@pbevin
pbevin / gist:418370
Created May 29, 2010 16:50
class L
end
class Module
def has_logging()
class_eval {
log = L.new
define_method(:log) do
log
end