Pinned Tweet
New addresses:
@ppurang@mastodon.social
@ppurang@chaos.social
ppurang@cohost (cohost.org/ppurang)
Piyush Purang retweeted
Shout out to all the workers at Twitter. You all built a vital place for connection and deserved so much better.
Millions of people appreciate the space you built and the hard work that went into it. Thank you 💙
Piyush Purang retweeted
This is a worth reading definition of "monads" used in different contexts arxiv.org/pdf/1803.10195.pdf
Go Carbon! Ooops #golang #CarbonLang #google
Disclaimer: This is very toungue-in-cheek. Neither langs get my vote of confidence. Better alternatives exist. Couldn't resist the wordplay.
Piyush Purang retweeted
You could use our work on relational nullable types! dl.acm.org/doi/10.1145/34854…
Read his books.
Richard Bird's obituary is now online on The Guardian's website: theguardian.com/technology/2…
Don't fear expressive type systems. They are your friends. "Expressive" type system is the key here. They might not solve all ur prblms but by golly do they go far. #scala #haskell #purescript #rust #ocaml #idris etc. Also look into proof assistants/formal proof mgmt systems.
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
Wait, what? news.ycombinator.com/item?id… Correctness is so overrated ... 😂 Good friends don't let other friends use #golang. There are many better alternatives.
Piyush Purang retweeted
Richard Bird passed away last night, after a long illness. He was hugely influential in FP, including Haskell, and in MPC. He will be remembered for the elegance of his work and his writing. He was also my supervisor, my colleague, and my friend, and I will miss him greatly.
Piyush Purang retweeted
The Russian state is saying it is not killing civilians. That is a lie. This morning in Kyiv I saw it with my own eyes.
Yes, exactly this. Pragmatism is another such word.
Piyush Purang retweeted
We've had an uptick in usage in Eastern Europe & rumors are circulating that Signal is hacked & compromised. This is false. Signal is not hacked. We believe these rumors are part of a coordinated misinformation campaign meant to encourage people to use less secure alternatives.
Piyush Purang retweeted
It is the right decision! I can’t imagine playing a match with the Russian National Team in a situation when armed aggression in Ukraine continues. Russian footballers and fans are not responsible for this, but we can’t pretend that nothing is happening.
Piyush Purang retweeted
.@ZelenskyyUa's tv address to the Russian (!) people might be the most moving speech that I've ever seen in my entire life. The whole world needs to see, understand and share this crucial Ukrainian message.
#StandWithUkraine #Ukraine #Україна #Russia #Россия