#fpindia — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #fpindia, aggregated by home.social.
-
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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
-
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
-
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
-
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
-
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
-
The next #FPIndia Learn #Haskell meetup is going to be this Saturday 24 Feb in #Gurgaon.
We'll do a quick recap of basics of Haskell, and then learn some tricks on how to write real world code. This is a great time to jump in if you have not attended the previous sessions.
Do drop by if you are around!
-
Announcing the next #RustDelhi + #FPIndia combined #meetup in #Gurgaon on 26 August!
CFP is open - https://github.com/rustdelhi/talks/issues
RSVP at https://meetup.com/rustdelhi/events/295486853/
We are looking for talks about #Rust or #FunctionalProgramming. Talks about #Concurrency are especially welcome!
-
Had fun talking about #Concurrency in #Haskell at the #ElixirDelhi and #FPIndia meetup this weekend! See you all at the next one!
-
Would you or your company like to #sponsor or host #FunctionalProgramming events in the Delhi-NCR region?
We at #FPIndia are starting to organise in-person events. There's an #Elixir+FP meetup on 5 Aug, and a #Rust+FP meetup on 26 Aug.
If you want to help us organise more, DM me!
-
Updates on the planned #meetups with tentative dates -
#ElixirDelhi + #FPIndia combined meetup on the 5th of August
- #RustDelhi + FPIndia combined meetup on 26th of August.Both meetups in person in #Delhi.
-
This is tomorrow, reminder to register if you haven't already!
-
I am pleased to announce the next event in the #FPWebConf series, this Saturday (8 July) -
#Rescript meetup at Juspay offices, Bangalore, where Shiva Nandan will speak about how Juspay uses Rescript in production.
RSVP: https://has.gy/7H65
-
Really looking forward to this. Don't forget to RSVP folks!
#haskell #functionalprogramming #india #fpindia #effectsystems #meetup
-
This Saturday - Join us for another exciting Effect Systems reading group meetup!
We will discuss the following papers related to Evidence passing in effect handlers
1. https://dl.acm.org/doi/pdf/10.1145/3473576
2. https://xnning.github.io/papers/haskell-evidently.pdf
#Haskell #EffectSystems #FPIndia #FunctionalProgramming #India #Meetup
-
I had a few minutes, so updated the #FPIndia site. Added a page for connected communities - https://functionalprogramming.in/communities. As well as adding details of ongoing events on the events page - https://functionalprogramming.in/events
-
Thanks Baishampayan Ghose and Ankit Solanki for the insightful conversation. Also thanks to everyone who attended.
If you missed it, you can still catch the livestreamed session on YouTube at https://www.youtube.com/live/WtrrfAKJoVc
Continue the conversation by joining the #FPIndia Telegram group - https://t.me/fpncr.
See you at the next #FpWebConf event!
-
CW: Long post (self hosting mastodon)
@sanchayan I run a gotosocial instance for #FPIndia. It was pretty painless setting it up, and I would recommend it as well! Takes a bit of time for some content to get populated
-
#FunctionalProgramming people in #India, please use the tag #FPIndia so we can find each other