What Functional Programmers Get Wrong About Systems - Ian Duncan Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.

I just spent 1 1/2 hours reading this absolutely amazing blog post by @iankduncan.com: www.iankduncan.com/engineering/...

And if you're likely to get nerdsniped by me mentioning #distributedsystems, #functionalprogramming, you definitely should read it too.

Readings shared March 24, 2026 The readings shared in Bluesky on 24 March 2026 are: Synthetic differential geometry in Lean. ~ Riccardo Brasca, Gabriella Clemente. #LeanProver #ITP #Math The spectral comb and the Riemann hypothesi

Readings shared March 24, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Autoformalization #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math

GitHub - milesberry/liberator: A drag-and-drop visual programming environment for Haskell, designed for teaching AQA A-Level Computer Science. Build programs by connecting nodes on a canvas instead of... A drag-and-drop visual programming environment for Haskell, designed for teaching AQA A-Level Computer Science. Build programs by connecting nodes on a canvas instead of writing text — then evaluat...

Liberator: A drag-and-drop visual programming environment for Haskell. ~ Miles Berry. github.com/milesberry/l... #Haskell #FunctionalProgramming

Code Proven to Work - The Math Way This post is aimed at a general programmer and no prior knowledge of math or CS is assumed. I got nerd-sniped to write this after reading Simon’s excellent post Code proven to work. As someone who wor...

Rado's radical reflections. ~ Rado Kirov. rkirov.github.io/posts/code-p... #LeanProver #ITP #FunctionalProgramming

9 Ways to Manage Dependencies in One Architecture The Safe Clean Architecture is a full-stack F# project that combines Clean Architecture, DDD, and the SAFE stack. While documenting it, I realized it uses 9 distinct dependency management techniques—n...

Guess how many ways to manage dependencies are used in the Safe Clean Architecture?

#CleanArchitecture #FSharp #DotNet #DependencyInjection #FunctionalProgramming #SoftwareArchitecture

www.linkedin.com/pulse/9-ways...

ArrayCast goes live in 10 minutes!

Episode 122: REPL & IDE Deep Dive
Adám Brudzewsky and Conor Hoekstra explore REPLs and IDEs across the array language ecosystem

Join live: www.youtube.com/watch?v=kDpF...

#ArrayCast #APL #ArrayProgramming #FunctionalProgramming

Enterprise software is not ready for #agenticworkflow. Mutable #OOP is problematic. Critical systems are too big and have too many dependencies to be pulled locally. Therefore a #functionalprogramming based on immutable values is needed and a local lang runtime independent of the data. #SAP #ABAP

After a long, intense day of learning, don't forget to join the beloved Scalar afterparty!

📅 Date: 26.03
⏰ Time: 8 pm
📍Location: Klub Arco

Eat, drink, bowl the night away, or simply relax and enjoy more of Scala discussions!

#scalarconf #scala #functionalprogramming

Attention, Scalarians!

Are you ready for the 2026 edition of the @scalar-conf.com?

The favourite gathering of Scala professionals & enthusiasts is coming to Warsaw on 26-27 March!

🎟️ Get your tickets here: www.scalar-conf.com/tickets

#scalarconference #scala #functionalprogramming

Original post on mastodon.social

This sounds like a really interesting PhD course at Chalmers: “Functional Programming and Climate Impact Research”, by Patrik Jansson:

https://github.com/DSLsofMath/FPClimate

After completion of the course the student should be able to:
Use functional programming specification / implementation […]

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

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

Welcome Magda Stożek as the #Scalarconf 2026 speaker!

🎙️ Flexible Modeling: Keeping Your Domain Pure with Scala 3

The full Scalar agenda is ready and waiting for you on our website!

🎟️ Grab your ticket here: scalar-conf.com/tickets

#scala #functionalprogramming

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

Lambda calculus for dummies: The Church encoding. youtu.be/CL1LAKMsyKg #LambdaCalculus #FunctionalProgramming

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, ...

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

Composing Software All software design is composition: the act of breaking complex problems down into smaller problems and composing those solutions. Learn to do it well.

Composing Software: An Exploration of Functional Programming and Object Composition in JavaScript by Eric Elliott is the featured course on Leanpub!

Link: leanpub.com/courses/lean...

#ComputerProgramming #FunctionalProgramming #Javascript #Software #SoftwareEngineering #SoftwareArchitecture

OOP Is A Construct Of Oppression Installed By The Bourgeoisie

OOP Is A Construct Of Oppression Installed By The Bourgeoisie

#oop #Objectorientedprogramming #Functionalprogramming #Cleancode #Refactoring

programmerhumor.io/programming-memes/oop-is...

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

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

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

The ambiguity of arrows To transform or to interact?

New tale: talesfrom.dev/blog/the-amb... in which we see developers and architects interpreting diagrams.

#objectorienteddesign #functionalprogramming #empathydrivendesign #domaindrivendesign #softwarearchitecture #softwaredesign #collaborativesoftwaredesign

Racket v9.1 _posted by Stephen De Gabrielle and John Clements_ We are pleased to announce Racket v9.1 is now available from https://download.racket-lang.org/. As of this release:: Documentation organization and navigation...

🦾 Racket v9.1

#racketlang #functionalprogramming

Dualities in Dependency Injection • Buttondown Hello! Last email I announced early access sales for the book. I'm both surprised and delighted that so many of you went and purchased a copy. Thank you! It...

📖 A new book by Noel Welsh is in the making. Read a preview about the approaches to dependency injection in FP and OOP to fully understand the connection between them. 👇 buttondown.com/functionalpr... #scala #functionalprogramming

Just joined Bluesky! Senior F# engineer based in Barcelona — 10+ years building production systems with DDD, event sourcing, and Ports & Adapters. Excited to connect with the functional programming community here.
#fsharp #dotnet #functionalprogramming

How Function Composition Can Make Your Code Better

Turn branching C# into clear, composable pipelines with practical function composition patterns from Mori. See how small pure functions lead to code that is easier to test, maintain, and optimize.

#csharp #dotnet #functionalprogramming

Starting a new video series on #CategoryTheory. Please provide feedback. Brickbats welcome, especially of the constructive kind! #FunctionalProgramming

www.youtube.com/watch

Starting a new video series on #CategoryTheory. Please provide feedback. Brickbats welcome, especially of the constructive kind! #FunctionalProgramming

www.youtube.com/watch?v=aKIu...

Common Lisp Tamagotchi development log.

starting to actually lay down some code now...

#lisp #commonlisp #functionalprogramming

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

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

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...

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

Welcome Andrei Kucharavy as the #Scalarconf 2026 speaker!

🎙️ Safer Code with LLMs: Scala Types Silver Bullet?

The full Scalar agenda is ready and waiting for you on our website!

🎟️ Grab your ticket here: scalar-conf.com/tickets

#scala #functionalprogramming