Outer Web | Explore

Explore >> Select a destination

You are here		blog.jle.im Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) · in Code
\|	\|	degoes.net A Glossary of Functional Programming - John A De Goes	1.9 parsecs away Travel
\|	\|	Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts	1.9 parsecs away Travel
\|	\|	lexi-lambda.github.io Types as axioms, or: playing god with static types	2.5 parsecs away Travel
\|	\|	[AI summary] An article exploring a philosophical shift in programming from viewing types as restrictive constraints to designing data structures via axioms to ensure correctness by construction.	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,...	6.3 parsecs away Travel
\|	\|	www.sevangelatos.com John Carmack on Functional Programming in C++	21.0 parsecs away Travel
\|		So, this is an mirror of a post from John Carmack. Recently I learned that his articles on #AltDevBlog are no longer acessible. So, in order to archive them, I am re-posting them here. These articles are definitely good reads and worth to be preserved. Probably everyone reading this has	21.0 parsecs away Travel