ndanilov

3 ms·

1. 1.▲
   by ndanilov 1y ago

   Author here. This is part of SPDK-based server code. Transportability outside of UNIX (mostly Linux) is entirely irrelevant. By the way, the global variables here are immutable after the initialisation, that's the point.
2. 2.▲
   by ndanilov 1y ago

   How to avoid memory barrier and synchronisation for dynamic initialisation of block-level static objects in C++.
3. 3.▲
   What Is Cosh(List(Bool))?(nikitadanilov.github.io)

   4 points by ndanilov 1y ago|0 comments
4. 4.▲
   A Secret Liouville's Theorem(cofault.com)

   1 points by ndanilov 2y ago|0 comments
5. 5.▲
   Long division verified via Hoare logic(cofault.com)

   114 points by ndanilov 2y ago|60 comments
6. 6.▲
   A History of Rectangle Area(cofault.com)

   3 points by ndanilov 2y ago|1 comments