[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Proposal] The Formal Methods in GNU Guix Working Group
From: |
zimoun |
Subject: |
Re: [Proposal] The Formal Methods in GNU Guix Working Group |
Date: |
Fri, 21 Feb 2020 15:47:46 +0100 |
Dear,
Thank you for the explanations.
On Tue, 18 Feb 2020 at 12:17, Orians, Jeremiah (DTMB)
<address@hidden> wrote:
> Finally I'll have to convince my wife to let me spend $10K to implement the
> design in hardware using: https://libresilicon.com/
> (But at least I'll have plenty of free chips to share with the world)
Maybe I could try some sort of crowd funding...
All the best,
simon