mikolaj/horde-ad issues and pull requests

#100 - Represent transpose of Delta as rewrite rules

Issue - State: open - Opened by Mikolaj almost 2 years ago - 3 comments
Labels: help wanted

#100 - Represent transpose of Delta as rewrite rules

Issue - State: open - Opened by Mikolaj almost 2 years ago - 3 comments
Labels: help wanted

#99 - Add `trev`, `tfwd` to `Tensor`&Co

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 1 comment

#99 - Add `trev`, `tfwd` to `Tensor`&Co

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 1 comment

#98 - Don't use rule (D) for AstAppend and let simplification pass through

Issue - State: open - Opened by Mikolaj almost 2 years ago - 7 comments
Labels: help wanted

#98 - Don't use rule (D) for AstAppend and let simplification pass through

Issue - State: open - Opened by Mikolaj almost 2 years ago - 7 comments
Labels: help wanted

#97 - Vectorize and AD code that transforms tensors of Double and tensors of Float

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 1 comment
Labels: help wanted, postpone

#97 - Vectorize and AD code that transforms tensors of Double and tensors of Float

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 1 comment
Labels: help wanted, postpone

#96 - Simplify ForwardDerivative and buildDerivative

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 1 comment
Labels: help wanted, postpone

#96 - Simplify ForwardDerivative and buildDerivative

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 1 comment
Labels: help wanted, postpone

#95 - Add a sharing mechanism to Ast terms

Issue - State: open - Opened by Mikolaj almost 2 years ago - 33 comments
Labels: help wanted

#95 - Add a sharing mechanism to Ast terms

Issue - State: open - Opened by Mikolaj almost 2 years ago - 33 comments
Labels: help wanted

#94 - Define a Tensor instance that does the fast forward derivative computation

Issue - State: open - Opened by Mikolaj almost 2 years ago
Labels: postpone

#94 - Define a Tensor instance that does the fast forward derivative computation

Issue - State: open - Opened by Mikolaj almost 2 years ago
Labels: postpone

#93 - Ban numeric literals that result in ambiguous shape

Issue - State: open - Opened by Mikolaj almost 2 years ago
Labels: postpone

#93 - Ban numeric literals that result in ambiguous shape

Issue - State: open - Opened by Mikolaj almost 2 years ago
Labels: postpone

#92 - Merge rev and srev functions without requiring the user to write more type application

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 1 comment
Labels: help wanted

#92 - Merge rev and srev functions without requiring the user to write more type application

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 1 comment
Labels: help wanted

#91 - Vectorize AstBuild (AstConstInt), which corresponds to tbuild (tfromIndex0)

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 23 comments
Labels: help wanted, postpone

#91 - Vectorize AstBuild (AstConstInt), which corresponds to tbuild (tfromIndex0)

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 23 comments
Labels: help wanted, postpone

#90 - Deduplicate InterpretAst instances into a single polymorphic set of functions

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 29 comments
Labels: help wanted

#90 - Deduplicate InterpretAst instances into a single polymorphic set of functions

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 29 comments
Labels: help wanted

#89 - Vectorize AstScatter

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 9 comments
Labels: help wanted

#89 - Vectorize AstScatter

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 9 comments
Labels: help wanted

#88 - Make assertEqualUpToEpsilon show the correct line number

Issue - State: open - Opened by Mikolaj almost 2 years ago
Labels: help wanted

#88 - Make assertEqualUpToEpsilon show the correct line number

Issue - State: open - Opened by Mikolaj almost 2 years ago
Labels: help wanted

#87 - Investigate "‘p0’ is untouchable" that derails type reconstruction

Issue - State: open - Opened by Mikolaj almost 2 years ago
Labels: help wanted

#87 - Investigate "‘p0’ is untouchable" that derails type reconstruction

Issue - State: open - Opened by Mikolaj almost 2 years ago
Labels: help wanted

#86 - Generate random Tensor (and Boolean and Integral) programs

Issue - State: open - Opened by Mikolaj almost 2 years ago - 1 comment
Labels: help wanted

#86 - Generate random Tensor (and Boolean and Integral) programs

Issue - State: open - Opened by Mikolaj almost 2 years ago - 1 comment
Labels: help wanted

#85 - Decide: Desugard vs keep (generalized) dot operator through vectorization?

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 4 comments
Labels: help wanted

#85 - Decide: Desugard vs keep (generalized) dot operator through vectorization?

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 4 comments
Labels: help wanted

#84 - Vectorization rule tracing

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 2 comments

#84 - Vectorization rule tracing

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 2 comments

#83 - The 2 remaining vectorization cases

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 17 comments
Labels: help wanted

#83 - The 2 remaining vectorization cases

Issue - State: closed - Opened by Mikolaj almost 2 years ago - 17 comments
Labels: help wanted

#82 - Higher-order functions in the API?

Issue - State: open - Opened by tomsmeding almost 2 years ago - 4 comments

#82 - Higher-order functions in the API?

