text:
PAKISTAN PEDIATRIC JOURNAL
Pakistan Pediatric Journal (PPJ) is the official publication of the Pakistan Pediatric Association. The first issue was published in 1977 as Pakistan Pediatric Journal, (ISSN No.0304-4904). Since then, the journal has been published quarterly without interruption. The journal aims to contribute to improvement of the health of children.
The manuscripts are categorized as original research articles, case reports, review articles, short reports, special feature articles in the field of Pediatrics and its subspecialties, letter to editor, clinical practice guidelines, annotations, editorial, book reviews and notes and notices.
Manuscripts should be prepared in accordance with the Uniform Requirements for Manuscripts Submitted to Biomedical Journals established by Vancouver group (International Committee of Medical Journal Editors, ICMJE http://www.icmje.org/icmjerecommendations.pdf) and should not have been offered for publication elsewhere or published previously. Authors should disclose at the time of submission, information on financial conflicts of interest that may influence the manuscript.
All accepted manuscripts should be accompanied by a signed undertaking statement by all authors regarding authorship criteria, responsibility, financial disclosure and acknowledgement, as per standard format at the end of the instruction to the author. The manuscript should also be accompanied by ethical certificate issued by ethical review committee or institutional review board. The statement with original signatures is to be sent by post or scanned copy by e-mail. Manuscript should be submitted by the corresponding authors, who should indicate the address, phone number and e-mail address for correspondence, in the title page of manuscripts.
Editorial and Review Board of Pakistan Pediatric Journal follows blinded peer review process of all the submitted manuscripts. The manuscripts are sent to two most relevant reviewers for review of the article including statistical review.
Acceptance of the manuscript is decided, based on the critique and recommended decision of the reviewers. A reviewer's decision is made as "acceptance without revision", "acceptance after revisions", "review again after revisions", "rejection" and "additional review by outside reviewers". If there is marked discrepancy in the decisions between the reviewers or in opinions between the author and reviewers, the Editor may send the manuscript to other reviewers for additional comments and recommended decision. Names and decisions of the referees are masked. A final decision on acceptance or rejection for publication is forwarded to the corresponding author from the Editorial Office.
All those designated as authors should meet all four criteria for authorship as stated in ICMJE recommendations (http://www.icmje.org/icmje-recommendations.pdf)
1. Substantial contributions to the conception or design of the work; or the acquisition, analysis, or interpretation of data for the work
2. Drafting the work or revising it critically for important intellectual content
3. Final approval of the version to be published
4. Agreement to be accountable for all aspects of the work in ensuring that questions related to the accuracy or integrity of any part of the work are appropriately investigated and resolved.
PPJ strongly discourages gift authorship. Mere supervision, collection of data, statistical analysis and language correction do not grant authorship rights.
Invited review articles describe concise review on important subjects of child health. Review articles are accepted after editorial evaluation. The review article has an abstract which is non-structured and is of upto 200-250 words. The length of review article should be between 2500 and 3000 words. There should be 40 to 60 references.
Original Articles: These should include a title, abstract, key words, introduction, materials and methods, results, discussion and conclusions, (acknowledgements) and references. An original article should be of about 2000-2500 words excluding abstract and references.
Title: Use a separate page. Give the title of the article, names(s) and academic degrees of author(s) place(s) where the work was done, address for correspondence and a running title (that is carried on subsequent pages). Running title should have not more than 10 words.
Structured Abstract: (separate page) It should comprise of not more than 250 words and should include Objective, Study Design, Place and Duration of Study, Material and Methods, Results, Conclusion and Key words.
Introduction: It should briefly state the purpose of study, pertinent but not extensive review of the subject with 5-6 references.
Materials and Methods: It should describe the criteria for selection of material and identify clearly the methods, materials and apparatus used and the statistical tests applied to interpret the data. Avoid using names of patients or other clues that can lead to disclosure of their identity.
Results: These should be presented systematically. This section includes script, tables or figures (without repetition as far as possible).
Discussion: The author/s comments on the observations, conclusions drawn, implications of the study, its limitations and how the study compares with other similar or relevant studies. Recommendations for further study may be recorded when indicated. Discussion ordinarily should not be more than one third of the total length of the manuscript. This section should include, in the order specified: (i) a summary of the major findings, (ii) their relationship to other similar studies, (iii) strength and limitations of methods. Avoid unqualified statements and conclusions not completely supported by the data.
Conclusion: This section provides inferences drawn from the observations made in the study. The conclusions should be aligned to the objectives of the study.
Acknowledgements: These should be recorded on a separate paper.
References: The data should be supported with 15 to 25 references, which should include local as well as international references. More than 50% of the references should be from the last five years from the date of submission. These must be numbered in the order according to which they appear in the text and should include all information in Vancouver style.
Case reports usually describe an unusual or novel occurrence. The most common reasons for publishing a case are the following: 1) an unexpected association between diseases or symptoms; 2) an unexpected event in the course of disease or during treatment of a patient; 3) findings that shed new light on the possible pathogenesis of a disease or an adverse effect; 4) unique or rare features of a disease and; 5) unique therapeutic approaches. Case reports include the following components: an abstract, an introduction, the case report, a discussion and references. 'Abstract' for the case report should be non-structured of not more than 150 words. The introduction gives a brief overview of the problem. 'Case report' provides the details of the case. 'Discussion' focuses on why the case is noteworthy, the problem that it addresses, a summary of the existing literature, narrowing down to the main challenge in the case. The last section includes up to 15 'references'.
Special feature articles as and when but shall follow the pattern of original or review articles.
5. Clinical Practice Guidelines/ Recommendations: In order to streamline the diagnosis, management and prevention of various childhood problems, Pakistan Pediatric Journal publishes guidelines and recommendations formulated by various groups of National Associations/Societies. The guidelines have desirable validity, reliability and reproducibility, clinical applicability, flexibility, clarity and documentation.
For indexing purposes, the author of the guidelines would be the name of the organization/working group e.g. Pakistan Pediatric Association or a group e.g. Pediatric cardiology group. However, names of up to six persons as writing committee may be placed at the end of the manuscript before 'References'.
The manuscript should consist of an abstract (200-250 words), introduction, aims and objectives, text (3000-4000 words), recommendations and references (limited to 50). The number of figures and tables should be limited to maximum of 5 each.
Abstract should be structured as justification, process, objectives, and recommendations.
Text should be arranged in headings of introduction, aims and objectives, recommendations, and references.
Short Reports: These must not exceed 1000 words, including an abstract of no more than 50 words, 1 or 2 tables or illustrations and 5-6 references. The table title should be less than 8 words.
Annotation/Editorial: Suggestions for topics and for authors are welcome. Usually these are written by the editors.
Letter to Editor: Should contain not more than 300 words with few references and should be signed by all the authors. Readers are invited to freely contribute to this column as regard their experience, important pediatric research etc.
Book reviews: Are also welcome from readers.
Notes & Notices: Association news, forthcoming events, conferences and other academic and literary pursuits etc are included.
PPJ PLAGIARISM POLICY
PPJ follows the ICMJE, PMDC and HEC guidelines/criteria for all types of plagiarism. The same can be accessed at www.icmje.org, www.pmdc and www.hec.gov.pk. All the submitted manuscripts are subjected to plagiarism checking through the software Turnitin (courtesy HEC). Manuscripts with similarity index more than 19% are not processed further unless rectified. It is the authors' responsibility to apprise themselves of plagiarism in any form including paraphrasing and self-plagiarism. Manuscripts submitted to PPJ can be sent to HEC, other medical journals' editors and international agencies for authentication of originality. The disciplinary committee of PPJ would deal with cases of plagiarism and comprise of the staff, editors and the Chief Editor or his representative.
PPJ POLICY FOR MULTIPLE SUBMISSIONS
For a plagiarized article (multiple submissions) in processing, the identification of act will lead to dropping of article from further processing / consideration of publication. The corresponding author will be required to give an explanation on demand. In case of an unsatisfactory reply, the matter will be referred to the disciplinary committee that may decide the course of action. For published articles, the allegedly plagiarized article will be temporarily retracted from publication and a notice to the effect will be published in the PPJ. The author will be served an explanation demand. In case of non-response in the stipulated time or unsatisfactory explanation, the article will be permanently retracted and the author will be blacklisted. HEC, PMDC and author's institute will also be notified. In case of multiple submissions, other editors will also be informed. The author(s) will have to provide documentary proof of retraction from publication, if such a defense is pleaded. Those claiming intellectual / idea or data theft of an article must provide documentary proof in their claim.
LETTER OF UNDERTAKING
This is to confirm that the manuscript entitled -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- submitted for publication in quarterly "Pakistan Pediatric Journal" has not been offered for publication to, or published in, any other journal and if accepted for publication it will not be published in any other medical periodical in Pakistan or overseas.
Authorship and Contribution Declaration
Sr. #
Author's Full Name
Contribution to Paper
Author's Signature
Please attach another sheet if there are more than 6 authors
Authors' contribution:
(This letter must be signed by all the authors)
Postal Address: Office No. 12-13 Executive Floor, Al-Qadir Heights, New Garden Town, Lahore,
Pakistan Cell # 0300-4830006
Electronic Submission of Articles
"PAKISTAN PEDIATRIC JOURNAL" now accepts electronic submission of articles via e-mail,
attachment in MS Word format at following address
pakpaedjournal@gmail.com
Note: The figures should be sent in the format of JPEG or GIF to
ensure good quality images
Electronic submission saves time, postage costs and allows the
manuscript to be handled in electronic form throughout the publication process
THE FINAL CHECKLIST
The authors must ensure that before submitting the manuscript for publication, they have taken care of the following:-
Double spaced typing in A4 size white paper with 12-point font.
Sequence of the manuscript should be title page, abstract and keywords, introduction, materials and methods, results, discussion, acknowledgments, conflict of interest, reference, tables and figure legends. All pages should be numbered consecutively starting from the title page.
Title page should includes article's title, authors' full name(s) and affiliation, address for correspondence (including telephone/cell phone number and e-mail address), running title (less than 10 words) and footnotes if any.
Abstract in structured format (objectives, study design, place and duration of study, material and methods, results, conclusion and key words) for original article (maximum 250 words) and in unstructured format for case report up to (150 words), and key words as in MeSH.
All tables' and figures' numbers must be found in the text.
Reference listed in Vacuolar referencing style. Check that all references are listed in the "references" section and cited in the text and vice versa.
Please state conflicts of interest of all listed authors on "ICMJE check list for potential conflict of interest" is available http://www.icmje.org/cgi-bin/feedback
A covering letter.
An undertaking signed by all the authors stating that the material is not published previously, and has not been submitted for publication elsewhere.
The article would be processed if the above mentioned requirements are completed and the similarity index for plagiarism is < 19%.
© Pakistan Pediatric Journal. All Rights Reserved.


