Thread overview | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
July 27, 2021 Request: Type theory/CS expert pre-review of bioinformatics paper | ||||
---|---|---|---|---|
| ||||
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! James Blachly [0] dhtslib ; https://github.com/blachlylab/dhtslib/ [1] https://scholar.google.com/citations?user=XYGa80EAAAAJ&hl=en&oi=ao |
July 27, 2021 Re: Request: Type theory/CS expert pre-review of bioinformatics paper | ||||
---|---|---|---|---|
| ||||
Posted in reply to James Blachly | 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.
|
July 28, 2021 Re: Request: Type theory/CS expert pre-review of bioinformatics paper | ||||
---|---|---|---|---|
| ||||
Posted in reply to Nicholas Wilson |
On 28/07/2021 11:47 AM, Nicholas Wilson wrote:
> I can't find that gmail address though.
firstname.lastname (its in the from field).
|
July 28, 2021 Re: Request: Type theory/CS expert pre-review of bioinformatics paper | ||||
---|---|---|---|---|
| ||||
Posted in reply to rikki cattermole | On Wednesday, 28 July 2021 at 00:58:54 UTC, rikki cattermole wrote:
>
> On 28/07/2021 11:47 AM, Nicholas Wilson wrote:
>> I can't find that gmail address though.
>
> firstname.lastname (its in the from field).
Thanks, this is not readily available from the forum interface. I swear it used to be.
|
July 27, 2021 Re: Request: Type theory/CS expert pre-review of bioinformatics paper | ||||
---|---|---|---|---|
| ||||
Posted in reply to Nicholas Wilson | On 7/27/21 9:04 PM, Nicholas Wilson wrote:
> On Wednesday, 28 July 2021 at 00:58:54 UTC, rikki cattermole wrote:
>>
>> On 28/07/2021 11:47 AM, Nicholas Wilson wrote:
>>> I can't find that gmail address though.
>>
>> firstname.lastname (its in the from field).
>
> Thanks, this is not readily available from the forum interface. I swear it used to be.
Thanks -- email sent!
|
July 28, 2021 Re: Request: Type theory/CS expert pre-review of bioinformatics paper | ||||
---|---|---|---|---|
| ||||
Posted in reply to Nicholas Wilson | On Wednesday, 28 July 2021 at 01:04:35 UTC, Nicholas Wilson wrote:
>
> Thanks, this is not readily available from the forum interface. I swear it used to be.
Use the source link (next to reply).
-Steve
|
July 28, 2021 Re: Request: Type theory/CS expert pre-review of bioinformatics paper | ||||
---|---|---|---|---|
| ||||
Posted in reply to Steven Schveighoffer | On Wednesday, 28 July 2021 at 10:56:15 UTC, Steven Schveighoffer wrote:
> On Wednesday, 28 July 2021 at 01:04:35 UTC, Nicholas Wilson wrote:
>>
>> Thanks, this is not readily available from the forum interface. I swear it used to be.
>
> Use the source link (next to reply).
>
> -Steve
For normal forum users there is no such link. Most likely you have some kind of elevated privileges that grant you access to it.
|
July 28, 2021 Re: Request: Type theory/CS expert pre-review of bioinformatics paper | ||||
---|---|---|---|---|
| ||||
Posted in reply to Paul Backus | On Wednesday, 28 July 2021 at 12:16:15 UTC, Paul Backus wrote:
> [snip]
>
> For normal forum users there is no such link. Most likely you have some kind of elevated privileges that grant you access to it.
You sure about that?
|
July 28, 2021 Re: Request: Type theory/CS expert pre-review of bioinformatics paper | ||||
---|---|---|---|---|
| ||||
Posted in reply to jmh530 | On Wednesday, 28 July 2021 at 13:17:24 UTC, jmh530 wrote: > On Wednesday, 28 July 2021 at 12:16:15 UTC, Paul Backus wrote: >> [snip] >> >> For normal forum users there is no such link. Most likely you have some kind of elevated privileges that grant you access to it. > > You sure about that? Positive. :) https://i.imgur.com/remKwud.png In fact, I'll do you one better. Here's the code in DFeed that generates the "source" link: https://github.com/CyberShadow/DFeed/blob/42627ca78eb0ec448d86336f5762127b297d77f3/src/dfeed/web/web/part/post.d#L84-L87 And here's the Level enum it refers to: https://github.com/CyberShadow/DFeed/blob/8e4a9cea214d511bffa3aa485c9cb2e208a6e590/src/dfeed/web/user.d#L68-L76 |
July 28, 2021 Re: Request: Type theory/CS expert pre-review of bioinformatics paper | ||||
---|---|---|---|---|
| ||||
Posted in reply to jmh530 | On 7/28/21 9:17 AM, jmh530 wrote:
> On Wednesday, 28 July 2021 at 12:16:15 UTC, Paul Backus wrote:
>> [snip]
>>
>> For normal forum users there is no such link. Most likely you have some kind of elevated privileges that grant you access to it.
>
> You sure about that?
I definitely also do not see any "source" link; I even created a new account and logged in to see if it appeared then.
|
Copyright © 1999-2021 by the D Language Foundation