Stories by danny00

Paxos Made Parallel

The Hooks and Anchors Design Pattern

A Sequent Calculus for Type Theory [pdf]

Producing milk from yeast that looks and tastes like cow's milk

Categorical Data Structures for Technical Computing

Relations are hard to model in category theory

Jape (Software)

Beyond inductive datatypes: exploring Self types

Intel's Pat Gelsinger on 'Super Moore's Law,' Making Multi-Billion Dollar Bets

Set Theoretic Programming

Intersection Type

Sedel – A Type System for First-Class Traits

Implicit Overflow Considered Harmful, and how to fix it

Researchers Create New CasFET Design for Next-Generation Transistors

Kioxia's New XL-NAND SSDs to Compete with Intel's Optane

List of Model Checking Tools

Programming with Implicit Values, Functions, and Control

Extended attributes: the good, the not so good, the bad

Faster: A Concurrent Key-Value Store with In-Place Updates [pdf]

VSTa

2
3
4
5
6
7