Platform-based design (current) Rocket (web framework) Linear operator Software prototyping 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