Jump to page: 1 2
Thread overview
Request: Type theory/CS expert pre-review of bioinformatics paper
Jul 28
jmh530
Jul 28
jmh530
Jul 28
Abdulhaq
July 27
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
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
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
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
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
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
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
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
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
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.
« First   ‹ Prev
1 2