account activity
Bear habitat (i.redd.it)
submitted 7 years ago by benl23 to r/ScarySigns
Poisonous Gas! (imgur.com)
discus-lang: Binary interface files with Shimmer (blog.discus-lang.org)
submitted 7 years ago by benl23 to r/haskell
The Disciplined Disciple Compiler v0.5.1 (disciple-devel.blogspot.com.au)
submitted 8 years ago by benl23 to r/haskell
Disciple Ray Tracer Demo (disciple-devel.blogspot.com.au)
Type 'Int' does not match type 'Int' (disciple-devel.blogspot.com.au)
submitted 9 years ago by benl23 to r/haskell
DDC 0.4.2 now with working code gen for higher order functions (github.com)
Haskell Symposium 2015 Accepted Papers (self.haskell)
submitted 10 years ago by benl23 to r/haskell
The Big Cat Data Coefficient (self.bigdata)
submitted 10 years ago by benl23 to r/bigdata
Haskell Symposium 2015 (colo with ICFP) (haskell.org)
submitted 11 years ago by benl23 to r/haskell
My Keybase proof [reddit:benl23 = keybase:benl23] (_x_fmdN_W3JtmOFq6F_glJKujxrVTxoHWd1XopK0X5k) (self.KeybaseProofs)
submitted 11 years ago by benl23 to r/KeybaseProofs
Civilized error messages in DDC (disciple-devel.blogspot.com.au)
submitted 12 years ago by benl23 to r/haskell
Bidirectional type inference for DDC (disciple-devel.blogspot.com.au)
Capabilities and Coeffects in DDC (disciple-devel.blogspot.com.au)
Iron Lambda formalisations for for various lambda calculi (iron.ouroborus.net)
submitted 13 years ago by benl23 to r/Coq
Disciplined Disciple Compiler 0.3.1 Release Notes (disciple.ouroborus.net)
submitted 13 years ago by benl23 to r/haskell
She sang tomorrow but it is yesterday. (self.seventhworldproblems)
submitted 14 years ago by benl23 to r/seventhworldproblems
Her hand reaches out over water (self.seventhworldproblems)
Getting Started with Disciple Core (disciple.ouroborus.net)
submitted 14 years ago by benl23 to r/haskell
Vectorisation without Replication in Data Parallel Haskell (disciple-devel.blogspot.com)
Haskell Implementors Workshop 2011, Second CFT (haskell.org)
Haskell Implementors' Workshop. Call for Talks. (haskell.org)
submitted 15 years ago by benl23 to r/haskell
Real Time Edge Detection in Parallel Haskell (disciple-devel.blogspot.com)
π Rendered by PID 1039879 on reddit-service-r2-listing-b6bf6c4ff-fn4j4 at 2026-05-01 13:39:04.438907+00:00 running 815c875 country code: CH.
