#fpindia — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #fpindia, aggregated by home.social.
-
What do #FPIndia gatherings look like?
Here are a few pictures from a past #Bangalore #Meetup.
We don't usually take a lot of pictures, but will share some from each meetup going forward.
-
#FPIndia is looking for #meetup hosts in #Bangalore
Connect with senior devs and architects
Showcase your engineering culture
Engage with the community
Space for ~30 people and a screen, for ~3 hours
DM or comment!
#FunctionalProgramming #haskell #elixir #rust #typescript #clojure #formalmethods -
#FPIndia is looking for #meetup hosts in #Bangalore
Connect with senior devs and architects
Showcase your engineering culture
Engage with the community!We need a space for 20 to 40 people and a screen for ~3 hours
DM or comment!
#FunctionalProgramming #haskell #elixir #rust #clojure #typescript #scala #purescript #formalmethods
-
I should give a talk titled "Prove, don't validate".
I talked a little about it this Saturday at the #FPIndia #Bangalore #Meetup
Follow me to get updates on our next meetup!
-
Reminder folks - #FPIndia #Bangalore #Meetup this weekend. Sat 1st Aug, 11AM - 1PM.
We have two great talks lined up around #FunctionalProgramming, #Haskell, and #FormalMethods.
We have very limited seating, so please RSVP if you are coming - https://luma.com/zjekrlft
-
Reminder folks - #FPIndia #Bangalore #Meetup this weekend. Sat 1st Aug, 11AM - 1PM.
We have two great talks lined up around #FunctionalProgramming, #Haskell, and #FormalMethods.
We have very limited seating, so please RSVP if you are coming - luma.com/zjekrlft
Functional Programming India B... -
Announcing the July #Bangalore #FPIndia #Meetup!
When: 1st August (yep 😆)
CFP is open: https://hasgeek.com/fpindia/bangalore-fp-july-2026-meetupCome meet fellow FP heads, have great conversations, all skill levels welcome!
#PureScript #Typescript #Rust #Erlang #Scala #OCaml #FunctionalProgramming
-
Announcing the July #Bangalore #FPIndia #Meetup!
When: 1st August (yep 😆)
CFP is open: hasgeek.com/fpindia/bang...
Come meet fellow FP heads, have great conversations, all skill levels welcome!
#PureScript #Typescript #Rust #Erlang #Scala #OCaml #FunctionalProgramming
hasgeek.com/fpindia/bang.. -
Big news! #FPIndia is now on Zulip!
We are planning to move our community from #Telegram to #Zulip for more open and accessible conversations. Zulip is FOSS, has mobile, desktop, web, and even TUI apps. Works better for us long term!
Come say hi!
zulip.functionalprogramming.in
Functional Programming India -
Reminder: we have the #Bangalore #FPIndia #meetup this Saturday at Pre6! We have two planned talks -
1. Abhinav will talk about type level programming in #Haskell
2. Srijan will talk about #MachineLearning in pure languages, specifically with #HaskTorch -
Happy to announce another confirmed talk for the #FPIndia #Bangalore June #meetup!
Srijan will talk about Formalising #MachineLearning for Functional Languages!
https://hasgeek.com/fpindia/bangalore-fp-june-2026-meetup/
#Haskell #PureScript #Typescript #Rust #Erlang #Scala #OCaml #FormalMethods #AI
-
Announcing the June #Bangalore #FPIndia #Meetup!
Our first talk is Type-level Programming in #Haskell, presented by @abnv!
Like always, meet fellow FP heads, have great conversations, all skill levels welcome!
RSVP https://hasgeek.com/fpindia/bangalore-fp-june-2026-meetup/
-
We have another confirmed talk for the #FPIndia #Bangalore #meetup tomorrow! Ishaan will talk about Discrete optimisation and #MiniZinc! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #Rust #Clojure
Bangalore FP May 2026 meetup -
The wait is over #Bangalore! #FPIndia #meetup this weekend! Saachi will talk about building chess provers using #Lean. Plus, the usual nerdy debates, and catching up with fellow FP heads. Don't miss it! hasgeek.com/fpindia/bang... #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure
Bangalore FP May 2026 meetup -
Not in Bangalore but want to attend an #FPIndia meetup? No problems! Join us for an online meetup open to all. RSVP at hasgeek.com/fpindia/fpin... #FunctionalProgramming #India #Meetup #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure
FPIndia Online - Feb 2026 -
Whoa, there are 21 registrations already for the Sept #FPIndia #Bangalore meetup. Usually we get 7-8. Hoping all these people show up
#FunctionalProgramming #Meetup -
Come join us for another day of geeking out over functional programming! The FPIndia May meetup is here!
https://hasgeek.com/fpindia/bangalore-fp-may-meetup/
#Bangalore #FunctionalProgramming #FPIndia #Meetup #India #Haskell #PureScript #OCaml #Elixir #Clojure #Scala -
Come join us for another day of geeking out over functional programming! The FPIndia May meetup is here!
https://hasgeek.com/fpindia/bangalore-fp-may-meetup/
#Bangalore #FunctionalProgramming #FPIndia #Meetup #India #Haskell #PureScript #OCaml #Elixir #Clojure #Scala -
Come join us for another day of geeking out over functional programming! The FPIndia May meetup is here!
https://hasgeek.com/fpindia/bangalore-fp-may-meetup/
#Bangalore #FunctionalProgramming #FPIndia #Meetup #India #Haskell #PureScript #OCaml #Elixir #Clojure #Scala -
Is there any org in #Bangalore that would like to lend their space for an #FPIndia meetup? Please dm
#India #FunctionalProgramming #Meetup #Haskell #PureScript #Erlang #Elixir #OCaml #Scala #Clojure -
Ready to geek out over functional programming? Join us for the upcoming FPIndia Bangalore meetup!
https://hasgeek.com/fpindia/bangalore-fp-april-meetup/
#Bangalore #FunctionalProgramming #FPIndia #Meetup #India #Haskell #PureScript #OCaml #Elixir #Clojure #Scala -
Announcement: We at #FPIndia are organising an #FPIndiaAdvent Calendar, where we encourage people to write/vlog about #FunctionalProgramming topics. You can post any FP related content at your own blog/channel, just claim a slot at the link below -
https://functionalprogramming.in/advent/2025.html -
Announcement: We at #FPIndia are organising an #FPIndiaAdvent Calendar, where we encourage people to write/vlog about #FunctionalProgramming topics. You can post any FP related content at your own blog/channel, just claim a slot at the link below -
-
Had a very interesting #CategoryTheory meetup today. We discussed free construction and did some exercises and the answers seemed unsatisfying.
The basic source of discomfort was this - When we are given a graph, to convert it into a category, we add seemingly arbitrary morphisms to it. Some object doesn't have an identity arrow? Add it! There is no arrow for the composition of two arrows, add it! This seemed like we were *completing* the graph rather than *converting* it into a category.
We are all learning Category theory and none of us had an answer for this. We didn't even know if the way we were doing free construction was correct. There were exercises on free construction, and we looked at a few solutions from other people online, and they all seemed to suffer from the same problem.
Well after the meetup I searched online, and within 2 minutes had the answer. I was only able to find it because having mulled the problem over, I knew what to search for.
Basically the free construction from a graph does not convert arrows to morphisms. It converts *paths* to morphisms. So for an object without arrows, there is still a morphism which represents "take no path". This is the identity morphism. We have not added it to the graph, it is always present for every node in the graph if we define morphisms as paths.
For a graph with a single object with one arrow pointing to itself, the number of morphisms (i.e. paths) is infinite because you can cross the arrow any number of times.
For a graph with two objects and one directional arrow between them, we have only one possible path (once you cross the arrow to go to the other object, there is no way back), so there is only one morphism apart from identities.
This makes so much more sense to me, because this means that free construction does *not* add any arrows to the diagram or change the diagram in any way - we just define a category out of the existing structure.
Most other (secondary) sources on the web are wrong about what the free construction is. If we hadn't gone into this question in the meetup, I wouldn't even have known there was a gap in my understanding.
Basically, I'm looking forward to the next meetup!
-
Upcoming #CategoryTheory #meetup reminder - We are meeting tomorrow (Sat) at 10AM IST to discuss the next video on Category Theory - https://video.infosec.exchange/w/b17e3FKdqEHW36fM8nnyjd. Please take out the time to watch the video, and ask any questions in the meetup.
Join our Telegram group for more details - https://t.me/fpncr
-
A reminder - We are meeting on Saturday at 10AM to discuss the next video on Category Theory - https://video.infosec.exchange/w/s1mS7mXJAv2zZyjhFpJhb8. Please take out the time to watch the video, and ask any questions in the meetup.
Join our Telegram group for more details - https://t.me/fpncr
#FPIndia #India #CategoryTheory #Meetup #Haskell #FunctionalProgramming
-
Announcing the next #FPIndia #LearnHaskell meetup, this Saturday 20 April in #Gurgaon.
We’re diving into deeper FP waters with applicatives, monads, and transformers.
Join us! Our Telegram group has more details and updates. https://t.me/fpncr