Isaac Sheff

Timeouts Far Earlier Than Expected

1

I wrote a [quick-and-dirty script](https://github.com/isheff/gRPC-vs-Thrift/tree/60ac1c32e6c4a89716ae9a171c110555c9266445/) to test gRPC vs Thrift Haskell libraries when moving large, structured data over a channel. As can be seen by running the [main application](https://github.com/isheff/gRPC-vs-Thrift/blob/60ac1c32e6c4a89716ae9a171c110555c9266445/app/Main.hs#L9), even...

:JavaDocSearch never works

1

If, for instance, my cursor is on the `p` in `System.out.println("Hello World");` in a basic demo file, and I run `:JavaDocSearch`, I get: `No resulds for 'println'.` An analogous error...

:JavaSearchContext never works

3

If, for instance, my cursor is on the `S` in `System.out.println("Hello World");` in a basic demo file, and I run `:JavaSearchContext`, I get: ``` java.lang.RuntimeException: java.lang.IllegalArgumentException: File 'jar:file:///usr/lib/jvm/java-10-oracle/lib/jrt-fs.jar!java/lang/System.class' not found....

Cannot read .bz2 files

2

# Bug Osmosis attempts to read .bz2 files as gzip, and fails # Steps to reproduce On a debian linux machine: ``` wget https://ftp5.gwdg.de/pub/misc/openstreetmap/planet.openstreetmap.org/planet/planet-latest.osm.bz2 ``` check the md5 hash against...

Build a single prototype server which executes transactions sent to it serially (no fancy concurrency of any kind), storing (persistent) state in memory. The goal here is to establish that...

Building on the [english spec](https://specs.anoma.net/main/components/typhon/execution.html), construct a prototype version of the Execution Engine in the [Stateright](https://github.com/stateright/stateright) framework. This may involve some kind of "dummy" Taiga API. Ideally, this would match...

Combine the mempool, consensus, and execution engine prototypes together into a prototype Typhon. Ideally this would match the [english spec](https://github.com/anoma/typhon/issues/52) and the [formal spec](https://github.com/anoma/typhon/issues/53). ## Prerequisites - [ ] https://github.com/anoma/typhon/issues/44...

After each component has been formalized, combine the mempool, consensus, and execution engine formal specs into a larger formal spec (in [TLA+](https://lamport.azurewebsites.net/tla/tla.html) or similar) for which we can check end-to-end...

After drafting each of its components, revise the [Typhon English Spec](https://specs.anoma.net/main/components/typhon.html) so all the components match up properly, and it is, in a sense, complete. Ideally, this would match up...

Properly describe chimera chains within the [typhon english language spec](https://specs.anoma.net/main/components/typhon.html). This means putting together consensus in multiple rounds, and connecting mempool, consensus, and execution layers. ## Prerequisites - [ ]...