cosmic_quanta

Coincidentally, the author has just been interviewed on the Haskell Interlude podcast:

https://haskell.foundation/podcast/87/

For what it's worth, I've been using Haskell in production at Bitnomial, a financial exchange, and LLMs + Haskell is an extremely productive combo.

Since Opus 4.6, LLMs have been pretty clever at using fancy types with libraries like Servant and Beam. The expressiveness of the types, combined with feedback from the compiler, means that agents converge quickly to something that works. I don't think I've noticed agents having to run the compiler so often that compilation speed is an issue.

Note that Scarf is not moving away from Haskell for performance-sensitive applications [0], which was the immediate question I had reading this.

[0]: https://discourse.haskell.org/t/after-7-years-in-production-...

This is a critical piece of information to convince me to switch to this.

I'm quite interested though!

Also, what's the context of "Built in Canada"? What's the point of mentioning this? Should I expect the results to be better for Canadian content?

Chair of the HF here -- things are going quite well, actually. We have great sponsors who come back year after year, the HF has been spending more to make infrastructure more reliable (e.g. for Hackage), and we've started a new event series focused on North America (https://haskell.foundation/events/2026-amerihac.html), which has been a great success!

Our metrics are also showing that Haskell usage is actually growing. So overall, can't complain!

We're always happy to hear about pain points!

For example, one thing that is a friction point at my own job is knowledge of tooling for performance tuning and optimization. It's not that Haskell doesn't have this tooling, it's just not well-known.

Is there anything in particular you would need?

Chair of the Haskell Foundation here -- funny to see this on the HN front page!

Not mentioned in the update is that the Haskell Foundation is moving towards a model that already exists within the OCaml Foundation. The HF and OF have the same challenge: a shallow pool of (relatively) large sponsors.

Of course big successful firms have more money to contribute, and we are thankful for them. This move, whereby the HF will deploy more of its financial resources on technical challenges directly, is meant to attract the other 99.9% of firms using Haskell in production. Many firms, including my own employer, have a more tit-for-tat view of sponsorship.

If you have thoughts, or would like to get involved, do not hesitate to reach out to me! E-mail in bio

I will die on this hill: tech firms that mandated 5 days in the office was about soft layoffs, rather than a principled stance on individual performance under WFH.

My "evidence" is that trading firms that kept raking in the money, and that benefit from maximum productivity of their employees, still generally have a hybrid work culture.

What is that singular phenomenon? What can result in blaming both capitalism and socialism, for example?

I don't know if it's related, but there's been a recent effort [0] within Github to move to Azure after the Microsoft acquisition

[0]: https://thenewstack.io/github-will-prioritize-migrating-to-a...

This is the first release of any Haskell debugger, as far as I know. It coincides with the release of v9.14 of the de-facto standard Haskell compiler, GHC

Wait, it's not obvious to me why this is quackery?

It's unsettling to read that my software job is entirely dependent on all of this, seemingly unsustainable, work.

Why did you use the term "fled"? Any interesting story?

From the outside, I would love to participate in semiconductor manufacturing.

Strange, the title was definitely the original title earlier today

Same here (Canada east coast)

Edit: I was just able to pull again

I think a decade ago or so, people started trying to integrate STM in Pypy

As others have pointed out, the monthly Who Is Hiring and Who Wants to be Hired threads are a good place to start.

Since you probably don't have industry experience, I strongly suggest you build a good Github profile. Build your own software in public, contribute to projects. That's an excellent hiring signal

This is great!

I'm particularly excited by the prospect of bringing together the ecosystem of data science tools, with Cloud Haskell[0]. There's no reason the Haskell community can't have something like Dask or Ray, but with Haskell's stellar type system.

[0]: https://github.com/haskell-distributed/distributed-process

That is a really tough spot to be in. I don't know of any content that's aimed at someone like you.

You might be interested in reading the Monday Morning Haskell blog[0] series, which presents examples of how to do certain tasks in Haskell. See [1] for an example.

[0]: https://mmhaskell.com/blog

[1]: https://mmhaskell.com/blog/2025/5/19/comparing-code-leetcode...

I'm switching from VSCode as well. I love Helix's (and Kakoune's) editing model centered around selections rather than motions. I can see what I'll operate on interactively.

I still use VSCode when navigating complex codebase changes, just because of the visual file tree. I hope to fully switch over soon.

I know Krazam is in NYC... Is this a tease?!

Nix isn't so exotic anymore. Every company for which I interviewed about a year ago used Nix

I'd love to hear more about why you think this is insane.

Co-incidentally, I started learning neovim (via lazyvim) this week. I just gave Helix a try, and I think the selection and motion logic is much more natural to me.

I might try to learn this instead of neovim for a while.

Delimited continuations have been implemented in the de-facto standard Haskell runtime system, the GHC runtime system [0]. The goal was to make effect systems more performant [1], but I believe that work has stalled due to the maintainer shifting priorities.

[0]: https://github.com/ghc-proposals/ghc-proposals/blob/master/p...

[1]: https://blog.poisson.chat/posts/2023-01-02-del-cont-examples...

Babel sounds awesome, I should give it a try.

I've been using Pandoc for my static site, which I also used for my PhD thesis. I wrote pandoc-plot[0] to render figures in documents like the author does, inspired by Matplotlib's plot-directive[1]. I feel like this feature is a must for technical writing, but getting the details right is tricky!

[0]: https://github.com/LaurentRDC/pandoc-plot

[1]: https://matplotlib.org/stable/api/sphinxext_plot_directive_a...

I remember starting playing Minecraft Beta, that was around 2011 maybe?

Even if tools to programmatically create maps were available, I wouldn't have known how to program. So this is more about my lack of knowledge of tools of the time.

It was not me! Maybe we watched the same video though? I can't recall who or what gave me the idea

One of my fondest memories was buying the book "The Elements of Computing Systems" by Nisan and Schocken, and implementing a 4-bit CPU in Minecraft.

4-bit is small enough that you can build it manually, without the use of external tools (which I don't think existed at the time anyways).

Highly recommended for children interesting in computing!