Valentin Churavy
Valentin Churavy
cc: @aviatesk Noteworthy difference is: ## `--check-bounds=auto` ``` %69 = < concrete eval > typeintersect(::Core.Const(SVector),::Core.Const(StaticArray{Tuple{1}, T, 1} where T))::… (+c,+e,+n,+t,+s,+m,+i) ``` ## `--check-bounds=false` ``` %69 = < constprop > typeintersect(::Core.Const(SVector),::Core.Const(StaticArray{Tuple{1},...
It might be interesting implementing the cli piece in rust, especially if we are going to parse some TOML files to figure out which libraries to load.
@Mike43110 Optimizers don't require CUDA backends. What kind of genetic algorithm would you like to add?
@TravisA9 can you open a second issue with the encoding issue and post a small example, the error log, and if possible a reduced example?
Can you post the log where "invalid character index" get's thrown? It would help narrow it down if it is a mxnet or MxNet.jl problem.
That now segfaults
It doesn't need to be a KA type, we could imagine a backend (IPU?) that doesn't use KA. We are simply declaring a name for this function here. For packages...
> I guess my issue is that I don't understand what this function is supposed to do. It returns the `parent_job` to pass to `tape_type`. `tape_type(parent_jov_for_tape_type(...), ...)`
> But similarly then I'd want to undertand what args are legal for the context and what they mean Sadly we can't dispatch on modules, we could use `Val(:CUDA)` or...
> But in that case, why have this here and not KA. The question is indeed who owns the extension. For me the extension is owned by Enzyme since AD...