Sibi Prabakaran

Interested in Maths, Haskell, PL theory.

[Merlin @TheWizardTower]

Reminder that I'm looking for a new role.

I'm an experienced infrastructure engineer. I've worked with Kubernetes, Terraform, Postgres, AWS, with some Azure and GCP as well.

I've also done a lot of valuable work as a backend engineer, having worked primarily in Haskell and Rust, though I've also gotten my hands dirty with Python, some Go, C++, and a bit of TypeScript.

I've also had the privilege of being a public speaker, and have also lead training seminars for peers on how to use different tools, sharp edges to avoid, and getting them to a functional mental model of how things work quickly, so they can start to ask meaningful questions and debug problems on their own.

I take ownership quickly, care deeply about reliability, correctness, and delivering quality service to customers. I say this up-front because this comes with a number of downsides, including:

* I dislike shoddy work, buggy code, leaky abstractions, or flaky services. "Don't let the perfect be the enemy of the good" is fine and well, but tech debt brings an aggressive drag coefficient to your business, and that fact gets swept under the rug far too often.
* I don't optimize for shipping a ton of code quickly. I tend to be on the lower end of lines of code/sprint, and I'm not terribly keen on changing that. I write code to be maintainable, have clear invariants, be easy to refactor as business needs change, be easy to debug, and to quietly work while you're focus is elsewhere.

I'm also a quick study, and have a long history of getting spun up quickly on the new parts of a stack I encounter at the various roles I've filled over the years.

If this sounds like a good fit, please do drop me a line. I'd love to talk about how I can make your life better.

https://t.co/E09B5Chxhw

[Michael Snoyman @snoyberg]

Absurd Rust? Never! A blog post on bottom types, non-terminating functions, Infallible, and the never type (!), with a decent sprinkling of Haskell too. https://t.co/OFylQdK9cP

[Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg]

Rust adopted many of the good parts of FP (immutability, ADT, pattern matching, higher order functions and lambdas) and left away the parts like Kleislis and categories - @snoyberg (paraphrased)

[FP Block @FP_Block]

If an L1 halts, your dApp halts with it. Kolme apps don’t. External chains can fail without taking down your core product.

Ready to see @snoyberg demo it tomorrow?

[Michael Snoyman @snoyberg]

Reflections on Haskell and Rust by @psibi for @fpblockchain https://t.co/qM1rZYeI7S

[Sibi Prabakaran @psibi]

Just took five years to get it merged: https://t.co/hSIzCOAeO0 :-)

[Michael Snoyman @snoyberg]

I'm looking for a Rust developer to join the team at @FPComplete working on backend server code and smart contracts. Initial project work will be focused on the Decentralized Finance (DeFi) space. Please share with people you think would be interested! https://t.co/IzZCTFGS2P

[Michael Snoyman @snoyberg]

My Best and Worst Deadlock in Rust https://t.co/B4zoUGaI69

[Michael Snoyman @snoyberg]

On the down side: this little detail about recursive read locks resulted in a subtle deadlock in production code.

On the bright side: parking_lot's deadlock detection code pointed us to exactly the line of code responsible!

Props to @psibi for figuring all this out :)

[Sibi Prabakaran @psibi]

@denibertovic @snoyberg Finally found some time to implement it: https://t.co/gykeA6Bzzi

[Sibi Prabakaran @psibi]

At work, @snoyberg and I wrote the pid1 crate to simplify container deployments: https://t.co/ePejI4Jpqu

[Sibi Prabakaran @psibi]

@denibertovic @snoyberg Cool. It is trivial to implement it via numeric id. I will see if I can get it done in the upcoming days.

[Sibi Prabakaran @psibi]

@denibertovic @snoyberg Thanks! Do you prefer passing the id as uid (numeric) or user string ? Looks like that the Haskell one uses String.

[Sibi Prabakaran @psibi]

Converted my summary on the Rust book to use mdbook: https://t.co/uKyLVRxjrR

[Sibi Prabakaran @psibi]

New post on my experience maintaining the #terraform client for Emacs's lsp-mode: https://t.co/B7USHYG8Tb

[xmonad @xmonad]

xmonad and xmonad-contrib 0.17.1 are out!

https://t.co/rMOlUujfQV

[Sibi Prabakaran @psibi]

New release of justl.el with more integration of Emacs's compile workflow. More details here: https://t.co/IeWwiNq9df

[Divya Kathiresan @Divya_Sibi]

Ganesh Chaturthi celebration at our home🙏🏼

#GaneshChaturthi2022 #GaneshChaturthi

[Satnam Singh @satnam6502]

I keep coming across people who think anything that can’t be learned in a one day hackathon to be not worth knowing. Sorry to be the bearer of bad news, but some very valuable ideas take a bit of time and significant effort to study and understand. Not everything has a shortcut.

[gabby @GabriellaG439]

This interactive LR parsing tutorial is really well done:

https://t.co/sruQje4ZR7