Jump to page: 1 2
Thread overview
Request: Type theory/CS expert pre-review of bioinformatics paper
Jul 27, 2021
James Blachly
Jul 27, 2021
Nicholas Wilson
Jul 28, 2021
rikki cattermole
Jul 28, 2021
Nicholas Wilson
Jul 28, 2021
James Blachly
Jul 28, 2021
Paul Backus
Jul 28, 2021
jmh530
Jul 28, 2021
Paul Backus
Jul 28, 2021
Vladimir Panteleev
Jul 28, 2021
jmh530
Jul 28, 2021
Abdulhaq
Jul 28, 2021
James Blachly
July 27, 2021
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
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
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
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
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
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
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
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
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
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