Re: Core Claim and Property-Based Tests

2017-05-17 Thread Martin.Cox
Apologies in advance if this doesn't quite submit correctly to the list.

We [bet365] are very much interested in the continued development of Riak in 
its current incarnation, with Core continuing to be underpinned by distributed 
Erlang. We are very keen to help to build / shape / support the community 
around the project. Internally, we have assembled a team to continue the 
development of Riak, along a roadmap, and are also looking to bring more 
expertise into the business to help support this. Whilst the Lasp / Partisan 
project sounds really interesting, and something that could probably be of 
interest to us in the future, our immediate focus is around stabilising and 
securing the project in its current form. We’re looking to take Riak forward by 
contributing to a renewed community effort.

In summary, we're committed to continuing the development of Riak (we've 
already assembled /  growing a team to do so) and are happy to engage with, and 
support, the community in order to move the project forward.

Thanks

Martin Cox
Software Developer
Hillside (Technology) Limited
e: martin@bet365.com
bet365.com
This email and any files transmitted with it are confidential and contain 
information which may be privileged or confidential and are intended solely to 
be for the use of the individual(s) or entity to which they are addressed. If 
you are not the intended recipient be aware that any disclosure, copying, 
distribution or use of the contents of this information is strictly prohibited 
and may be illegal. If you have received this email in error, please notify us 
by telephone or email immediately and delete it from your system. Activity and 
use of our email system is monitored to secure its effective operation and for 
other lawful business purposes. Communications using this system will also be 
monitored and may be recorded to secure effective operation and for other 
lawful business purposes. Internet emails are not necessarily secure. We do not 
accept responsibility for changes made to this message after it was sent. You 
are advised to scan this message for viruses and we cannot accept liability for 
any loss or damage which may be caused as a result of any computer virus.

This email is sent by a bet365 group entity. The bet365 group includes the 
following entities: Hillside (Shared Services) Limited (registration no. 
3958393), Hillside (Spain New Media) Plc (registration no. 07833226), bet365 
Group Limited (registration no. 4241161), Hillside (Technology) Limited 
(registration no. 8273456), Hillside (Media Services) Limited (registration no. 
9171710), Hillside (Trader Services) Limited (registration no. 9171598) each 
registered in England and Wales with a registered office address at bet365 
House, Media Way, Stoke-on-Trent, ST1 5SZ, United Kingdom; Hillside (Gibraltar) 
Limited (registration no. 97927), Hillside (Sports) GP Limited (registration 
no. 111829) and Hillside (Gaming) GP Limited (registered no. 111830) each 
registered in Gibraltar with a registered office address at Unit 1.1, First 
Floor, Waterport Place, 2 Europort Avenue, Gibraltar; Hillside (UK Sports) LP 
(registration no. 117), Hillside (Sports) LP (registration no. 118), Hillside 
(International Sports) LP (registration no. 119), Hillside (Gaming) LP 
(registration no. 120) and Hillside (International Gaming) LP (registration no. 
121) each registered in Gibraltar with a principal place of business at Unit 
1.1, First Floor, Waterport Place, 2 Europort Avenue, Gibraltar; Hillside 
España Leisure S.A (CIF no. A86340270) registered in Spain with a registered 
office address at C/ Conde de Aranda nº20, 2º, 28001 Madrid, Spain; Hillside 
(Australia New Media) Pty Limited (registration no. 148 920 665) registered in 
Australia with a registered office address at Level 4, 90 Arthur Street, North 
Sydney, NSW 2060, Australia; Hillside (New Media Malta) Limited, (registration 
no c.66039) registered in Malta with a registered office address at Office 
1/2373, Level G, Quantum House, 75 Abate Rigord Street, Ta’ Xbiex XBX 1120, 
Malta and Hillside (New Media Cyprus) Limited, (registration no. HE 361612) 
registered in Cyprus with a registered office address at Omrania Centre, 313, 
28th October Avenue, 3105 Limassol, Cyprus. Hillside (Shared Services) Limited, 
Hillside (Spain New Media) Plc and Hillside (New Media Malta) Limited also have 
places of business at Unit 1.1, First Floor, Waterport Place, 2 Europort 
Avenue, Gibraltar. For residents of Greece, this email is sent on behalf of B2B 
Gaming Services (Malta) Limited (registration number C41936) organised under 
the laws of Malta with a registered office at Apartment 21, Suite 41, Charles 
Court, St. Luke's Road, Pietà, Malta.


___
riak-users mailing list
riak-users@lists.basho.com
http://lists.basho.com/mailman/listinfo/riak-users_lists.basho.com


FW: Riak and the demise of Basho

2017-08-24 Thread Martin.Cox
Hi

