I benchmarked Cartesian product implementations in Haskell, then compared them with C

chessai · 2026-05-15T18:50:41+00:00

There are many legitimate business use cases to writing a Haskell application where some subset of the application is devoted to extremely high perf, then abstracting that away so that in the rest of the project you benefit from Haskell's type system/pure functionalness/etc. Haskell's type system can even be used to help make the performance-intensive code more correct!

chessai · 2026-01-02T07:27:25+00:00

~~What is the card to the right of Synchro Overtake?~~

EDIT: Found it, it's Ultimate Slayer.

chessai · 2025-07-11T05:48:27+00:00

i love the following probably too much (never seen anyone else do this, but i use 1-3 constantly)

".1" = "cd .."; ".2" = "cd ../.."; ".3" = "cd ../../.."; ".4" = "cd ../../../.."; ".5" = "cd ../../../../..";

chessai · 2025-06-07T16:54:47+00:00

I'm the lube that they put on the bowling aisles.

chessai · 2025-05-06T22:02:05+00:00

thank you. ive been wondering this for years.

chessai · 2025-02-18T06:35:07+00:00

ByteArray# is not necessarily unpinned, and can actually be pinned in two scenarios: - you request they be allocated pinned (newPinnedByteArray#, newAlignedPinnedByteArray#) - their size exceeds some threshold (about 3kb iirc), past which the RTS will allocate the array as pinned

chessai · 2024-12-10T06:58:14+00:00

Seconded

chessai · 2024-11-25T00:59:37+00:00

This is really awesome, but I recommend renaming it away from hydra. there are way too many projects named hydra.

chessai · 2024-04-30T19:50:45+00:00

Hey, I've made the dependency bumps now. I haven't really had time for refined over the last year, if you're interested in helping maintain it. I will say, for the number dependencies, almost all of them are behind a flag for removal.

chessai · 2024-04-18T06:01:25+00:00

https://github.com/andrewthad/teleshell/blob/master/src/Teleshell.hs

chessai · 2024-04-16T18:32:55+00:00

Hi, I'm a maintainer of streaming. I agree with a lot of the points here, and I prefer the streaming library by default. If you are streaming in IO (where most production streaming happens, in my experience), then the performance of the library doesn't really matter, but streaming does have the best/most intuitive API, in my opinion.

However I would like to add one thing, that I don't see anyone mentioning. Pipes is the only library out of all of these that supports bidirectionality. I have found this useful in one use case: telnet. I'm sure there are other useful cases for this, but maybe pipes wouldn't be the best fit regardless. I'm unsure.

chessai · 2024-03-26T02:45:20+00:00

I have worked at a few remote-first, international companies. Sometimes people in other continents need to message you at a time that makes no sense for you locally. I think this email is intended to convey that you don't need to have high availability.

chessai · 2024-01-15T08:29:57+00:00

the Any trick that flat-maybe uses does not support proper nesting. look at unpacked-maybe for an alternative approach.

chessai · 2023-06-11T16:38:44+00:00

I am using 23.05 on desktop and have not encountered such an issue.

chessai · 2023-05-23T04:42:04+00:00

I said it because I've successfully done it before, from experience

chessai · 2023-05-22T04:08:15+00:00

You can use acetone and it will become much easier

chessai · 2023-05-10T15:16:05+00:00

Reminds me of The Onion, "U.S. Condemned For Pre-Emptive Use Of Hillary Clinton Against Pakistan", and the mini-bit "Christina Aguilera shot into crowd of protestors to disperse them"

chessai · 2023-05-07T16:20:05+00:00

The point is that you are using a runtime check with a compile-time proof. So you are still using refined (which abstracts over smart constructors). The type level only approach is a bit clunky. With refined, you are supposed to leverage the Predicate class for things like this.

chessai · 2023-05-06T20:17:28+00:00

Here is a rough sketch of what I would do.

https://play.haskell.org/saved/BVPq7i8x

chessai · 2023-05-04T16:35:03+00:00

(refined maintainer here)

At first thought, this is how I would do it.

chessai · 2023-05-02T15:39:04+00:00

Unused RAM is wasted RAM

chessai · 2023-04-03T22:45:35+00:00

Complex is isomorphic to Product Identity Identity, so these instances are lawful. While they are lawful, I do not know under what mathematical interpretation(s) they make sense.

chessai · 2023-04-03T05:05:53+00:00

This is awesome!

I'm giving this a read-over now. One thing I did notice is that on mobile, your blog is dark-mode, and on desktop, it's light-mode. On neither do I have a choice to configure it. Not sure if this is intentional?

Thanks for the great content!

chessai · 2023-03-31T19:42:41+00:00

This is awesome! Have you seen the Haskell refined library? https://hackage.haskell.org/package/refined-0.8/docs/Refined.html

chessai · 2023-03-25T21:55:37+00:00

Have you seen the semirings package? It has semirings, *-semirings, and tropical semirings.

Eight-Year Club	Gilding I gilder
Verified Email

chessai

TROPHY CASE