Anupam 🇮🇳《ミ》λ≡
banner
aj.social.id1.in.ap.brid.gy
Anupam 🇮🇳《ミ》λ≡
@aj.social.id1.in.ap.brid.gy
Founder Functional Programming India, Concur UI framework.

“It’s all fine, if the compiler says it’s fine”.
"Be irrational. Don't let the economists win"
"Rage […]

[bridged from https://social.id1.in/@aj on the fediverse by https://fed.brid.gy/ ]
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
September 8, 2025 at 3:10 AM
Working on an ASCII editor #tui in #rust. Figlet support was easy with figlet-rs!
September 3, 2025 at 12:34 PM
July 21, 2025 at 10:47 AM
When I say zero, I mean zero FFS

#javascript is not a serious language
June 20, 2025 at 5:06 PM
There is only one rule. It's much easier to add new things than to change existing behavior.

#functionalprogramming changes that. #fearlessrefactoring for the win!
June 6, 2025 at 12:48 PM
And just like that, the Chinese shill is out of here. I take being blocked by the Chinese shill as a badge of honor.

https://social.id1.in/@aj/statuses/01JVSVDMF1G13VJFFNRFXZX0ZH
May 21, 2025 at 7:04 PM
I wrote a small #purescript DSL to compute taxes. Why?

1. Tax season is here, and all the online calculators are terrible!

2. The Indian tax code has different "tax regimes" that you can opt for and I wanted to compare how the tax liability changes with your […]

[Original post on social.id1.in]
February 28, 2025 at 8:35 AM
February 18, 2025 at 9:48 PM