Top New Best Ask Show Jobs

sctb

8,310 karma · joined October 16, 2008

submissions comments

Carts without horses

aaronkharris.com·120 pts·sctb·

Lightweight Checked Exceptions in Haskell

well-typed.com·2 pts·sctb·

Supporting HTTP/2 in Warp

yesodweb.com·1 pts·sctb·

Type-Safe Runtime Code Generation: Accelerate to LLVM

cse.unsw.edu.au·2 pts·sctb·

The Species of Bracelets

byorgey.wordpress.com·1 pts·sctb·

Lambkin – A garbage-collected heap suitable for microcontrollers

gist.github.com·1 pts·sctb·

HiDb: A Haskell In-Memory Relational Database (2014) [pdf]

scs.stanford.edu·23 pts·sctb·

Perceive Think Act – A Production Journal for “On the Back of a Tiger”

perceivethinkact.com·2 pts·sctb·

The Next Stage of Staging: Type-level metaprogramming [pdf]

okmij.org·1 pts·sctb·

MLRISC – A framework for retargetable and optimizing compiler back ends

cs.nyu.edu·28 pts·sctb·

First and Third, almost Forth (1992)

ioccc.org·2 pts·sctb·

Rakudo Perl 6 and MoarVM Performance Advances [pdf]

jnthn.net·4 pts·sctb·

Concrete and Abstract Interpretation: Better Together [pdf]

homes.soic.indiana.edu·12 pts·sctb·

JavaScripts in the JavaScripts [pdf]

wingolog.org·31 pts·sctb·

Still working on reproducible builds

christophe.rhodes.io·28 pts·sctb·

Hopscotch: Towards User Interface Composition (2008) [pdf]

bracha.org·6 pts·sctb·

Commutative Monads, Diagrams and Knots (2009) [video]

vimeo.com·62 pts·sctb·

This French tech school has no teachers, no books, no tuition

venturebeat.com·4 pts·sctb·

The Disappearing Physicist and His Elusive Particle

nautil.us·50 pts·sctb·

SHA-256 Certificates Are Coming

imperialviolet.org·52 pts·sctb·

Phineas Gage, Neuroscience’s Most Famous Patient

slate.com·50 pts·sctb·

A gallery of interesting IPython Notebooks

github.com·106 pts·sctb·

Streaming Similarity Search over one Billion Tweets (2013) [pdf]

istc-bigdata.org·18 pts·sctb·

Golygons and golyhedra

cp4space.wordpress.com·93 pts·sctb·

2048 in Idris

github.com·84 pts·sctb·

A Busy Developer's Guide to Tcl/Tk 8.6

markroseman.com·1 pts·sctb·

Capabilities for External Uniqueness (prototype in Scala)

lamp.epfl.ch·2 pts·sctb·

David Moon's Programming Language for Old Timers

users.rcn.com·91 pts·sctb·

Reading binary data in Clojure [declaratively]

gnuvince.wordpress.com·2 pts·sctb·

Clojure is running in a live system in a big veterinarian hospital

groups.google.com·46 pts·sctb·

← PreviousPage 2 of 2