@psilospore - Syed Jafri

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

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

@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.

It's possible to get a Haskell job, but you need to be creative. I got my #Haskell jobs through: 1st because my friend created a Haskell company 2nd via /r/haskell on Reddit 3rd by emailing a team lead directly 4th via Twitter 5th... Let's not talk about 5th 🥲

@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.

@devansood @pitdesi @shomikghosh21 What specifically can we improve for remote work? Confirming that’s there’s a workstation?

"You’ve got to start with the customer experience and work back to the technology — not the other way around. I’ve probably made this mistake more than anybody, and I’ve got the scar tissue to prove it." -Steve Jobs

"... 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…

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

I spoke with @psilospore about how he successfully advocated for #Haskell at his company. scalawilliam.com/advocating-has… #fp

I scored 5/6 on type-signature.com. Give it a shot! #Haskell

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

@todpunk It's probably overkill, true! What's a good alternative for something as the backbone for event sourcing?

Kafka's ecosystem is just awful. I know people use it for all this nonsense, but never let them tell you it's good at those things. It's a firehose, and nobody but LinkedIn uses it as a firehose. Instead, we're using forklifts to hand someone a bag of chips once in a while.

@dillontkearns @jfmengels @elmradiopodcast We use a custom-built one: github.com/Disco-Dave/elm…

On Monday @jfmengels and I are recording an @elmradiopodcast episode about different Elm Form packages. Do you have a favorite Elm Form API? Any that you've tried and hit a dead end or design that you didn't like? Or maybe you built a custom solution? I'd love to hear about it!

@mitchellsalad @acid2 witch makes this a bit easier

@acid2 Simple, use whatever the library you are using with decided on a decade ago, and convert between the two types endlessly, forever

Dunno how many years in Haskell I have now, but I still have no idea when to use a lazy bytestring or a strict bytestring.

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

@piq9117 Now everything just blends in together

Common rhetoric about remote work coming from remote resistant managers is that people will just forget about work, but from what I hear from people I know is it's the opposite. They forget about their life. Instead of "working from home", it's "living at work". 1/

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

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

@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.

@SidneyMiller2 Awesome! Haskell is a great talent magnet 🤓

OMG I get to build a Haskell team.

@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).

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.