monads

6 ms·

1.
by monads 2y ago
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 Capst
2.
by monads 4y ago
Many thanks.
3.
by monads 4y ago
An interesting paper. Do you know books/papers to learn more about memory models?
4.
by monads 4y ago
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 very nat
5.
by monads 4y ago
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 fi
6.
by monads 4y ago
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 wi
7.
by monads 5y ago
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, incomprehensible.
8.
by monads 5y ago
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 som
9.
by monads 5y ago
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 similar impression when re
10.
by monads 10y ago
It still does not work on Fedora 24 :-(
11.
by monads 10y ago
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.
12.
by monads 10y ago
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