At #icfp2024 Zubin Duggal (https://well-typed.com/people/zubin/) showed me this picture from a new Operations Control Center for part of Delhi's Metro system. Apparently the system status display on the giant screens is rendered with the Haskell diagrams EDSL!
Lennart Augustsson presents MicroHs, which compiles a decent subset of current Haskell to combinator graphs. And its output runs anywhere you have a C compiler.
Now on my way to the #ICFP2024 conference in Milan, Italy.
Hello #fediverse ! I asking for your help. I'm looking for someone willing to share a spare #couch in #Milan for the nights of August 30 and 31.
The reason is that I'll be arriving early for this year's @farm and #ICFP, and my arranged accommodation until September 1st.
PS: I like cleaning and cooking 
, but might as well be out all day exploring the city 
I am pleased to let y'all know that I will be giving a presentation about #GRASP 's visual stepper during this year's #SchemeWorkshop in Milan, Italy
![Meme with XKCD #1217 "Cells" template:
— When you see a claim that a [linear type system] "kills [software bugs] in [toy examples]," keep in mind:
A man in a lab coat is standing on a chair, with a gun in hand, pointing down at a smartphone on a benchtop.
— So does a handgun.](https://media.mathstodon.xyz/media_attachments/files/113/086/572/778/418/338/original/d6c77a37607657ea.png "Meme with XKCD #1217 \"Cells\" template:
— When you see a claim that a [linear type system] \"kills [software bugs] in [toy examples],\" keep in mind:
A man in a lab coat is standing on a chair, with a gun in hand, pointing down at a smartphone on a benchtop.
— So does a handgun.")
