from Hacker News

globuous

joined 6/14/14, 11:40 AM has 1337 karma

• JupyterCAD – A JupyterLab extension for 3D geometry modeling

  by globuous on 6/14/23, 7:08 AM, with 0 comments

• An accessible introduction to type theory and implementing a type-checker

  by globuous on 12/28/21, 7:04 PM, with 0 comments