GitHub - liaopeiyuan/zeta: functional neural networks in ocaml
functional neural networks in ocaml. Contribute to liaopeiyuan/zeta development by creating an account on GitHub.
functional neural networks in ocaml. Contribute to liaopeiyuan/zeta development by creating an account on GitHub.
27 March 2006Andrej Bauer, ,You may have heard at times that there are mathematicians who think that all functions are …
In this series of blog posts we will see how you can write your ReasonML apps with ReasonReact, GraphQL powered by Hasu…
Is the way we run services these days sustainable? The trusted computing base -- the lines of code where, if a flaw is …
GoalHave your domain served by OCaml-DNS authoritative name servers. Data is stored in a git remote, and let's encrypt …
The cover image is based on Jupiter family by NASA/JPL.
Diverting trains of thought, wasting precious timeSeven deadly sins of talking about “types”[Update: this article has…
_Cheat sheet for the full function syntax at the end_
The Coq system is a proof assistant. It is designed to build and verify mathematical proofs. The Coq system contains th…
Today I'd like to blog about the nicest proof of Kleene's theorem that regular expressions and finite automata are equi…