Explore >> Select a destination

You are here

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

Travel
| |
| | 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,...
| | 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.
| | laihoconsulting.com
Thoughts on Programming Languages | Pekka Laiho
21.9 parsecs away

Travel
| Website and personal blog of Pekka Laiho, software engineer and financial enthusiast.