@psilospore - Syed Jafri (@psilospore) 's Twitter Profile
@psilospore - Syed Jafri

@psilospore

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

ID: 360339872

linkhttps://stackoverflow.com/story/psilospore calendar_today23-08-2011 02:00:25

53 Tweet

84 Takipçi

785 Takip Edilen

Heather Miller (@heathercmiller) 's Twitter Profile Photo

Slides from my keynote at AI by the Bay #bythebay: speakerdeck.com/heathermiller/… TLDR; Lots more newcomers to software dev than we all realize. +App development is now more piecing together OSS components than ever before. = We should care more about mentorship & OSS communities

Mama saurus rex🦖 (@sidneymiller2) 's Twitter Profile Photo

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 Caribou boards.greenhouse.io/caribou/jobs/5…

Mama saurus rex🦖 (@sidneymiller2) 's Twitter Profile Photo

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 Caribou DM's Open! Apply here: boards.greenhouse.io/caribou/jobs/5…

@psilospore - Syed Jafri (@psilospore) 's Twitter Profile Photo

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

Serokell (@serokell) 's Twitter Profile Photo

Want to introduce Haskell to your company but don't know where to start? Find tips in our interview with @psilospore - Syed Jafri, who managed to successfully pitch and introduce Haskell at Caribou: serokell.io/blog/haskell-i…

Dmitrii Kovanikov (@chshersh) 's Twitter Profile Photo

"... 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😌 serokell.io/blog/haskell-i…

FAR.AI (@farairesearch) 's Twitter Profile Photo

🛡️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.

🛡️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.
Quinn Dougherty (@qd_forall) 's Twitter Profile Photo

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 Lean. huggingface.co/datasets/quinn…

nader dabit (@dabit3) 's Twitter Profile Photo

Talking "Chainable Components" with Paul Gray on @devchattv - If you're interested in an alternative to the render props / HOCs, this is an awesome idea and I'm excited to see its progression 👇 github.com/pfgray/chainab…