**Pete Gamache** @pete@gamache.org · Dec 04, 2022, 23:18

**Pete Gamache** @pete@gamache.org · Dec 04, 2022, 23:18

I’ve been doing #AdventOfCode in #Gleam this year. So far, it’s been a slightly-more-tedious #Elixir. Can’t wait to learn where Gleam has advantages for a problem. https://github.com/gamache/advent2022/tree/main/src

**ocschwar** @ocschwar@qoto.org · 2022-12-05T05:19:27Z

ocschwar @ocschwar@qoto.org

@pete doing it in Lean. Two days behind as a result now.

**Pete Gamache** @pete@gamache.org · Dec 05, 2022, 13:00

**Pete Gamache** @pete@gamache.org · Dec 05, 2022, 13:00

Pete Gamache @pete@gamache.org

@ocschwar I was hoping you'd follow through on your threat!

**ocschwar** @ocschwar@qoto.org · Dec 05, 2022, 15:25

**ocschwar** @ocschwar@qoto.org · Dec 05, 2022, 15:25

ocschwar @ocschwar@qoto.org

@pete I'm pretty psyched, actually. I'm finally starting to get Haskell mindset