home.social

#programmingchallenges — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #programmingchallenges, aggregated by home.social.

  1. So, the "Cure" for your programming woes is here, where #Erlang and #Idris have a love child that dances on the #BEAM. 🎉 It's like they decided what developers really need is more dependent types and less convenience. 😅 Enjoy the 12 whole library modules, because who doesn't love a challenge? 📚👷‍♂️
    cure-lang.org/ #dependentTypes #programmingChallenges #programmingNews #HackerNews #ngated

  2. So, the "Cure" for your programming woes is here, where #Erlang and #Idris have a love child that dances on the #BEAM. 🎉 It's like they decided what developers really need is more dependent types and less convenience. 😅 Enjoy the 12 whole library modules, because who doesn't love a challenge? 📚👷‍♂️
    cure-lang.org/ #dependentTypes #programmingChallenges #programmingNews #HackerNews #ngated

  3. So, the "Cure" for your programming woes is here, where #Erlang and #Idris have a love child that dances on the #BEAM. 🎉 It's like they decided what developers really need is more dependent types and less convenience. 😅 Enjoy the 12 whole library modules, because who doesn't love a challenge? 📚👷‍♂️
    cure-lang.org/ #dependentTypes #programmingChallenges #programmingNews #HackerNews #ngated

  4. So, the "Cure" for your programming woes is here, where #Erlang and #Idris have a love child that dances on the #BEAM. 🎉 It's like they decided what developers really need is more dependent types and less convenience. 😅 Enjoy the 12 whole library modules, because who doesn't love a challenge? 📚👷‍♂️
    cure-lang.org/ #dependentTypes #programmingChallenges #programmingNews #HackerNews #ngated

  5. 🎄 Advent of Code 2025: Now with 50% less content because who needs challenge or fun in their puzzles? 🧩😴 Eric Wastl continues his public service of ensuring programmers have one less excuse to dodge real work during the holiday season. 🎅💻
    adventofcode.com/2025/about#fa #AdventOfCode2025 #LessContent #ProgrammingChallenges #HolidayCoding #FunWithPuzzles #HackerNews #ngated

  6. 🎄 Advent of Code 2025: Now with 50% less content because who needs challenge or fun in their puzzles? 🧩😴 Eric Wastl continues his public service of ensuring programmers have one less excuse to dodge real work during the holiday season. 🎅💻
    adventofcode.com/2025/about#fa #AdventOfCode2025 #LessContent #ProgrammingChallenges #HolidayCoding #FunWithPuzzles #HackerNews #ngated

  7. 🎄 Advent of Code 2025: Now with 50% less content because who needs challenge or fun in their puzzles? 🧩😴 Eric Wastl continues his public service of ensuring programmers have one less excuse to dodge real work during the holiday season. 🎅💻
    adventofcode.com/2025/about#fa #AdventOfCode2025 #LessContent #ProgrammingChallenges #HolidayCoding #FunWithPuzzles #HackerNews #ngated

  8. 🎄 Advent of Code 2025: Now with 50% less content because who needs challenge or fun in their puzzles? 🧩😴 Eric Wastl continues his public service of ensuring programmers have one less excuse to dodge real work during the holiday season. 🎅💻
    adventofcode.com/2025/about#fa #AdventOfCode2025 #LessContent #ProgrammingChallenges #HolidayCoding #FunWithPuzzles #HackerNews #ngated