내가 좋아할 만한 콘텐츠
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
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…
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 Monday 42.8K posts
- 2. #MondayMotivation 7,947 posts
- 3. Harada 10K posts
- 4. #JungkookxRollingStone 57.4K posts
- 5. #OrmxHausNowhereBKK 587K posts
- 6. Victory Monday N/A
- 7. Tekken 24.1K posts
- 8. ORM HAUS NOWHERE GOP 570K posts
- 9. #MondayVibes 2,729 posts
- 10. MAGICAL WITH WILLIAMEST 223K posts
- 11. #CentralRama9xWilliamEst 250K posts
- 12. Chiefs 121K posts
- 13. Orm Kornnaphat 32.6K posts
- 14. Mahomes 44.5K posts
- 15. Proverbs 5,785 posts
- 16. John Lennon 9,802 posts
- 17. Texans 51.8K posts
- 18. namjoon 76.3K posts
- 19. Immaculate Conception 9,531 posts
- 20. Kelce 26.6K 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.