Software prototyping (current) Crystal polymorphism Solid modeling Chinese input method Models of disability Weight function Kernel Transaction Manager Boolean algebra (logic) Physics processing unit No. 1 Wing AAC SWLABR Open letter on artificial intelligence (2015) Gadget (machine instruction sequence) Net zero LinuxTag Plancherel theorem