text:
The Scottish Colourists Series: JD Fergusson
The Scottish National Gallery of Modern Art, Edinburgh
7 December 2013 – 15 June 2014
By CHRISTIANA SPENS
Though perhaps not as well known as Ireland for producing hordes of young artists and rebels intent on leaving their homeland in search of adventure and success, Scotland has a similar tradition of inspiring departure.
The Scottish Colourists, a group of painters who left their homes and families in the early-20th century to find inspiration, mainly in France, are some of the most notable of this sprawling group. The Scottish National Gallery of Modern Art in Edinburgh is hosting a series of retrospectives of the Colourists, and the work of John Duncan Fergusson (1874-1961) is exhibited there until the summer, following retrospectives of Francis Campbell Boileau Cadell (1883-1937), George Leslie Hunter (1877-1931) and Samuel John Peploe (1871-1935).
One of the most adventurous of his group of émigrés, JD Fergusson was born in Leith – not far from the gallery where he is now on show – a place probably more famous for being the setting of Trainspotting than for its artistic community, past or present. With Fergusson's retrospective opening in December, merely the experience of walking to the exhibition in one of the bleakest months helps to explain the artist's attraction to colour and flamboyance. There is nothing like a childhood and adolescence spent in seemingly impenetrable greyness to inspire escape, and a persistent, life-long desire for something more colourful. Combined with the steely determination that enduring years of harsh weather gives rise to, the sustained dedication of the Scottish Colourists, and Fergusson especially, makes sense.
"To go to Paris was the natural thing for the Scot," said Fergusson. "It doesn't seem to have occurred to the modern Scot that the Scottish Celt when in France was among his own people, the French Celts. French culture was founded by the Celts and … if Scotland or Celtic Scotland could make a 'new alliance' with France, not a political union like the 'Auld Alliance' but cultural, it would perhaps put Scotland back on to the track of her culture, and see the Scots do something Scottish instead of imitating the English or rather second-rate British."1
Moving to Paris in 1907, Fergusson absorbed French culture and its innovative styles of painting, which revolved around a love of light and its colourful effects. Perhaps more so than the other Scottish painters in Paris, he became assimilated into life and art there, and came to be known as the more bohemian of the émigrés, as well as the most vivacious, considered as "the leader of the English-speaking artistic community".2 Rather than simply becoming French, however, Fergusson's move to Paris was ultimately a way of being Scottish, and understanding his Scottish identity. Perhaps one cannot appreciate the subtleties and possibilities of a grey and blue palette, without immersing oneself in the giddy colours of the "other Celts". Certainly for Fergusson, living in France not only realised dreams of colour and light, but led to a fuller understanding of Scotland, and its more muted palette.
The exhibition of more than 100 paintings, sculptures, and works on paper expresses a real vitality and sense of victory – a feeling that this exploration and adventure were successful and productive. Though some of the images of coffee-houses and nocturnal celebrations may now seem overly familiar, given the popularity of those subjects with their French contemporaries, to see them in the context of Edinburgh, and Fergusson's early paintings of Scotland, is to glimpse the wider narrative and depth of the scenes shown. It is also clear that, for Fergusson, the attraction of Paris, and of travel, was not simply about colour, or exploring techniques used by French artists; it was about people. The canvases he painted in Paris are full of lively figures – dressmakers, dancers, artists and drunks – milling around coffee houses and bars, reclining on park benches, or kneeling on exotic carpets amid flowers, in a city enchanting and alive. These paintings express love and delight through colour and light, not simply with it. These glamorous women and beautiful dancers, these relaxed, sunlit bodies, required some travelling to find.
Compared to the rugged hills of Scotland and the gloomy Forth, where any people seem to vanish in the presence of such a domineering nature, or the shipyards of Glasgow, where ships sink slowly (Damaged Destroyer, 1918), Paris gave Fergusson crowds of new faces, fashions and bodies, which are celebrated in so many of his works. Les Eus (1910-13), an impressive, well-constructed and vivacious painting, depicts nude couples dancing in a frame of green foliage. Fergusson was probably inspired by Les Ballet Russes and other dance companies in Paris at the time, and, of course, by his wife, Margaret Morris (1891-1980), a dancer and choreographer originally from London, whose techniques and ideas about ballet, and the dancers who attended her summer schools, influenced his work. Paintings such as Etude de Rhythm (1910), Seated Nude Among Trees (1928)and Bathers: The Parasol (1951) continue to show his fascination with the female form, as well as the influence of Matisse and Picasso, and his Parisian contemporaries.
The presence of dance and fashion in his paintings is perhaps what gives Fergusson's work an adventurous, daring quality that the other Scottish Colourists do not exhibit so obviously, and it is these scenes – these dances captured in paint and light – that linger. Fergusson was a Scot and a Colourist, but he was also in love with dance, and a dancer, and it was this aspect of his life in Paris that remains most intriguing and original. The exhibition reveals these aspects, subtly pointing out moments of success and innovation in Fergusson's painting, and downplaying criticisms of repetition or blandness, or even, too much colour. In showing careful portraits alongside carnal dances, and reminding us of his landscapes and shipyards, in addition to his well-known Parisian cafe scenes, the exhibition hints at a more complex painter, and a more interesting body of work, than is often assumed.
1. Modern Scottish Painting by John Duncan Fergusson, published by Maclellan, 1943, pages 67-69.
2. Tigers in Paris: Katherine Mansfield, Emily Carr, John Duncan Fergusson and Fauvism by Angela Smith. In: Outsiders in Paris: John Duncan Fergusson, Katherine Mansfield and Their Circles by Helen Beale and Angela Smith, published by the University of Stirling, 2000, page 38.
A New Era: Scottish Modern Art, 1900-1950
At a time when the UK's relationship with the rest of Europe is at stake, this exhibition of the artistic dialogue between Scotland and the continent is illuminating and inspiring

redpajama_set_name: RedPajamaCommonCrawl


Thank you for visiting our website. We are a busy school, where learning is central to all we do and we trust you will enjoy finding out about what we do. We have a wonderful team of staff who provide excellent learning opportunities for our pupils. We hope you enjoy looking at our website, but if you have any further questions, please do not hesitate to contact the Principal, Mrs Millar.
Kilronan School is a place where we Learn, Grow and Achieve Together. We are a school for children with severe learning difficulties and cater for children from age 3 to 19 years. From the day a child arrives in Kilronan, we strive to provide each individual with a range of learning opportunities to meet their own needs and abilities. Assessment is very much part of our planning, teaching and learning cycle. Effective assessment identifies learners' individual strengths and needs and provides information about pupil progress.


text:
Тольятти, крупный город в Самарской области, и соответствующий ему городской округ делится на 3 района.

В рамках административно-территориального устройства, он является городом областного значения.

В рамках местного самоуправления, город составляет муниципальное образование городской округ Тольятти с единственным населённым пунктом в его составе.

Районы города не являются муниципальными образованиями.

Районы города

Характерной особенностью города является территориальная обособленность друг от друга его районов.

В восточной части города расположен Комсомольский район, который включает поселки-микрорайоны Комсомольский, Жигулёвское Море, Фёдоровка, Шлюзовой и др. Этот район исторически и географически связан со строительством плотины Жигулёвской (Куйбышевской) ГЭС Куйбышевского водохранилища и функционированием речного порта, плотины и шлюзов, а также с промрайоном, в котором доминирует строительная промышленность.

К северо-западу от него, отделенный трёхкилометровой полосой леса, расположен Центральный район, который в быту называют Старым городом. Исторически этот район связан с затоплением старого города Ставрополя при строительстве Куйбышевской (Жигулёвской) ГЭС и переселением его жителей, а также со строительством группы крупных химических предприятий, расположенных в промрайоне, примыкающем к Старому городу с северо-востока. В Центральном районе города размещается администрация муниципального образования Тольятти. У затопленной части старого Ставрополя находится микрорайон Портовый.

Западная часть города составляет Автозаводской район, отделённый от Центрального района массивом леса шириной 4-6 км. Исторически и функционально этот район связан с группой предприятий АвтоВАЗа, расположенного к северу от жилой части Автозаводского района.

Все районы имеют прямое транспортное сообщение, направления автомагистралей которых часто имеют запутанные маршруты, что делает районы города фактически конурбацией трёх отдельных городов.

Микрорайоны
Районы города включают ряд микрорайонов, в том числе бывших населённых пунктов.

В Центральном районе
Загородный (в северной части района)
Портовый (в южной части района)

В Комсомольском районе
 Жигулёвское Море
 Новоматюшкино
 Поволжский
 Фёдоровка
 Шлюзовой

