| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | UnMonoid | Tom Smeding | 2024-12-06 |
| | | |||
| * | 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 |
