coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Fred Smith <fsmith1024 AT gmail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Puzzle: NYC Guys
- Date: Sat, 5 Nov 2016 13:47:24 -0400
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fsmith1024 AT gmail.com; spf=Pass smtp.mailfrom=fsmith1024 AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua0-f179.google.com
- Ironport-phdr: 9a23:T3W69xPYVra7qW9GTu0l6mtUPXoX/o7sNwtQ0KIMzox0K/v7rarrMEGX3/hxlliBBdydsKMezbuP+Pm4ACRAuc/H6y9SNsQUFlcssoY/oU8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0IufrymUt2as8Pi3OervpbXfg9ghTynYLo0Ig/lgx/Ws5w4m4ZuYp00ywfJ6i9GYOFX2WMxfQjPtxn578a0upVk9nID6Loa68dcXPCiLOwDRrtCAWF+Pg==
Attached is my naive brute force solution. I have not tried to clean this up. So this is the unvarnished result of interactively solving this puzzle with little to no preplanning.
Its been fun watching solutions trickle in.
Unfortunately the solution is too long and the server won't accept it. So I have attached a the gzipped version in the hopes that it will get through.
Cheers,
Fred
On Mon, Oct 17, 2016 at 1:53 AM, Ricky Elrod <ricky AT elrod.me> wrote:
On 09/27/2016 06:31 AM, Fred Smith wrote:
> I didn't want to spoil the fun. Haven't shared my solution yet.
I'd be interested in seeing your solution. :-)
Ricky
Attachment:
nyc_guys.tar.gz
Description: GNU Zip compressed data
- Re: [Coq-Club] Puzzle: NYC Guys, Fred Smith, 11/05/2016
- <Possible follow-up(s)>
- Re: [Coq-Club] Puzzle: NYC Guys, Alex Shkotin, 11/26/2016
Archive powered by MHonArc 2.6.18.