История

31 марта 1972 года Указом Президиума Верховного Совета РСФСР в городе Тольятти образованы 3 района: Автозаводский, Комсомольский, Центральный.

10 июля 2006 года в состав города Тольятти вошли отдельные населённые пункты: посёлки городского типа Поволжский и Фёдоровка, село Новоматюшкино.

20 марта 2009 года Поволжский, Фёдоровка и Новоматюшкино получили статус микрорайонов в составе районов города.

Примечания

Литература и ссылки
 Образование трех административных районов города Тольяттинская библиотечная корпорация.
 И вырос Автоград у Жигулей "Библиотека Автограда". Самарская область, г. Тольятти
 Паспорт города Тольятти
 Рубаненко Б. Р., Образцов А. С., Савельев М. К., Новый Тольятти, М., 1971; Город Тольятти, 2 изд., Куйбышев, 1975.

Административное деление Тольятти

redpajama_set_name: RedPajamaWikipedia


text:
Puntland herders desperate for water to keep goats alive
In this photo taken Thursday, March 9, 2017, boys throw food to feed their goats in a camp for the displaced in Qardho in Somalia's semiautonomous northeastern state of Puntland. Somalia has declared the drought a national disaster, part of what the United Nations calls the largest humanitarian crisis since the world body was founded in 1945, and with animals being central to many the drought threatens their main sources of nutrition and survival. (AP Photo/Ben Curtis)
(ERGO) – Abdiweli Hassan Mohamed, a pastoralist in Eyl in Somalia's northeastern Nugal region, is relying on good neighbours sharing a little of their precious water to keep his herd of 35 goats alive during these tough times of drought.
The water sources are dry and the livestock have no pasture. He gets whatever his neighbours can spare when they buy water transported by tankers from Qundheed village, 75 kilometres away, at the inflated cost of six dollars a barrel.
"Our goats are too weak, they can't be milked, sold or slaughtered for meat. A well fed goat fetches only $25-$30 in Garowe now. We used to sell at between $70 to $100," Abdiweli complained.
"The vehicle transporting the goats to market needs money, so does the broker. Twenty five dollars will be gone before you even get back to the village," he said.
Pastoralists here were already struggling to make a living since COVID19 disrupted their major export market to Middle Eastern countries. The recent failed rains have made things much worse.
Abdiweli told Radio Ergo in a phone interview that their crisis has been deepening since July, when the rain water catchments in his village dried up. The camel herders in the area have moved to Bari region in search of water, leaving only the goat herders behind
Abdiweli, a father of seven, said his goats were too weak to walk the long distance to Bari. His only hope is that the next seasonal rainfall starts on time.
"If we don't get rain by the end of September, we can't stay here. We will have to move with our children and the goats to a place where there is water," he said.
Mohamed Ismael Nur, another goat herder in a rural area outside Dangorayo town, said the only water they can access is trucked in by commercial tankers from a well 170 kilometres away and sells at seven dollars a barrel.
"Most people can't afford this expensive water. They depend on the few who can buy it. The neighbours are supporting each other," he said.
Mohamed, a father of 10, said during previous dry seasons they would rely on money they had saved from exports and local sales of their goats during the Eid-Al-Adha festivities and the Haj pilgrimage. However, few goats were sold due to restrictions and financial hardships caused by COVID19.
"The main market for our livestock was the export market, which has been paralysed by COVID19. We used to buy water, pasture, food, and even clothes with the money we earned exporting our livestock. Now, we don't even have money to buy water for our sick goats and family," he said.
Mohamed called on the government, humanitarian agencies, and well-wishers to support the pastoralists and others living in the rural villages who are struggling during a biting drought.
'A poem is a powerful tool': Somali women raise their voices in the nation of poets - The Guardian
Somaliland protests election of representatives to Somalia Senate - The East African
Somali National Army and AMISOM launch Joint Operations Coordination Centre in Mogadishu - AMISOM
Suicide bomber strikes near military base in Mogadishu - HOL
Youth leader, son, injured after home targeted with IED - HOL
Normalcy returns to Eastleigh shopping centre after bomb scare - HOL
Galmudug minister says latest round of Farmajo-Roble negotiations failed - HOL
Kenya, Qatar hold talks in Doha ahead of ICJ ruling on Somalia-Kenya maritime dispute - HOL
SJS concludes a three-day human rights journalism training in Kismayo - SJS
Somalia's political wrangling raises the spectre of violence - TRT


text:
Q: Why does this typing issue occur? I am trying to write a program in Dafny, here is a part of the program:
method GenerateAllIndexSubsets<T>(q: seq<T>) returns (res: set<set<nat>>)
    ensures res == AllIndexSubsets(q)
{
    if |q| == 0
        {
        assert |q| == 0;// if's guard
        // ==>
        assert {} == AllIndexSubsets<nat>([]);
        assert q == [];
        assert {} == AllIndexSubsets(q);
        res := {};
        assert res == AllIndexSubsets(q); // postcondition
        }
    else
        {
            assert |q| != 0; // !(if's guard)
            var res0 : set<set<nat>> := GenerateAllIndexSubsets<T>(q[1..]);
            assert res0 == AllIndexSubsets(q[1..]);
            res := res0;
            assert res ==  AllIndexSubsets(q[1..]); //GenerateAllIndexSubsets postcondition with q[1..]
            var index : nat := q[0];
            var res1: set<set<nat>> := (set x | x in res0 :: x + {index});
            assert res1 == AllIndexSubsets(q) - AllIndexSubsets(q[1..]);
            assert res0 == AllIndexSubsets(q[1..]);
            assert res1 == AllIndexSubsets(q) - res0;
            // ==>
            assert res0 + res1 == AllIndexSubsets(q);
            res := res + res1;
            assert res == AllIndexSubsets(q); // postcondition
        }
    assert res == AllIndexSubsets(q); // postcondition
}

on the line var index : nat := q[0] i am getting the following issue:

type does not agree with element type seq (got int)

Why am i getting this and how can i fix it now and not get it again in the future?

A: q is a sequence of elements of type T, so q[0] has type T. But you are trying to assign it to a variable of type nat, which is incorrect.
(The reason the Dafny error message mentions int instead of nat is that nat is defined to be a subset of int, so in order to check whether something is a nat, Dafny first checks that it is an int, which fails here.)

redpajama_set_name: RedPajamaStackExchange


text:
Q: What is the point of .Result in an async call? when we have a call like this:
Database.ExecuteSqlRawAsync(sql, parameters);

we can await it:
await Database.ExecuteSqlRawAsync(sql, parameters);

which is great.
But what is the point of .Result?
Database.ExecuteSqlRawAsync(sql, parameters).Result;

When would this be of any use?

A: The first case would be when you want to wait synchronously for the result. This is not recommended, due to the potential of deadlocks, but the possibility is available if you really need it.
Another use case is when using something like Task.WhenAll. This does not return a result when awaiting, so you need another way to get to the result of each individual task. Since you are sure all the tasks are completed it does not really matter if you use await task or task.Result.

A: Asynchronous methods return Task objects (or Task<T> objects). All Task objects provide the .Result property to allow us to wait for tasks to complete synchronously.
Generally you should await tasks instead of using the .Result property as using .Result blocks the calling thread.
You can use .Result if you need to utilise an asynchronous method from a synchronous method/context.
Result can also be used to access the result of a finished task without blocking the calling thread (e.g. after awaiting a Task.WhenAll call as mentioned by @JonasH).


This Bosch electric double wall oven is sure to complement your kitchen's stylish décor with its classic black finish and SteelTouch touch controls. Rely on high efficiency with 2,400 watts of baking power in both the upper and lower oven, and even baking with the Genuine European Convection cooking system. The QuietClose door ensures the oven door shuts softly and quietly every time.
Product Dimensions: Width: 30" Height: 52.5" Depth: 24.5"
Capacity: Upper Oven: 4.6 cu. ft.


Just off Fenchurch St in the heart of the financial district…. This central location is easy to find and has a lively atmosphere. Evening events take place in the Salon de Fiesta, an intimate, cosy space. The perfect blend of being in the heart of the action but with the privacy to listen.


Habits are repeated behaviours that occur in our everyday lives and we all have positive and negative habits. The way a habit is formed is when we make a request to our brain for the first time, a neural or neurological pathway is formed. The more times we make that request the pathway becomes stronger and the easier it is for the nervous system to handle that request until a habit is created. It then becomes automatic.
2) REASON- Select a problem that you would like to solve (chose a problem that requires greater insight that needs to be resolved.) How does this problem relate to the behaviour? 3) SYMPTOM - what is the situation, behaviour and emotion that you experience when you are having this problem. This may or may not include your habits. Identify key times or simply when these cyclical behaviours occur.
4) NEW OUTCOME-now break state and take yourself to a different space in your mind's eye. Now take yourself to the new behaviour and outcome.
5) DESIRED ACTIONS- now see yourself feeling, experiencing and acting out the changed behaviour, emotions and experiences.
6) Now visualize 4 spaces – REASON for the problem, SYMPTOM- the negative emotions and behaviours, then the NEW OUTCOME, and the new behaivours and emotions. See if any new information arises about your behaviours and emotions as your move through each space. And move through each square numerous times. Pay close attention to the changes in your thoughts and behaviours throughout each day to follow.


Penny shares the celebration plan with Leonard.
When Penny puts together a second marriage celebration, she doesn't expect things to get as messy as they do. Alas, chaos ensues when Leonard's recently divorced parents, Alfred (Judd Hirsch) and Beverly (Christine Baranski), are forced to come face-to-face. To make matters even more interesting, Sheldon's devoutly religious mother, Mary (Laurie Metcalf), also joins.
Also, Howard and Raj convince themselves that the government is out to get them when they are contacted about their guidance system on the ninth season finale of The Big Bang Theory, entitled "The Convergence Convergence."


