David Duvenaud
David Duvenaud
This is an attempted re-implementation (with @cyntsh and @chenzizhao , and with advice from @tovacinni) of [NGLOD](https://nv-tlabs.github.io/nglod/), which in principle should give us a real-time raytracer for implicit shapes. This...
Inspired by [All Hail Geometric Algebra!](https://crypto.stanford.edu/~blynn/haskell/ga.html) and [ganja.js - Geometric Algebra for javascript](https://github.com/enkimute/ganja.js/) which uses code generation. See [Grassmanian.jl](https://github.com/chakravala/Grassmann.jl/) too. I've implemented the generic geometric product in a paralellizable way,...
'Main algorithm from "Oops I Took A Gradient: Scalable Sampling for Discrete Distributions" by Will Grathwohl, Kevin Swersky, Milad Hashemi, David Duvenaud, Chris J. Maddison [Arxiv Link](https://arxiv.org/abs/2102.04509) demonstrated on an...
This isn't finished yet, but could be merged now since it's self-contained. Thanks to Adam's extensions, this is going smoothly so far. It's surprising how often the code is correct...
In principle Dex's record system could use tables of records to do the sorts of data-munging usually done by packages such as pandas. In order to match the standard relational...
I'm trying to implement the `Functor` interface in Dex, to let me `map` over more types of data structures. However, it seems like Dex is missing syntax to specify that...
It's useful to be able to hash any data structure, and it should be straightforward to allow this using Dex's typeclass system. Haskell has a comprehensive [Hashable typeclass](https://hackage.haskell.org/package/hashable), for example....
Still getting used to the new restrictive type inference. One minor sadness is that I wasn't able to strengthen the type of `Element` as much as in one of the...