Request: Type theory/CS expert pre-review of bioinformatics paper

[Nicholas Wilson]

On Tuesday, 27 July 2021 at 21:20:29 UTC, James Blachly wrote:
> Dear all:
>
> We are writing a short bioinformatics manuscript describing a 
> novel feature of our Dlang bioinformatics library [0] which 
> leverages the type system in (AFAICT) a novel way to statically 
> guarantee correctness within our problem domain.
>
> However, we are not type theorists or even computer scientists 
> [1], and the manuscript could benefit greatly from a pre-review 
> by an expert in the field for correctness of nomenclature and 
> other suggestions. We would be delighted to acknowledge you in 
> the paper (or, if major rewrite is suggested and undertaken, 
> potentially to include you as a co-author).
>
> Please shoot me at note at my gmail address if you can help. We 
> will try to take an absolute minimum of your time. Thank you in 
> advance!

I've done a similar thing for the domain of compute/GPUs in 
dcompute, and though I'm no type theory expert, I have 
engineering, compiler and biology backgrounds.

I can't find that gmail address though.