Explore >> Select a destination

You are here

 lexi-lambda.github.io
Types as axioms, or: playing god with static types
| | blog.aria.ai
Why Use Flow?
2.8 parsecs away

Travel
| | An introduction to and explanation of the benefits of static typing in JavaScript
| | 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.
| | degoes.net
A Glossary of Functional Programming - John A De Goes
2.9 parsecs away

Travel
| | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts
| | averagelinuxuser.com
30 Things to do After Installing Ubuntu 20.04/21.04 | Average Linux User
26.4 parsecs away

Travel
| These are my top 30 things to do after installing Ubuntu 20.04/21.04.