My name is David A. R. Robin. I am currently studying computer science and mathematics at École Normale Supérieure, in Paris. I’m always looking for new opportunities, so if you have a project that could use my help, feel free to send me a message, I’ll be glad to join in.
Ideology
I believe in simplicity, modularity, and efficiency.
Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away.
I also have a strong interest for formally verified software, statically-typed compiled languages, and generally abide by the Unix Design Principles.
Workflow
I write mostly in Crystal and C, respectively for front-end and back-end, but usually start with a very rough prototype in Ruby or even Bash, until I can figure out exactly what I want to build. I then write the specifications, mostly in the form of automated tests, and refactor my way from the prototype to an acceptable architecture in a safer language.
This approach, sometimes called Test-driven development, forces modularity in the long run while still allowing early use of the software through the prototype. On top of that, it makes refactoring a lot easier, provided the tests work as expected, and the resulting modular code is thus easy to optimize once the bottlenecks have been properly identified.