[00] midterm evaluation

The midterm evaluation is starting now, let's decide what we want to include in the report What's in: - [ ] The greedy demo - [ ] https://github.com/sinanmohd/evanix/issues/10 to make it more presentable? - [ ] https://github.com/sinanmohd/evanix/issues/7 for the same reason? - [ ] Literature overview What's left for the 2nd half of the term: - [ ] Dump hydra's build times and output sizes for a single evaluation - [ ] Implement an "expected times" PoC using the same HIGHS solver - [ ] Decide on what's a good schema for storing and distributing said hydra metadata; estimate how much the full hydra history would take to store then; decide on the schema for distributing evanix's statistical models - [ ] Maybe talk to the infra people and dump all of hydra's history in said format - [ ] Maybe reimplement evanix in rust/go @sinanmohd wdyt