In my previous job, I've worked on a project that requires disassembling large amounts of x86/amd64 instructions (several billion instructions each running is very common). I've found also that Zydis is much faster than…
Many thanks.
An interesting paper. Do you know books/papers to learn more about memory models?
A lot of thanks for your feedback. I actually criticise the illusion (that the book and the series bring) that the category theory is "the ultimate source" of motivation in FP languages. On one hand, it's direct (and…
I will get down-vote for sure but it's trivial this book and also the series "category theory for programmers". It's actually not very far from the content of several first pages of any book on set theory or logics. I…
Agree. It's difficult to guess the definition of "exist" while reading it. The phrase > ...accepting the existence of the reals means that there are numbers that exist but can never be described ...we can never interact…
Yes, I think metaphors are used to put the formal definition of computation monads into some concrete situations (for getting intuition). But "too many bad metaphors" will make monads something mysterious,…
The definition of computation monads (in sense of Moggy) is simple, but not trivial. It's deep since it generalizes many computation "phenomena": side effects, exceptions, etc. Conceptually, a "pure" function is…
I fairly agree with this. I still wonder how the author visualizes irrational numbers, exponential functions, etc. and more importantly, proves some (even simple) theorems with this kind of visualization. I have a…
It still does not work on Fedora 24 :-(
After my experience, it run smoothly on Linux. I followed the guide at http://www.monodevelop.com/ to install mono, then F#; monodevelop is also a good IDE but personally I use spacemacs with F# layer.
Location: Grenoble/France Remote: No Willing to relocate: Yes (ideally in France or EU) Technologies: C/C++, OCaml, Reverse Engineering. Résumé/CV: http://www-verimag.imag.fr/~tat/ (with my updated CV) Github:…
In my previous job, I've worked on a project that requires disassembling large amounts of x86/amd64 instructions (several billion instructions each running is very common). I've found also that Zydis is much faster than…
Many thanks.
An interesting paper. Do you know books/papers to learn more about memory models?
A lot of thanks for your feedback. I actually criticise the illusion (that the book and the series bring) that the category theory is "the ultimate source" of motivation in FP languages. On one hand, it's direct (and…
I will get down-vote for sure but it's trivial this book and also the series "category theory for programmers". It's actually not very far from the content of several first pages of any book on set theory or logics. I…
Agree. It's difficult to guess the definition of "exist" while reading it. The phrase > ...accepting the existence of the reals means that there are numbers that exist but can never be described ...we can never interact…
Yes, I think metaphors are used to put the formal definition of computation monads into some concrete situations (for getting intuition). But "too many bad metaphors" will make monads something mysterious,…
The definition of computation monads (in sense of Moggy) is simple, but not trivial. It's deep since it generalizes many computation "phenomena": side effects, exceptions, etc. Conceptually, a "pure" function is…
I fairly agree with this. I still wonder how the author visualizes irrational numbers, exponential functions, etc. and more importantly, proves some (even simple) theorems with this kind of visualization. I have a…
It still does not work on Fedora 24 :-(
After my experience, it run smoothly on Linux. I followed the guide at http://www.monodevelop.com/ to install mono, then F#; monodevelop is also a good IDE but personally I use spacemacs with F# layer.
Location: Grenoble/France Remote: No Willing to relocate: Yes (ideally in France or EU) Technologies: C/C++, OCaml, Reverse Engineering. Résumé/CV: http://www-verimag.imag.fr/~tat/ (with my updated CV) Github:…