I'm going to Scale By the Bay. Check it out! universe.com/events/5d1e3d8…

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

A detailed and thoughtful discussion about choosing a language for CS-1 teaching: medium.com/@drmarkclewis/…

A new version of our website is officially live! haskell.foundation

Issue 277 of #Haskell Weekly is out now! haskellweekly.news/issue/277.html

youtube.com/clip/Ugkxf9NM7…

OMG I get to build a Haskell team.

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…

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…

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

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

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

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…

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

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

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…

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…