Author of the PL XYZ (name is still to be defined, also I`m extremely late compared to what I was expecting, and it`s quite possible there`s at least one year of work before I can release something). At marathon my time is 5:30, that`s far from a world record. I plan longer trails (60 km seems feasible for now) after I have made public the version 0.0 of the language. Machine Learning: Favourite Techs: Haskell, C++14, Python 3, PostgreSQL, NixOs Linux, Zsh/Bash/Perl, XMonad. Photography/Graphical Arts: , Author-Composer: , Interests: Language Design, Categorial and Linear logic, Type Theory, Artificial Intelligence, Design Patterns, Lambda Calculus, Web Design, Pi Calculus, Pattern Calculus, Digital Signal Processing, Test Driven Development, Software Craftsmanship Everyday experience: C++, Python, Haskell Practicing: Perl, Cython/CPython, Machine Learning, Scikit-Learn Used: C, C#, Xml, Regex, Sql, Javascript, Win32, Mfc, Com/Atl, Stl, Design Patterns, MsXml, Wpf, C++/Cli, Html, Java, Soap, Sql Server, Http, Boost C++, Xaml, Xslt, Xschema, Xpath, Bash, Powershell, VB Practiced: R, Elixir, Erlang, Elm, F#, AngularJS, jQuery, Html5, Css, Svg, Web Audio Api, Underscore.js, Node.js, Octave Small memories of: Prolog, Oz/ML, Pict and Nomadic Pict Wish to learn: Agda, Idris, Coq, Rebol/Red Language Love: English, Deutsch, Español, French (mother tongue), Esperanto (though I no longer practice since at least 10 years, this language is beautiful) Learning: ä¸æ–‡ (Chinese), 日本語 (Japanese) Wish to learn (one day... if possible, or at least some basics elements for calligraphy): Korean, Arabic, Mongolian, Russian, Dutch/Nederland, Italian, Sanskrit, and a bit of Tibetan... let`s see.
Profile ©