The video for my talk "Anatomy of a Scala Game Server" at #LambdaDays 2025 is up! youtube.com/watch?v=2UPbFU…

Check out the latest #Haskell toolchain development report from Well-Typed: well-typed.com/blog/2025/06/g…

Are you interested in a new Haskell IDE for macOS? I’m looking for beta testers! Send me a DM with your email for a TestFlight invitation.

I'm really impressed with the quality of the Haskell streams from Andres Löh and Well-Typed. What a great resource. youtube.com/watch?v=9hrDm7…

Inspired by a recent post by effectfully, here is a review of functional programming concepts and their usefulness in everyday enterprise software development:

Better infrastructure, fewer surprises. We’re raising $6K for a dedicated ARM server to support #Haskell’s infrastructure (CI, backups, etc). Let’s build infra you can rely on! Every contribution helps! Donate: donorbox.org/infrastructure… Read more: discourse.haskell.org/t/infrastructu…

Today, Wednesday, 2025-07-09, at 1830 UTC, there's going to be a new episode of the #Haskell #Unfolder. Edsko and Andres Löh will show how to develop a small but useful Haskell CLI application completely from scratch. youtube.com/watch?v=5W0ZUY…

youtube.com/watch?v=RsTuy1…

My LambdaConf 2025 talk was posted. It's mostly showing tools that we have around visualizing programs and their behavior. youtube.com/watch?v=IdpD5Q…

Par, an expressive, concurrent, total* language with linear types and full duality. Based on Linear Logic and Session Types, Par has both functional and imperative features integrating seamlessly

code should be easily deleted and rewritten not my code, of course, but yours

This is madness. What are we doing!

🎉 Lean 4.22.0 is here! This marks the culmination of our Year 2 roadmap. Two major highlights: 🧠 grind tactic: New SMT-style automated reasoning with theory-specific solvers and Gröbner basis support 🏗️ New compiler: Closes long-standing issues and sets the foundation for

stupid haskell idea: OOP

Woke up today to a guy at Oracle talking about deriving a witness to monoid of Box of T Java is the new Haskell Functional programmers, our victory is complete

A data structure is laid out in space (i.e. memory). The most general data structure is a graph. Nodes point to other nodes (i.e. to their address—their spatial coordinate). There can be cycles. A data structure can evolve over time (i.e. computation mutates it). New nodes can

Haskell'25 is calling for talks! Submission is simple -- you just need a talk title and an abstract of no more than 300 words. conf.researchr.org/home/icfp-spla… Deadline Sept 15th!

deft x86 assembler in Haskell. Wow! gitlab.com/BlackCapCoder/…

Struggling with the 3-minute limit on Qwen3-ASR-Flash? No more! Introducing the Qwen3-ASR-Toolkit 🚀 A free, open-source CLI to transcribe HOURS-long audio/video files at high speed. Unleash the full power of the Qwen3-ASR-Flash API! 💥 🧠 Smart VAD splitting (no awkward

李继刚 很多人不能合一，合一是非常难的。 比如，我以前认为我读了1000本书，认知很高，但是我发现我依然赚不到钱。 因为我的认识全是在我的想象中，根本就没有去行动。 直到我去行动之后，才知道现实是多么的残酷和内卷，自己以前是多么的无知。