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.
https://zulip.functionalprogramming.in
Remote
Anupam 🇮🇳《ミ》λ≡
@haskman@functional.cafe
mastodon 4.8.0-alpha.3+glitchFounder 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 against walled gardens"
#Haskell #Purescript #Rust #APL #FunctionalProgramming #Linux #Coffee #Robotics #3DPrinting #India #FOSS #Spanish #Japanese #Atheism
448 Followers
758 Following
3 Posts
Joined December 22, 2017
AJ's Corner:
Functional Programming India:
Github:
Open post
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
Category Theory for the Working Programmer - 1.0 - Prologue
7
2
8
0
Open post
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 be given a common male first name. अनुपम महासागर has a nice ring to it.
0
0
0
0