metaprogram

3 ms·

1. 1.▲
   by metaprogram 2y ago

   I agree on the beauty of liquid types. I encourage HN to learn Sail, simply to get experience with liquid types. The Sail specification of RISCV is currently the only place where liquid types are used in industrial code. (There is Liquid H
2. 2.▲
   How to Design an ISA(queue.acm.org)

   9 points by metaprogram 3y ago|0 comments
3. 3.▲
   by metaprogram 5y ago

   Prophetic words from John von Neumann in 1955: "The carbon dioxide released into the atmosphere by industry's burning of coal and oil-—more than half of it during the last generation—may have changed the atmosphere's composi