你可能會喜歡
Watch on #twitter 👇❤️ #agda #haskell #sfhaskell
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: certification.serokell.io
. @FacundoDomngu12 recently improved the user experience for importing dependencies in Liquid Haskell codebases. He tells you how in his new blog post tweag.io/blog/2023-06-2…
If anyone is interested in a Nix meetup next week! :)
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 - eventbrite.com/e/nixos-summer… #nixos
eventbrite.com
NixOS Summer Bay Area Meet
Celebrating a summer of Nix! Join us to dive into the realm of Nix/NixOS, meet other community members and just hang out! + Intro to Nix
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 👇👇👇
🇺🇸The Scala Center team is coming to the US West Coast in June with TWO Scala Sprees! Seattle 5th June and SF 9th-10th June. Local OSS maintainers are welcome to propose their projects for the Spree and contributors – to sign up! More info and sign up: github.com/scalacenter/sp…
#scala talk by @NicolasRinaudo tomorrow online! Hope to see everyone! 👇
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 meetu.ps/e/LTpRj/tYfRk/i
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. tinyurl.com/29b8fbxy
Hey, new blog just dropped, and it came with a new post also! 🙌🏻 Special thanks to @RobertWPearce and @domenkozar for their help! 😉 flaviocorpa.com/haskell-for-el…
Nominations to the HF Board are due by the end of the month: discourse.haskell.org/t/2023-call-fo… 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.
I was not aware this was primarily a Haskell meetup before agreeing to it, and now fully expect not to survive the experience.
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 meetu.ps/e/LTpRj/tYfRk/i
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 meetu.ps/e/LTpRj/tYfRk/i
Interested in learning Haskell? My introductory and advanced courses are available on YouTube, with new videos added each week as the courses progress (intro: tinyurl.com/haskell-notts, advanced: tinyurl.com/haskell-notts2). Now with subtitles!
incredibly pleased to announce that @prodhaskell is done! big thanks to @bendotk for the wonderful cover art (generated by Haskell, of course)
Production Haskell is complete! In the next few days, you'll be able to find hard copies on Amazon leanpub.com/production-has…
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: github.com/Gabriella439/t…
github.com
GitHub - Gabriella439/terraform-nixos-ng: Terraform modules for NixOS and spiritual successor to...
Terraform modules for NixOS and spiritual successor to the terraform-nixos project - Gabriella439/terraform-nixos-ng
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👇👇 meetup.com/bay-area-haske…
Watch on #twitter 👇❤️
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
Any #haskell developers who use #nix on #macos can you help @domenkozar 👇🙏🙏👇
I've posted a summary here: github.com/NixOS/nixpkgs/…
github.com
A call for Darwin maintainers · Issue #145230 · NixOS/nixpkgs
We'd really benefit from better coordination around fixing darwin/macOS packages. We have darwin-maintainers team which is currently 7 members. If you'd like to join the team, we're loo...
#scaladays 2023 #seattle and #madrid #cfp call for papers: papercall.io/scala-days-2023 excited ! 🎉👏🍾😎👇 #scala
The introductory and advanced Haskell courses that I teach in Nottingham are now linked in from from the Haskell website :-) tinyurl.com/3cz6jat2
United States 趨勢
- 1. Good Wednesday 23.9K posts
- 2. Mariah 34.1K posts
- 3. #wednesdaymotivation 1,431 posts
- 4. Knicks 83.7K posts
- 5. #sphx N/A
- 6. Hump Day 7,717 posts
- 7. #MightyNeinSpoilers 1,911 posts
- 8. Buck Rogers 4,802 posts
- 9. Gil Gerard 4,741 posts
- 10. #TAEHYUNGxCELINE 68.4K posts
- 11. NBA Cup 68.1K posts
- 12. Thug 25.5K posts
- 13. UNLAWFUL 15.2K posts
- 14. Robert E Lee 10.3K posts
- 15. Josh Hart 7,355 posts
- 16. thalia 3,032 posts
- 17. Thea 14.6K posts
- 18. #NewYorkForever 4,972 posts
- 19. Brunson 26.2K posts
- 20. Kolek 12.2K posts
你可能會喜歡
-
Dmitrii Kovanikov
@ChShersh -
gelisam
@haskell_cat -
Tikhon Jelvis
@tikhonjelvis -
Csaba Hruska
@csaba_hruska -
Tom Sydney Kerckhove
@kerckhove_ts -
Serokell
@serokell -
Chris Smith
@cdsmithus -
John A De Goes
@jdegoes -
Evolu
@evoluhq -
James Brock
@jamesdbrock -
Functional Programming India 🇮🇳《ミ》λ≡
@FunctionalIndia -
Journal of Functional Programming
@journal_of_fp -
Dad×2_jack
@Iceland_jack
Something went wrong.
Something went wrong.