🦜 blog :: Brent -> [String]
@byorgey.github.io.blog@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline!
Brought to you by the RSS Parrot.
---
Brent Yorgey's academic blog
Your feed and you don't want it here? Just
e-mail the birb.
MonadRandom: major or minor version bump?
http://byorgey.github.io/blog/posts/2024/10/14/MonadRandom-version-bump.html
Published: October 14, 2024 00:00
MonadRandom: major or minor version bump?
Posted on October 14, 2024
Tagged Hackage, MonadRandom, random, version, PVP
tl;dr: a fix to the MonadRandom package may cause fromListMay
and related functions to extremely rarely output…
Retiring BlogLiterately
http://byorgey.github.io/blog/posts/2024/10/01/BlogLiterately-unmaintained.html
Published: October 1, 2024 00:00
Retiring BlogLiterately
Posted on October 1, 2024
Tagged blog, Hackage, Wordpress, open-source, BlogLiterately, HaXml, haxr
Way back in 2012 I took over maintainership of the BlogLiterately
tool from Robert
Greayer, its initial…
Decidable equality for indexed data types
http://byorgey.github.io/blog/posts/2024/09/09/OneLevelTypesIndexed.lagda.html
Published: September 9, 2024 00:00
Decidable equality for indexed data types
Posted on September 9, 2024
Tagged agda, equality, indexed
Recently, as part of a larger project, I wanted to define decidable
equality for an indexed data type in Agda. I struggled quite a…
Competitive Programming in Haskell: tree path decomposition, part II
http://byorgey.github.io/blog/posts/2024/08/08/TreeDecomposition.html
Published: August 8, 2024 00:00
Competitive Programming in Haskell: tree path decomposition, part II
Posted on August 8, 2024
Tagged challenge, Kattis, number theory, tree, path, decomposition
In a previous
post
I discussed the first half of my solution to…
Help me attend ICFP in Milan!
http://byorgey.github.io/blog/posts/2024/07/20/ko-fi-help-me-attend-icfp.html
Published: July 20, 2024 00:00
Help me attend ICFP in Milan!
Posted on July 20, 2024
Tagged community, contribution, ICFP, ko-fi, open-source, tips
tl;dr: if you appreciate my past or ongoing contributions to the
Haskell community, please consider helping me get to…
Rivers: eventually constant streams in Haskell
http://byorgey.github.io/blog/posts/2024/07/18/River.html
Published: July 18, 2024 00:00
Rivers: eventually constant streams in Haskell
Posted on July 18, 2024
Tagged Haskell, stream, river, eventually, constant, binary, 2-adic, p-adic
Lately I’ve been thinking about representing eventually constant
streams in Haskell. An…
Competitive Programming in Haskell: tree path decomposition, part I
http://byorgey.github.io/blog/posts/2024/07/11/cpih-factor-full-tree.html
Published: July 11, 2024 00:00
Competitive Programming in Haskell: tree path decomposition, part I
Posted on July 11, 2024
Tagged challenge, Kattis, number theory, tree, path, decomposition
In a previous
post
I challenged you to solve Factor-Full
Tree. In this…
Products with unordered n-tuples
http://byorgey.github.io/blog/posts/2024/06/25/unordered-n-tuple-product.html
Published: June 25, 2024 00:00
Products with unordered n-tuples
Posted on June 25, 2024
Tagged type-level programming, Haskell, product, unordered, tuples
Recently, Dani Rybe wrote this really cool blog
post
(in turn based on this old post by Samuel
GĂ©lineau)
about…
Competitive Programming in Haskell: sieving with mutable arrays
http://byorgey.github.io/blog/posts/2024/06/21/cpih-product-divisors.html
Published: June 21, 2024 00:00
Competitive Programming in Haskell: sieving with mutable arrays
Posted on June 21, 2024
Tagged challenge, Kattis, number theory, sieve, mutable array
In a previous
post
I challenged you to solve Product
Divisors. In this
problem, we…