Elektrine lite

← Feed

NoCanDo

escape_velocity@functional.cafe

<p>Functional programming in lean and haskell among other things. Doing my PhD in CS. Feel free to ask me about asynchronous circuit design, metastability, and clocks.</p>

Posts

  • Post #4200330

    @0xabad1dea@infosec.exchange @0xabad1dea@infosec.exchange Concretely, &quot;I would be happy to accept that somehow that check is incorrectly implemented, and grateful for any details on what it does wrong.&quot; ---&gt; referred to the fact that Ramana used a version of the Nanoda kernel that predated a bug fix. But they didn&#39;t know that the bug fix had landed. But that&#39;s about the specifics of using different version of an external checker. It doesn&#39;t refer to Ramana not know...