Functional Programming India 🇮🇳《ミ》λ≡ @FunctionalIndia
Uniting Functional Programming Language enthusiasts across India. Discussions on https://t.co/dIBZ5Jqs3I. Bsky: https://t.co/jPZ6faePR6 functionalprogramming.in India Joined February 2020-
Tweets1K
-
Followers517
-
Following352
-
Likes1K
@yuvicodes Unfortunately no, this is at a tech company (@pre6ai) that very generously lets us use their office space for hosting the meetups
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 hasgeek.com/fpindia/bangal…
@burny_tech Half recursive centaur, the other half also recursive centaur
@Zinny_Edmund In NeoHaskell you have event models, if this exists, it works and shows your entire backend. This is an actual screenshot of the IDE assistant for NeoHaskell
@graninas Just saying that it's controversial
I've spent months rethinking and rebuilding my programming languages course from scratch for the agentic coding era. I wrote myself a memo explaining what I'm doing. I figure others might be interested in the redesign, so here goes! Feedback welcome ofc. docs.google.com/document/d/e/2…
Man the more i do functional programming the more i feel enlightened, its like i can feel my brain growing and my neurons firing
Most #FPIndia discussion take place on #Telegram, and it's all been silent since yesterday. This ban is absolutely strange and disproportionate
Statement : Shutting down Telegram is a band aid solution and is a disproportionate answer to exam fraud The Internet Freedom Foundation objects to the directions announced today in the National Testing Agency's press release on action against the Telegram platform. On the NTA's
Happy to announce another confirmed talk for the #FPIndia #Bangalore June #meetup! Srijan will talk about Formalising #MachineLearning for Functional Languages! hasgeek.com/fpindia/bangal… #Haskell #PureScript #Typescript #Rust #Erlang #Scala #OCaml #FormalMethods #AI
@saurabhnanda @ChShersh Arrows
Announcing the June #Bangalore #FPIndia #Meetup! Abhinav will be talking about Type-level Programming in #Haskell! Like always, meet fellow FP heads, have great conversations, all skill levels welcome! hasgeek.com/fpindia/bangal… #PureScript #Typescript #Rust #Erlang #Scala #OCaml
I'm offering "Functional Programming with OCaml" on the NPTEL platform in July 2026 sem. Enrollment is open now. The first 8 modules of the interactive book should be fairly stable. The rest is still in development. Sharing early in the spirit of building in the open.
Yo dawg, I heard you like interpreters. So here's your OCaml program, running in a bytecode interpreter, running on an emulated x86 CPU, JIT-compiled to Wasm, running in your browser, JIT-compiled to run on your local machine.
Oh no 😢 Thank you for trying to fight the good fight
Update: after several months of work, I resigned from the committee yesterday. The answer to all the predictable questions is the predictable answer: yes.
We have another confirmed talk for the #FPIndia #Bangalore #meetup tomorrow! Ishaan will talk about Discrete optimisation and #MiniZinc! hasgeek.com/fpindia/bangal… #Haskell #PureScript #Erlang #Scala #OCaml #Rust #Clojure
We have 22 signups for #FPIndia #Bangalore #meetup this Saturday, which is about the limit of the number of people we can accommodate. If you already registered, we will see you there! hasgeek.com/fpindia/bangal…
all of the sins of the past being replayed in slow motion
A pure-OCaml software stack is now reportedly running on a satellite in orbit , handling encrypted telemetry and command systems without Linux underneath. Programming languages are becoming infrastructure in places where failure is not an option.
The wait is over #Bangalore! #FPIndia #meetup this weekend! Saachi will talk about building chess provers in #Lean. Plus the usual nerdy debates, and catching up with fellow FP heads. Don't miss it! hasgeek.com/fpindia/bangal… #Haskell #PureScript #Erlang #Scala #OCaml #Rust #Clojure
Edward Kmett @kmett
17K Followers 812 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Yashwanth Chennuru @yash1th_tweets
126 Followers 6K Following Web3 Yeah! | Electronics & Comp @mahindrauni
Yuvraj @yuvicodes
571 Followers 665 Following Softmaxxxing Transformers | Dev @dognosis | Member @SuperteamIN | Building @cosmexus
Srikanth Kurni @srikanthkurni
108 Followers 398 Following
IDENCIES @idencies05
9 Followers 60 Following
Samyak @Samyak210
223 Followers 614 Following systems, PL, open source, rust | work @e6data (query engines - perf, joins, distributed execution)
choudhary @0x1bits
20 Followers 131 Following IITian | Building for today! Founder of 2 failed saas products!
Aastha @aastha1729
0 Followers 16 Following
Harshit Ruwali @harshitruwali
178 Followers 245 Following software engineer | homelabbing | arch+i3wm since 2021 | opinions are my own
Bhavik Limbani 🦀 @BhavikLimani
208 Followers 2K Following Software Engineer & Leading @Widle_Studio #Retool - Building a community ⏳ - Learning, Building and Upskilling. 🦀
Akhil 🧑💻 @akhiltulluri_
280 Followers 2K Following On https://t.co/S05WroVGmf and https://t.co/amLMOqxxj0 | Systems and PL
Faruk Cebeci @cbcfrk
1 Followers 65 Following
Ankita 🌱 @Ano_myself
71 Followers 806 Following A computer engineer who loves music, photography + some physics & math :) Love, get hurt, accept your shortcomings, Live ❤️ sharingphotos @ankitaclicks
Naren Laxmidas @naren_laxmidas
23 Followers 295 Following
Μακάριος @oeiuwq
2K Followers 2K Following SDA. ser feliz es mi color de identidad. by contemplating we are transformed. navego en el mar de las cosas exactas. let this = lib.flip that; in lib.flip this;
Guhan @guhnarul
35 Followers 930 Following
Alina Banerjee | ಅ�... @interregnumish
40 Followers 51 Following 이모, baby PL engineer @fp_launchpad, sitar-strummer, 🇮🇳, migrant.
생각하냥 @freemanzwin
25 Followers 3K Following
HarryKen @harry_ken3960
7 Followers 450 Following
Jerko @Jerko394
148 Followers 2K Following
Sawspa @Sawspa760988
135 Followers 2K Following
pilku @pilku10
21 Followers 49 Following
Zero @Kartiksingh8860
0 Followers 53 Following Aspiring Developer | BCA 2025 HTML • CSS • JS • Python | Eager to learn, build, and growFuture Entrepreneur | Passionate about tech, startups & innovation
Andor Pénzes @sverien
542 Followers 1K Following Functional programming,software development,compiler construction.
Bart Blast @Bart_Blast
1K Followers 797 Following Building Hologram, a full-stack Elixir web framework
SHREYANSH RAJ @ShreyanshR83525
0 Followers 13 Following
Vitthal Mirji @whoami_vim
578 Followers 1K Following Software | Data | Engineering the future of data-driven decision making | Scala & FP | Staff Engineer
m4rt1n @phoenix_4745
1 Followers 101 Following
Ayush puri @Ayushpuri13
32 Followers 697 Following Software Engineer Focused on skill, health & character Slow progress, real progress Curious about development, systems, products & growth
Shreya Pawaskar 🌷 @pawaskar_shreya
385 Followers 123 Following 👨💻 @Outreachy intern'25 @ocaml_org || 🌟Opensource Contributor || 🎓 Btech AI & DS
Ari @Ari_S_123
550 Followers 8K Following CS @Northeastern | prev intern @ https://t.co/9Pq2PtygGS & @LexiaLearning | 4X Hackathon Winner
Raj (🦀/gpu) @Raj_ghj
199 Followers 534 Following currently in gpu programming and ml systems rust | gsoc'25 https://t.co/bbuNEL9i5U mail: [email protected]
Graham Hutton @haskellhutt
9K Followers 698 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Erik Meijer @headinthebox
36K Followers 0 Following
Edward Kmett @kmett
17K Followers 812 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Matt Parsons @mattoflambda
5K Followers 597 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Tweag by Modus Create @tweagio
7K Followers 309 Following Improving the craft of software engineering.
Joachim Breitner @nomeata
3K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Rúnar @runarorama
13K Followers 118 Following Icelander. Eudaimonist. Individualist. Comonad enthusiast. Co-creator of the Unison programming language. Co-author of Functional Programming in Scala.
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
piq and 69 others @piq9117
3K Followers 2K Following Building RankRicer • Software Engineer • Haskell • Nix • Neovim • Guns
Graham Christensen @grhmc
6K Followers 1K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys 📻 NO5IG
Mara @m_ou_se
44K Followers 405 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
Alexis King @lexi_lambda
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Flavio @FlavioCorpa
2K Followers 270 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
gabby @GabriellaG439
16K Followers 79 Following Author of https://t.co/KlpbciE0Hl, @dhall_lang, and https://t.co/YzieN4kyo2 I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Swanand @_swanand
9K Followers 973 Following CTO, Mentor, Nerd. "Ship fast, ship often." On a mission to unf*ck product engineering everywhere.
Yaron (Ron) Minsky @yminsky
22K Followers 367 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Abhinandan Sekhri @AbhinandanSekhr
164K Followers 747 Following Co-founder Newslaundry & Small Screen. Director producer writer entrepreneur. Building an alternative news model https://t.co/OFgxiOOM7z
Ryan Peterman @ryanlpeterman
28K Followers 428 Following Building the podcast & ergonomic keyboard I wish existed • ex-software engineer @instagram, @meta • See what I'm building here ↓
saladi rahul @saladi_rahul
1K Followers 337 Following Assistant Professor, IISc Bangalore. Modern Algorithms and Data Structures. Certified Isha Hata Yoga Teacher. Other interests: cricket, football, and music!
Cockroach Party of In... @Cockroach4India
166K Followers 0 Following RISE ! RESIST ! RECLAIM 🪳 US vs THEM ✊
Kiran @kirancodes
1K Followers 190 Following Research Scientist I work in Programming Languages research, on formal verification. British South Asian diaspora~
fp_launchpad @fp_launchpad
106 Followers 16 Following Research and education for crafting efficient, reliable and trustworthy software. Located in IIT Madras, Chennai.
RustINDIA @IndiaRust
167 Followers 129 Following Just one day to go, grab your tickets to Rust Conference now! 🦀 https://t.co/UNoFvs4jot
DRDO @DRDO_India
1.7M Followers 120 Following DRDO is the R&D wing of Ministry of Defence Govt. of India https://t.co/zDS51rN8ln
Justin Lê @mstk
2K Followers 1K Following jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him
Ryan Haskell @HeyRyanHaskell
925 Followers 2 Following Professional @elmlang engineer sharing https://t.co/b81Kk5bYhn, free learning resources, and developer tooling! (🦋 Moved to https://t.co/N3Jctmm8L3)
derek guy @dieworkwear
1.5M Followers 1K Following Menswear writer. Editor at @putthison. Bylines at The New York Times, The Financial Times, Politico, Esquire, and Mr. Porter
hirrolot @hirrolot
570 Followers 52 Following A software engineer and computer science enthusiast. I mostly use C, OCaml, Rust, and Golang. [email protected]
The Institute for Typ... @typememetics
4K Followers 108 Following Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazard.
Alina Banerjee | ಅ�... @interregnumish
40 Followers 51 Following 이모, baby PL engineer @fp_launchpad, sitar-strummer, 🇮🇳, migrant.
Lossfunk @lossfunk
17K Followers 1 Following Foundational questions on artificial and biological intelligences
Max ⊶ New @maxsnew@... @maxstewartnew
1K Followers 199 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
CyberCat Institute @CyberCatInst
1K Followers 104 Following Institute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering
Ilya Sergey @ilyasergey
8K Followers 980 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Robert Graham @robertgraham
68K Followers 2K Following Created (BlackICE,IPS,sidejacking,masscan). Doing (blog,code,cyber-rights,Internet-scanning). Macrodata refiner.
zio @zioscala
4K Followers 129 Following ZIO is a Type-safe composable asynchronous and concurrent programming library for Scala that is based on pure functional programming
Bart Blast @Bart_Blast
1K Followers 797 Following Building Hologram, a full-stack Elixir web framework
NixOS @nixos_org
13K Followers 87 Following
scalac.io @scalac_io
3K Followers 533 Following Over 10 years of aiding Tech Companies to scale. Specializing in #Scala, #Java, #Spark, #Rust, #Akka, #React, #Angular #Kafka #blockchain
Bryan Richter @chreekat
185 Followers 235 Following Haskell and bicycles in an unordered heap. Now even more unordered as the DevOps Engineer for the Haskell Foundation!
Afsal Thaj @afsalt2
673 Followers 522 Following Passionate on #Scala #Rust #FP. Durable Agent Runtime Development @GolemCloud US. https://t.co/ZyjNeZ7tjw
Elad Ben-Israel @emeshbi
4K Followers 2K Following Playing with robots | Previously: CEO & Co-Founder Wing Cloud, AWS CDK, Amazon Prime Air, Microsoft
Manuel Chakravarty�... @TacticalGrace
6K Followers 755 Following Lambda scientist ･ functional programming, programming languages & cryptography • Swift, Haskell & Agda • @HaskellForMac dev • Volt Policy DigiCom
Aaron W. Hsu @arcfide
149 Followers 17 Following Computing Artiste, APL Apostle, focused on human-centered computing experiences. Preferred Contact: [email protected]
svs 🇮🇳 @_svs_
20K Followers 2K Following Tech recruiter. Prev CTO at https://t.co/fRXzo9kpka and https://t.co/8Y1nUjaNsj. 2x founder. Newsletter - https://t.co/KiGz0PU2WV. Resumes - https://t.co/qfFZFQf2kv
hsr hacker house @hsrhackerhouse
9K Followers 230 Following a hackerhouse where people build cool things. in blr & sf.
aravind gopal @MaG199601
35 Followers 315 Following
Elixir Forum @elixirforum
6K Followers 3K Following This account tweets every thread that's posted by the community on the Elixir Forum :-)
Evan Czaplicki @evancz
16K Followers 68 Following Creator and developer of @elmlang Reading highlights at @power_studies
John A De Goes @jdegoes
20K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Code BEAM @CodeBEAMio
10K Followers 2K Following The Erlang, Elixir and Gleam events by @CodeSyncGlobal Join us at Code BEAM Europe 21-22 October 2026 in Haarlem, Netherlands
Aram Hăvărneanu @aramh
5K Followers 2K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.Trends for United States
You might like
