coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Is this provable? (I'll give you credit and beer/dessert)

From: "jonikelee AT gmail.com" <jonikelee AT gmail.com>
To: Derek Dreyer <dreyer AT mpi-sws.org>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Is this provable? (I'll give you credit and beer/dessert)
Date: Sat, 10 Oct 2020 14:19:53 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jonikelee AT gmail.com; spf=Pass smtp.mailfrom=jonikelee AT gmail.com; spf=None smtp.helo=postmaster AT mail-qt1-f171.google.com
Ironport-phdr: 9a23:XC4r1RE2zupZUg20zBlfi51GYnF86YWxBRYc798ds5kLTJ76p82+bnLW6fgltlLVR4KTs6sC17OJ9f27EjVZut6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vLhi6twXcu8cZjYd/N6o8xAbCr2dVdehR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/YTQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhSEaPDMi7mrZltJ/g75aoBK5phxw3YjUYJ2ONPFjeq/RZM4WSXZdUspUUSFKH4GyYJYVD+cZM+hWr5fzqUYNoxS8CwmiA+zgxSNHiHLtwa030f4sHR3c0QA8Ad4DtmnfotXvNKcVVOC41KfEzTfEb/NQ2Df965bHchQ/rv6SRr9wfs/RxlMuFwPBlFmftYvlPzab2u8QtGWb7e1gVeSui24ktQ5xpiagydk3h4nGg4Ia0FHE9SFjzIkpIt24TVd2bNi5G5Rfqy+ULZF5Qt8+Q252oiY6zKULtJG0ciUF1ZkqxxzSZvyafoSW/B/uVuafLDh7iX54Zr+zmQq//FavxODhSsS50EhGoyRFnNfMq3wByQHe58eJRPZ740yv1zGP1wXJ5eFFJ0A5jbfbK4Q6zbEqkJocrEXDETPqmEX3i6+WcF8r+vKo6uj9frrmoZqcOolpgQ/9KqQjgtKzDfg8PwQUXGWW+f6w2KDi8EHlWrlGk/87nrTBvJzEJMkXurO1DgpI3osn9xmyCjir3dUEkXUbKV9IdgyIgojsNlzNI/30EeuzjlG2nzhwyfDGMLjsApvTIXXDnrfseKhy5FBBxAc8y91U+ohaBasbIP3pX0/8rNzYAQE9Mwyz2+vnDc9y1oIaWW6WG6+ZLL7evUaG5u4yIeSAeZUZuDn6K/gi6P7uiWE2lUUBcqmu2JsbcHG4HvJ4LEWFeXfgnMsNHGMQsgc9TOHmkkCOXD9Pa3qoQq4x5Cw3BJqjDYjZR4CthLKB3D28Hp1Tfm1GCFeMEXHpd4WHRfgMbDydLdF6nzwLULiuUY4h1RW0uADmzLpnK/LY+jcEupL7yNh1++rTmAku+jxzFsSRyn2CT2VpnmwTXDI2x6B+oUllyliZy6R4gvpYFcZS5/xTSAs6O4TcnKRGDIXeVxjMfZ+lUlu3T8/uVT0rQ8M82fcLe0c4AMq5yBfZ0Hz5LaUSkunBBpsy86HR23X8D8l4wnfCkqImihNuFslIM2yli6py+iDcAofIlwOSkKP8JvdU5zLE6GrWlTnGh0pfSgMlFPydBSlDNHuTlszw4wb5d5HrEa4ua1ITxsuLK68MYdrs3w0fGaXTfe/Gamf0oF+eQBaFwrTWMtjvcmQZmTzBUQ0Kyl9Ku3mBMgc6C2GqpGeMVGU/R2KqWFvl9KxFkF3+S0Y1yw+QaEg4jui6/xcUgbqXTPZBh78=

On Sat, 10 Oct 2020 19:23:44 +0200
Derek Dreyer <dreyer AT mpi-sws.org> wrote:

> FYI: I don't think Talia was complaining: nerd sniping is fun. I
> sometimes nerd-snipe myself.
>
> https://www.urbandictionary.com/define.php?term=Nerd%20Sniping
>
>
> Derek
>

There's an urban phrase for that? I was thinking of it as "getting
Collatzed".

-- Jonathan

Re: [Coq-Club] Is this provable? (I'll give you credit and beer/dessert), (continued)