Issue - State: open - Opened by tomsmeding almost 2 years ago - 4 comments

#81 - Include GHC.Nat-indexed lists by Tom Smeding

Pull Request - State: closed - Opened by Mikolaj about 2 years ago - 18 comments

#80 - Add a fusion trasformation partially inverse to vectorization

Issue - State: open - Opened by Mikolaj about 2 years ago - 5 comments
Labels: help wanted

#80 - Add a fusion trasformation partially inverse to vectorization

Issue - State: open - Opened by Mikolaj about 2 years ago - 5 comments
Labels: help wanted

#79 - Future work: vectorize using rugged tensors (irregular arrays) and/or Blelloch's flattening

Issue - State: open - Opened by Mikolaj about 2 years ago - 7 comments
Labels: postpone

#79 - Future work: vectorize using rugged tensors (irregular arrays) and/or Blelloch's flattening

Issue - State: open - Opened by Mikolaj about 2 years ago - 7 comments
Labels: postpone

#78 - Add disparity cost volume example

Pull Request - State: closed - Opened by benl23x5 about 2 years ago - 4 comments

#78 - Add disparity cost volume example

Pull Request - State: closed - Opened by benl23x5 about 2 years ago - 4 comments

#77 - Extend Tran tests of her conv2d gradients to QuickCheck

Pull Request - State: closed - Opened by Mikolaj about 2 years ago - 1 comment

#77 - Extend Tran tests of her conv2d gradients to QuickCheck

Pull Request - State: closed - Opened by Mikolaj about 2 years ago - 1 comment

#76 - Use a generics library to convert from nested records to nested tuples

Issue - State: open - Opened by Mikolaj about 2 years ago
Labels: help wanted

#75 - Piece together a new README from Andrew's version and other's comments

Pull Request - State: closed - Opened by Mikolaj about 2 years ago - 2 comments
Labels: documentation

#75 - Piece together a new README from Andrew's version and other's comments

Pull Request - State: closed - Opened by Mikolaj about 2 years ago - 2 comments
Labels: documentation

#74 - test: conv2d ad vs manual dInp and dKrn

Pull Request - State: closed - Opened by tranma about 2 years ago - 3 comments

#74 - test: conv2d ad vs manual dInp and dKrn

Pull Request - State: closed - Opened by tranma about 2 years ago - 3 comments

#73 - Generalize HordeAd.External.Adaptor from [a] to Traversable a and also to MonoTraversable

Issue - State: open - Opened by Mikolaj about 2 years ago
Labels: enhancement, help wanted

#73 - Generalize HordeAd.External.Adaptor from [a] to Traversable a and also to MonoTraversable

Issue - State: open - Opened by Mikolaj about 2 years ago
Labels: enhancement, help wanted

#72 - Port orthotope to arbitrary underlying type of tensors (think MLIR)

Issue - State: open - Opened by Mikolaj over 2 years ago
Labels: help wanted

#72 - Port orthotope to arbitrary underlying type of tensors (think MLIR)

Issue - State: open - Opened by Mikolaj over 2 years ago
Labels: help wanted

#71 - Add an untyped ArrayFire backend and benchmark it vs hmatrix

Issue - State: open - Opened by Mikolaj over 2 years ago
Labels: help wanted

#71 - Add an untyped ArrayFire backend and benchmark it vs hmatrix

Issue - State: open - Opened by Mikolaj over 2 years ago
Labels: help wanted

#70 - in case of a failed floating point comparison assertion: print out both data structures in full

Issue - State: closed - Opened by sfindeisen over 2 years ago - 1 comment
Labels: enhancement, good first issue

#70 - in case of a failed floating point comparison assertion: print out both data structures in full

Issue - State: closed - Opened by sfindeisen over 2 years ago - 1 comment
Labels: enhancement, good first issue

#69 - Implement matrix multiplication generalized to tensors

Issue - State: open - Opened by Mikolaj over 2 years ago - 2 comments
Labels: help wanted

#69 - Implement matrix multiplication generalized to tensors

Issue - State: open - Opened by Mikolaj over 2 years ago - 2 comments
Labels: help wanted

#68 - Implement adaptors to permit gradient calculation for functions of more complex codomains

Issue - State: closed - Opened by Mikolaj over 2 years ago - 4 comments
Labels: enhancement, help wanted

#68 - Implement adaptors to permit gradient calculation for functions of more complex codomains

Issue - State: closed - Opened by Mikolaj over 2 years ago - 4 comments
Labels: enhancement, help wanted

#67 - implement equality testing with explicit error margin

Pull Request - State: closed - Opened by sfindeisen over 2 years ago - 9 comments

#67 - implement equality testing with explicit error margin

Pull Request - State: closed - Opened by sfindeisen over 2 years ago - 9 comments

#66 - Implement sample adaptors to permit gradient calculation for functions of more complex domains

Issue - State: closed - Opened by Mikolaj over 2 years ago - 3 comments
Labels: enhancement, help wanted

