Manuel Bärenz

icon indicating a website link http://www.manuelbaerenz.de

icon location Berlin, Germany icon location Mathematician, computer scientist, musician

Results 297 issues of Manuel Bärenz

WIP inspection test to ensure correct optimization

Extend benchmark

* [ ] Good, separate benchmarks for `embed` * [ ] Look into performance of `embed` * [ ] IO benchmark rhine * [ ] IO benchmark baselines in automaton...

Add script to simplify screen recordings.

This was used extensively to create recordings for the rhine-bayes blog post.

Remove SN GADT in favour of inlinable functions

1 comment

@AndrasKovacs suggested a great performance improvement that would allow more inlining. Instead of a recursive `SN` type that is erased at runtime, I can "functionalize" signal networks by encoding them...

Schedule a list of automata efficiently

Prerequisite for #261

Use get-tested to compare nix flake build matrix with github actions matrix

* [ ] Merge #341 first

Support containers 0.7

[containers](https://hackage.haskell.org/package/containers-0.7) has updated to version 0.7. It would be great if gloss supported it. If you're interested, I can prepare a PR.