Broad support for a marriage-equality plank and candidates such as Tammy Baldwin left delegates pumped, writes Michelle Cottle.
Don't try to tell the LGBT caucus at this week's convention that there's a lack of enthusiasm surrounding this election. These folks are pumped.
Today's afternoon caucus meeting was jam packed. It was standing room only inside the ballroom, with people lining up out in the hall to enter as others drifted out.
First off, the Dems' newly adopted platform language backing marriage equality is being cheered as one of those "about-damn-time" moments.
Brooklynite Erin Drinkwater, who served on the platform committee, marvels at how widely embraced the entire rights platform was this time around. She says she went in assuming progress would be made but was floored by "the unanimous support" from the full committee.
Drinkwater expected there to at least be a fight over the amendment supporting equal treatment for immigrant families that include LGBT relationships. (A former staffer for Rep. Jerrold Nadler, Drinkwater had worked on this issue in the past.) But there wasn't even pushback on that, she reports.
When the congresswoman exited the ballroom, she was trailed by a pack of delegates looking to get their pics taken with her—or at the very least touch the hem of her pale-green blazer. And a swarm of journalists jockeyed to ask questions about the platform and the speech Baldwin will be giving to the convention early Thursday evening.
"It's just amazing that she's being given a national platform," gushed Drinkwater.
As the congresswoman struggled to make her way through the sea of admirers, it was clear Drinkwater wasn't the only one who felt that way.


Some of the world's most profitable and enduring companies have achieved their long track record of success by constantly reinventing themselves. A successful company understands the need to reinvent itself every now and then to keep up with competition, market changes, technology and customer interest and if it dares to sit still for too long, it dies.
Many of the most successful brands have undergone transformations to reinvent themselves and retain customer loyalty.
1 companies that maintained their longevity, and their bottom lines, by rebranding or reinventing themselves.
companies that maintained their longevity, and their bottom lines, by rebranding or reinventing themselves.
Netflix started with the DVD rental and sales via their site Netflix.com in 1998. One year later, the company debuted its subscription service, which allowed movie buffs to rent unlimited DVDs for a low monthly cost and receive them by mail. It wasn't until 2007 that Netflix transitioned to online streaming.
Finally, viewers of all ages would have access to some of their favourite shows and movies, as well as original Netflix content. In July 2017, Netflix announced 5 million new subscribers during the previous quarter, bringing its total base to 104 million. Netflix stocks rose greatly from $3.80 in 2007 to $168 in August 2017.
After experiencing decades of success, Old Spice – the antiperspirant which debuted in 1937 – began to lose sales as competition increased. In 1990, Procter & Gamble bought Old Spice from the Shulton Company.
Bill Brace, P&G vice president of North American skin and personal care.
In 2006, Old Spice created a zany, over-the-top advertising campaign featuring actor Bruce Campbell. Almost immediately, sales of the brand picked up, closing a more than 4 percent gap in dollar market share compared with its rivals. Today, Old Spice is the largest brand in its category. The brand currently has upward of 500 million YouTube subscribers.
It was first founded as the Haloid Company in 1906, which manufactured and sold photographic paper. After being an innovation icon for years and having decades of success the company experienced downfall due to the rapid technological change and management failure in 2000. Over the time it realised the importance of reinvention and upgraded technology.
Today it sells toner, ink, software, scanners, inkjet printers and copy machines and is an $11 billion technology leader that innovates the way the world communicates, connects and works.
Apple has done more than reinvent itself; you could say it reinvented the "reinvention" business. In the late 1990s, Apple was on the verge of bankruptcy. Fortunately, Microsoft rescued Apple from collapse by forking over millions.
Microsoft's $150 million investment helped Apple get the money it needed to change the technology space. In fact, it might be fair to say that, thanks to Microsoft, Apple is one of the world's most valuable and innovative brands. With a brand value of $170 billion, Apple is currently the No. 1 company on Forbes' most valuable list – ccording to Bloomberg.
The company reinvented itself as more than just a Mac maker. Its handheld devices – from iPods to iPhones to iPads – have brought the company to an entirely new level. Apple's ability to reinvent itself helps explain why it's consistently considered one of today's best brands.
IBM knows a thing or two about reinventing itself and keeping pace with ever-evolving technology. Since debuting as the Computing-Tabulating-Recording Company more than 100 years ago, IBM has undergone major transformations. The 1980s and 1990s were rough for the company. According to its website, "IBM was thrown into turmoil by back-to-back revolutions." The PC revolution brought competition from Microsoft and Apple, reported NPR in 2011.
IBM shifted its focus to IT and consulting which rescued the company. IBM's current investments in Artificial Intelligence has created a huge stir, placing the company back in the top inventors. Still, the company has plans to further reinvent itself.
Amazon started off as a book selling website in 1995. In 1997, Amazon introduced "1-Click shopping" and began offering different products and services in various categories: music, DVD/video, home improvement, software, video games, gift ideas, kitchen and more.
It's hard to believe this go-to online retailer that sells everything you could possibly think of – from TVs and computers to groceries and household items – started off as an online book retailer. Today, the company is making big money. For the second quarter of 2017, Amazon earnings reached $37.96 billion.
In search for profitability and sustainability, these companies prove, many of the businesses will have to refine their goals, strategies, technologies, marketing techniques and whatever it takes to sustain in the market.


text:
Q: How do i link my smart contract and my UI? Tested my smart contract in buidl http://buidl.secondstate.io/. I am trying to use Parastate for this contract BasicContract {
  int s_amount;
  address s_owner;
  constructor() public {
  s_owner = msg.sender;
  s_amount = 0;
}
modifier onlyOwner() {
  require(msg.sender == s_owner);
  _;
}
function deposit(int v) public   {
  require(v >= 0);
  s_amount = s_amount + v;
}
function withdraw(int v) public onlyOwner { require(v >= 0);
  require(s_amount >= v);
  s_amount = s_amount - v;
}

function getBalance() constant public returns (int retVal) {
  return s_amount;
}
function getAddress() constant public returns (address a) {
  return s_owner;
}
}

This is my solidity contract. This was successfully compiled and tested.
Now I need to connect this to a web UI

A: Load BUIDL for ParaState
Click to open Account, select Import, import the MetaMask private key just set up into the BUIDL account
Copy your contract and run.

A: You can do it through http://buidl.secondstate.io/ , click dApp and you will see your frontend project.(with "html" "css" and "js" buttons to navigate)

A: Go to http://buidl.secondstate.io/. Find the dApp tab there. You can build a web interface fr your dApp there, test and publish it.

A: You can do it like this.

*

*Follow the link http://buidl.secondstate.io/

*Click dApp

*Review your frontend project.

A: go http://buidl.secondstate.io/ and choose dapp,then code,test and publish

A: you can check dapp section at http://buidl.secondstate.io/.


