Characterizing Intelligence with Elixir
0 likes583 views
The document discusses using Elixir and various tools like Dialyzer and Concuerror for building machine learning systems. It covers topics like ensemble models, feature generation, applying models, and testing concurrency issues. Dialyzer is used to check for type errors and behaviors like functions with no local returns. Concuerror finds concurrency errors by exploring possible process interleavings and checks for issues like processes blocked on receives. The document also briefly mentions building a model registry and reactive machine learning.
Characterizing Intelligence with Elixir
- 1. Characterizing Intelligence with Elixir Cmdr. Jeff Smith @jeffksmithjr
- 3. BEAM
- 4. E. Lixir
- 5. Dialyzer
- 10. Ensemble Models
- 12. Dialyzer Output ml_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())
- 13. Dialyzer Output ml_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()
- 14. Dialyzer Output ml_system.ex:38: Function ensemble/1 will never be called
- 15. Con-Q-Error
- 16. Possible Worlds
- 17. Model Registry
- 18. Public API
- 19. Server Callbacks
- 21. Con-Q-Error Output Interleaving #1 ----------------------------------------------------------------------------- Errors found: * Blocked at a 'receive' (when all other processes have exited): P.1 in gen_server.erl line 382 -----------------------------------------------------------------------------
- 24. Fixing the Model Registry
- 25. Technology Report BEAM E. Lixir Dialyzer Con-Q-Error
- 26. Reactive Machine Learning Use the code empctojs for 40% off!
- 28. Hyperlinks Dialyzer http://erlang.org/doc/man/dialyzer.html Concuerror http://concuerror.com/ Reactive Machine Learning http://www.reactivemachinelearning.com/ x.ai https://x.ai/
- 29. Boldly go