Explore >> Select a destination

You are here

 blog.jle.im
Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) ยท in Code
| | danilafe.com
Chapel's Runtime Types as an Interesting Alternative to Dependent Types
3.6 parsecs away

Travel
| | In this post, I discuss Chapel's runtime types as a limited alternative to dependent types.
| | raku-advent.blog
Day 1: Why Raku is the ideal language for Advent of Code - Raku Advent Calendar
6.3 parsecs away

Travel
| | Now that it's December, it's time for two of my favorite traditions from the tech world: the Raku Advent Calendar and Advent of Code. These two holiday traditions have a fair amount in common - they both run from December 1 through Christmas, and both involve releasing something new every day during the event. Specifically,...
| | lexi-lambda.github.io
Types as axioms, or: playing god with static types
2.5 parsecs away

Travel
| |
| | rachelcarmena.github.io
Functional programming sparks joy | Rachel M. Carmena
103.1 parsecs away

Travel
| Some characteristics of functional programming