Stories by danny00

I Turned MIT Award Winning Toroidal Propeller into a PC Fan

Cooperative vs. Preemptive: a quest to maximize concurrency power

Beyond static and dynamic scope [pdf]

Lenient evaluation is neither strict nor lazy

(When) Will Property-Based Testing Rule the World? [pdf]

Platform Cooperative

Modernizing File System Through In-Storage Indexing

Professional File System

If Apple Were a Worker Cooperative, Each Employee Would Earn at Least $403K

Lua in the Kernel?

Is This Truly a Maintenance-Free House?

Pie Menu Generator

Control Strip

Awesome-Terminals

Maple Trees

The Move Borrow Checker

BbLean

A Type System for First-Class Recursive ML Modules

What Is Structured Concurrency?

Tripos

1
2
3
4
5
6
7