text:
You are here: Parliament home page > Parliamentary business > Publications and Records > Lords Publications > Lords Hansard > Lords Hansard by Date > Daily Hansard
Previous Section Back to Table of Contents Lords Hansard Home Page
In connection with that, I was delighted when the imaginative plans for MediaCityUK in Salford were announced because among the combination of creative ingredients there seemed to be a clear commitment to enhancing some of those core elements of public service broadcasting. The BBC insists that its plans for moving departments are on course, and that includes children's programmes, but what children's programmes? Many of us are dismayed about the diminution of quantity and quality in children's television provision. Some noble Lords will be too young to remember "Blue Peter", "Crackerjack" or "The Railway Children". Such programmes owed much to the fact that those who commissioned them were deeply conscious of their role as cultural mediators and, in a sense, still bore the Reithian torch of,
"everything that was best in every department of human knowledge, endeavour and achievement".
Of course, we are no longer in a Reithian age, but nevertheless there are certain norms that are true in each generation. As the Voice of the Listener and Viewer has astutely observed, the quality of programmes children watch as they grow will affect the quality of our society when they form the adult population. I find it enormously disappointing and deeply concerning that this aspect of public service broadcasting appears to be given such short shrift.
Meanwhile, ITV has pulled out of the Salford plans and will now remain in Manchester in new accommodation. With both those cities in my diocese,
4 Jun 2009 : Column 389
for me to make an appropriately judged comment would require more than the wisdom of Solomon. However, I can say that this withdrawal by ITV may have a significant impact on the training facilities and experience that are a key aspect of MediaCityUK's proposed role. As the noble Lord, Lord Puttnam, told our Select Committee in its current taking of evidence, when ITV was released from so much of its PSB obligation, it virtually walked away from its commitment to training. That is very serious, not least for the future of public service broadcasting of quality.
The third major ingredient in MediaCityUK was heralded as the independent programme-makers, which were part of the trio with BBC and ITV that would make it a world-class centre and enhance public service broadcasting. But the chairman of Northwest Vision and Media, a strategic authority for the creative industries in the region, said last month that broadcasters and educational establishments, which include the forward-looking media studies department at Salford University, will need to have the resources to get the benefit of the lower-cost content that could be made in these more modern methods. He said:
"The whole thing is a bit of a circle".
That reinforces my huge concern that the training opportunities, which were such a key part of the imaginative MediaCityUK plans, may become much less than hoped for. That is so serious because our national reputation for high-quality public service broadcasting in particular has depended on high-quality training. I hope that the noble Lord, Lord Puttnam, will forgive me for quoting him again. He said that an abundance of talent of every kind is the only certain way of ensuring a bright future for the whole of the sector. Another department destined for MediaCityUK is religion and ethics, which, along with children's programmes and local and regional television news, is an aspect of public service broadcasting mentioned in our report and specified as a requirement in the Communications Act 2003.
In 2007, an Ofcom survey showed that 75 per cent of people believe that,
"TV should help to promote understanding of religions, cultures & lifestyles".
This week, two top award-winning programmes came from the BBC religion and ethics department. They were called "Around the World in 80 Faiths" and "Miracle on the Estate", the latter of which was filmed in Manchester's most deprived area. Those programmes demonstrated well PSB's role in promoting understanding and social cohesion.
I am glad to note that the BBC has established a standing committee on religion and belief. No other genre in the BBC has this. It is to be chaired by my friend, the right reverend Prelate the Lord Bishop of Norwich, who cannot be in his place today. It will reflect the diversity of the nation's religions and those of no faith. The director-general of the BBC has personally assured me of the corporation's determination to strengthen its religious output as part of the BBC's public service broadcasting remit. I welcome that and will watch and listen closely for it.
Public service broadcasting that fails to reflect the complex realities of faith in the modern world will fall short of helping people to understand themselves, the communities in which they live and the global issues we all face. The composer, James MacMillan, in a lecture to the Sandford St Martin Trust, which I chaired last year, said that,
"religion is, and will continue to be, for good and for ill, a constant in humanity's narrative about itself".
Therefore, I find it curious that although the Select Committee's first recommendation specifically mentions programmes dealing with religion and other beliefs, the Government's response mentions all the other core elements of public service broadcasting that the noble Lord, Lord Fowler, cited, included in our recommendation, but they exclude religion and other beliefs. Why?
Perhaps it is included in the phrase, "among other things". But what does that mean? Is it meant to cover a multitude of sins or a plurality of religions? If it is the latter—for I hope that there can be no other conclusion—why is it so squeamish? In the light of what must have been a conscious omission, the final sentence of the Government's response to our recommendation sounds a bit ominous. They say:
"There may well be a need to balance competing priorities".
Perhaps I have succumbed to a fit of paranoia and, if so, I am sure that the Minister will be quick to reassure me.
Part of public service broadcasting strength in this country is its ability to touch mass audiences and not to be consigned to a ghetto. The opportunity now is for PSB to be available on as many platforms as possible—in other words, to expand and not to decline. Further withdrawal, for example from local TV news, would have an adverse effect in many of the places where I serve. It would hit local pride and community cohesion. So I hope very much that the Government will soon come to a decision about, for example, Ofcom's proposals for independently funded news consortia and the BBC's counterview, to ensure the continuing plurality of regional news. It really does affect places such as Manchester. The noble Lord, Lord Fowler, mentioned the decline of local newspapers, and that is demonstrably true across Greater Manchester. Only last week, I stood among the few remaining staff in the huge, almost empty building that contained what was Rochdale's once hugely successful newspaper. Although still valued, it is sadly only a shadow of its former self.
What is clear in our report and the Government's response is that public service broadcasting simply must not be left to the BBC alone. Partnerships would be a step in the right direction, but funding issues require tenacious long-sightedness and a genuinely sustainable model that does not risk scuppering the long-term future of PSB because of short-term expediency, an unwillingness to face up to tough questions or a desire to shrink from radical interventions.
Ofcom research showing that the public are willing to pay for PSB over and above the licence fee should not be jettisoned just because of the recession; that will end. Nor is the advertising situation terminally hopeless. The rise of internet players such
as Channel 4's 4 On Demand opens new doors for internet advertising, and the on-demand audio channel Spotify is an example of the successful provision of free advertising-funded web content. On that subject, a pot of money from which broadcasters could bid for PSB funding could be part of the solution. While we all agreed on the committee that there is opposition to top-slicing the licence fee, and from some quarters to the proposed diversion of ring-fenced digital switchover funds to help other broadcasters after 2012, I wonder whether negligible inflation allows enough slack in the RPI-linked licence fee to make this at least worth revisiting.
Whatever options for funding are chosen, securing a sustainable future for public service broadcasting cannot be left to chance. The Government's response, so far as it goes, is encouraging and I look forward to their forthcoming report on digital Britain. I pray God, and it must be permissible for me to say that from these Benches, that a thriving dynamic plurality of public service broadcasting, which for so long has been such a key ingredient in what has made British broadcasting the envy of the world, will continue to inform and enlighten our culture in the United Kingdom.
5.28 pm
Lord Inglewood: My Lords, in his opening remarks, the right reverend Prelate the Bishop of Manchester said what a privilege it was to serve on the Communications Committee under my noble friend Lord Fowler. I do not want to gainsay that, but it is a pleasure and a delight to do so. My noble friend had considerable trouble getting this debate, and in so doing I dare say he abandoned his customary congeniality, but it is important that he has done so because it appears that there is an immediate problem with public sector broadcasting. That being the case, it is only right that Parliament should discuss it. Moreover, given that there is a problem with public service broadcasting, the Government must get involved. If they do not, there is likely to be blood on the carpet and wreckage from the sector as we have come to know it. Again, it is important to note that if that were to happen, Parliament should discuss it.
I believe, first, that public service broadcasting as we have it continues to be important. Secondly, I believe that PSB should not be a BBC monopoly, and in this as in other areas of life, pluralism must be what we aspire to. Finally, PSB must be at arm's length from the Government.
I declare an interest as chairman of the CN Group, a local newspaper group in Cumbria. It has been suggested by some that the Government should subsidise local newspapers. I should like to put it on record that, for my part, I am entirely opposed to that. Equally, I think it is right that the taxpayer should not bankroll publications that are in competition with local newspapers. As has already been touched on today, in our report we have considered whether contestable funding has a place in the context of the current crisis. Even bearing in mind my caveat about chairing a local newspaper group, I think it may well do. It is an important possibility that needs to be looked into with care.
But, because of the nature of the immediate problems facing the public service broadcasting sector, I suspect
that there is a fairly narrow range of options in front of us; these are, in general terms, outlined in the report. I am extremely anxious—I use that word in a general sense—that the matters described in the report will be a precursor to a series of much more intractable problems. It is not simply because I have spent too much time listening to the noble Lord, Lord Maxton, that I believe convergence between the internet, radio, TV, film and newspapers is taking place; it is more or less on us now. Because of this we need not only to identify what a public service broadcaster might be, but what a broadcaster, pure and simple, might be. At the same time we need to identify the kind of intellectual property regime which will form the legal framework within which all this will be carried on in the future.
It is clear from the evidence that the Communications Committee has been receiving recently that, for example, the distinction between film and television as it has traditionally been is beginning to break down. Equally, the same is happening between material in the printed newspaper and material on the internet. These are merely two examples of a much wider phenomenon. The character and the means of both distribution and reception of digital material is myriad. Audiences are increasingly flexible in the way in which they consume it, and they approach it differently according to the means of distribution employed. For example, watching a film on a mobile phone or on a laptop is a very different experience from going to see the film in the cinema and are not alternatives to most people who do that.
In a world where there is no monopoly of distribution, everyone becomes a supplier of digital material. This has obvious and massive implications for public service broadcasters and what they do. Equally, as a consequence, it has implications for the way in which they are going to be funded. This obviously includes the licence fee. It may have been set for a period up to 2012 but I am not sure that that will be of any relevance by the time we reach 2012. Given the speed with which change has crept up on us, all this needs to be thought about extremely deeply and thoroughly, and soon. We are facing immediately a crisis brought about by the congruence of the collapse of advertising revenue and technological change. But I do not think it is the end of the story because we are not going to go back to the status quo ante when the current financial crisis is over. I suspect that the broadcasting/digital world may be very different from the one we have been used to. It may well be the case that we ain't seen nothing yet.
Lord Puttnam: My Lords, I add my thanks to the noble Lord, Lord Fowler, for not only securing the debate but for the excellent report on which it is based. His committee goes from strength to strength and I am far from alone in the House in hoping that as soon as possible it could lose its provisional driving licence and have its long-term future secured.
It will not have escaped your Lordships' notice that we are rapidly approaching what might be described as the end game in terms of the direction likely to be offered by the forthcoming government report Digital Britain.
Here I declare an interest as deputy chair of Channel Four. That is the same hat I was wearing when, in April last year, I accepted an invitation to a very pleasant dinner hosted by the BBC Trust, then quite recently formed. That evening we discussed the future of the BBC and of public service broadcasting more generally, and I strongly recommended that the BBC ensure that it takes on the role of the architect of the future of PSB in this country, which everyone at that dinner regarded as being, in the long term, an endangered species. I got no sense but that this view was generally accepted as being sensible, and certainly the right direction of travel. I probably should have known better—I had forgotten the lessons of history.
From its inception, the BBC has only ever truly been the architect—I could say, the all-consuming architect—of its own immediate future. In this respect, it is probably worth taking a quick canter through the corporation's history. Originally starting as a private company, it became a public corporation only in 1927. Success as our sole national radio broadcaster was rapid, and the first serious challenge to its sense of self-preservation came, ironically, from within.
Early experiments in television had been treated benevolently, but with little serious interest from the top. It was not until the televising of the 1948 Olympics that things started to get serious, when the number of receivers in the London area increased fourfold to over 66,000 by the end of the Games. The then Comptroller of Television, Norman Collins, was sufficiently jubilant to write:
"once television is truly national it will become the most important medium that exists ... the first casualty of television, possibly the only casualty, is not the local cinema or the local country theatre, it is sound radio".
For daring to question the then received wisdom—that is, the primacy of radio—Norman Collins was quickly given the boot. Lord Reith was no pushover but, as far as I can make out, it was this that set the seal on future decades of autocracy.
The next threat rolled along a few years later in 1952, when on 11 July Parliament started to seriously discuss the possibility of a second television channel, opposed in principle by the then doyenne of television, Grace Wyndham Goldie, who reportedly told a parliamentary committee that the whole idea of a second channel was fatuous as she could barely put together a talented enough team to deliver one channel. Market forces, driven by scarcity, were obviously in play even at that early date.
There then began a two-year struggle for what was described as "the soul of the nation" when the then Conservative Government had the temerity to suggest that the most appropriate competition might be mounted by an advertising-supported channel and not one controlled and operated by the BBC. The corporation mounted a fearsome rearguard action, and the Bill establishing what became ITV was passed by only six votes, to receive Royal Assent on 30 July 1954.
More battles followed. As chancellor of the Open University, it saddens me to recall that the creation of the OU was initially opposed root and branch by the
BBC as being an imposition on its editorial independence. Happily, those two organisations seem to be rubbing along rather better nowadays.
I could go on at great length, but I hope my point is clear: here is an immensely successful organisation that seems compulsively to feel that any development within the media space it occupies represents a threat, possibly a mortal threat, to its survival.
So we reach today and the regrettable possibility of a continuation of the corporation's them-or-us attitude towards the whole of the rest of the content world. I remain a huge admirer of the BBC but, as wiser heads than mine have pointed out, it seriously endangers itself if it seeks to remain part of the problem instead of becoming that architect of a long-term answer—that is, achieving the plurality of voice that a broad consensus of both Houses and all parties appears to regard as essential to the future of democracy.
I will not delay the House by niggling about the inappropriate parsimony of the corporation's approach to what it describes as "partnerships". It will suffice to read the letter from ITV's chief operating officer, John Cresswell, in yesterday's Financial Times regarding his frustrations in trying to achieve an agreement with the BBC over the sharing of regional news obligations. Sadly, the experience he relates is all too familiar to those who have ever attempted to design a sustainable future for all the various components of our broad public service offering.
In the coming few days the BBC has a unique opportunity to change the habit of a lifetime by proving my analysis quite wrong in generously and unambiguously setting out a future for public service broadcasting that is plural, inclusive and, in production terms, as broadly based as possible. When I walked off into the night following that meeting with the trust, I was confident that it had in mind exactly this type of outcome. I find it almost tragic that the ghost of autocracy past appears to have come back to haunt its deliberations.
Without unduly delaying your Lordships, I have one very specific proposal that I would like to take the opportunity of today's debate to float out into the ether. Our public service broadcasters are in receipt of a variety of forms of support from the public purse, which gives them a clear line of responsibility to the taxpayer as well as to the licence fee payers they serve. However, they are often unable to prepare programming and online services in a timely fashion to reflect major political debates, as they have little access to key policymakers and other political thinking on a wider number of crucial social issues. The problem is exacerbated by the long lead times the broadcasters require to prepare the very best of such material. As a consequence, their ability to deliver public value to the taxpayer and to the licence fee payer in the form of public understanding and participation is greatly diminished.
I would like to see a secure and non-partisan channel of communication established between government officials and public service broadcasters to help the latter prepare content, where they feel it is appropriate, that could better reflect the breadth of thinking and the possible options in relation to critical forthcoming debates, at both a national and international level.
I propose that a mechanism be created which would enable the editorial and policy units—particularly, but not exclusively, those attached to the public service broadcasters—to have a formal and privileged access to emerging government thinking on a range of political, social and economic issues, as far in advance as is practicable. To ensure the non-partisan nature of this arrangement, any such discussion should fall under the aegis of the Cabinet Office and, through it, to the relevant Permanent Secretaries, along with such senior officials as they may designate.
This country currently suffers from a crippling trust deficit. Any such scheme that was able to inject trust and co-operation into the widening gap between policy development and public understanding would, in my judgment, be a small but significant step forward.
Let me be crystal clear: in no way is this a proposition that is designed to tame the broadcasters—quite the contrary. In an age often said to be laden with political spin, I hope that it would allow them much more effectively to be the grit in the oyster of many political debates, putting down serious challenges to the Government of the day and to the Executive, but based on fact, not theory. In fact, I think this kind of proposal is all of a piece with the kind of thinking about the public value of public service broadcasters which underlies the whole of the noble Lord's report. As I say, I also think that it is the kind of partnership which broadcasters would welcome if they are really to step up to the plate on their public responsibilities, most particularly in an age when it is ever more difficult to sort the wheat from the chaff, deluged as we are with vast amounts of information every minute of the day.
Today we have gone to the polls to vote on Europe. I do not think that anyone could honestly claim that young people in this country have a clue, or have been adequately informed, about what these issues are. Therefore, any proposal which could enable better, more accurate and more timely information to be available to young people must be a step forward. I recommend it to the House.
Baroness Howe of Idlicote: My Lords, I add my congratulations to the noble Lord, Lord Fowler, on his quite exceptional chairmanship of our Communications Committee. It would be hard to find a more diligent and hardworking Select Committee, and I certainly hope, along with the noble Lord, Lord Puttnam, that it will at last be established on a permanent basis.
Debating our report before the Government had fully responded was clearly not ideal. However, I am grateful for their interim reaction which at least gives your Lordships a further opportunity to re-emphasise the points that we regard as crucial if public service broadcasting is indeed to survive in this economically challenged and rapidly changing digital world.
As the report starts by saying, defining public service broadcasting has challenged many of our interviewed experts, quite apart from ourselves. Inevitably, we all have our own preferences. I prefer—perhaps not least because of the citizen consumer battles during the
passage of the Communications Act 2003—the definition proposed by my noble friend Lord Birt of "a programme tradition with citizens rather than consumers in mind".
Next Section Back to Table of Contents Lords Hansard Home Page


