Advent of Code 2020, Day 25 [Spoilers]

This page summarizes the projects mentioned and recommended in the original post on /r/haskell

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • aoc2020

    Advent of Code 2020 Solutions (by aaronallen8455)

  • here is my solution for reference https://github.com/aaronallen8455/aoc2020/blob/main/src/TwentyFive.hs.

  • aoc-2020

    My Haskell solutions to Advent of Code 2020 (by amalloy)

  • You don't have to implement expMod yourself, because multiplication under a modulus has a semigroup/monoidal structure, and stimes handles that for you. I'm a little fuzzy on a type-correct way to do it that's flexible on the modulus, since really the modulus should be a type parameter rather than a value parameter to ensure it's the same across all multiplications. But for a fixed modulus, as in this puzzle, it's quite easy. My solution looks like:

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • aoc2020

    Haskell Solutions to Advent of Code 2020 (by haskelling)

  • Video walkthrough and code repo.

  • aoc2020

    Advent of Code 2020 (by pwm)

  • My solution: https://github.com/pwm/aoc2020/blob/master/src/AoC/Days/Day25.hs

  • explorations

    Miscellaneous explorations and ephemera. (by derifatives)

  • I didn't use the "discrete logarithm" concept and just brute forced it, but my code takes a few seconds to run (and is also much more beginner Haskell-y): https://github.com/derifatives/explorations/blob/master/advent_of_code/2020/day_25.hs

  • I also solved this in a similarly lazy (heh) way and while it's not very fast it's acceptable.

  • advent2020

    Advent of Code 2020 Haskell Solutions (by glguy)

  • Can anyone understand how hack() works here: https://github.com/glguy/advent2020/blob/master/execs/Day25.hs ?

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts