Stories by danny00

How to Make Double Wheels Wooden Crossbowfishing

Levity Polymorphism

Flat 2.0 and How It Solves Flat Design’s Usability Problems

Monte is a nascent dynamic programming language reminiscent of Python and E

HDD Areal Density Growth Slows as Capacity Increases

Exploring the “Expression Problem” in Rust

Japanese Data Center Starts Eel Farming Side Hustle

Smaller chips, bigger packages, even bigger headaches (2021)

Structured (Synchronous) Concurrency

Microsoft Chooses Exotic “Topological Qubits” as Future of Quantum Computing

Researchers See Twinkle of Promise in Diamond Transistors

Putting Gradual Types to Work

Geometric Algebra – The Matrix Representation of a Linear Transformation

Worlds: Controlling the Scope of Side Effects [pdf]

Investigate better protocols than 9p

Familia: Unifying Interfaces, Type Classes, and Family Polymorphism [pdf]

Bool true/false can be replaced with an enum

Smart References: There and Back Again

After 150 years, we should finally redesign the computer keyboard

1 2 3 4 5 6 7