HerrmannM

5 ms·

1.
by HerrmannM 2y ago
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 remember.The final result was beautiful but I dread opening an
2.
by HerrmannM 4y ago
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 or Rust" dilemma. As the language guy, I was asked
3.
by HerrmannM 5y ago
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 part too -- obtaining good data is always har
4.
by HerrmannM 6y ago
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. Life simply does not have the machinery to build 1-methyl-3’
5.
by HerrmannM 7y ago
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
6.
by HerrmannM 7y ago
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 compiler will defined the default constructors -- at least
7.
by HerrmannM 7y ago
All right, thank you for the feedback!
8.
by HerrmannM 7y ago
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? For the sanitizers, I had a look at the one from goo
9.
Ask HN: Ressources to update old C++ skills
8 points by HerrmannM 7y ago|7 comments
10.
by HerrmannM 7y ago
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 wonder why/how did they get so big.
11.
by HerrmannM 7y ago
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?
12.
Ask HN: Are design patterns still a thing?
13 points by HerrmannM 7y ago|8 comments
13.
by HerrmannM 7y ago
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... "Sure, but can you do python" Well, I definitel
14.
by HerrmannM 7y ago
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 really the point, and I definitely did not make an example wit
15.
by HerrmannM 7y ago
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!
16.
by HerrmannM 7y ago
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 so much Ekdohibs). However, there is for sure an imple
17.
by HerrmannM 7y ago
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 everything. Can you point me to a list of the interacti
18.
Show HN: Eole, a Lévy-optimal lambda calculus evaluator written in Rust(github.com)
106 points by HerrmannM 7y ago|9 comments