Programming

Type Theory and Programming Language

Curry–Howard correspondence

• Curry–Howard correspondence, wiki
• computational trinitarianism, nlab

Monad

• All About Monads
• What is IO monad?

Monoid

• Monoid, wiki
• Algebird, twitter
• Monoids, nlab

Type Theory

• Dependent Type
• Type Driven Development and Idris

Books and Articles

• Homotopy Type Theory
• Category Theory for Engineers, NASA

Program Synthesis

• Neural Program Synthesis, Advanced Machine Learning Day 3
• DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning, arxiv

Algorithms

• Project Euler
• MAXimal
  • E-Maxx Algorithms in English
• atcoder/ac-library

Resources

• nLab

  This is a wiki for collaborative work on Mathematics, Physics and Philosophy — especially, but far from exclusively, from the n-point of view: with a sympathy towards the tools and perspective of category theory and higher category theory.