#66 - Implement sample adaptors to permit gradient calculation for functions of more complex domains

Issue - State: closed - Opened by Mikolaj over 2 years ago - 3 comments
Labels: enhancement, help wanted

#65 - Change of spec for assertClose: it needs to take eps as an argument

Issue - State: closed - Opened by Mikolaj over 2 years ago - 17 comments
Labels: enhancement, help wanted

#65 - Change of spec for assertClose: it needs to take eps as an argument

Issue - State: closed - Opened by Mikolaj over 2 years ago - 17 comments
Labels: enhancement, help wanted

#64 - [Feature] I can differentiate pure functions

Issue - State: closed - Opened by awf over 2 years ago - 33 comments
Labels: enhancement

#64 - [Feature] I can differentiate pure functions

Issue - State: closed - Opened by awf over 2 years ago - 33 comments
Labels: enhancement

#63 - pretty-print HUnitFailure exceptions

Pull Request - State: closed - Opened by sfindeisen over 2 years ago - 12 comments

#63 - pretty-print HUnitFailure exceptions

Pull Request - State: closed - Opened by sfindeisen over 2 years ago - 12 comments

#62 - Tree0 with minimal changes to existing code, which implies impurity

Pull Request - State: closed - Opened by Mikolaj over 2 years ago - 9 comments

#62 - Tree0 with minimal changes to existing code, which implies impurity

Pull Request - State: closed - Opened by Mikolaj over 2 years ago - 9 comments

#61 - Try to use Tree0 for sharing instead of the big [DeltaBind]

Issue - State: closed - Opened by Mikolaj over 2 years ago - 16 comments
Labels: performance

#61 - Try to use Tree0 for sharing instead of the big [DeltaBind]

Issue - State: closed - Opened by Mikolaj over 2 years ago - 16 comments
Labels: performance

#60 - In approx tests, HUnitFailure is not caught and not pretty-printed

Issue - State: closed - Opened by Mikolaj over 2 years ago - 22 comments
Labels: help wanted

#60 - In approx tests, HUnitFailure is not caught and not pretty-printed

Issue - State: closed - Opened by Mikolaj over 2 years ago - 22 comments
Labels: help wanted

#59 - Voice recognition (fixes #58)

Pull Request - State: open - Opened by Mikolaj over 2 years ago - 4 comments

#59 - Voice recognition (fixes #58)

Pull Request - State: open - Opened by Mikolaj over 2 years ago - 4 comments

#58 - Code an example that recognizes a particular person's speech

Issue - State: open - Opened by Mikolaj over 2 years ago - 2 comments

#58 - Code an example that recognizes a particular person's speech

Issue - State: open - Opened by Mikolaj over 2 years ago - 2 comments

#57 - implement epsilon-based floating point number comparisons in tests

Pull Request - State: closed - Opened by sfindeisen over 2 years ago - 32 comments

#57 - implement epsilon-based floating point number comparisons in tests

Pull Request - State: closed - Opened by sfindeisen over 2 years ago - 32 comments

#56 - Replace explicit type application for tensor size arguments with custom type values application

Issue - State: closed - Opened by Mikolaj over 2 years ago - 6 comments
Labels: help wanted

#56 - Replace explicit type application for tensor size arguments with custom type values application

Issue - State: closed - Opened by Mikolaj over 2 years ago - 6 comments
Labels: help wanted

#55 - Investigate HaskTorch

Issue - State: open - Opened by Mikolaj over 2 years ago - 1 comment

#55 - Investigate HaskTorch

Issue - State: open - Opened by Mikolaj over 2 years ago - 1 comment

#54 - Convert Deltas to GADT

Pull Request - State: closed - Opened by tomjaguarpaw over 2 years ago - 7 comments

#54 - Convert Deltas to GADT

Pull Request - State: closed - Opened by tomjaguarpaw over 2 years ago - 7 comments

#53 - Update README.md

Pull Request - State: closed - Opened by awf over 2 years ago - 2 comments

#53 - Update README.md

Pull Request - State: closed - Opened by awf over 2 years ago - 2 comments

#52 - document the core API of the Engine

Issue - State: open - Opened by sfindeisen over 2 years ago - 1 comment
Labels: documentation, help wanted, good first issue

#52 - document the core API of the Engine

Issue - State: open - Opened by sfindeisen over 2 years ago - 1 comment
Labels: documentation, help wanted, good first issue

#51 - improve QuickCheck tests

Pull Request - State: closed - Opened by sfindeisen over 2 years ago - 10 comments

#51 - improve QuickCheck tests

Pull Request - State: closed - Opened by sfindeisen over 2 years ago - 10 comments

#50 - Implement LSTM with both soft and hard attention

Issue - State: open - Opened by Mikolaj over 2 years ago - 2 comments
Labels: help wanted

#50 - Implement LSTM with both soft and hard attention

Issue - State: open - Opened by Mikolaj over 2 years ago - 2 comments
Labels: help wanted

GitHub / mikolaj/horde-ad issues and pull requests