| Commit message (Collapse) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Working argument accum mode (...) | Tom Smeding | 2024-11-26 | |
| | | | | | | | | | | | | | | | | The derivative of 'neural' in full accum mode is pretty atrocious now; I think this is because when you have code like this: \(a :: Arr 1 R) -> let b = a in let c = b in sum d then because the argument, as well as both let bindings, bind a value of array type, each will introduce an accumulator, hence resulting in three (!) nested `with` clauses that each just contribute their result back to their parent. This is pointless, and we should fix this. | |||
| * | WIP accum top-level args | Tom Smeding | 2024-11-26 | |
| | | ||||
| * | Configuration for CHAD | Tom Smeding | 2024-11-14 | |
| | | ||||
| * | Remove warnings | Tom Smeding | 2024-11-13 | |
| | | ||||
| * | Test gmm | Tom Smeding | 2024-11-10 | |
| | | ||||
| * | Test GMM; it fails | Tom Smeding | 2024-11-10 | |
| | | ||||
| * | Complete GMM implementation | Tom Smeding | 2024-11-10 | |
| | | ||||
| * | Maximum/minimum | Tom Smeding | 2024-11-09 | |
| | | ||||
| * | Benchmark | Tom Smeding | 2024-11-07 | |
| | | ||||
| * | simplifyFix | Tom Smeding | 2024-10-29 | |
| | | ||||
| * | Can differentiate 'neural' now | Tom Smeding | 2024-10-26 | |
| | | ||||
| * | Also test primal results | Tom Smeding | 2024-10-26 | |
| | | ||||
| * | Make interpreter debug printing conditional | Tom Smeding | 2024-10-26 | |
| | | ||||
| * | Debugging | Tom Smeding | 2024-10-26 | |
| | | ||||
| * | Make test suite a little friendlier to debugging | Tom Smeding | 2024-10-22 | |
| | | ||||
| * | Fix interpreter bug | Tom Smeding | 2024-10-22 | |
| | | ||||
| * | Differentiate Replicate | Tom Smeding | 2024-10-22 | |
| | | ||||
| * | Tests | Tom Smeding | 2024-10-21 | |
| | | ||||
| * | WIP testing neural | Tom Smeding | 2024-10-18 | |
| | | ||||
| * | We can differentiate id | Tom Smeding | 2024-10-15 | |
| | | ||||
| * | More towards test suite | Tom Smeding | 2024-10-14 | |
| | | ||||
| * | Towards a test suite | Tom Smeding | 2024-10-07 | |
