SF Haskell & Functional Programming User Group

Bay Area Haskell & Functional Programming User Group.

[SF Haskell & Functional Programming User Group @sf_haskell]

Watch on #twitter 👇❤️ #agda #haskell #sfhaskell

[Salar Rahmanian @SalarRahmanian]

In January 2023, I had the pleasure of welcoming @codynamorph as our speaker @sf_haskell #meetup #sfhaskell with a talk: You got #Agda in my #Haskell? You can watch its recording right here on #twitter! Follow me for recordings of great tech content right here on #twitter!👇👇

[SF Haskell & Functional Programming User Group @sf_haskell]

@serokell @taylorfausak @ZuriHac @Tis00 This looks great!

[Serokell @serokell]

At @ZuriHac, our CEO Arseniy Seroka introduced our new Haskell certification program!

Currently, we support certification for two skill levels: basic and intermediate, with advanced being in the works.

More details on our website: https://t.co/vFom1NWsIE

[Tweag by Modus Create @tweagio]

. @FacundoDomngu12 recently improved the user experience for importing dependencies in Liquid Haskell codebases.

He tells you how in his new blog post

https://t.co/O1YNu9NTnq

[SF Haskell & Functional Programming User Group @sf_haskell]

If anyone is interested in a Nix meetup next week! :)

[Ron Efroni @ronefroni]

Bay Area Nixing & Mixing, Nix Meetup on June 23rd
We'll also be doing an INTRO to Nix session.
Whether you’re just getting started with Nix or have years of experience, we’d love for you to join us for an afternoon of learning and community.
RSVP - https://t.co/n6mosCt3Tq
#nixos

[Salar Rahmanian @SalarRahmanian]

Scala Center sprees are coming to the Bay Area all on 9th-10th June ! Get excited 👇🎉🌁🌉👇 cc @SethTisue @akmetiuk @ambantis 🙏 @sfscala @scalabase @ScaleByTheBay #scala #SanFrancisco @scala_lang 👇👇👇

[Salar Rahmanian @SalarRahmanian]

#scala talk by @NicolasRinaudo tomorrow online! Hope to see everyone! 👇

[Graham Hutton @haskellhutt]

Haskell folks - interested in joining the Haskell Foundation Board? There is currently an opening for up to four new members. Application deadline: 1st March 2023. https://t.co/yzgyT2ByM0

[Flavio @FlavioCorpa]

Hey, new blog just dropped, and it came with a new post also! 🙌🏻 Special thanks to @RobertWPearce and @domenkozar for their help! 😉 https://t.co/SPhxoGCuMo

[Haskell Foundation @haskellfound]

Nominations to the HF Board are due by the end of the month: https://t.co/5hTjkofWRZ

If you don't think of yourself as the kind of person who would be on the HF board, but you have a sincere desire to help the Haskell community, please consider self-nominating.

[Nicolas Rinaudo @NicolasRinaudo]

I was not aware this was primarily a Haskell meetup before agreeing to it, and now fully expect not to survive the experience.

[SF Haskell & Functional Programming User Group @sf_haskell]

It gives us great pleasure to welcome #scala community very own @NicolasRinaudo to #sfhaskell with the talk: Things that are things, but not other things. Full details 👇 event will be online timezone friendly for all in USA Europe. #functionalprogramming https://t.co/atWQO2w7zI

[Graham Hutton @haskellhutt]

Interested in learning Haskell? My introductory and advanced courses are available on YouTube, with new videos added each week as the courses progress (intro: https://t.co/rk0n19cV3q, advanced: https://t.co/lhR9vV3BW9). Now with subtitles!

[Matt Parsons @mattoflambda]

incredibly pleased to announce that @prodhaskell is done!

big thanks to @bendotk for the wonderful cover art (generated by Haskell, of course)

[gabby @GabriellaG439]

I got nerd-sniped into rewriting the abandoned terraform-nixos project, so I spent my Friday evening creating terraform-nixos-ng

There will be an announcement blog post coming up soon, but feel free to kick the tires on it before then:

https://t.co/L66D3QcsHA

[SF Haskell & Functional Programming User Group @sf_haskell]

It gives us great pleasure to welcome @codynamorph to @sf_haskell #sfhaskell #meetup with an awesome talk: Who got some #Agda in my #Haskell? This event is both USA and EUROPE Timezone friendly online! RSVP and see everyone there! Full details👇👇 https://t.co/DErHNsiEnf

[SF Haskell & Functional Programming User Group @sf_haskell]

Watch on #twitter 👇❤️

[Salar Rahmanian @SalarRahmanian]

You can now watch the awesome talk: Beginner-friendly introduction to Free Monads by @ChShersh that I hosted @sf_haskell right here on #twitter! Follow me for recordings of great tech content by me and the best speakers from the #meetup I organize. #Haskell #fp #sfhaskell

[SF Haskell & Functional Programming User Group @sf_haskell]

Any #haskell developers who use #nix on #macos can you help @domenkozar 👇���🙏👇

[Domen Kožar @domenkozar]

I've posted a summary here: https://t.co/8Bme87Bjqi

[Salar Rahmanian @SalarRahmanian]

#scaladays 2023 #seattle and #madrid #cfp call for papers: https://t.co/8scN8J408a excited ! 🎉👏🍾😎👇 #scala

[Graham Hutton @haskellhutt]

The introductory and advanced Haskell courses that I teach in Nottingham are now linked in from from the Haskell website :-) https://t.co/UGUwhWG2ov