iiinova — where your digital self keeps evolving

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 17h

Still very early days, but working on a fast-ish native #compiler toolchain for #PureScript

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 04/10/2026

Printed a case for my arduino, slapped some stickers on it, and well, this is the most personality I have seen in any of my computing devices yet. I think it's time to get rid of the sterile homogenised tech that's everywhere, and bring the *personal* back in personal computing

000

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 29/09/2026

What does #FunctionalProgramming and #Python have in common? A LOT apparently. Come join us for an offline joint #meetup between #FPIndia and #BangPypers, and find out more. All skill levels welcome! luma.com/vcsaybf3 #Haskell #Clojure #TypeScript #Rust #Elixir #FP

000

Reposted by Anupam 🇮🇳《ミ》λ≡

Functional Programming India @fpindia.bsky.social · 25/09/2026

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

031

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 25/09/2026

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

021

Reposted by Anupam 🇮🇳《ミ》λ≡

FOSS United @fossunited.mas.to.ap.brid.gy · 16/09/2026

Date: 26th September 2026 Time: 2:00 PM Venue: Hall 3 (Ground Floor), Bengaluru #IndiaFOSS, the largest gathering for the country’s digital commons communities, is back for 2026! Sept 25 onwards | Blr, India #UnitedByFOSS

Compiler Devroom Lightning Talk: Databases in Ethereum Nodes. Speaker: M Sudeep Kumar, Protocol Engineer, Erigon Tech.

Compiler Devroom Talk: Bend, don't Break. Modern Techniques for Flexibility in Strongly Typed Functional Programming. Speaker: Anupam Jain, UI Architect, Arista Networks.

Compiler Devroom Lightning Talk: One Language, All GPU: How Julia Targets different GPU backends from a Single Kernel. Speaker: Shreyas Hegde, Member, JuliaGPU.

023

Reposted by Anupam 🇮🇳《ミ》λ≡

Functional Programming India @fpindia.bsky.social · 13/09/2026

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

045

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 08/09/2026

Hear me out. 4/5 oceans of the world have corresponding Hindi names, except the Atlantic ocean. Some (okay fine, one) of the names is also a common male first name (Prashant). Setting a precedent on how to name things. I propose that Atlantic should also […] [Original post on functional.cafe]

001

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 05/09/2026

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 […]

functional.cafe

Original post on functional.cafe

002

Reposted by Anupam 🇮🇳《ミ》λ≡

Bodil @bodil.lol · 01/09/2026

Hi Swifties of Mastodon, I have a question. I've been wanting to look into Swift for a while, but while I understand it's technically no longer Apple only, literally every tutorial or teaching material I've ever found starts with "install Xcode." Do you know of _any_ introductory material […]

social.treehouse.systems

Original post on social.treehouse.systems

313

Reposted by Anupam 🇮🇳《ミ》λ≡

Simone @simone-z.mastodon.social.ap.brid.gy · 09/08/2026

Which Countries Have the Most #Academic #Freedom? Key #Takeaways > Globally, #university #autonomy is eroding. Since 2015, academic freedom has declined in 50 countries, while just nine have recorded improvements. > The #US scores 0.40, placing it at a level […] [Original post on mastodon.social]

105

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 09/08/2026

Working on a silly personal project. That's right! It's #Concur UI for shell scripts! #functionalprogramming

001

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 07/08/2026

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

012

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 05/08/2026

#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 […]

functional.cafe

Original post on functional.cafe

002

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 03/08/2026

Here's a slide from my talk that touches upon this topic #haskell

000

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 02/08/2026

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! #Haskell #FunctionalProgramming #FormalVerification

111

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 01/08/2026

Will you have a good experience with #Claude? For that you must fall in one of these buckets - 1. You are writing slop - pretend to solve the problem when you are just solving the test case. 2. You have more money than time - your subagents have subagents have subagents 3. You are writing […]

functional.cafe

Original post on functional.cafe

000

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 30/07/2026

I will never understand why some people wear shoes indoors

000

Reposted by Anupam 🇮🇳《ミ》λ≡

Functional Programming India @fpindia.bsky.social · 26/07/2026

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

luma.com

Functional Programming India Bangalore Meetup · Luma

FPIndia Meetup for the month of July 2026 An offline meetup for all Functional Programming enthusiasts in Bangalore India. Come meet fellow FP heads, have…

023

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 26/07/2026

022

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 14/07/2026

Announcing the July FPIndia #Bangalore #Meetup lineup! 1. Ramit will talk about Symbolic Trajectory Evaluation to verify ECC #FormalVerification 2. Anupam will talk about Type Generic Programming techniques in #Haskell Also now you can RSVP on Luma, and Zulip, in addition to Hasgeek! […]

