🏠
Working from home
Chun Tian
binghe
Common Lisp programmer and HOL proof engineer
Australian National University Canberra, Australia
Mariano Montone
mmontone
Interactive programming environments are the way to go. Smalltalk, Emacs, Common Lisp.
La Plata, Buenos Aires, Argentina
evilbinary
evilbinary
Programmer,Also interested in compilers, 3D graphics, music, electronics, deep learning, robotics and DIY.
duck China