From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id sOhMH/+P9l5YYQAA0tVLHw (envelope-from ) for ; Sat, 27 Jun 2020 00:17:03 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id YAk/G/+P9l7MZgAAB5/wlQ (envelope-from ) for ; Sat, 27 Jun 2020 00:17:03 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id D92FB9400E1 for ; Sat, 27 Jun 2020 00:17:02 +0000 (UTC) Received: from localhost ([::1]:41582 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1joyWj-0006ag-Hm for larch@yhetil.org; Fri, 26 Jun 2020 20:17:01 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:58012) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1joyWD-0006DT-B4 for guix-devel@gnu.org; Fri, 26 Jun 2020 20:16:30 -0400 Received: from mail-oi1-x236.google.com ([2607:f8b0:4864:20::236]:43136) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1joyWB-00087o-6a for guix-devel@gnu.org; Fri, 26 Jun 2020 20:16:29 -0400 Received: by mail-oi1-x236.google.com with SMTP id x83so1967709oif.10 for ; Fri, 26 Jun 2020 17:16:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=asu-edu.20150623.gappssmtp.com; s=20150623; h=content-transfer-encoding:from:mime-version:subject:date:message-id :references:cc:in-reply-to:to; bh=WCYw2NVDY6d4wOHoZdlW95Tf6h8oZwDTDznuUvxc3Co=; b=oNSiOlNUEcK0hwZ0ar9t7kxsezNeNaLV1AhEiOGwWvt3ZHBKoanU8aP1JizGgI5roO EixbnxoziA2oRMMcoPoDirBq3PnF6AaO7micBBBzvdr6EYzenl/kJh3xYL8J7KCDPsO5 kBZaCNq2S1Xx1bszTp0tgWmPwbPS+7wQdU2tzgzM95IAgHF6z9lvzAjVTwPcopfn5HxD LBVk1NcUGMNF1Lwg/Ws2bWvXX3Mj1IoETZzaHNcu3OEV0V8nwPFWYBtUQ/K7Au3UZ0ez 2wPg+9fhkUyic9S15+x1en0+L84gq4AR38NJRpLDOU2Ttn0tdwl84Lz96aKEvt9JL5yY 4GhQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:content-transfer-encoding:from:mime-version :subject:date:message-id:references:cc:in-reply-to:to; bh=WCYw2NVDY6d4wOHoZdlW95Tf6h8oZwDTDznuUvxc3Co=; b=DlGN0McrtCIwiNEFfudParbEVBoYm7cKirc7mlpdZC0xrTvweTfYS+3N7hcVo5B/Wx FiLMI5DoXkEXEL0iOgggpCgPrHBRAekxeCIGt9Nf8snz5I3OKbwZKpnrIyMsmnxhOqDz ohXnXGmtdE8opcXIJoyQqbZ+kuArEwvee6kIDvBMCLuuv/oEQey+hl775WzdMvzWYYS/ 0rua3JZJVP8xHbVdF2eRuwxrglKurvzpf3LjUu1fHNQ8iZmBlOfwph+T66U0Ts/OX1EJ WdVITa94H04SzKEoNOCBm9e4jmuCG0zA3wctuLTFC5cLFcnoSPU0RjqOCr/73CzYhgij j/FA== X-Gm-Message-State: AOAM532uzKxBb9Y+AWWqNGuO1E2XJOhYgBO3DcRvNEPlLr+Vq8xSvCJJ +Qm+AtTaua2qP4NJyinQtdAXFPVLjxE= X-Google-Smtp-Source: ABdhPJwq7zlTEUTHpV4ZJosalyB5t5qmAxPQ06C/HKYXQWBw8qhUnzqAEZZz4gRNc+s8bb7gTtb/Hw== X-Received: by 2002:aca:6708:: with SMTP id z8mr4435518oix.96.1593216984111; Fri, 26 Jun 2020 17:16:24 -0700 (PDT) Received: from ?IPv6:2600:1700:83b0:8bd0:3064:e5fd:fecf:f958? ([2600:1700:83b0:8bd0:3064:e5fd:fecf:f958]) by smtp.gmail.com with ESMTPSA id k7sm6774859oon.29.2020.06.26.17.16.22 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 26 Jun 2020 17:16:23 -0700 (PDT) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable From: John Soo Mime-Version: 1.0 (1.0) Subject: Re: Returning to the project Date: Fri, 26 Jun 2020 17:16:22 -0700 Message-Id: <7461B0E1-0CFF-4C62-BE92-9F0496535DFE@asu.edu> References: <04d0baf90ed7955cf5f93eeddcd40fee@posteo.net> In-Reply-To: <04d0baf90ed7955cf5f93eeddcd40fee@posteo.net> To: brettg@posteo.net X-Mailer: iPhone Mail (17F80) Received-SPF: pass client-ip=2607:f8b0:4864:20::236; envelope-from=jsoo1@asu.edu; helo=mail-oi1-x236.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Guix devel Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=asu-edu.20150623.gappssmtp.com header.s=20150623 header.b=oNSiOlNU; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=asu.edu (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -0.61 X-TUID: ld6a8hM5tQVP Hey welcome back Brett! I was hopeful about the formal methods working group! Also all your work on t= he MLton toolchain was very interesting. I don=E2=80=99t think any work has b= een done on those since you left off :) Good to see you, - John=