Posts tagged "math"
-
Types versus sets in math and programming languages - June 24, 2021
-
Average and median via optimization - June 8, 2021
-
What would Dijkstra do? Proving the associativity of min - February 23, 2020
-
What’s the right way to QuickCheck floating-point routines? - February 24, 2019
-
Worstsort - February 16, 2019
-
Finding roots of polynomials in Haskell? - February 13, 2019
-
Counting inversions with monoidal sparks - October 6, 2018
-
Monoidal sparks - October 1, 2018
-
Parametricity for Bifunctor - March 31, 2018
-
Sum of heights in a binary tree - November 3, 2017
-
Signed sets and ballots and naturality - February 27, 2017
-
Signed sets and ballots, part 2 - February 24, 2017
-
Signed sets and ballots, part 1 - February 21, 2017
-
Any clues about this Newton iteration formula with Jacobian matrix? - June 20, 2016
-
The network reliability problem and star semirings - April 6, 2016
-
Boltzmann sampling for generic Arbitrary instances - March 23, 2016
-
The network reliability problem - February 19, 2016
-
A strange representation of Z6 - November 15, 2015
-
Catsters guide is complete! - August 11, 2015
-
The Species of Bracelets - July 10, 2015
-
Crystal Ball Connection Patterns via Species and Generating Functions - June 2, 2015
-
Pan-Galactic Division in Haskell - May 12, 2015
-
Polynomial Functors Constrained by Regular Expressions - April 15, 2015
-
Readers wanted! - August 10, 2014
-
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
-
Catsters guide - January 14, 2014
-
Random binary trees with a size-limited critical Boltzmann sampler - April 25, 2013
-
The algebra of species: primitives - January 7, 2013
-
Species definition clarification and exercises - December 6, 2012
-
Combinatorial species definition - November 20, 2012
-
foldr is made of monoids - November 6, 2012
-
Decomposing data structures - October 28, 2012
-
And now, back to your regularly scheduled combinatorial species - October 18, 2012
-
Generating plane tilings with diagrams - November 12, 2011
-
Themes on Streams, Part II - May 20, 2011
-
Themes on Streams - May 10, 2011
-
Math.OEIS needs a new maintainer - December 4, 2010
-
Things I have learned about vector spaces - November 20, 2010
-
Species and Functors and Types, Oh My! - August 1, 2010
-
Math.Combinatorics.Multiset and Sawada's algorithm - March 12, 2010
-
How to solve this differential equation? - December 16, 2009
-
Mgu's and universal properties - December 11, 2009
-
Species operations: differentiation - August 6, 2009
-
Primitive species and species operations, part II - August 1, 2009
-
Primitive species and species operations - July 30, 2009
-
Introducing Math.Combinatorics.Species! - July 24, 2009
-
Abstraction, intuition, and the "monad tutorial fallacy" - January 13, 2009
-
The Poisson distribution and Stirling numbers - September 16, 2008
-
Collecting unstructured information with the monoid of partial knowledge - April 17, 2008
-
An interesting monoid - April 17, 2008
-
Monad.Reader article (Multiset partitions) - September 28, 2007
-
Squarefree numbers in Haskell - September 2, 2007
-
Rationals! - August 13, 2007
-
Solving an arithmetic puzzle with Haskell - June 21, 2007