@psilospore - Syed Jafri

PhD Student at the University of Vermont and Software Engineer.
I like Functional Programming. I mosly write Haskell these days.

[quinn @qd_forall]

Today, we're releasing Proving the Coding Interview on arxiv and huggingface. We believe FVAPPS is currently the largest formal verification benchmark, consisting of leetcode-style problems in @leanprover.
https://t.co/06ZHkqZgET

[FAR.AI @farairesearch]

🛡️State-of-the-art ML systems lack quantitative performance guarantees, limiting use in high-stakes domains. Towards Guaranteed Safe AI presents a framework for high-assurance safety in complex environments using a Safety Specification that is Verified against a World Model.

[@psilospore - Syed Jafri @psilospore]

@ChShersh It does seem that there are more opportunities for Haskell roles since the pandemic. It's certainly not as healthy as a job market compared to other languages, but I think a motivated person could have a good chance at finding a role now.

[@psilospore - Syed Jafri @psilospore]

@bchesky @devansood @pitdesi @shomikghosh21 If there's multiple work stations and level of quality would be helpful. I was traveling with a friend and we had to go through over 300 listings that had a "workstation". Most of them were pretty inadequate and we only found 2 that had at least 2 workstations.

[Dmitrii Kovanikov @ChShersh]

"... when we posted a [Haskell] job description, and ended up generating far more applicants than we expected, many of which were very high quality. We could have easily staffed 2-3 more teams than we needed to with good candidates."

Always nice to hear😌
https://t.co/jeQEoMTHCG

[Serokell @serokell]

Want to introduce Haskell to your company but don't know where to start?

Find tips in our interview with @psilospore, who managed to successfully pitch and introduce Haskell at @gocaribou:

https://t.co/GagFHhN84s

[ScalaWilliam! @ScalaWilliam]

I spoke with @psilospore about how he successfully advocated for #Haskell at his company.
https://t.co/PPbPNC1aAx #fp

[@psilospore - Syed Jafri @psilospore]

I scored 5/6 on https://t.co/Bhd8WG9YAJ. Give it a shot! #Haskell

[@psilospore - Syed Jafri @psilospore]

@masaldaan @todpunk MessageDB is great. It's a thin wrapper over postgres.

[@psilospore - Syed Jafri @psilospore]

@dillontkearns @jfmengels @elmradiopodcast We use a custom-built one: https://t.co/uwWZMok5wF

[@psilospore - Syed Jafri @psilospore]

@mitchellsalad @acid2 witch makes this a bit easier

[@psilospore - Syed Jafri @psilospore]

One of the best sci-fi series I've seen since Battlestar Galactica. I have been impressed by the originality of the show. It's pretty weird and I could never guess what would happen next. It doesn't deserve to be canceled. #RenewRaisedByWolves

[@psilospore - Syed Jafri @psilospore]

@piq9117 Now everything just blends in together

[Mama saurus rex🦖 @SidneyMiller2]

DRUMROLL PLEASE: Three Haskell roles open Sr, Mid and Associate! This is a greenfield build that the ENGINEERS chose the language to build in. Yes its possible to have that kind of impact here at @gocaribou DM's Open! Apply here: https://t.co/PYKP4hsNgv

[Mama saurus rex🦖 @SidneyMiller2]

Here we go! If you work with ELM and Haskell please RT and share! The second role focusing on Backend Haskell work is on its way! #ELM #Haskell @gocaribou https://t.co/PYKP4hsNgv

[@psilospore - Syed Jafri @psilospore]

@commandodev @SidneyMiller2 I can vouch for this. I've noticed a huge difference in our ability to attract great talent just by advertising that we are using Haskell.

[Mama saurus rex🦖 @SidneyMiller2]

OMG I get to build a Haskell team.

[@psilospore - Syed Jafri @psilospore]

https://t.co/oGFKC4x0z1

[@psilospore - Syed Jafri @psilospore]

https://t.co/3vdrpoqztB

[@psilospore - Syed Jafri @psilospore]

Our team at @gocaribou is hiring for a DevOps Engineer who also has experience with #haskell. This role could be 25% Haskell with a focus on developer experience and tooling and 75% DevOps. This position can be remote, or in the DC, Austin, or Denver offices.

[@psilospore - Syed Jafri @psilospore]

@gocaribou For both of those positions if you do get in contact with recruiting make sure to reference the Insurance team (that's the team that uses Haskell).