Attending #indiafoss on the 26th of Sep (i.e. tomorrow)? Come join us for a small and informal #fpindia post conference gathering
#functionalprogramming #bangalore #meetup
#functionalprogramming #bangalore #meetup
September 25, 2026 at 3:23 PM
Attending #indiafoss on the 26th of Sep (i.e. tomorrow)? Come join us for a small and informal #fpindia post conference gathering
#functionalprogramming #bangalore #meetup
#functionalprogramming #bangalore #meetup
Attending #IndiaFoss on the 26th of Sep (i.e. tomorrow)? Come join us for a small and informal #FPIndia post conference gathering
#FunctionalProgramming #Bangalore #meetup
#FunctionalProgramming #Bangalore #meetup
September 25, 2026 at 3:23 PM
Attending #IndiaFoss on the 26th of Sep (i.e. tomorrow)? Come join us for a small and informal #FPIndia post conference gathering
#FunctionalProgramming #Bangalore #meetup
#FunctionalProgramming #Bangalore #meetup
Readings shared: 14-20 September, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math #RocqProver
Readings shared September 21, 2026
The readings shared in Mastodon on 21 September 2026 are:
A machine-checked proof of the Dong-Yang classification of optimal (n,4) binary codes for BSCs. ~ Shenghao Yang, Yanyan Dong. #LeanProver #IT
jaalonso.github.io
September 21, 2026 at 7:28 AM
Readings shared: 14-20 September, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math #RocqProver
Search over algebraic graphs. ~ David Anekstein. anekstein.com/posts/2026-0... #Haskell #FunctionalProgramming
September 18, 2026 at 8:34 AM
Search over algebraic graphs. ~ David Anekstein. anekstein.com/posts/2026-0... #Haskell #FunctionalProgramming
Lean metaprogramming etudes: execution is elaboration. ~ Philip Zucker. www.philipzucker.com/elab_lean/ #LeanProver #ITP #FunctionalProgramming
September 14, 2026 at 10:06 AM
Lean metaprogramming etudes: execution is elaboration. ~ Philip Zucker. www.philipzucker.com/elab_lean/ #LeanProver #ITP #FunctionalProgramming
Lisp
#programming #Programminglanguages #Programminghumor #Legacycode #Functionalprogramming
https://programmerhumor.io/programming-memes/lisp-q5we
#programming #Programminglanguages #Programminghumor #Legacycode #Functionalprogramming
https://programmerhumor.io/programming-memes/lisp-q5we
September 13, 2026 at 7:38 PM
Another fantastic #FPIndia #Bangalore #meetup wrapped up! Coffee, food, and scintillating conversation about everything ranging from #Clojure and #Haskell, #AI and the #job market, to #music and #hobbies!
Watch this space if you want to be a part of the next meetup!
#FunctionalProgramming #events
Watch this space if you want to be a part of the next meetup!
#FunctionalProgramming #events
September 13, 2026 at 3:18 PM
I haven't watched this yet, but it looks like an interesting analysis:
> Why Do Companies Stop Using Haskell? | Vaibhav Sagar | ZuriHac 2026
>
> OST – Ostschweizer Fachhochschule
> 2,835 views Sep 11, 2026 #haskell #zurihac #functionalprogramming
>
> Why do companies stop using Haskell, even […]
> Why Do Companies Stop Using Haskell? | Vaibhav Sagar | ZuriHac 2026
>
> OST – Ostschweizer Fachhochschule
> 2,835 views Sep 11, 2026 #haskell #zurihac #functionalprogramming
>
> Why do companies stop using Haskell, even […]
Original post on mathstodon.xyz
mathstodon.xyz
September 12, 2026 at 5:52 PM
I haven't watched this yet, but it looks like an interesting analysis:
> Why Do Companies Stop Using Haskell? | Vaibhav Sagar | ZuriHac 2026
>
> OST – Ostschweizer Fachhochschule
> 2,835 views Sep 11, 2026 #haskell #zurihac #functionalprogramming
>
> Why do companies stop using Haskell, even […]
> Why Do Companies Stop Using Haskell? | Vaibhav Sagar | ZuriHac 2026
>
> OST – Ostschweizer Fachhochschule
> 2,835 views Sep 11, 2026 #haskell #zurihac #functionalprogramming
>
> Why do companies stop using Haskell, even […]
thank you for watching tonight, SML is such a cute language right?? Thank you again to ulipink~sama for requesting this language!
She is currently streaming more SML content, please go support her! www.twitch.tv/ulipink
#softwareAndGameDevelopment #twitchDeveloper #functionalProgramming
She is currently streaming more SML content, please go support her! www.twitch.tv/ulipink
#softwareAndGameDevelopment #twitchDeveloper #functionalProgramming
September 11, 2026 at 6:52 AM
thank you for watching tonight, SML is such a cute language right?? Thank you again to ulipink~sama for requesting this language!
She is currently streaming more SML content, please go support her! www.twitch.tv/ulipink
#softwareAndGameDevelopment #twitchDeveloper #functionalProgramming
She is currently streaming more SML content, please go support her! www.twitch.tv/ulipink
#softwareAndGameDevelopment #twitchDeveloper #functionalProgramming
Tonight we take a break from our regularly scheduled LeetCode to explore Standard ML on Exercism! Can I learn SML from square 1 in under 8 hours? Let's find out! Going LIVE in 1 hour! See you soon, Goshujinsama~ 💚💚💚
twitch.tv/MeganeMidori
#VTubers #ENVtuber #functionalProgramming #maidcafe
twitch.tv/MeganeMidori
#VTubers #ENVtuber #functionalProgramming #maidcafe
MeganeMidori - Twitch
💚 おかえりなさいませ! 💚 Moe programmer maid Midori, the VTuber here to teach TypeScript coding skills for your future employment! 💻 Practicing LeetCode and web dev in my computer lab. Vibe coders get detention...
twitch.tv
September 11, 2026 at 12:07 AM
Tonight we take a break from our regularly scheduled LeetCode to explore Standard ML on Exercism! Can I learn SML from square 1 in under 8 hours? Let's find out! Going LIVE in 1 hour! See you soon, Goshujinsama~ 💚💚💚
twitch.tv/MeganeMidori
#VTubers #ENVtuber #functionalProgramming #maidcafe
twitch.tv/MeganeMidori
#VTubers #ENVtuber #functionalProgramming #maidcafe
🇸🇪🗣️ Elixir Enthusiasts in Stockholm 🗣️🇸🇪
I’m recruiting on behalf of a healthcare start-up to hire a Backend Engineer to work from their office in Stockholm, Sweden
Elixir production experience not essential
More details/apply: Beamrec.com/jobs
#elixir #stockholm #functionalprogramming #elixirlang
I’m recruiting on behalf of a healthcare start-up to hire a Backend Engineer to work from their office in Stockholm, Sweden
Elixir production experience not essential
More details/apply: Beamrec.com/jobs
#elixir #stockholm #functionalprogramming #elixirlang
Live Jobs | Beam It
Live Jobs - Mostly BEAM Related
Beamrec.com
September 10, 2026 at 4:28 PM
🇸🇪🗣️ Elixir Enthusiasts in Stockholm 🗣️🇸🇪
I’m recruiting on behalf of a healthcare start-up to hire a Backend Engineer to work from their office in Stockholm, Sweden
Elixir production experience not essential
More details/apply: Beamrec.com/jobs
#elixir #stockholm #functionalprogramming #elixirlang
I’m recruiting on behalf of a healthcare start-up to hire a Backend Engineer to work from their office in Stockholm, Sweden
Elixir production experience not essential
More details/apply: Beamrec.com/jobs
#elixir #stockholm #functionalprogramming #elixirlang
Dynamic typing, mutability, object oriented programming are all bad choices for agentic feedback loops. #Functionalprogramming languages with #algebraicdatatypes, #immutability are more viable because they avoid classes of errors and provide detailed compile-time feedback.
2/3
2/3
September 9, 2026 at 1:17 PM
Dynamic typing, mutability, object oriented programming are all bad choices for agentic feedback loops. #Functionalprogramming languages with #algebraicdatatypes, #immutability are more viable because they avoid classes of errors and provide detailed compile-time feedback.
2/3
2/3
Scheme Is Elegant
#programming #Programminglanguages #Legacycode #Namingconventions #Functionalprogramming
https://programmerhumor.io/programming-memes/scheme-is-elegant-5y1o
#programming #Programminglanguages #Legacycode #Namingconventions #Functionalprogramming
https://programmerhumor.io/programming-memes/scheme-is-elegant-5y1o
September 9, 2026 at 12:10 PM
Worse is better: C# versus F# by Mark Seemann
buff.ly/nHXl52F
#dotnet #csharp #fsharp #programming #functionalprogramming
buff.ly/nHXl52F
#dotnet #csharp #fsharp #programming #functionalprogramming
Worse is better: C# versus F#
C# is a great programming language, but F# is better.
blog.ploeh.dk
September 8, 2026 at 2:00 PM
Worse is better: C# versus F# by Mark Seemann
buff.ly/nHXl52F
#dotnet #csharp #fsharp #programming #functionalprogramming
buff.ly/nHXl52F
#dotnet #csharp #fsharp #programming #functionalprogramming
Beyond #Lambdas: Raising the #Abstraction Level of Functional Code
https://adamtornhill.sub...
#FunctionalProgramming
https://adamtornhill.sub...
#FunctionalProgramming
September 6, 2026 at 9:24 AM
Beyond #Lambdas: Raising the #Abstraction Level of Functional Code
https://adamtornhill.sub...
#FunctionalProgramming
https://adamtornhill.sub...
#FunctionalProgramming
Beyond #Lambdas: Raising the #Abstraction Level of Functional Code
https://adamtornhill.sub...
#FunctionalProgramming
https://adamtornhill.sub...
#FunctionalProgramming
September 6, 2026 at 9:24 AM
Beyond #Lambdas: Raising the #Abstraction Level of Functional Code
https://adamtornhill.sub...
#FunctionalProgramming
https://adamtornhill.sub...
#FunctionalProgramming
Informal #FPIndia gathering next Sunday in #Bangalore. This is *very* limited space, and informal, so we don't have a predefined agenda.
Come hang out, eat, drink, and have some chill conversations with fellow #FunctionalProgramming enthusiasts!
luma.com/xpbc4v4q
#Haskell #PureScript #Rust #Elixir
Come hang out, eat, drink, and have some chill conversations with fellow #FunctionalProgramming enthusiasts!
luma.com/xpbc4v4q
#Haskell #PureScript #Rust #Elixir
Informal FPIndia Gathering · Luma
luma.com
September 5, 2026 at 9:36 AM
Informal #FPIndia gathering next Sunday in #Bangalore. This is *very* limited space, and informal, so we don't have a predefined agenda.
Come hang out, eat, drink, and have some chill conversations with fellow #FunctionalProgramming enthusiasts!
luma.com/xpbc4v4q
#Haskell #PureScript #Rust #Elixir
Come hang out, eat, drink, and have some chill conversations with fellow #FunctionalProgramming enthusiasts!
luma.com/xpbc4v4q
#Haskell #PureScript #Rust #Elixir
Informal #fpindia gathering next Sunday in #bangalore. This is *very* limited space, and informal, so we don't have a predefined agenda.
Come hang out, eat, drink, and have some chill conversations with fellow #functionalprogramming enthusiasts!
https://luma.com/xpbc4v4q
#haskell #purescript […]
Come hang out, eat, drink, and have some chill conversations with fellow #functionalprogramming enthusiasts!
https://luma.com/xpbc4v4q
#haskell #purescript […]
Original post on functional.cafe
functional.cafe
September 5, 2026 at 9:35 AM
Informal #fpindia gathering next Sunday in #bangalore. This is *very* limited space, and informal, so we don't have a predefined agenda.
Come hang out, eat, drink, and have some chill conversations with fellow #functionalprogramming enthusiasts!
https://luma.com/xpbc4v4q
#haskell #purescript […]
Come hang out, eat, drink, and have some chill conversations with fellow #functionalprogramming enthusiasts!
https://luma.com/xpbc4v4q
#haskell #purescript […]
Dependent if expressions without dependent types. ~ Gabriella Gonzalez. haskellforall.com/2026/09/depe... #Haskell #FunctionalProgramming
Dependent if expressions without dependent types
Folklore trick for dollar-store dependent types
haskellforall.com
September 3, 2026 at 3:22 PM
Dependent if expressions without dependent types. ~ Gabriella Gonzalez. haskellforall.com/2026/09/depe... #Haskell #FunctionalProgramming
Readings shared: 24-31 August, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #CommonLisp #CompSci #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Lisp #Math #RocqProver
Readings shared August 31, 2026
The readings shared in Mastodon on 31 August 2026 are:
A Lean 4 verification report for subregular affine cells and the level −1 vertex algebra of type D, ~ Sihai Jin. #LeanProver #ITP #Math
A formal
jaalonso.github.io
August 31, 2026 at 6:41 AM
Readings shared: 24-31 August, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #CommonLisp #CompSci #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Lisp #Math #RocqProver
4/ — Diagnostics
Where no correct source exists, the processor says so on your line, in a what/why/fix shape that names the remedy. And HKJ holds itself to the same bar: every module compiles under the HKJ checker at zero findings.
=> higher-kinded-j.github.io/v0.4.10/home...
#FunctionalProgramming
Where no correct source exists, the processor says so on your line, in a what/why/fix shape that names the remedy. And HKJ holds itself to the same bar: every module compiles under the HKJ checker at zero findings.
=> higher-kinded-j.github.io/v0.4.10/home...
#FunctionalProgramming
August 30, 2026 at 6:02 PM
4/ — Diagnostics
Where no correct source exists, the processor says so on your line, in a what/why/fix shape that names the remedy. And HKJ holds itself to the same bar: every module compiles under the HKJ checker at zero findings.
=> higher-kinded-j.github.io/v0.4.10/home...
#FunctionalProgramming
Where no correct source exists, the processor says so on your line, in a what/why/fix shape that names the remedy. And HKJ holds itself to the same bar: every module compiles under the HKJ checker at zero findings.
=> higher-kinded-j.github.io/v0.4.10/home...
#FunctionalProgramming
Haskell diagrams: Tessellations. ~ Marcelo Garlet Milani. mgarletmilani.com/blog/2026-06... #Haskell #FunctionalProgramming
August 28, 2026 at 10:23 AM
Haskell diagrams: Tessellations. ~ Marcelo Garlet Milani. mgarletmilani.com/blog/2026-06... #Haskell #FunctionalProgramming
A curmudgeon tries a language server. ~ kqr. entropicthoughts.com/curmudgeon-t... #Haskell #FunctionalProgramming #Emacs #Lisp
August 28, 2026 at 10:21 AM
A curmudgeon tries a language server. ~ kqr. entropicthoughts.com/curmudgeon-t... #Haskell #FunctionalProgramming #Emacs #Lisp
Readings shared: 17-23 August, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog #RocqProver
Readings shared August 24, 2026
The readings shared in Mastodon on 24 August 2026 are:
A Lean formalization of the main theorem of the paper "Low-rank univariate sum of squares has no spurious local minima". ~ Chenyang Yuan. #LeanP
jaalonso.github.io
August 24, 2026 at 10:03 AM
Readings shared: 17-23 August, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog #RocqProver