This article provides instructions for an AI agent to act as a Lean 4 mentor for an experienced software engineer with a math background. It emphasizes building a correct mental model of Lean as an in…
The GHCup 0.2.2.0 release, sponsored by IOG, introduces a major rewrite featuring a new "3rdparty" channel that provides access to non-core tools like Agda, ormolu, and hlint. The update also adds sup…
Agent-based ant foraging simulator in Haskell and delivered a well-received 40-minute talk about the project at their company. They are now seeking suggestions for venues, particularly those related t…
The core problem with both OOP hierarchies and functional programming's "make illegal states unrepresentable" approach is that they prematurely crystallize messy, evolving business domains into rigid …
Notes for a CS51 guest lecture comparing OCaml and Elm, highlighting Elm's common uses in web apps, data visualization, and 3D graphics with specific library examples. It also discusses Elm's advantag…