Stream: Miscellaneous

Topic: adventofcode.com/2022


view this post on Zulip Anders Larsson (Nov 09 2022 at 19:11):

Soon it's time for: https://adventofcode.com/2022
Is there anyone that have tried to use Coq in Advent of Code? Or any proof system related language?

view this post on Zulip Karl Palmskog (Nov 09 2022 at 19:26):

view this post on Zulip Anders Larsson (Nov 09 2022 at 19:32):

Inspiring to see it's been done. Haven't tried AOC before, but people around me are getting excited about it. And it would be a nice Coq practice.

view this post on Zulip Huỳnh Trần Khanh (Dec 01 2022 at 02:15):

:rooster:

view this post on Zulip Huỳnh Trần Khanh (Dec 01 2022 at 02:15):

It's time!

view this post on Zulip Huỳnh Trần Khanh (Dec 01 2022 at 07:55):

:eyes: are there Coq folks doing this?

view this post on Zulip Anton Golov (they/them) (Dec 01 2022 at 08:39):

I've never done IO in Coq, but I might give it a try if there's any days that seem particularly relevant ^^

view this post on Zulip Anders Larsson (Dec 06 2022 at 19:58):

Or one just assigns a string constant. It's just one example string and one input string per program anyway.


Last updated: Jun 01 2023 at 13:01 UTC