I have been asked to forward the below message from Martin Davies, the CEO of 
Technology for bet365.

Kind Regards

Martin Cox

From: Martin Davies
Sent: 24 August 2017 16:11
To: Martin Cox
Subject: Riak and the demise of Basho

Hi,
I have been wanting to make you aware for a few weeks now that we have
reached an agreement, in principle, to buy all of Basho's remaining assets
(except support contracts) from the receiver. Up until this afternoon, I was
constrained by some confidentiality needs of the receiver and was unable to
speak.

We have agreed a price for the assets and are almost at the end of
sorting out the legal agreement. Once this is complete, this will then need
to be processed through the courts which, I am advised, should take a week
or so.

It is our intention to open source all of Basho's products and all of
the source code that they have been working on. We'll do this as quickly as
we are able to organise it, and we would appreciate some input from the
community on how you would like this done.


Martin Davies
Chief Executive Officer - Technology
Hillside (Technology) Limited
bet365.com

This email and any files transmitted with it are confidential and contain 
information which may be privileged or confidential and are intended solely to 
be for the use of the individual(s) or entity to which they are addressed. If 
you are not the intended recipient be aware that any disclosure, copying, 
distribution or use of the contents of this information is strictly prohibited 
and may be illegal. If you have received this email in error, please notify us 
by telephone or email immediately and delete it from your system. Activity and 
use of our email system is monitored to secure its effective operation and for 
other lawful business purposes. Communications using this system will also be 
monitored and may be recorded to secure effective operation and for other 
lawful business purposes. Internet emails are not necessarily secure. We do not 
accept responsibility for changes made to this message after it was sent. You 
are advised to scan this message for viruses and we cannot accept liability for 
any loss or damage which may be caused as a result of any computer virus.

This email is sent by a bet365 group entity. The bet365 group includes the 
following entities: Hillside (Shared Services) Limited (registration no. 
3958393), Hillside (Spain New Media) Plc (registration no. 07833226), bet365 
Group Limited (registration no. 4241161), Hillside (Technology) Limited 
(registration no. 8273456), Hillside (Media Services) Limited (registration no. 
9171710), Hillside (Trader Services) Limited (registration no. 9171598) each 
registered in England and Wales with a registered office address at bet365 
House, Media Way, Stoke-on-Trent, ST1 5SZ, United Kingdom; Hillside (Gibraltar) 
Limited (registration no. 97927), Hillside (Sports) GP Limited (registration 
no. 111829) and Hillside (Gaming) GP Limited (registered no. 111830) each 
registered in Gibraltar with a registered office address at Unit 1.1, First 
Floor, Waterport Place, 2 Europort Avenue, Gibraltar; Hillside (UK Sports) LP 
(registration no. 117), Hillside (Sports) LP (registration no. 118), Hillside 
(International Sports) LP (registration no. 119), Hillside (Gaming) LP 
(registration no. 120) and Hillside (International Gaming) LP (registration no. 
121) each registered in Gibraltar with a principal place of business at Unit 
1.1, First Floor, Waterport Place, 2 Europort Avenue, Gibraltar; Hillside 
España Leisure S.A (CIF no. A86340270) registered in Spain with a registered 
office address at C/ Conde de Aranda nº20, 2º, 28001 Madrid, Spain; Hillside 
(Australia New Media) Pty Limited (registration no. 148 920 665) registered in 
Australia with a registered office address at Level 4, 90 Arthur Street, North 
Sydney, NSW 2060, Australia; Hillside (New Media Malta) Plc, (registration no 
c.66039) registered in Malta with a registered office address at Office 1/2373, 
Level G, Quantum House, 75 Abate Rigord Street, Ta’ Xbiex XBX 1120, Malta and 
Hillside (New Media Cyprus) Limited, (registration no. HE 361612) registered in 
Cyprus with a registered office address at Omrania Centre, 313, 28th October 
Avenue, 3105 Limassol, Cyprus. Hillside (Shared Services) Limited, Hillside 
(Spain New Media) Plc and Hillside (New Media Malta) Plc also have places of 
business at Unit 1.1, First Floor, Waterport Place, 2 Europort Avenue, 
Gibraltar. For residents of Greece, this email is sent on behalf of B2B Gaming 
Services (Malta) Limited (registration number C41936) organised under the laws 
of Malta with a registered office at Apartment 21, Suite 41, Charles Court, St. 
Luke's Road, Pietà, Malta.
___
riak-users mailing list
riak-users@lists.basho.com
http://lists.basho.com/mailman/listinfo/riak-users_lists.basho.com


RE: A new home for basho/cuttlefish

2017-09-28 Thread Martin.Cox
Hello

