chad-fast/test, branch hashable-gadtAn implementation of CHAD, towards performance
https://git.tomsmeding.com/chad-fast/atom?h=hashable-gadt2025-02-25T22:56:16ZCompile: Emit structs in proper order2025-02-25T22:56:16ZTom Smedingtom@tomsmeding.com2025-02-25T22:56:16Zurn:sha1:7fa10a9a07c7160531baf595d1111277c17a38b2Add sparse test2024-12-12T10:44:16ZTom Smedingt.j.smeding@uu.nl2024-12-12T10:44:16Zurn:sha1:fad10d5a218f935d47e8b9dc41256a30b4ec540dUnMonoid2024-12-06T18:54:53ZTom Smedingtom@tomsmeding.com2024-12-06T18:54:53Zurn:sha1:3e266262ebe65bd5d775711b4d05bc9670a38a47Working argument accum mode (...)2024-11-26T22:05:30ZTom Smedingtom@tomsmeding.com2024-11-26T22:05:30Zurn:sha1:ade38c607a8d0dc8dc1d701084ed88df2fa89df9
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 args2024-11-26T14:25:13ZTom Smedingtom@tomsmeding.com2024-11-26T14:25:13Zurn:sha1:ae2b1b71a91d60d3bd1dfb21fce98c05c1a4fcbbConfiguration for CHAD2024-11-14T18:27:57ZTom Smedingtom@tomsmeding.com2024-11-14T18:27:57Zurn:sha1:b8c162ce9cb1faeec621b751fff9aff46e022417Remove warnings2024-11-13T16:26:58ZTom Smedingt.j.smeding@uu.nl2024-11-13T16:26:58Zurn:sha1:02db8c1929a25dda64e6cee7b7343833ee698f34Test gmm2024-11-10T21:40:54ZTom Smedingtom@tomsmeding.com2024-11-10T21:40:54Zurn:sha1:a46f53695d1dfab8834c7cc52707c0c0bb9b8ba0Test GMM; it fails2024-11-10T11:39:08ZTom Smedingtom@tomsmeding.com2024-11-10T11:39:08Zurn:sha1:013e01e28aba090c065ed584671a65aa339ea51bComplete GMM implementation2024-11-10T09:04:27ZTom Smedingtom@tomsmeding.com2024-11-10T09:04:27Zurn:sha1:42d59947356ab51e5a4070b930f02f4909208d35