Posts tagged "theory"

• Competitive Programming in Haskell: modular arithmetic, part 2 - March 3, 2020
• Competitive Programming in Haskell: modular arithmetic, part 1 - February 15, 2020
• Competitive Programming in Haskell: primes and factoring - February 7, 2020
• Apply to attend the Oregon Programming Languages Summer School! - May 9, 2018
• Anafunctors - June 16, 2014
• AC and equivalence of categories - June 5, 2014
• Unique isomorphism and generalized "the" - May 13, 2014
• Avoiding the axiom of choice, part I - May 8, 2014