Monthly Archives: October 2018

What’s the Difference? video and slides

Posted on October 20, 2018 by Brent

At ICFP in St. Louis I presented my paper with Kenny Foner, What’s the Difference? A Functional Pearl on Subtracting Bijections. Many people seemed to enjoy the talk and we got lots of great feedback afterwards. We will probably write up … Continue reading →

Posted in combinatorics, haskell, writing | Tagged , , , , , , | 2 Comments

Counting inversions with monoidal sparks

Posted on October 6, 2018 by Brent

Time for me to reveal the example I had in mind that led to the generalization in my previous post. Thanks for all the interesting comments: it seems like there are some interesting connections to be explored (e.g. to the … Continue reading →

Posted in math | Tagged , , , , , , , , | 8 Comments

Monoidal sparks

Posted on October 1, 2018 by Brent

While at ICFP in St. Louis this past week, I discovered an interesting construction on monoids that no one I talked to (including Kenny Foner and Edward Kmett) seemed to have heard of or thought about before. In this post I’ll … Continue reading →

Posted in math | Tagged , , , , | 27 Comments