karols

4 ms·

1. 1.▲
   by karols 8mo ago

   Location: Bratislava/Slovakia Remote: Yes Willing to relocate: No Technologies: Rust, Erlang/Elixir, Distributed Systems, Performance sensitive systems, Linux, ... Résumé/CV: https://www.linkedin.com/in&#x2F
2. 2.▲
   by karols 8y ago

   They are computationally equivalent. Except that you can't typecheck actor calculus (since you can send anything to an actor) but you CAN typecheck pi calculus (channels).
3. 3.▲
   by karols 11y ago

   It's not entirely that bad in CL: (locally (declare (optimize (safety 3))) (defun list-int-p (list) (every #'integerp list)) (deftype list-int () `(satisfies list-int-p)) (defun xxx (list) (declare (type li
4. 4.▲
   by karols 12y ago

   For modelling to work generally (in most/all domains), you need some underlying paradigm all these models can be translated into. For excel, it's grid based dataflow, (for example, you can call it differently). I saw you tried dat