Łukasz Lew
Łukasz Lew
It would be super hard for Ormulu to figure how to preserve alignment: (sorry, scrambled after the diff): ``` -igLkcrdYnsh s l = ntfa - [ "Ig" % K ....
If my 'open' hotkey is CTRL-o then pressing 'CTRL-o CTRL-o' (without enter) could switch the file to the last one open. This is similar to `cd -` command in Linux...
You wrote "the abstract algorithm seems to work fine with, for example, general recursion, so stratification is too restrict". Do you have an example of a term that's not stratified,...
Hey, I thought that it could really accelerate NN architecture research if we could create such a dataset. The biggest win is that wide array of researchers would be able...
Global pooling seems to be an important improvement. How about diagonal pooling - averaging network values over the diagonals. Perhaps an expensive idea, but might help for ladders. Another pooling...
It is possible to make the neural network predict not only a real number but also uncertainty around it. This is done by replacing typical L2 loss (i.e. log of...
In many quantization cases we would like to have a different type of the tensor and it's gradient cotanget. This is currently impossible: ``` import jax import jax.numpy as jnp...
Sometimes there are two moves in a row of the same color.
E.g. ``` #[typeshare] struct Id(uuid::Uuid); ``` would not add Uuid itself to type-shared types. Please advise.
Reproduction: ``` $ RUST_BACKTRACE=full typeshare --generate-config-file zz --lang=typescript --output-file=out.ts thread 'main' panicked at 'Failed to create new config file due to: values must be emitted before tables', /home/lew/.cargo/registry/src/github.com-1ecc6299db9ec823/typeshare-cli-1.6.0/src/main.rs:172:33 stack backtrace:...