Computer scientist. PhDing at @eth. Formal verification, Language Models. Compiling Python to FP @OpShinDev. Ex-Founder.

ID: 923755284

linkhttp://blog.nielstron.de calendar_today03-11-2012 18:24:49