aboutccvisual

Jacky mailed the world. I sent a

cc

2023

• A Lambda Calculus With Coroutines and Heapless, Directly-Called Closures February 18

2022

• Simple Refinement of Anonymous Sum Types in Pattern Matches November 26

• Why Don't More Languages Offer Flow Typing? April 1

2021

• Emulating the Lambda Calculus in TypeScript's Type System July 28

• Type Inference for Sound and Complete Flow Typing June 28

• Strictly Annotated: A Pretty-Printer With Support for Annotations June 17

• A Flying Tour of Kan Extensions April 27

• Representability, Coproducts, and Reflective Subcategories April 2

• A Simple Language With Flow Typing January 21

• Hot Code Reloading, with libc or in the browser January 7

2020

• Pattern Matching With a Typechecker December 27

• Impact vs Innovation & Industry vs Academia December 1

• Heterogeneity in Volunteering September 21

• On Understanding May 16

• Beauty April 16

• Scaling Up March 29

• Satellites February 29

• Apathy February 3

2019

• Analog Algorithms December 30

• Seeing the Big Picture December 16

• Spacing of Square Roots November 25

• Approximation With Interpolating Polynomials November 15

• Texas Carbon October 26

• Type Folding and Options October 3

• Equivalence Matters September 2

• "Smart" Is Not a Good Word July 18

• Over-Engineering a Code February 28

2018

• The Case of the Missing Alcohol Proton February 27

• Rust's Great Interoperability February 7

2017

• What Causes That Ephemeral Facial Flush December 30

• Exploiting Chirality to Create Generic Counterparts September 13

• A Heuristic Approach to Calculating Geometric Medians August 22

2016

• The Relationship Between Dilution and Dissociation December 7