see the changes

  • [all]
  • [byorgey.wordpress.com]
  • [RSS]
  • [Subscribe]

  • blog :: Brent -> [String] 2022-05-14 08:06 UTC
    Species definition clarification and exercises
  • blog :: Brent -> [String] 2022-05-12 08:54 UTC
    New Haskell diagrams library
  • blog :: Brent -> [String] 2022-05-10 04:34 UTC
    Gobby, Haskell, and patch theory
  • blog :: Brent -> [String] 2022-05-08 20:09 UTC
    Patch theory, part II: some basics
  • blog :: Brent -> [String] 2022-05-06 16:32 UTC
    Diagrams 0.6
  • blog :: Brent -> [String] 2022-05-06 04:12 UTC
    What’s the right way to QuickCheck floating-point routines?
  • blog :: Brent -> [String] 2022-04-20 20:17 UTC
    Typed type-level programming: status report
  • blog :: Brent -> [String] 2022-04-19 16:16 UTC
    Ertugrul Söylemez: 1985-2018
  • blog :: Brent -> [String] 2022-04-19 04:16 UTC
    Solving an arithmetic puzzle with Haskell
  • blog :: Brent -> [String] 2022-04-16 08:17 UTC
    Functional pearl on combinatorial species
  • blog :: Brent -> [String] 2022-04-08 04:18 UTC
    Species subtraction made simple
  • blog :: Brent -> [String] 2022-03-27 08:19 UTC
    Pan-Galactic Division in Haskell
  • blog :: Brent -> [String] 2022-03-25 04:18 UTC
    Squarefree numbers in Haskell
  • blog :: Brent -> [String] 2022-03-24 04:18 UTC
    My new programming languages course
  • blog :: Brent -> [String] 2022-03-14 20:19 UTC
    Can you tell I am on sabbatical? ↩︎
  • blog :: Brent -> [String] 2022-03-14 16:18 UTC
    The network reliability problem and star semirings
  • blog :: Brent -> [String] 2022-03-14 04:20 UTC
    Mgu's and universal properties
  • blog :: Brent -> [String] 2022-03-08 08:18 UTC
    A strange representation of Z6
  • blog :: Brent -> [String] 2022-03-04 04:21 UTC
    Introducing Math.Combinatorics.Species!
  • blog :: Brent -> [String] 2022-02-28 04:19 UTC
    And now, back to your regularly scheduled combinatorial species
  • blog :: Brent -> [String] 2022-02-23 08:19 UTC
    Math.Combinatorics.Multiset
  • blog :: Brent -> [String] 2022-02-23 04:19 UTC

    Fad diets are like burrito tutorials

    2009 ICFP programming contest reflections
  • blog :: Brent -> [String] 2022-02-20 20:19 UTC
    Creating documents with embedded diagrams
  • blog :: Brent -> [String] 2022-02-20 16:19 UTC
    Announcing diagrams preview release
  • blog :: Brent -> [String] 2022-02-19 16:18 UTC
    New haxr release
  • blog :: Brent -> [String] 2022-02-17 16:18 UTC
    Unique isomorphism and generalized "the"
  • blog :: Brent -> [String] 2022-02-03 04:18 UTC
    Avoiding the axiom of choice, part I
  • blog :: Brent -> [String] 2022-01-30 20:21 UTC
    An interesting monoid
  • blog :: Brent -> [String] 2022-01-27 04:20 UTC
    Code style and moral absolutes
  • blog :: Brent -> [String] 2022-01-24 04:23 UTC
    The generic-random library, part 1: simple generic Arbitrary instances
  • blog :: Brent -> [String] 2022-01-19 08:22 UTC
    Competitive programming in Haskell: cycle decomposition with mutable arrays
  • blog :: Brent -> [String] 2022-01-17 04:21 UTC
    Collecting attributes
  • blog :: Brent -> [String] 2022-01-08 20:17 UTC
    Deducing code from types: filterM
  • blog :: Brent -> [String] 2022-01-08 04:20 UTC
    How to solve this differential equation?
  • blog :: Brent -> [String] 2022-01-02 16:22 UTC
    Data.List.Split
  • blog :: Brent -> [String] 2022-01-01 00:22 UTC
    Counting inversions with monoidal sparks
  • blog :: Brent -> [String] 2021-12-26 04:18 UTC
    Deep work and email habits
  • blog :: Brent -> [String] 2021-12-25 16:18 UTC
    The Typeclassopedia is now up-to-date
  • blog :: Brent -> [String] 2021-12-21 04:20 UTC
    Competitive programming in Haskell: 2D cross product, part 1
  • blog :: Brent -> [String] 2021-11-27 04:23 UTC
    What would Dijkstra do? Proving the associativity of min
  • blog :: Brent -> [String] 2021-11-23 20:21 UTC
    The Species of Bracelets
  • blog :: Brent -> [String] 2021-11-18 20:20 UTC
    Posted in competitive programming , haskell | Tagged BFS , graph , haskell , Kattis , mutable , …
  • blog :: Brent -> [String] 2021-11-18 12:22 UTC
    Posted in competitive programming , haskell | Tagged BFS , graph , haskell , Kattis , mutable , …
  • blog :: Brent -> [String] 2021-11-18 04:23 UTC

    Competitive programming in Haskell: BFS, part 4 (implementation via STUArray)

    In a previous post , …
  • blog :: Brent -> [String] 2021-11-16 04:20 UTC
    Competitive programming in Haskell: Enumeration
  • blog :: Brent -> [String] 2021-11-16 00:19 UTC

    Competitive programming in Haskell: Enumeration

    I’m in the middle of a multi-part series on …
  • blog :: Brent -> [String] 2021-11-13 00:21 UTC
    Monoids for Maybe
  • blog :: Brent -> [String] 2021-11-05 02:32 UTC
    Posted in competitive programming , haskell | Tagged BFS , graph , HashMap , haskell , Kattis , …
  • blog :: Brent -> [String] 2021-10-30 04:22 UTC

    Competitive programming in Haskell: BFS, part 3 (implementation via HashMap)

    In a previous post , I …
  • blog :: Brent -> [String] 2021-10-21 04:21 UTC
    Posted in competitive programming , haskell | Tagged BFS , graph , haskell , Kattis , search | 1 …
  • blog :: Brent -> [String] 2021-10-19 00:22 UTC
    Competitive programming in Haskell: BFS, part 2 (alternative APIs)
  • blog :: Brent -> [String] 2021-10-18 20:21 UTC

    Competitive programming in Haskell: BFS, part 2 (alternative APIs)

    In my last post , I showed how …
  • blog :: Brent -> [String] 2021-10-14 20:21 UTC
    Posted in competitive programming , haskell | Tagged haskell , Kattis , maximum , subsequence , sum …
  • blog :: Brent -> [String] 2021-10-14 16:21 UTC

    Competitive programming in Haskell: BFS, part 1

    In a previous post , I challenged you to solve …
  • blog :: Brent -> [String] 2021-10-05 00:22 UTC

    Swarm: a lot can happen in a week

    It’s been about a week since I put out an announcement and call …
  • blog :: Brent -> [String] 2021-09-28 08:18 UTC
    Posted on September 23, 2021 by Brent
    The first insight is that we can transform this into the …
  • blog :: Brent -> [String] 2021-09-25 20:17 UTC
    Posted in competitive programming , haskell | Tagged Codeforces , solutions | 2 Comments
  • blog :: Brent -> [String] 2021-09-25 12:17 UTC
    Posted in competitive programming , haskell | Tagged Codeforces , solutions | 1 Comment
  • blog :: Brent -> [String] 2021-09-24 16:20 UTC
    Posted in haskell , projects | Tagged game , programming , resource , robot , Swarm | 2 Comments …
  • blog :: Brent -> [String] 2021-09-24 08:20 UTC
    Swarm: preview and call for collaboration
  • blog :: Brent -> [String] 2021-09-24 04:20 UTC

    Swarm: preview and call for collaboration

    For about a month now I have been working on building a …
  • blog :: Brent -> [String] 2021-09-22 16:24 UTC
    Yesterday morning I competed in Educational Round 114 on codeforces.com , using only Haskell. It is …
  • blog :: Brent -> [String] 2021-09-22 04:23 UTC

    Competitive programming in Haskell: Codeforces Educational Round 114

    Yesterday morning I competed …
  • blog :: Brent -> [String] 2021-09-18 08:20 UTC
    Posted in haskell | Tagged cache , lens , record , view | 2 Comments
  • blog :: Brent -> [String] 2021-09-18 00:19 UTC
    Posted in haskell | Tagged cache , lens , record , view | 1 Comment
  • blog :: Brent -> [String] 2021-09-17 20:20 UTC
    Posted in haskell , teaching | Tagged Hindley-Milner , inference , types , unification | 1 Comment …
  • blog :: Brent -> [String] 2021-09-17 16:20 UTC

    Automatically updated, cached views with lens

    Recently I discovered a nice way to deal with records …
  • blog :: Brent -> [String] 2021-09-16 08:20 UTC
    Mapping over a nested functor?
  • blog :: Brent -> [String] 2021-09-13 20:22 UTC
    Follow
  • blog :: Brent -> [String] 2021-09-13 16:21 UTC
    Posted in math | Tagged absolute value , average , derivative , median , optimization | 1 Comment
  • blog :: Brent -> [String] 2021-09-09 16:17 UTC
    Competitive programming in Haskell: Kadane’s algorithm
  • blog :: Brent -> [String] 2021-09-09 12:18 UTC

    Competitive programming in Haskell: Kadane’s algorithm

    I will be giving a talk on competitive …
  • blog :: Brent -> [String] 2021-09-08 20:20 UTC

    Implementing Hindley-Milner with the unification-fd library

    For a current project, I needed to …
  • blog :: Brent -> [String] 2021-09-07 04:19 UTC
    Lightweight invertible enumerations in Haskell
  • blog :: Brent -> [String] 2021-08-15 20:17 UTC
    Posted in competitive programming , haskell | Tagged haskell , Kattis | 4 Comments
  • blog :: Brent -> [String] 2021-08-12 16:19 UTC
    Posted in competitive programming , haskell | Tagged haskell , Kattis | 1 Comment
  • blog :: Brent -> [String] 2021-08-12 00:24 UTC

    Competitive programming in Haskell: monoidal accumulation

    In my last competitive programming post , …
  • blog :: Brent -> [String] 2021-07-31 04:23 UTC
    Teaching abstraction
  • blog :: Brent -> [String] 2021-07-22 04:20 UTC
    Collecting unstructured information with the monoid of partial knowledge
  • blog :: Brent -> [String] 2021-07-20 04:35 UTC
    Maniac week
  • blog :: Brent -> [String] 2021-07-14 04:21 UTC
    Competitive programming in Haskell: summer series
  • blog :: Brent -> [String] 2021-07-12 00:21 UTC
    Data structure challenge: finding the rightmost empty slot
  • blog :: Brent -> [String] 2021-06-29 20:21 UTC
    Posted in projects , teaching | Tagged math , pedagogy , programming , sets , types , language , …
  • blog :: Brent -> [String] 2021-06-25 04:22 UTC
    Posted in projects , teaching | Tagged foundations , language , math , pedagogy , programming , sets …
  • blog :: Brent -> [String] 2021-06-24 16:20 UTC
    Types versus sets in math and programming languages
  • blog :: Brent -> [String] 2021-06-24 12:24 UTC

    Types versus sets in math and programming languages

    For several years I have been designing and …
  • blog :: Brent -> [String] 2021-06-22 16:20 UTC
    Posted in competitive programming , haskell | Tagged 2D , fold , geometry , haskell , Kattis , line …
  • blog :: Brent -> [String] 2021-06-20 00:21 UTC
    Posted in competitive programming , haskell | Tagged 2D , fold , geometry , haskell , Kattis , line …
  • blog :: Brent -> [String] 2021-06-19 20:19 UTC

    Competitive programming in Haskell: folding folds

    Average and median via optimization
  • blog :: Brent -> [String] 2021-06-19 16:19 UTC

    Competitive programming in Haskell: folding folds

    Now that the semester is over—and I will be on …
  • blog :: Brent -> [String] 2021-06-16 20:20 UTC
    Competitive Programming in Haskell: reading large inputs with ByteString
  • blog :: Brent -> [String] 2021-06-16 04:19 UTC
    Lightweight, efficiently sampleable enumerations in Haskell
  • blog :: Brent -> [String] 2021-06-15 04:18 UTC

    A (work in progress) translation of Joyal’s original paper on species

    cabal init
  • blog :: Brent -> [String] 2021-06-13 18:20 UTC
    Generating plane tilings with diagrams
  • blog :: Brent -> [String] 2021-06-09 08:19 UTC
    Beeminding for fun and profit
  • blog :: Brent -> [String] 2021-06-09 04:20 UTC

    Average and median via optimization

    This is certainly not a new observation, and I’m sure it is …
  • blog :: Brent -> [String] 2021-06-07 02:21 UTC
    Anafunctors
  • blog :: Brent -> [String] 2021-06-07 00:21 UTC
    The Poisson distribution and Stirling numbers
  • blog :: Brent -> [String] 2021-06-06 04:21 UTC
    Algorithms lecture notes and assignments
  • blog :: Brent -> [String] 2021-06-04 04:19 UTC
    Competitive programming in Haskell: permutations
  • blog :: Brent -> [String] 2021-06-03 04:18 UTC
    Anyone willing to help me get set up with something like miso?
  • blog :: Brent -> [String] 2021-06-01 04:17 UTC
    On a Problem of sigfpe
  • blog :: Brent -> [String] 2021-05-31 04:17 UTC
    Singing card guts
  • blog :: Brent -> [String] 2021-05-30 00:16 UTC
    In praise of Beeminder
  • blog :: Brent -> [String] 2021-05-29 04:16 UTC
    Polynomial Functors Constrained by Regular Expressions
  • blog :: Brent -> [String] 2021-05-28 18:17 UTC
    Tic-tac-toe maps with diagrams
  • blog :: Brent -> [String] 2021-05-28 14:18 UTC
    Monads: Easy or Hard?
  • blog :: Brent -> [String] 2021-05-28 04:17 UTC
    Unsubscribing from Wolfram emails (rant)
  • blog :: Brent -> [String] 2021-05-27 14:18 UTC
    Write a Comment…
  • blog :: Brent -> [String] 2021-05-25 10:16 UTC
    Random binary trees with a size-limited critical Boltzmann sampler
  • blog :: Brent -> [String] 2021-05-25 06:18 UTC

    Follow Following
    Already have a WordPress.com account? Log in now.
    Customize

    Sign up
    Report this …
  • blog :: Brent -> [String] 2021-05-24 06:20 UTC
    Sum of heights in a binary tree
  • blog :: Brent -> [String] 2021-05-24 04:16 UTC
    Competitive programming in Haskell: building unordered trees
  • blog :: Brent -> [String] 2021-05-18 16:17 UTC
    Math.Combinatorics.Multiset and Sawada's algorithm
  • blog :: Brent -> [String] 2021-05-18 06:18 UTC
    Binders Unbound
  • blog :: Brent -> [String] 2021-05-16 14:15 UTC
    Species and Functors and Types, Oh My!
  • blog :: Brent -> [String] 2021-05-16 12:15 UTC
    Combinatorial species definition
  • blog :: Brent -> [String] 2021-05-15 04:17 UTC
    foldr is made of monoids
  • blog :: Brent -> [String] 2021-05-14 16:17 UTC
    Worstsort
  • blog :: Brent -> [String] 2021-05-13 04:18 UTC
    Competitive programming in Haskell: sorting tree shapes
  • blog :: Brent -> [String] 2021-05-12 18:18 UTC
    Typed type-level programming in Haskell, part I: functional dependencies
  • blog :: Brent -> [String] 2021-05-11 18:19 UTC
    How to print things
  • blog :: Brent -> [String] 2021-05-11 04:19 UTC

    Adventures in enumerating balanced brackets

    Finding roots of polynomials in Haskell?
  • blog :: Brent -> [String] 2021-05-08 14:18 UTC
    Computing Eulerian paths is harder than you think
  • blog :: Brent -> [String] 2021-05-08 04:16 UTC
    Competitive programming in Haskell: vectors and 2D geometry
  • blog :: Brent -> [String] 2021-05-06 02:17 UTC
    Parsing context-sensitive languages with Applicative
  • blog :: Brent -> [String] 2021-05-04 18:19 UTC
    Competitive Programming in Haskell: primes and factoring
  • blog :: Brent -> [String] 2021-05-04 14:20 UTC
    Competitive Programming in Haskell: modular arithmetic, part 1
  • blog :: Brent -> [String] 2021-05-04 04:17 UTC
    Competitive Programming in Haskell: Scanner
  • blog :: Brent -> [String] 2021-05-03 20:17 UTC
    For Tuesday, I invite you to solve The Power of Substitution . Don’t let the high difficulty rating …
  • blog :: Brent -> [String] 2021-05-03 08:16 UTC
    Blog at WordPress.com. Do Not Sell My Personal Information
  • blog :: Brent -> [String] 2021-05-02 02:15 UTC
    Create a free website or blog at WordPress.com.
  • blog :: Brent -> [String] 2021-05-01 22:16 UTC
    Competitive Programming in Haskell: Basic Setup
  • blog :: Brent -> [String] 2021-05-01 16:16 UTC
    Conversations with a six-year-old on functional programming
  • blog :: Brent -> [String] 2021-05-01 04:18 UTC

    Competitive programming in Haskell: folding challenge

    Competitive programming in Haskell: data …
  • blog :: Brent -> [String] 2021-05-01 00:18 UTC
    Blog at WordPress.com.
  • blog :: Brent -> [String] 2021-04-30 22:17 UTC
    Create a free website or blog at WordPress.com. Do Not Sell My Personal Information
  • blog :: Brent -> [String] 2021-04-30 20:17 UTC
    [Nothing new, only with content removed]
  • https://byorgey.wordpress.com 2021-04-30 18:16 UTC
    [Marking site as being monitored from now on]