David Duvenaud

Sanity Check Frobenius norm

1

Is it well-calibrated across different scales?

Add a changepoint kernel

2

This would let us make a lot more interesting claims in the paper - we could claim to address nonstationarity. It would also make the decomposition algorithm more interesting than...

Using trick from here: http://www.robots.ox.ac.uk/~mosb/papers/bbq_nips_final.pdf But with full Hessian instead of just diagonal...

Got FFT working again with new syntax.

1

I like the new web interface! But it was a little sad adding extra type annotations. I was lucky to realize that an especially hairy type on line 126 could...

I'm trying to make a custom datatype that carries around a function. This used to work, but seems to have been broken by the new syntax. For example: ``` data...

Add multisets

1

This is another step towards writing a tokenizer demo in Dex. Multisets let us find all the unique words in a corpus along with their counts in parallel.

Use < > brackets for effects

5

With the introduction of using `{}` in type signatures to implicitly quantify over variables, there are now 3 distinct uses of curly braces that all show up in type signatures:...

It just needs some mechanical translation to new syntax to work, plus a whole bunch of `Ix` instances for every time a record is used as an index, which is...

There are three common representations of graphs: - Adjacency matrices `n=>n=>Bool`: An `n` by `n` Boolean matrix where `True` means an edge. - Edge lists `List (n & n)`: A...

Part of the point of this demo is to show off how generic code can be. For instance, the Brownian motion sampler works on any vector space that also can...