Top New Best Ask Show Jobs

tel

11,037 karma · joined August 16, 2007

jspha.com

[ my public key: https://keybase.io/tel; my proof: https://keybase.io/tel/sigs/hy256UGUMMtc9NhfOsck4vuCiby6UYNLw7VXBj4fGR8 ]

submissions comments

What Declarative Languages Are (2013)

semantic-domain.blogspot.com·36 pts·tel·

What Declarative Languages Are (2013)

semantic-domain.blogspot.com·1 pts·tel·

Nose.js left-pad is Accidentally Quadratic

accidentallyquadratic.tumblr.com·3 pts·tel·

Failure to Report: A STAT investigation

statnews.com·1 pts·tel·

Functional Programming, Abstraction, and Naming Things

stephendiehl.com·92 pts·tel·

First Class Statements

blog.jle.im·48 pts·tel·

On Ruby

hawkins.io·4 pts·tel·

Type directed spell system development (7drl 2015 day 5)

joeyh.name·1 pts·tel·

A Twelf Introduction

jozefg.bitbucket.org·23 pts·tel·

Simpler, Easier (2007)

augustss.blogspot.com·10 pts·tel·

Edward Kmett: Learning to Learn [pdf]

yowconference.com.au·2 pts·tel·

Haskell Cast: Conal Elliott on FRP and Denotational Design

haskellcast.com·2 pts·tel·

DSLs and Towers of Abstraction with Gershom Bazerman

vimeo.com·1 pts·tel·

IO.js, a Node fork

iojs.org·55 pts·tel·

Bidirectional Type Checkers for λ→ and λΠ

jozefg.bitbucket.org·1 pts·tel·

Bufferbloat: Dark Buffers in the Internet (2011)

queue.acm.org·40 pts·tel·

On proper typing

antiblog.geekyfox.net·2 pts·tel·

Vanholes – Van Laarhoven Lenses in Clojure

blog.podsnap.com·20 pts·tel·

Seven Deadly Sins of Talking About Types (2014)

cl.cam.ac.uk·15 pts·tel·

Automasymbolic Differentiation

jtobin.ca·28 pts·tel·

Property-Based Testing: Testing Assumptions You Don’t Know You’re Making

spin.atomicobject.com·4 pts·tel·

Notes on XKCD's “Pixels”

chromakode.com·233 pts·tel·

Introduction to Dependent Types: Haskell on Steroids

jozefg.bitbucket.org·4 pts·tel·

BASIC as a Haskell DSL (2009)

augustss.blogspot.com·58 pts·tel·

JSON is not object notation

tel.github.io·2 pts·tel·

Typing Transducers (as Kleisli arrows)

tel.github.io·6 pts·tel·

Transducers are Monoid Homomorphisms

oleksandrmanzyuk.wordpress.com·5 pts·tel·

Haskell Platform 2014.2.0.0 Released

haskell.org·51 pts·tel·

Points About Type Safety

tel.github.io·36 pts·tel·

Some papers of Per Martin-Löf

michaelt.github.io·2 pts·tel·

Page 1 of 3Next →