functional.cafe

Original post on functional.cafe

043

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 12/07/2026

A million lines of AI generated #Rust code isn't cool? You know what's cool? A Billion lines of #AI generated Rust code. Has #bun ever thought of doing that?

000

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 08/07/2026

Now you can RSVP for any #FPIndia #meetup on Luma as well! luma.com/zjekrlft The original HasGeek page is still the primary place for RSVP, and the only place where you can submit talks. Hoping this makes the events more accessible to some people already on Luma.

001

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 06/07/2026

Saw #alpha. Mildly entertaining. But when are these blockbuster Indian movies going to stop copying concepts and scenes from others? And when are they going to stop putting style over actual nuance and substance? It's filmmaking by chatgpt

000

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 06/07/2026

Announcing the July #Bangalore #FPIndia #Meetup! When: 1st August (yep 😆) CFP is open: hasgeek.com/fpindia/bangalore-fp-ju… Come meet fellow FP heads, have great conversations, all skill levels welcome! #PureScript #Typescript #Rust #Erlang #Scala #OCaml […]

functional.cafe

Original post on functional.cafe

023

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 03/07/2026

Update on the #FPIndia #Zulip migration - We now have a #Telegram <-> Zulip bridge! Zulip is quite a bit nicer and more welcoming than Telegram, so you should definitely join our Zulip instance, however telegram users will also not miss out on any discussions […]

functional.cafe

Original post on functional.cafe

001

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 27/06/2026

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

021

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 24/06/2026

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 […]

functional.cafe

Original post on functional.cafe

042

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 17/06/2026

I heard that Whatsapp, Facebook, and Instagram are being used to spread leaked exam papers. I suggest the Indian govt do something about it as well

002

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 16/06/2026

If some code runs in production, but no one will ever read it, (or for that matter no one even wrote it in the first place), does it actually exist? #AI

001

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 16/06/2026

Not sure how this happened, but KDE has given the game Chromium the same icon as the browser Chromium

000

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 04/06/2026

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 hasgeek.com/fpindia/bangalore-fp-ju… #PureScript […]

functional.cafe

Original post on functional.cafe

050

Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy · 27/02/2026

Starting a new video series on #CategoryTheory. Please provide feedback. Brickbats welcome, especially of the constructive kind! #FunctionalProgramming www.youtube.com/watch?v=aKIu09RH_dk…

003

Reposted by Anupam 🇮🇳《ミ》λ≡

Abhinav 🧭 @abnv.me · 12/12/2025

RE: fantastic.earth/@abnv/1147388397337… Six months ago, I started a #LinkBlog at abhinavsarkar.net/linkblog, collecting my favourite articles from all over the internet on one page. The list has now grown to have 575 links to high quality posts, tagged meticulously by me […]

fantastic.earth

Original post on fantastic.earth

001

Reposted by Anupam 🇮🇳《ミ》λ≡

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 08/09/2025

Not often you find a proof that's intuitive and makes sense to a programmer but also does not assume you are talking only about the set category #CategoryTheory #FunctionalProgramming

001

Reposted by Anupam 🇮🇳《ミ》λ≡

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 04/09/2025

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

001

Reposted by Anupam 🇮🇳《ミ》λ≡

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 03/09/2025

Working on an ASCII editor #TUI in #Rust. Figlet support was easy with figlet-rs!

012

Reposted by Anupam 🇮🇳《ミ》λ≡

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 20/08/2025

Online propaganda against Indians is off the charts these days 😶

001

Reposted by Anupam 🇮🇳《ミ》λ≡

Abhinav 🧭 @abnv.me · 27/07/2025

I've got to learn this "weird French programming language that no other company uses" used by this one company named Jane Street so that no other companies will hire their employees. #ocaml

Screenshot of a YouTube video that claims that Jane Street uses "a weird French programming language that no other company uses" so that no other companies will hire their employees.

033

Reposted by Anupam 🇮🇳《ミ》λ≡

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 02/07/2025

#AI #LLM bots may have stolen all my code but atleast it makes me feel better about never writing any documentation or comments

003

Reposted by Anupam 🇮🇳《ミ》λ≡

Anupam 🇮🇳《ミ》λ≡ @aj.social.id1.in.ap.brid.gy · 28/06/2025

Fahrenheit lovers: 100F - Really hot 0F - Really cold Me from India: 100F - Meh 0F - Dead #MetricSystem #FahrenheitSucks

002