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