Category Archives: haskell

The Species of Bracelets

Summary: The species package now has support for bracelets, i.e. equivalence classes of lists up to rotation and reversal. I show some examples of their use and then explain the (very interesting!) mathematics behind their implementation. I recently released a … Continue reading

Posted in combinatorics, haskell, math, species | Tagged , , | 5 Comments

Ally Skills Tutorial at ICFP

I just signed up for the Ally Skills Tutorial at ICFP, and if you are (1) a man who (2) will be at ICFP in Vancouver, I encourage you to sign up, too! From the website: The Ally Skills Tutorial … Continue reading

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

Crystal Ball Connection Patterns via Species and Generating Functions

A couple weeks ago, Denise posted Puzzle: Crystal Ball Connection Patterns on her blog, Let’s Play Math. I had fun playing with it and thought I would demonstrate how to apply some high-powered combinatorial techniques to it (probably not what … Continue reading

Posted in combinatorics, haskell, math, species | Tagged , , , , , | 1 Comment

BlogLiterately 0.8.1, now with HTTPS!

I’ve just released version 0.8.1 of BlogLiterately, a tool for formatting and posting stuff (especially Haskelly stuff) to blogs. This is in conjunction with the release of haxr-3000.11. After much blood, sweat, and tears, I was able to rip the … Continue reading

Posted in haskell | Tagged , , , , | 1 Comment

Pan-Galactic Division in Haskell

Summary: given an injective function , it is possible to constructively “divide by ” to obtain an injection , as shown recently by Peter Doyle and Cecil Qiu and expounded by Richard Schwartz. Their algorithm is nontrivial to come up … Continue reading

Posted in haskell, math, species | Tagged , , , , , , , , , | 6 Comments

Diagrams 1.0

The diagrams team is very pleased to announce the 1.0 release of diagrams, a framework and embedded domain-specific language for declarative drawing in Haskell. Check out the gallery for some examples of what it can do. Diagrams can be used … Continue reading

Posted in diagrams, haskell, projects | Tagged , , | 2 Comments

Catsters guide

tl;dr: https://byorgey.wordpress.com/catsters-guide-2/ In an attempt to solidify and extend my knowledge of category theory, I have been working my way through the excellent series of category theory lectures posted on Youtube by Eugenia Cheng and Simon Willerton, aka the Catsters. … Continue reading

Posted in haskell, math, teaching | Tagged | 1 Comment