www.digitalmars.com         C & C++   DMDScript  

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

reply James Blachly <james.blachly gmail.com> writes:
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
Jul 27 2021
parent reply Nicholas Wilson <iamthewilsonator hotmail.com> writes:
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.
Jul 27 2021
parent reply rikki cattermole <rikki cattermole.co.nz> writes:
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).
Jul 27 2021
parent reply Nicholas Wilson <iamthewilsonator hotmail.com> writes:
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.
Jul 27 2021
next sibling parent James Blachly <james.blachly gmail.com> writes:
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!
Jul 27 2021
prev sibling parent reply Steven Schveighoffer <schveiguy gmail.com> writes:
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
Jul 28 2021
parent reply Paul Backus <snarwin gmail.com> writes:
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.
Jul 28 2021
parent reply jmh530 <john.michael.hall gmail.com> writes:
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?
Jul 28 2021
next sibling parent reply Paul Backus <snarwin gmail.com> writes:
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
Jul 28 2021
next sibling parent Vladimir Panteleev <thecybershadow.lists gmail.com> writes:
On Wednesday, 28 July 2021 at 13:37:55 UTC, Paul Backus wrote:
 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
FWIW, only the link is hidden - anyone can change /post/ to /source/ to see the raw message. The link is hidden by default to prevent mindless web robots from scraping email addresses.
Jul 28 2021
prev sibling parent reply jmh530 <john.michael.hall gmail.com> writes:
On Wednesday, 28 July 2021 at 13:37:55 UTC, Paul Backus wrote:
 [snip]

 Positive. :)
[snip] Weird because I've always seen it.
Jul 28 2021
parent Abdulhaq <alynch4047 gmail.com> writes:
On Wednesday, 28 July 2021 at 14:45:22 UTC, jmh530 wrote:
 On Wednesday, 28 July 2021 at 13:37:55 UTC, Paul Backus wrote:
 [snip]

 Positive. :)
[snip] Weird because I've always seen it.
If you're logged in you can see it, if you log out you can't (for me, anyway)
Jul 28 2021
prev sibling parent James Blachly <james.blachly gmail.com> writes:
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.
Jul 28 2021