308 karma · joined October 10, 2013
We’re looking for MLOps and DevOps engineers to join us in building the software-defined, data-driven factory of the future. We love using modern tools tools like terraform, kubernetes, kubeflow, and dbt (to name a few) to automate our our workflows and allow data scientists to train, deploy and monitor models that make production decisions on the factory floor every single day. If this sounds interesting to you, head on over to https://grnh.se/25b640213us so we can get in touch.
It goes without saying though that supporting the open source core (and the core developers) would also go a long way.
Important tangent, mushroom’s ability to absorb elements of its environment is a strong case for eating only organic mushrooms from known sources. Heavy metals like lead and mercury have been found in edible mushrooms from questionable sources.
You can easily try and overlay county parcel data into google earth and see how many features don’t align with the sat imagery.
So... a hypothesis?
Thanks but no thanks
The more important design choices here have to do with 1) Typed assembly languages (rather than untyped assymbly languages) 2) Type directed translation (rather than syntax directed translation) 3) The ability to reason about the correctness of each step of the translation as the program is gradually lowered from SML to assembly.
For more on the typed assembly language work, check out the work of Morissett and Harper that came out of CMU (specifically the TIL / TAL parts of the ConCert project). The XML type system was developed a little bit before that by Harper and Lillibridge. The general idea of a language being a mathematical object with an elaboration and a semantics where you can reason about progress and preservation at each step is a result of the vision of Robin Milner (there’s a good overview here http://homepages.inf.ed.ac.uk/stg/Milner2012/R_Harper-html4-...)
Auth0 can be used that way but with some work. It really shines when you want to build saas that requires user login. Auth0 is worth every penny (priced by active logins) but I’d be hard pressed to spend 4$ per user if I’m building a consumer saas (but 4$ per employee login is reasonable).