#Haskell

1 day ago

I'm sorry but writing mega-imperative Nintendo emulator code in #haskell is in fact both hilarious and weirdly enjoyable.

(I have no plans to stream this one, although I might make a video talking about it when I'm further along.)

23 2 2 0

GHC 9.12.4-rc1 is now available The GHC developers are very pleased to announce the availability of the release candidate for GHC 9.12.4. Binary distributions, source distributions, and documentation are available at downloads.has...

1 day ago

GHC 9.12.4-rc1 is available for testing! Please try it out on your projects and give feedback! It is available today on the GHCup pre-release channel. See the installation instructions: discourse.haskell.org/t/ghc-9-12-4...

#Haskell

8 3 1 0

peterb

@peterb.mathstodon.xyz.ap.brid.gy

2 days ago

New video: Drifting on the Seas of IO

Thumbnail painting: The Raft of the Medusa (1819) by Théodore Géricault.

This week we do a brief refresher on the IO Monad and "do" notation in #haskell

https://youtu.be/5McozSwG8uU

1 0 0 0

@mrberard.mastodon.acm.org.ap.brid.gy

2 days ago

Drifting on the Seas of IO (Haskell Mooc, Set 11a) YouTube video by Tea Leaves

New video: Drifting on the Seas of IO

Thumbnail painting: The Raft of the Medusa (1819) by Théodore Géricault.

This week we do a brief refresher on the IO Monad and "do" notation in #haskell

youtu.be/5McozSwG8uU

7 1 0 0

Will Berard 🫳🎤🫶

2 days ago

Solving `Passport Application` with Haskell Using logic programming to beat the game

This is amazing 😍

Solving `Passport Application` with Haskell
https://jameshaydon.github.io/passport/

#UK #Haskell #Citizenship

1 0 0 0

@flyingguibou.bsky.social

3 days ago

Fragment from a 6502 CPU emulator.

It turns out #Haskell is the world's best imperative language.

17 0 1 2

Flying Guibou

4 days ago

Blague à part, hormis en #haskell, où j'ai cette erreur affreuse du Skolem qui essaye de quitter son scope (ce qui semble absolument illégal), j'ai jamais trop compris ce que c’était si ce n'est qu'il n'est pas forcement possible d'inverser les "pour tout" et les "il existe".

1 0 0 0

Chewxy

@bsky.chewxy.com

4 days ago

A screenshot of the gchup TUI. My current version of ghc is 8.10.7 while the latest version is 9.14.1

My #haskell GHC is sooooo out of date, all my llvm-related stuff I wrote 2 years ago no longer works. Sigh.

1 1 0 0

Readings shared March 9, 2026 The readings shared in Bluesky on 9 March 2026 are: Fantastic simprocs and how to write them. ~ Yaël Dillies, Paul Lezeau. #LeanProver #ITP Formalization in Lean of faithfully flat descent of project

5 days ago

Readings shared March 09, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #CategoryTheory #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LambdaCalculus #LeanProver #Lisp #Math #Physics #RocqProver

2 0 0 0

5 days ago

The floor is magma. ~ Alexandre Esteves. github.com/alexfmpe/sem... #Haskell #FunctionalProgramming

3 1 0 0

Alex Nelson

@pqnelson.bsky.social

5 days ago

This is #Haskell and #Coq/#Rocq, not lean.

1 0 0 0

Category Theory for Programming In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we study initial algebras, ...

6 days ago

Category theory for programming. ~ Benedikt Ahrens, Kobe Wullaert. arxiv.org/abs/2209.012... #CategoryTheory #Haskell #LeanProver #FunctionalProgramming

4 0 1 0

Readings shared March 4, 2026 The readings shared in Bluesky on 4 March 2026 are: When AI writes the world’s software, who verifies it? ~ Leonardo de Moura. #AI #LeanProver #ITP Formalising sphere packing in Lean. ~ Chris Birkbec

1 week ago

Readings shared March 04, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #CoqProver #FunctionalProgramming #Haskell #ITP #LeanProver #Math #RocqProver

1 0 0 0

1 week ago

Monuses and heaps. ~ Donnacha Oisín Kidney. doisinkidney.com/posts/2026-0... #Haskell #FunctionalProgramming

2 1 0 0

Layoutz 0.3.2 🪶 Zero-dep Elm-style TUI’s for Haskell - now w/ terminal plots & more Hello! Layoutz has quite some improvements including built-in granite-esque plots. Thanks for your great feedback thus far … sure you will find some more rough edges.

1 week ago

Layoutz! Zero-dep Elm-style TUI’s for #Haskell - now w/ terminal plots & more

discourse.haskell.org/t/layoutz-0-...

29 5 0 0

Flying Guibou

@flyingguibou.bsky.social

1 week ago

Pro #haskell tip.

In the repl, when you start a command (such as `sydTest spec`) which is actually behind the scene a "main" function which parses command line argument, you can pass any command line argument for free after your main function, e.g. `sydTest spec --golden-rest filteringArgument1`

1 0 1 0

Branch weight support by iand675 · Pull Request #744 · ghc-proposals/ghc-proposals Rendered

1 week ago

Notorious mad lad @iankduncan.com has opened a GHC Proposal to add hints to guide branch prediction! github.com/ghc-proposal...

This may be key to better register allocation and code layout.

#Haskell

20 2 1 0

Flying Guibou

@flyingguibou.bsky.social

1 week ago

I'm unappy about #haskell idea that different type must have the same name because they are in a different module, such as Vector.

It gives super nice (sarcasm) "hover" type signature in LSP, such as `convert :: Vector -> Vector`.

`text` and `bytestring` tried to fix that with `StrictXXX` aliases.

2 0 1 0

State of Haskell 2025 results At the end of 2025, the Haskell Foundation re-started the Haskell Yearly Survey. I’d like to thank Taylor Fausak for being supportive of our effort in conducting these surveys. The last survey was con...

1 week ago

It's there folks! The results of the State of #Haskell 2025 survey have been published

discourse.haskell.org/t/state-of-h...

13 5 0 0

@majoranaoedipus.mathstodon.xyz.ap.brid.gy

2 weeks ago

A collage of several examples of 2D Graphics programming, including a version of the 2048 game, a chess board, pacman, snake, tetris and a tic-tac-toe

Brillo 2.0 - Production ready 2D graphics

#Haskell #Graphics

discourse.haskell.org/t/brillo-2-0...

19 0 0 0

terrorist :: Feline

2 weeks ago

Brillo 2.0 - Production ready 2D graphics I’m incredibly excited to announce Brillo 2.0! 🎉 This is a massive release and the result of our efforts to fix all the issues that make Haskell desktop apps feel like second-class citizens: Make anti-aliasing the default for all primitives Add support for true type fonts Add window refresh callback for live resizing support on macOS Add cursor shape support (pointer, crosshair, …) File system support: Add dialog to pick files or directories Support opening a save file dialog Add supp...

Brillo 2.0 - Production ready 2D graphics
discourse.haskell.org/t/brillo-2-0-production-...

> Brillo hides the pain of drawing simple vector graphics and raster images behind a nice data type and a few display functions.

#Haskell #Graphics

1 0 0 0

peterb

@peterb.mathstodon.xyz.ap.brid.gy

2 weeks ago

New video: "Great Programmers Are Lazy". An exploration of Haskell's principle of laziness, in the context of Set 10 of the #Haskell MOOC.

Thumbnail painting: Hubert Robert, "A Fishing Party" (1805).

https://youtu.be/alcv2Eu1wJk

0 0 0 0

2 weeks ago

Great Programmers Are Lazy YouTube video by Tea Leaves

New video: "Great Programmers Are Lazy". An exploration of Haskell's principle of laziness, in the context of Set 10 of the #Haskell MOOC.

Thumbnail painting: Hubert Robert, "A Fishing Party" (1805).

youtu.be/alcv2Eu1wJk

0 0 0 0

What The Functor? YouTube video by Tea Leaves

2 weeks ago

#Haskell livestream: What the Functor?

youtube.com/live/7RasneK...

0 0 0 0

Readings shared February 24, 2026 The readings shared in Bluesky on 24 February 2026 are: Formalizing Gröbner basis theory in Lean. ~ Junyu Guo, Hao Shen, Junqi Liu, Lihong Zhi. #LeanProver #ITP #Math Integral curves and flows on Ban

2 weeks ago

Readings shared February 24, 2026. jaalonso.github.io/vestigium/po... #AI4Math #ATP #Agda #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Reasoning #Vampire

1 0 0 0

Haskell meets Evariste Since its birth as a new scientific body of knowledge in the late 1950s, computer programming has become a fundamental skill needed in many other disciplines. However, programming is not easy, it is p...

2 weeks ago

Haskell meets Evariste. ~ Paulo R. Pereira, Jose N. Oliveira. arxiv.org/abs/2602.168... #Haskell #FunctionalProgramming

2 0 0 0

Exported for tests only: Precise control over API visibility with custom warnings This article describes a pattern made possible by recent advances in GHC 9.8, to allow library authors to control how internal data constructors can be labelled as unsafe for human consumption, while ...

2 weeks ago

Exported for tests only: Precise control over API visibility with custom warnings

#Haskell

tech.scrive.com/exported-for...

11 3 0 0

New Haskell Debugger Release: v0.12 I’m happy to announce a new release of the new modern step-through interactive debugger (haskell-debugger). You can find installation instructions in GHC Debugger. Here’s the changelog for haskell-de...

2 weeks ago

New #Haskell Debugger Release: v0.12

discourse.haskell.org/t/new-haskel...

11 0 0 0