text:
Q: How can I divide up my C# file when it has rendering and functionality all together? I have an application with code for a page like this:
public partial class PhrasesFrameRenderer : Frame
{
    Random rand = new Random();
    private int answeredPhraseCount;
    private int correctAns;

    public PhrasesFrameRenderer()
    {
        InitializeComponent();
        AS.PhrasesFrameRenderer = this;
        phraseStackLayout.BindingContext = AS.themeColor;
        faveLabel.Text = FontAwesome.FAHeartO;

        // Favorites

        DataTrigger triggerTrue = new DataTrigger(typeof(Label))
        {
            Value = true,
            Binding = new Binding() { Path = "Favorite" }
        };
        Setter setterTrue = new Setter()
        {
            Property = Label.TextColorProperty,
            Value = Color.Red
        };

        DataTrigger triggerFalse = new DataTrigger(typeof(Label))
        {
            Value = false,
            Binding = new Binding() { Path = "Favorite" }
        };

        Setter setterFalse = new Setter()
        {
            Property = Label.TextColorProperty,
            Value = Color.Red
        };

        triggerFalse.Setters.Clear();
        triggerTrue.Setters.Clear();

        triggerTrue.Setters.Add(setterTrue);
        triggerFalse.Setters.Add(setterFalse);

        favoriteLabel.Triggers.Add(triggerTrue);
        favoriteLabel.Triggers.Add(triggerFalse);

        correctButton.Clicked += (sender, e) =>
        {
            App.DB.IncrementScore(AS.cfs, AS.phrase);
            correctAns++;
            AS.pointsCount[(int)AS.cfs]++;
            scoreCountLabel.Text = FontAwesome.FAStop.Repeat(correctAns);
            Device.StartTimer(TimeSpan.FromSeconds(0.5), () =>
            {
                switch (AS.cardOrder)
                {
                    case CardOrder.FirstToLast:
                        AS.orderPhraseIndex++;
                        AS.phraseIndexList.Add(AS.orderPhraseIndex);
                        getPhraseFirstToLast();
                        break;
                    case CardOrder.Random:
                        getRandomNumber();
                        getRandomPhrase();
                        break;
                }
                return false;
            });
        };

the C# code for rendering and the C# code for the page logic are all combined into one large file and it's difficult to debug / maintain.
Does anyone have any suggestions on how I can restructure this.  Is this the same for most Xamarin form applications?


When I hear the word nightshade, my first thought is generally that it's poisonous (since deadly nightshade, also known as atropa belladonna, is often mentioned as a poison in the mystery books I used to read as a child).
But, nightshades (also known as Solanaceae) encompasses a whole family of flowering plants that includes many very popular fruits and vegetables that you probably eat daily.
And if you want the whole list of nightshades foods emailed to you, just on the green button below.
Some of the most popular nightshades are potatoes, tomatoes, bell peppers, and chili peppers. But because various spices and spice mixes are made from chili peppers, nightshades can be found in a whole host of processed foods!
Source of this list is from my own experience as well as Sarah's list here.
If you've read my article on the Autoimmune Paleo Protocol (AIP) (click here for article) or any of Sarah Ballantyne's articles, then you'll already be familiar with the idea that nightshades contain saponins (in particular, glycoalkaloids), which may contribute to leaky gut, and hence why nightshades are avoided on AIP (a modified version of the Paleo diet geared toward those with autoimmune conditions).
In particular, saponins (which have both a water-soluble and a fat-soluble component) seem to be able to interact with cholesterol molecules in your cell membranes creating holes in the membrane. Those holes could then potentially allow substances to enter your body that shouldn't be entering.
While the research on glycoalkaloids causing and/or exacerbating leaky gut is still inconclusive, it is clear that glycoalkaloids in high amounts (e.g., if you eat green and sprouted potatoes) can be highly toxic to both humans and animals. Some researchers have also suggested that there may be unknown chronic effects of prolonged ingestion of glycoalkaloids.
As you can see from the list above, nightshades can be tricky to avoid as tomatoes, paprika, and chili powder can be found in many popular spices and sauces! And many of us love potatoes.
What makes it even harder is that many people forget (or don't know) what nightshades are. For example, most people forget that ketchup, steak seasoning, and curry powder all contain nightshades.
It definitely makes eating at a restaurant or a friend's house really challenging!
Again, if you have an autoimmune condition, then I highly recommend you read this article here.
34 AIP Easter Recipes You Don't Want To Miss This Year!


Before I get into the main topic for today, let me start by confirming that I am a huge believer in positive coaching. I believe the authoritarian yelling and screaming style of coaching is outdated and counter-productive. It may produce some short-term benefits, but in the long term it does more harm than good.
That said, when it comes to fastpitch softball (as well as other activities) there is also danger in going too far the other way.
How could that be? If negative is bad, isn't the opposite of negative positive – and therefore good? Not exactly.
The danger in going unrealistically positive is it often tends to kill the incentive to improve. If players are constantly being told how wonderful they're doing, even when their skills leave a lot to be desired, they may not feel the urgency to step it up to the next level.
There are all kinds of examples. A hitter who is crushing the ball against weak pitching despite weak mechanics won't develop the mechanics she needs to hit higher-level pitching. That's fine if she never wants to move up in class, but if she does she will find it difficult. Then she'll be left wondering what happened.
Another example is the pitcher who relies only on her fastball, or the catcher who never learns to block a ball in the dirt. Skills that help better-than-average athletes succeed early generally do not hold up as they get older or face better competition.
What players really need from coaches (and parents) is honest feedback. Praise them for their good work now, but also inform them that they can do better, and become better.
Build that work ethic and sense of striving to improve constantly and you will do more for their self-esteem, and their long-term success, than simply telling them how great they are all the time. It's how the truly great become great.
Posted on March 8, 2016, in Coaching, Parents and tagged Coaching, fastpitch softball, Postive coaching, Youth sports. Bookmark the permalink.	Leave a comment.


text:
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE web-app PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN" "http://java.sun.com/dtd/web-app_2_3.dtd">
<web-app>
    <display-name>dcs</display-name>
    <description>Document Clustering Server</description>

    <servlet>
        <servlet-name>RestProcessor</servlet-name>
        <servlet-class>org.carrot2.dcs.RestProcessorServlet</servlet-class>
        <load-on-startup>1</load-on-startup>
    </servlet>

    <servlet-mapping>
        <servlet-name>RestProcessor</servlet-name>
        <url-pattern>/dcs/*</url-pattern>
    </servlet-mapping>
</web-app>

redpajama_set_name: RedPajamaGithub


text:
Singapore Airlines Ponders Nonstop Flights To Seattle
MIAMI — According to a report published by The Straits Times, Singapore Airlines is considering launching a new, non-stop flight to Seattle next year.
The carrier has not confirmed these allegations, which would open the airline's fourth nonstop destination in the United States, following Newark, San Francisco, and Los Angeles.
However, the likelihood of it happening is higher than ever before, now that the airline is set to receive more Airbus A350-900ULRs (it has seven planes ordered).
Last week, the airline re-launched the world's longest non-stop flight, between Singapore and Newark.
The route to Seattle, however, is nowhere near in length as the journey to Newark. Flying nonstop to Seattle would put the total range at roughly 8,000 miles, whereas the trip to Newark spans at 9,500 miles.
Singapore Airlines might consider, in fact, using its regular A350-900s with which flies to San Francisco, nonstop.
The airline will also launch nonstop flights to Los Angeles next week, on November 2, with the A350-900ULR.
Opening up the new route to Seattle would enable Singapore Airlines to bolster its current partnership with Alaska Airlines, opening up opportunities for connections to its tremendous domestic and Canadian network.
Airbus A350-900Seattle-Tacoma International AirportSingapore Airlines
A Global Review of Commercial Flight since 1994: the leading Commercial Aviation publication in North America and 35 nations worldwide. Based in Miami, Florida.
ANALYSIS: Exploring Progress Made in the American Airlines-US Airways Merger
Porter Airlines is Entering the Florida Market
Belgium's VLM Airlines Files for Bankruptcy


Here is a recipe for you to try. Test out these awesome slices for a treat. They are quite dense, so if you are trying to lose fat, make sure you take into account the macros (see below). But they are a great source of good fats, and a good low carb option as well.
Start by roasting the nuts in the oven with for 10min/180degrees and then allow to cool.
Place the almonds, cashews, berries, protein powder, chia seeds, cacao powder into a high speed processor bowl (or TMbowl). Blend on high speed food processor until finely chopped. (For thermomix: 15 sec/Sp 7) Scrape down the bowl with a spatula.
Add coconut oil & honey to the dry mixture and mix on medium speed in the processor or thermomix (For thermomix: 20 sec/Sp 5. Ensure the oil has mixed into the mixture.
Line a baking dish and pour mixture into the dish, press it down and refrigerate for 1 hr. Best kept in the fridge.


When an urban warrior such as yourself finally gets the vacation you only get to see on TV, to visit that day spa you've been dying to go to, or get that camelback ride you've been wanting to take and that real mountain you've wanted to climb what do you do? You treat yourself to popular wildlife sanctuary vacations. Where do you go when you seek a forest of animals and wildlife (remarkably reminiscent of the competition) or when you want to retreat to a quiet church or relaxing apartments instead of another conference room and listen to music instead of the morning traffic?
Check the website of World Wildlife Adventures. The informative website allows you to choose the country and the adventure of your choice from its selections. The site gives you the lowdown on the wildlife parks and national parks of the world. You have 795 wildlife sanctuaries to choose from, from over 18 countries to fit your needs and budgets. The website allows you to browse what each country has to offer by simply clicking on the link to the country of your choice, like the Philippines for instance, which offers 42 wildlife sanctuaries.
Pick your adventure. If you want to go camping, bird watching, trekking, fishing, hiking, climbing, waterfall traveling, boating, swimming, kayaking or go on a wildlife safari in Asia, the website allows you to pick the wildlife sanctuary of your choice. Among the wildlife parks featured are Periyar Tiger Reserve, Bandipur National Park, and Little Rann of Kutch of India; Mount Aspiring National Park, Kaweka Forest Park, and Raukumara Forest Park of New Zealand to name a few. The site offers easy navigation, giving you the chance to browse wildlife sanctuaries by wildlife, by adventure, by states and on the map per country, to help you decide where you want to go. For instance, if you want to go to the Philippines, simply click on its link and all its featured wildlife sanctuaries will appear onscreen. The page will contain photos and data on the wild life found there, the adventures you can have there (Who says you can't multi-task while on a vacation?), the best time to go there and its location. The website also lets you in on the wildlife and which sanctuary to go to, if you want to see them.
Check out reviews and pictures. Once you have decided on which country to go to or which sanctuary to visit, it also helps to check out the sanctuary's or the country's official websites and reviews of people who have actually been to the place. World Widlife Adventures posts user comments and reviews of people who have been there. You can also check out the website of Tripadviser.
Decide on accommodations. It also contains links to companies that offer tour packages and accommodations for your convenience. You can get better deals by making reservations early or by going to your favored destination when it's off- season. Check out the amenities and accommodations of the hotel where you plan to be staying in so that you can be sure of tending to your creature comforts when you leave the jungle.
The perfect popular wildlife sanctuary vacations are not too difficult to find. Your destination draws closer with the click of a button.


text:
Close of Accelerated Bookbuild
Idox plc (AIM: IDOX), a leading supplier of specialist information management solutions and services, announces that, further to the announcement made earlier today entitled "Acquisition and Placing" (the "ABB Announcement"), the bookbuild in connection with the Placing has been successful and has now closed.
The Company will shortly announce the full details of the proposed Placing including the final number of shares to be issued pursuant to the Placing, which remains subject to the passing of the Resolution by Shareholders. As previously indicated, a circular will be posted shortly giving Shareholders details of the Placing and giving notice of the General Meeting.
Capitalised terms in this announcement shall have the same meaning as in the ABB Announcement.
Laurence Vaughan, Non-Executive Chairman
Andrew Riley, Chief Executive
James Hopton
Rachel Newton
Reg Hoare
Andrew Leach
Charlie Barker


'A simply stunning opportunity to own a expedition prepared Defender 110 County Station wagon having the last of the legendary & ultra-reliable factory 300 Tdi engine. It has been enthusiastically owned by its previous lady owner who has clearly cherished and loved this vehicle with the added benefit of some high value tasteful extra having only been used for weekend outings.
You are looking at a stunning 98 R reg Land Rover Defender 110 County Station Wagon 300 Tdi With 12 Seats + Belts in gleaming met Rioja Red.
Last Lady owner for 12 years, nuine 119K Miles, Full Service History, st been serviced Including New T-Belt, MOT Novemeber 2015, Full Clear HPI Report including Mileage check Verified by the NMR, Original Rayleigh Cloth Seats with belts, 5 Land Rover Alloys with BFG All Terrain Tyres Expedition extras include; Full length Aluminium Roof Rack and Ladder, Mantec Raised Air intake, Front mounted Electric Winch, Window Grills fitted to rear glass, Rock sliders/Jackable sills, Swing away wheel carrier with High lift jack, CB Radio, Factory fitted Alarm & immob + Additional Premium immobiliser for added security, Adj Tow bar + elecs, Absolute stunning condition inside/out, Looks and Drives superb. A real head turner!, Tight and Precise and goes like a BOMB. Comes With original Handbook, service book, Spare keys etc..
This is a fine example of this highly sought after vehicle which has only been used as car. All the extras added were purely for aesthetic purposes and for weekend outings.
The 300 Tdi is known to be the best engine Land Rover ever made and is much preferred by enthusiasts and expeditionists for its ease of maintainance, reliability.You will be pushed hard to find a better example!


The release of the next Call of Duty: Black Ops 4 – Zombies experience, titled Ancient Evil, is just around the corner.
Those who picked up the Black Ops Pass for their console or PC can get the new content beginning on Tuesday, March 26th, 2019. What will it contain? Well there's a new adventure taking place in a cavern deep under an ancient Greek city full of dusty, creepy new zombies.
See the details, a trailer and a poster for the experience below.


The extraordinary allegations, depicting a panic-stricken No. 2 official at the Justice Department who has been a target of the President in the past, are outlined in memos authored by former FBI Deputy Director Andrew McCabe, according to the Times. CNN has not reviewed the memos, but they have been turned over to special counsel Robert Mueller, according to sources familiar with the matter.
The White House did not immediately comment on the Times story.
CNN previously reported that McCabe has turned over to Mueller his contemporaneous notes on what Comey told McCabe about his private interactions with Trump, McCabe's own interactions with Trump, and McCabe's impressions of meetings with Rosenstein.
Attorney General Jeff Sessions fired McCabe in March over accusations that he approved other FBI officials speaking with the media about an ongoing investigation about the Clinton Foundation and misled investigators about his actions.


Bonus on MIS scrapped for existing Or new investors ?
Recently the MIS (Post office monthly saving scheme) bonus of 5% on maturity has been scrapped ,but is it scrapped for existing investors also or just for new investors ?
I think it should be for new only , because then its unfair to existing one's . Can anyone confirm this ?
Dear Manish, Earlier too for a brief period if I recall right from 2006 to 2008, the bonus was scrapped but that too was only for new accounts opened after notification.
In this case, the old accounts 'll continue to earn 8% interest rate (the old rate) & at the end of 6Y term (again the old term) 'll get 5% bonus.
New accounts to be opened after the notifications, 'll be for 5Y term, 8.2% interest rate & zero maturity bonus.
I have my MIS for 9 Lacs jointly with my wife opened on 31.12.2009. I am confused about the bonus of 5% on maturity after the 2011 government decision of scrapping out bonus. Please clarify whether I am eligible for 5% bonus or not.
i think your thinking is correct. simultaneously the existing would not get the increased interest rate and reduced holding period. as i understand, such fds are contracts and terms could not be changed unilaterally.


text:
import * as types from './actionTypes';
import GithubAPI from '../api/githubAPI';
import * as utilityMethods from '../utils/utilityMethods';

export function statusesLoadedForCurrentCommit(repoId, isFromBranch, branchName, commitSha, statuses) {
  return {type: types.STATUSES_LOADED_FOR_CURRENT_COMMIT, repoId, isFromBranch, branchName, commitSha, statuses};
}

export function statusCreatedForCommit(newStatus) {
  return {type: types.STATUS_CREATED_FOR_COMMIT, newStatus};
}

export function loadStatusesForCurrentCommit(repoId, isFromBranch, branchName, commitSha) {
  return function (dispatch, getState) {
    const currentState = getState();
    const repo = utilityMethods.getRepoById(currentState.repos, repoId);

    return GithubAPI.getStatusesForCommit(repo.owner.login, repo.name, commitSha).then(statuses => {
      dispatch(statusesLoadedForCurrentCommit(repoId, isFromBranch, branchName, commitSha, statuses));
    }).catch(error => {
      //TODO: Improve error handling instead of re-throwing error
      throw(error);
    });

  };
}

export function createNewStatusForCommit(repoId, commitSha, state, description, targetUrl, context) {
  return function (dispatch, getState) {
    const currentState = getState();
    const repo = utilityMethods.getRepoById(currentState.repos, repoId);

    return GithubAPI.createStatusForCommit(repo.owner.login, repo.name, commitSha, state, description, targetUrl, context).then(newStatus => {
      dispatch(statusCreatedForCommit(newStatus));
    }).catch(error => {
      //TODO: Improve error handling instead of re-throwing error
      throw(error);
    });
  };
}


text:
Tina O'Brien
Alesha Dixon [8] wallpaper
Download Alesha Dixon [8] wallpaper
Alesha Dixon [8] wallpaper 1920x1200
More resolutions 1920x1080 1920x1200
glee_fan
Alesha Dixon [8] Celebrity desktop wallpaper, Alesha Dixon wallpaper, Celebrity wallpaper - Celebrities no. 12948. Download this Alesha Dixon [8] Alesha Dixon desktop wallpaper in multiple resolutions for free.
Alesha Anjanette Dixon (born 7 October 1978) is an English singer-songwriter, dancer, model and television personality. She first found fame in the all-female R&B/garage trio Mis-Teeq, however, the trio separated in 2005 and Dixon continued pursuing her music career as a solo artist, signing to Polydor Records. Dixon began recording her debut solo album, Fired Up in 2006, but due to poor record sales of her first two singles, "Lipstick" and "Knockdown", she was dropped from Polydor.
Wallpapers similar to Alesha Dixon [8]
Alesha Dixon [5]
Delta Goodrem [3]
Amber Heard [11]


text:
Q: Getting Golf scores into an array Hey guys I'm trying make a program that simulates a scorecard in Golf. I'm stuck with the arrays...
I have a hole[] {0, 1, .... ,17} to counts a 18 hole course. But for each element in the array I think I'm going to need another array that takes the user's score for that hole.
I need help with incrementing the hole score( h1S, h2S, h3S...) because right now h1S is going to be reused for every hole so it's just going to rewrite itself right? lol anyways I'm lost, help me please.
static int hole[] = new int[18];
{

hole[0] = h1S; // hole Scores..
hole[1] = h2S;
hole[2] = h3S;
hole[3] = h4S;
hole[4] = h5S;
hole[5] = h6S;
hole[6] = h7S;
hole[7] = h8S;
hole[8] = h9S;
hole[9] = h10S;
hole[10] = h11S;
hole[11] = h12S;
hole[12] = h13S;
hole[13] = h14S;
hole[14] = h15S;
hole[15] = h16S;
hole[16] = h17S;
hole[17] = h18S;

}

public static void test1()
{
    Scanner input = new Scanner(System.in);

    if (numPlayers == 1)
    {
        for (int holeNumber = 1; holeNumber < 19; holeNumber++)
        {
            System.out.println(player1 + ", Enter your hole " + holeNumber + " score.");
            h1S = input.nextInt();// i need increment h1S somehow *******************
        }
    }

    else if (numPlayers == 2)
    {
        for (int holeNumber = 1; holeNumber < 19; holeNumber++)
        {
            System.out.println(player1 + ", Enter your hole " + holeNumber + " score.");
            h1S = input.nextInt();

            System.out.println(player2 + ", Enter your hole " + holeNumber + " score.");
            h1S = input.nextInt();
        }
    }

    else if (numPlayers == 3)
    {
        for (int holeNumber = 1; holeNumber < 19; holeNumber++)
        {
            System.out.println(player1 + ", Enter your hole " + holeNumber + " score.");
            h1S = input.nextInt();

            System.out.println(player2 + ", Enter your hole " + holeNumber + " score.");
            h1S = input.nextInt();

            System.out.println(player3 + ", Enter your hole " + holeNumber + " score.");
            h1S = input.nextInt();
        }
    }

    else if (numPlayers == 4)
    {
        for (int holeNumber = 1; holeNumber < 19; holeNumber++)
        {
            System.out.println(player1 + ", Enter your hole " + holeNumber + " score.");
            h1S = input.nextInt();

            System.out.println(player2 + ", Enter your hole " + holeNumber + " score.");
            h1S = input.nextInt();

            System.out.println(player3 + ", Enter your hole " + holeNumber + " score.");
            h1S = input.nextInt();

            System.out.println(player4 + ", Enter your hole " + holeNumber + " score.");
            h1S = input.nextInt();
        }
    }

}// end test1

Thanks guys.

A: you do need a 2D array (if you want to keep score with arrays) but you could generate it programatically
int[][] score;

public Scorecard(int players){
  score = new int[18][players];
}

Then, to keep score, simply record score[hole][playernum] = score
Envision it as a grid with the x axis being the hole and y being the player. This method also allows you to record at each stroke, since you could increment it with score[hole][playernum]++


text:
Q: Understanding git push command I am trying to understand one git command.
In my local repository, I'm currently on master.
I'm on a remote called origin, in which two branches live: master and review.
However, I have another remote that is also called review...
My question is this: what happens when I run the following command?
git push review

Does it pushes changes to review branch on the same remote?
Or does it pushes changes to another remote with the name review?

A: I understand how this can be confusing. You would do well to choose distinct names for your branches and remotes.
When running git push review, you're essentially using the following syntax
git push <repository> [<refspec>...]

but you're leaving the optional <refspec>... argument out. Therefore, here, git push understands review as a remote, not as a branch. So git push review will be pushing changes (if not everything is up-to-date) to your remote called review.
How will those changes get pushed? Here is a relevant passage of the git-push man page:
When the command line does not specify what to push with
<refspec>... arguments or --all, --mirror, --tags options, the
command finds the default <refspec> by consulting remote.*.push
configuration, and if it is not found, honors push.default
configuration to decide what to push (See gitlink:git-config[1] for
the meaning of push.default).

So what happens when you run git push review depends on your Git configuration. Run
git config remote.review.push

If a match is found, then the corresponding value dictates what happens when you run git push review. If no match is found, Git uses the value of push.default to figure out what to do; run
git config push.default

to see which mode push.default is currently in. For more details on what push.default does, I refer you to Default behavior of "git push" without a branch specified

A: You can look to the documentation.
http://git-scm.com/docs/git-push
[<repository> [<refspec>...]]

First repository and then the branch. But if you don't specify the branch name he takes the same name of the branch you actually checked out.