A trustworthy, free (libre), Linux capable, self-hosting 64bit RISC-V computer

The best multicore-parallelization refactoring you’ve never heard of∗

Decision Diagrams for Optimization

Developing Blockchain Use Cases for CMU Coin

How to Catch When Proxies Lie

On the Turing Completeness of MS PowerPoint

Distributed systems readings

Nah Lock: A Lock-Free Memory Allocator

Analysis of Boolean Functions