globuous

1,340 karmajoined June 14, 2014On HN

Recent submissions

JupyterCAD – A JupyterLab extension for 3D geometry modeling github.com/QuantStack
4globuous3ydiscuss
An accessible introduction to type theory and implementing a type-checker mukulrathi.com
2globuous4ydiscuss

All submissions and comments on Hacker News.