Explore >> Select a destination

You are here

 lexi-lambda.github.io
Types as axioms, or: playing god with static types
| | blog.jle.im
Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) · in Code
2.5 parsecs away

Travel
| | Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.
| | ruudvanasseldonk.com
A type system for RCL: Introduction
3.1 parsecs away

Travel
| | I am adding a type system to RCL, my configuration language. In part 1, I explain what I want from the type system.
| | journal.infinitenegativeutility.com
Leaving Haskell behind - Infinite Negative Utility
3.3 parsecs away

Travel
| | For almost a complete decade-starting with discovering Haskell in about 2009 and right up until switching to a job where I used primarily...
| | gist.github.com
gist:aa1f6c273ea6ae215bbf43e481f7689e · GitHub
18.1 parsecs away

Travel
| GitHub Gist: instantly share code, notes, and snippets.