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.4 parsecs away

Travel
| | Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.
| | degoes.net
A Glossary of Functional Programming - John A De Goes
2.8 parsecs away

Travel
| | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts
| | blog.aria.ai
Why Use Flow?
2.7 parsecs away

Travel
| | An introduction to and explanation of the benefits of static typing in JavaScript
| | bernsteinbear.com
Discovering basic blocks | Max Bernstein
26.6 parsecs away

Travel
| Lifting a graph structure out of Python bytecode