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

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

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

I will never understand why some people wear shoes indoors

Forget ML, I even know DHTML

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

luma.com

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

Someone put up a crappy vibecoded website for #KDE Krohnkite? Why? Why? https://krohnkite.com/

Home - Krohnkite

Krohnkite is a dynamic tiling window manager script for KWin — inspired by dwm, xmonad and bspwm. Zero recompile, pure JavaScript, fully keyboard-driven.

krohnkite.com

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

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?

Now you can RSVP for any #FPIndia #meetup on Luma as well! https://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.

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

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

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

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! https://zulip.functionalprogramming.in/

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

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

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

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

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

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

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

RE: https://fantastic.earth/@abnv/114738839733748632 Six months ago, I started a #LinkBlog at https://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 […]

Abhinav 🧭@abnv.me · last yr.

Finally got around to adding a #LinkBlog page with tags on my website: https://abhinavsarkar.net/linkblog. It comes with a central #feed, and tag-wise feeds as well. #indieweb #linkblogging

Join me on SimpleX - https://smp11.simplex.im/a#CkSCGIVxkhPHszUpKQtFBashxpR_YRhlbQjoN0Rfq24

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

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

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

Online propaganda against Indians is off the charts these days 😶

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