Characterizing Intelligence with Elixir

29
Characterizing Intelligence with Elixir Cmdr. Jeff Smith @jeffksmithjr

Transcript of Characterizing Intelligence with Elixir

Page 1: Characterizing Intelligence with Elixir

Characterizing Intelligence with Elixir

Cmdr. Jeff Smith @jeffksmithjr

Page 2: Characterizing Intelligence with Elixir

Artificial Intelligence

Page 3: Characterizing Intelligence with Elixir

BEAM

Page 4: Characterizing Intelligence with Elixir

E. Lixir

Page 5: Characterizing Intelligence with Elixir

Dialyzer

Page 6: Characterizing Intelligence with Elixir

Ensemble Models

Page 7: Characterizing Intelligence with Elixir

Feature Generation

Page 8: Characterizing Intelligence with Elixir

Applying Models

Page 9: Characterizing Intelligence with Elixir

Parallel Function Mapping

Page 10: Characterizing Intelligence with Elixir

Ensemble Models

Page 11: Characterizing Intelligence with Elixir

Ensembling Models

Page 12: Characterizing Intelligence with Elixir

Dialyzer Outputml_system.ex:3: Function predict/1 has no local return ml_system.ex:6: The call 'Elixir.MLSystem':call_model_b(feature@1::number()) will never return since it differs in the 1st argument from the success typing arguments: (binary())

Page 13: Characterizing Intelligence with Elixir

Dialyzer Outputml_system.ex:22: Invalid type specification for function 'Elixir.MLSystem':call_model_b/1. The success typing is (binary()) -> binary() ml_system.ex:23: Function call_model_b/1 has no local return ml_system.ex:24: The call 'Elixir.String':upcase(feature@1::number()) will never return since the success typing is (binary()) -> bitstring() and the contract is (t()) -> t()

Page 14: Characterizing Intelligence with Elixir

Dialyzer Outputml_system.ex:38: Function ensemble/1 will never be called

Page 15: Characterizing Intelligence with Elixir

Con-Q-Error

Page 16: Characterizing Intelligence with Elixir

Possible Worlds

Page 17: Characterizing Intelligence with Elixir

Model Registry

Page 18: Characterizing Intelligence with Elixir

Public API

Page 19: Characterizing Intelligence with Elixir

Server Callbacks

Page 20: Characterizing Intelligence with Elixir

Testing with Con-Q-error

Page 21: Characterizing Intelligence with Elixir

Con-Q-Error OutputInterleaving #1 ----------------------------------------------------------------------------- Errors found: * Blocked at a 'receive' (when all other processes have exited): P.1 in gen_server.erl line 382 -----------------------------------------------------------------------------

Page 22: Characterizing Intelligence with Elixir

Con-Q-Error Output

Page 23: Characterizing Intelligence with Elixir

Con-Q-Error Output

Page 24: Characterizing Intelligence with Elixir

Fixing the Model Registry

Page 25: Characterizing Intelligence with Elixir

Technology Report

BEAM E. Lixir Dialyzer Con-Q-Error

Page 26: Characterizing Intelligence with Elixir

Reactive Machine Learning

Use the code

empctojs for 40% off!

Page 27: Characterizing Intelligence with Elixir

x.ai @xdotai [email protected]

Page 28: Characterizing Intelligence with Elixir

HyperlinksDialyzer http://erlang.org/doc/man/dialyzer.html

Concuerror http://concuerror.com/

Reactive Machine Learning http://www.reactivemachinelearning.com/

x.ai https://x.ai/

Page 29: Characterizing Intelligence with Elixir

Boldly go