http://ave1.org/2018/gnat-zero-foot-print-take-2-no-c/ Tue, 06 Oct 2020 17:02:56 +0000 http://polimedia.us hourly 1 http://ave1.org/2018/gnat-zero-foot-print-take-2-no-c/#comment-116 Loper OS » “Finite Field Arithmetic.” Chapter 11: Tuning and Unified API. Thu, 03 Jan 2019 16:56:29 +0000 http://ave1.org/?p=136#comment-116 [...] and glibc-free GNAT. On top of this, at the time of this writing, he is also working on a entirely delibraryized GNAT, which will produce compact and deterministic — i.e. smoothly hand-auditable [...] [...] and glibc-free GNAT. On top of this, at the time of this writing, he is also working on a entirely delibraryized GNAT, which will produce compact and deterministic — i.e. smoothly hand-auditable [...]

]]> http://ave1.org/2018/gnat-zero-foot-print-take-2-no-c/#comment-54 Some Branching Troubles on Existing V Trees « Ossasepia Tue, 07 Aug 2018 13:56:48 +0000 http://ave1.org/?p=136#comment-54 [...] best way to use Keccak hashes as part of his own V implementation and Arjen (ave1) has released a zero foot print (ZFP) library that is delightfully effective at eliminating bloat. And on top of all this, V itself is moving [...] [...] best way to use Keccak hashes as part of his own V implementation and Arjen (ave1) has released a zero foot print (ZFP) library that is delightfully effective at eliminating bloat. And on top of all this, V itself is moving [...]

]]>