Remy Goldschmidt
Remy Goldschmidt
I'm still working on it, but my senior thesis is on a language-generic performance-oriented Haskell [implementation](https://github.com/taktoa/eqsat) of [equality saturation](http://www.cs.cornell.edu/~ross/publications/eqsat/). Since I suspect not a huge amount of work has gone...
Seems like GStreamer would be a pretty good fit for this project, especially as it is typed and could allow the construction of streaming pipelines (rather than after-the-fact video manipulation).
When `ir_minimizer_main` is being run manually, sometimes you'll get a long way into a run and realize that the flags were wrong somehow. It'd be nice to provide the capability...
Suppose we have code like ``` foo: bits[32] = sel(selector, cases=[w, x, y, z]) bar: bits[32] = sel(selector, cases=[w, x], default=zero) ``` then we could overlap the computation of the...
Currently the `next` list in XLS IR is hard to read, because it is a list of values with no reference to the params being updated. If you want to,...
If we have two arrays like `[a, b, c, d]` and `[c, d, e, f]`, then we could combine them into one array `[a, b, c, d, e, f]` and...
When linking HsOpenSSL against `libressl-2.7.4`, I get a linker warning saying ``` (.text+0x49fe): warning: EVP_CipherFinal is often misused, please use EVP_CipherFinal_ex and EVP_CIPHER_CTX_cleanup ``` Should this package be using that...
For 2D pathfinding, the current `Path` type works fine, but if you want to do 3D pathfinding (with multiple overlapping floors etc.), the current interface is insufficient. In particular, I'm...
There is a data structure called a discrimination tree that allows one to compactly store a large number of terms (rose trees) with metavariables and then, given another term with...
I think it might be nice if, in addition to or in replacement of the existing `.ghcid` file format, people could give a YAML or JSON or TOML file (up...