Whilst bet365 did buy the Basho IP, they have emphasised that the entire 
catalogue of repositories is to be handed over to the community and that they 
are not intending to be an overarching authority on decision making, but will 
steer the project just as much as any other involved parties would. So, from my 
perspective, it is not a decision for bet365 to take, but for the community as 
a whole.

Personally, I don't see a lot of merit in moving the repo away from its current 
home at this point in time. Once the legal processes have concluded and people 
have the facility to manage the repository configurations, anyone interested in 
contributing and maintaining can be added - enabling the RabbitMQ team to work 
on Cuttlefish without the upheaval of moving repositories around. When the dust 
has settled, then revisit the question of spinning the project out into its own 
org.

What's everyone else's thoughts on this?

Martin Cox
Software Developer
Hillside (Technology) Limited
m: +44(0) 7585 990614
t: +44(0) 8456 000 365
e: martin@bet365.com
bet365.com


From: riak-users [riak-users-boun...@lists.basho.com] on behalf of Heinz N. 
Gies [he...@licenser.net]
Sent: 27 September 2017 20:45
To: Luke Bakken
Cc: riak-users@lists.basho.com
Subject: Re: A new home for basho/cuttlefish

Hi Luke,
The Kyorai org is a collection of (ex)basho projects that have been forked and 
maintained outside of basho for a while now. While it was a bit of a scattered 
effort in the beginning the demise of basho ended up causing us to collect them 
in a central place.

How things go forward really depends a bit on how things go forward with riak 
and the basho PI, and the community around it.

Cheers,
Heinz

> On 27. Sep 2017, at 20:44, Luke Bakken  wrote:
>
> Hi again everyone -
>
> Apologies for not setting a subject in my first email.
>
> Of course this is Bet365's decision. The purpose of this message
> thread is to let people know that the RabbitMQ team is willing to
> maintain cuttlefish. I also found the following more-up-to-date fork
> and will be looking at the changes there -
>
> https://github.com/Kyorai/cuttlefish
>
> Thanks again!
> Luke
>
> On Wed, Sep 27, 2017 at 11:27 AM, Bryan Hunt
>  wrote:
>> Hi Luke,
>>
>> It’s for bet365 to make that decision.
>>
>> For the good of the general population the following would be nice:
>>
>> a) Upgrade to rebar3
>> b) Upgrade Erlang version support so it compiles under Erlang 20 (if it 
>> doesn’t already)
>> c) Package uploaded to hex.pm
>>
>> Bryan
>>
>>
>>> On 27 Sep 2017, at 18:59, Luke Bakken  wrote:
>>>
>>> Hello Riak users -
>>>
>>> The next RabbitMQ release (3.7.0) will use cuttlefish for its
>>> configuration. I'm writing to express interest on behalf of the
>>> RabbitMQ team in taking over maintenance of the project. At the
>>> moment, we forked cuttlefish to the RabbitMQ organization [0] to fix a
>>> couple pressing issues. After that, it would be great if the
>>> repository could be transferred to either its own, new organization or
>>> to the RabbitMQ organization entirely. Basho transferred both
>>> Webmachine and Lager to their own independent organizations, for
>>> instance (github.com/webmachine, github.com/erlang-lager)
>>>
>>> Once transferred, GitHub will take care of all the necessary
>>> redirections from the Basho organization to cuttlefish's new home.
>>>
>>> Thanks,
>>> Luke Bakken
>>>
>>> [0] - https://github.com/rabbitmq/cuttlefish
>
> ___
> riak-users mailing list
> riak-users@lists.basho.com
> http://lists.basho.com/mailman/listinfo/riak-users_lists.basho.com

This email and any files transmitted with it are confidential and contain 
information which may be privileged or confidential and are intended solely to 
be for the use of the individual(s) or entity to which they are addressed. If 
you are not the intended recipient be aware that any disclosure, copying, 
distribution or use of the contents of this information is strictly prohibited 
and may be illegal. If you have received this email in error, please notify us 
by telephone or email immediately and delete it from your system. Activity and 
use of our email system is monitored to secure its effective operation and for 
other lawful business purposes. Communications using this system will also be 
monitored and may be recorded to secure effective operation and for other 
lawful business purposes. Internet emails are not necessarily secure. We do not 
accept responsibility for changes made to this message after it was sent. You 
are advised to scan this message for viruses and we cannot accept liability for 
any loss or damage which may be caused as a result of any computer virus.

This email is sent by a bet365 group entity. The bet365 group includes the 
following entities: Hillside (Shared Services) Limited (registration no. 
3958393), Hillside (Spain New Media) Plc (registration no. 07833226), bet3