Viewing profile — HerrmannM

I have a love-hate relationship with LaTeX... in 2016, I wrote my PhD with it, for wich I defined lots of helpers and commands.I used xetex for some obscure reasons I don't remembe…

2014 Story Time, when I was a phd student working on programming languages (apologies for my broken English, non native speaker here). The multidisciplinary lab I was in had a "Go …

Great work! I'm curious about what could be achieved in this space in the future. I'm curious about why you cannot share the GTA5 mod and collection script? I'm curious about that …

Taken from the article (probably after an update): Many people have asked, could viruses also use the Ψ technique to beat our immune systems? In short, this is extremely unlikely. …

In the end, I went for - Principles and Practice Using C++ by Stroustrup, covering C++11:14 - C++17 - The Complete Guide by Nicolai M. Josuttis - using CLion

Going back in time; good tip! I don't fully trust my actual knowledge of C++03, I always fear to get bitten by all the implicit things happening in the background (like how the com…

All right, thank you for the feedback!

Thanks for sharing! I'll be sure to check that book. Even if CMake is basically a defacto standard, I have a CMake trauma... Do you have experience with things like Scons/Ninja? Fo…

Hi All! I used to do some C++ 10 years ago. I now have to work on some new projects that will require C++. I know that C++ evolved a lot. Without being after all the new features, …

It was not the best class ever, for sure! That's an interesting link, I never saw that way. Probably because how I learn them too, i.e. a mandatory thing to know. Now I mostly wond…

I did a bit of haskell, but not that much. From what I could see, it was more about stack of monads and compositions... Can you elaborate a bit?

When I learned C++ 10 years ago, we had a textbook basically teaching C++ through design patterns. I remember them to be mentioned quite regularly, including in job offers. Nowaday…

Sort of same kind of experience. I presented myself as a problem solver, with algorithmic skills and a deep understanding of language's principles as this is my research area... "S…

Joke aside, it is supposed (I have some interesting bugs at the moment) to be an evaluator for the pure lambda calculus. So, I guess you can encode monads in it, but that is not re…

Of course not, monads are so 20th century... The October 2019 way is to only work with stacks of TripleZippersInvertedStateTransformerLens, and I know you know it!

A tricky beast indeed! No, the formal proof is a work in progress, so I'm also looking for counter-examples. And since posting on hackernews, someone found some problems (thank you…

I'm glad you find interest in this work. Thank you for the links, I did not know we could do computation with... chemistry! As I'm not familiar with that, I do not understand every…