text:
Family Life in Palestine and Israel
Life in Tel Rumeida
By Chelli Stanley
Tel Rumeida Project
Though each area of Palestine can be said to be unique, Tel Rumeida is truly a world unto itself. Located in the Israeli-controlled area of Hebron, Tel Rumeida is a small neighborhood living out the brutal extravagance of direct Israeli occupation. If Tel Rumeida is viewed as a microcosm of the Israeli plan for Palestine, the sometimes subtle realities of Palestinian life under occupation and the type of Palestinian state Israel desires can be more easily comprehended.
Nearly every tactic used by Israel to create its merciless occupation is employed in Tel Rumeida: displacement, imprisonment, economic strangulation, extreme militarization, arbitrary detention, land confiscation, disruption of normal Palestinian life, settler violence, soldier brutality, government complicity with illegal settler acts, and daily humiliation.
The Palestinian residents of Tel Rumeida never experience the living of a normal day. The nearly three years of curfew they endured during this intifada permanently scar the lives of every resident and the community itself. The five soldier stations and recently modernized electronic checkpoint currently located on three streets make it nearly impossible for residents to walk anywhere unhindered. The two settlements, Beit Haddasseh and the Tel Rumeida settlement, housing some of the West Bank's most extreme settlers (including members of Kach, designated by Israel as a terrorist organization,) and located at the top and bottom of the Tel Rumeida neighborhood, ensure that Palestinians living here will, at the very least, have a daily reminder that they are no longer welcome in their own neighborhood. The endless abandoned homes and forcibly-closed stores, many of them sprayed with violently racist settler graffiti, do their own part in contributing to the solemnly eerie atmosphere of the neighborhood.
The living conditions in Tel Rumeida are that of apartheid. Palestinians are not allowed to drive their vehicles on the streets; they are for Israelis only. Palestinian residents must carry or cart everything to their homes while settlers take joyrides through the neighborhood. Palestinians are forced to take winding, dangerous, secondary paths to reach their houses while Israeli settlers use the primary paths. Though the Palestinian residents do not participate in the violence which is so unceasingly apparent in the neighborhood, it is they who are stopped by the Israeli soldiers and forced to lift their shirts and open their purses. Though it is mainly the settler children, immune by law from prosecution, who terrorize Palestinian children and adults and who attack soldiers, it is the Palestinian children who are constantly stopped, who have their schoolbags searched, who are yelled at and hit by soldiers. It is Palestinians who must wait in lines to enter the electronic checkpoint every time they enter or leave their community. It is Palestinians who are harassed and humiliated by nearly every conceivable variety of Israeli law enforcement official as are in existence.
Israeli settlers rule Tel Rumeida. Young settler boys saunter through the Tel Rumeida streets stoning or attacking homes and Palestinian residents at will under the indifferent eyes of Israeli soldiers and police. Damaged and destroyed Palestinian homes, gardens, water pipes, phone lines, and windows live as a testament to the wrath of the settlers' former deeds. The absolute impunity with which these settlers operate, combined with their overt camaraderie with the Israeli soldiers and policemen, are nothing less than a palpable message to the Palestinian residents of the neighborhood that their safety is not an Israeli concern.
Nearly every Palestinian resident of Tel Rumeida has a disturbingly devastating story, such as that of a young pregnant mother who has had two miscarriages in as many years as a direct result of Israeli violence. Last year, she was two months pregnant and, after Israeli soldiers came inside her home and fired their weapons, was found lying on the floor of her home, bleeding, and later lost her child. This year, only a month ago, pregnant with twins and home alone, her house was attacked by seven armed settlers screaming death threats. Soldiers stationed less than 30 meters from her home did not respond to her calls for help during the 20 minute attack. Two hours later, lying again on the floor of her home, she lost her first twin. Later in a hospital operation, she lost the second. Since the death of her twins, she has suffered from nervous attacks and has been repeatedly hospitalized for collapsing.
The children of Tel Rumeida, though they are many, almost never play outside. Those who do venture out run off the streets at the first sound of an approaching settler vehicle and run into their homes when groups of settlers walk by. Even the youngest child of Tel Rumeida has learned indelible lessons about the type of people their Israeli settler neighbors are and their own place in the neighborhood, acting out these lessons on a daily basis.
Tel Rumeida is one of the few areas in Palestine living under direct Israeli occupation. The outcome of this occupation is a brutalized Palestinian community, economically devastated and imprisoned, living under the endless violence of their Israeli neighbors. Tel Rumeida is the Israeli occupation writ large.
Jimmy Carter on "Hard Ball"


text:
The Street Vendors
The Street Vendors initially began as a Hip-Hop Duo that consisted of two young and talented New York lyricists named Alberto "Antoine Lope" Lopez and Brett "Beretta" Vasquez. The group signed a deal with Top Stop Music in 2016 and released their first single "Work." The single's lack of success forced Top Stop Music to terminate the deal. In 2019, Brett "b3retta" Vasquez began recording as a solo artist under The Street Vendors brand. Brett is the son of Angel Vasquez, a singer from the legendary freestyle group, TKA. Brett was born in New York City in the borough of the Bronx. His family is from Puerto Rico. At age 13, he moved to Rockland County and went on to attend college at SUNY Plattsburgh to study TV/Video Production. Brett has always had a passion for music and wished to follow in his father's footsteps. He was influenced by lyrical geniuses such as Busta Rhymes and Fabolous during his father's time managing the female artist, Lumidee in 2002. He was also inspired by late Bronx native Big Pun and Tupac Shakur but also contemporary artists like Drake, Roddy Rich, and A-Boogie. Brett adds, "If I hear a beat that I really like, that's all I need to write." He shared that he feeds off of the energy in the room and enjoys having his friends in the studio to create an ideal recording environment. Brett tirelessly grinds and consistently finds hip-hop beats from producers to add to his Pop, R&B, and Latin influence. The goal is to be set apart from the over-saturated rap pack with positive, feel-good music. Brett is currently working with other talented artists like female R&B singers, rappers, and producers to grow his sound and infiltrate the music industry from all angles. With their unique twist of positivity in an industry that tends to highlight the negative, Street Vendors are music makers that motivate and inspire, yet can definitely be appreciated and respected in the streets.
Bio: Bio
©2019 by The Street Vendors Music. Proudly created with Wix.com

redpajama_set_name: RedPajamaCommonCrawl


The Middle East arm of professional services firm PwC has been busy this week, in attendance, hosting and sponsoring several events across the region.
Even with an overall headcount of more than 5,000 employees across 12 countries region-wide, the digital team of Big Four professional services firm PwC might have been feeling a little stretched this week with a packed schedule of events and appearances – headed by the Global Leaders Exchange at the Future Blockchain Summit in Dubai, now the largest such festival of its kind with over 10,000 people passing through the gates.
Hosted by Smart Dubai in partnership with the Dubai World Trade Centre, the second edition of the Future Blockchain Summit featured over 170 speakers covering a range of blockchain advancement and implementation topics across sectors such as real-estate, retail, healthcare, transport, supply chain, education, government and finance – spread across a number of exhibitions, workshops and forums.
Among the major events: the annual closed-door Global Leaders Exchange presented by PwC. Following a productive roundtable last year, which focused on accelerating blockchain and covered themes on education, interoperability, collaboration and the role of government in affecting change, this year delegates gathered to further build upon those concepts, as outlined in PwC's Accelerating Blockchain whitepaper. Alongside PwC experts Dan Johnson, Stephen Anderson, Clement Chan and Oliver Sykes, participants in the round-table discussion included among others Wikipedia co-founder Larry Sanger; Kathryn Harrison, Director of Global Offering for IBM; Ramez Danda, Microsoft National Technology Officer; Ivar. Wiersma, ING Head of Innovation for Wholesale Banking, and; Chamber of Digital Commerce founder Perianne Boring.
Coinciding with the Future Blockchain Summit, but finishing today, is the Sage Enterprise Management Partner Summit, with PwC the event's diamond sponsor. Held this year down the road from the Future Blockchain Summit at the JW Marriott Marquis Hotel in Dubai, the summit is the largest annual gathering of Sage Business Cloud Enterprise Management partners – with more than 400 delegates in attendance for talks, networking, and demonstrations.
Meanwhile, PwC's 'Town Halls' roadshow continues across the region, having so far taken in Jordan/Iraq, Egypt, Palestine, Lebanon, Kuwait and Oman among the firm's Middle East outlets. Led by Middle East senior partner Hani Ashkar, the Town Halls roadshow is an opportunity to address and hear from regional staff, and forms part of a region-wide digital upskilling initiative for local PwC employees – said to have been met with great enthusiasm to date.


text:
A True Crime Story of a Murderous Teenage Vampire Cult
By: Frank Stanfield
Narrated by: Lee Ann Howlett
Categories: Biographies & Memoirs, True Crime
The Stranger in My Bed
The True Story of Marriage, Murder, and the Body in the Box
By: Michael Fleeman
Narrated by: Kate Zane
All Diane Bertalan really knew of her new husband, John, was that he was a widower, he lavished her with gifts, and he preferred to keep his past a secret. What she didn't know was that the FBI had been watching him for years. In the fall of 2000, she found out why - it was a crime that had been haunting authorities for decades. They called it the mystery of the Lady in the Box.
What a creep
By 6catz on 10-10-21
The Death Shift
Nurse Genene Jones and the Texas Baby Murders
By: Peter Elkind
Updated with dramatic developments and new murder charges, filed in the coldest of cold cases, to keep a serial baby-killer behind bars. This tale is every parent's worst nightmare: the horrifying account of a Texas nurse who killed children under her care, and the hospital that covered it up.
A Stranger Killed Katy
The True Story of Katherine Hawelka, Her Murder on a New York Campus, and How Her Family Fought Back
By: William D. LaRue
Narrated by: David Marantz
In the early morning hours of August 29, 1986, Clarkson University sophomore Katy Hawelka - bright, pretty, and full of life - strolled back to her upstate New York campus after a night out. On the dimly lit path beside the university's ice hockey arena, a stranger emerged from the darkness. A Stranger Killed Katy is the true story of a life cut tragically short, and of the fight by a grieving mother and others more than 30 years later to ensure that a killer would spend the rest of his life behind bars.
By mollybee on 11-14-21
Everybody's Best Friend
The True Story of a Marriage That Ended in Murder
By: Ken Englade
Narrated by: Sean Runnette
Inside a beautiful house in Philadelphia's ritzy Main Line section lay the body of a young mother - dead of an apparent drowning in her bathtub. With no sign of a break-in, no history of marital problems, and the naïve belief that these things sometimes just happen, Stefanie Rabinowitz's family prepared to bury the 29-year-old wife and mother. But at the 11th hour, because Stefanie was so young, and because there were no witnesses to her death, an autopsy was ordered. And what it revealed was unthinkable: Stefanie had been murdered.
I remember this case.
Love's Blood
The Shocking True Story of a Teenager Who Would Do Anything for the Older Man She Loved - Even Kill Her Whole Family
By: Clark Howard
Narrated by: David Colacci
Sixteen-year-old Patricia Columbo began working for pharmacist Frank DeLuca, a married father of five, in the 1970s, and the two soon entered into a sexual relationship. Against her father's wishes, Patricia and Frank moved in together. Then, in Elk Grove Village, Illinois, Patricia's father was brutally murdered, along with her mother and 13-year-old brother. Police were suspicious of Patricia's strange behavior after the bodies were discovered, and following their investigation, they arrested both Patricia and Frank.
A compelling story not for everyone
By Carl on 10-02-21
By: Caitlin Rother
Narrated by: Stephanie Dillard
Chelsea King was a popular high school senior, an outstanding achiever determined to make a difference. Fourteen-year-old Amber Dubois loved books and poured her heart into the animals for which she cared. Treasured by their families and friends, both girls disappeared in San Diego County, just eight miles and one year apart. The community's desperate search led authorities to John Albert Gardner, a brutal predator hiding in plain sight. Now Pulitzer-nominated author Caitlin Rother delivers an incisive, heartbreaking true-life thriller that touches our deepest fears.
Intense True Crime Done Well
By B. Dickinson on 11-13-20
Vampire Killer
A Terrifying True Story of Psychosis, Mutilation and Murder
By: Ryan Green
Narrated by: Steve White
Vampire Killer is a gripping account of Richard Chase and one of the most gruesome true crime stories in California's history. Ryan Green's riveting narrative draws the listener into the real-life horror experienced by the victims and has all the elements of a classic thriller.
Bitter Blood
A True Story of Southern Family Pride, Madness, and Multiple Murder
By: Jerry Bledsoe
Narrated by: Kevin Stillwell
In this unrelenting real-life drama of three wealthy families connected by marriage and murder, Bledsoe recounts the shocking events, obsessive love, and bitter custody battles that led toward the bloody climax that took nine lives.
This is crazy... This is crazy... This is crazy...
By Hilary on 07-07-15
A Family Secret
My Shocking True Story of Surviving a Childhood in Hell
By: Maureen Wood
Narrated by: Rachel Atkins
Abused from the age of eight by her older brother and then her step-father, Maureen Wood quickly became numb to the constant suffering. But Maureen's world crumbled when her own mother started to abuse her too. A Family Secret is the harrowing true story of how one little girl survived sickening abuse by the people who should have loved her most and how an innocent baby finally saved her.
Bravery in Spades
By Mama of Roses on 03-22-21
American Serial Killers
The Epidemic Years 1950-2000
By: Peter Vronsky
Narrated by: René Ruiz
With books like Serial Killers, Female Serial Killers and Sons of Cain, Peter Vronsky has established himself as the foremost expert on the history of serial killers. In this first definitive history of the "Golden Age" of American serial murder, when the number and body count of serial killers exploded, Vronsky tells the stories of the most unusual and prominent serial killings from the 1950s to the early 21st century. From Ted Bundy to the Golden State Killer, our fascination with these classic serial killers seems to grow by the day.
Great listen!!!
By Malik Banks on 07-17-21
Beyond Reason
The True Story of a Shocking Double Murder, a Brilliant, Beautiful Virginia Socialite, and a Deadly Psychotic Obsession
Narrated by: Perry Daniels
She was a beautiful, gifted descendant of Lady Astor. But Elizabeth Haysom was also a spoiled, willful daughter of privilege. He was the brilliant young son of a German diplomat. But his love for Elizabeth would draw Jens Soering into a web of madness and murder. When Elizabeth's parents were found savagely butchered in their elegant Virginia country home, she and Jens fled to Europe - igniting an international manhunt that spanned three continents.
Medium Level Interest
By Judy on 05-17-21
Abandoned Prayers
An Incredible True Story of Murder, Obsession, and Amish Secrets (St. Martin's True Crime Library)
By: Gregg Olsen
Narrated by: Kevin Pierce
On Christmas Eve in 1985, a hunter found a young boy's body along an icy corn field in Nebraska. The residents of Chester, Nebraska buried him as "Little Boy Blue", unclaimed and unidentified - until a phone call from Ohio two years later led authorities to Eli Stutzman, the boy's father. Gregg Olsen's Abandoned Prayers is an incredible true story of murder and Amish secrets.
By Lisa Gainers on 08-30-21
By: Dennis McDougal
Narrated by: Tara Ochs
In June of I985, while her teenage sons held their half sister down, Theresa Cross beat her I9-year-old daughter, Sheila, unconscious and then stuffed her into a 2' x 2' storage locker. After three days, the knocking, kicking, and cries stopped. Theresa and her sons dumped the girl's body in the desolate High Sierras....
Shocking true story
By Karen Vanderjagt on 07-10-15
Evil Beside Her
The True Story of a Texas Woman's Marriage to a Dangerous Psychopath
By: Kathryn Casey
Narrated by: Debbie Andreen
At first, Linda Bergstrom's marriage to her husband James was idyllic. They were young and in love; he was about to enter the Navy and she was eager to start a family. But it wasn't long before the dream exploded. James became abusive and violent, prone to sudden bursts of anger, long silences, and unexplained disappearances. But Linda vowed to hold on, despite the pain and fear...and her disturbing suspicions about her husband's secret life.
Good effort, needs polishing
By Daryl on 09-21-13
Wilder Intentions
Love, Lies and Murder in North Dakota
By: C. J. Wynn
Narrated by: Katrina Medina
On a November morning in 2015, Christopher Jackson waited for his fiancée, Angila Wilder, to pick him up from work as she always did. But this time, she didn't show - and Christopher's calls went unanswered. The police found what looked like a scene from a horror movie at their home. The backdoor kicked in. A bedroom splattered with blood. And a pregnant young woman violently stabbed to death.
Incredibly shocking and intriguing story
Ice and Bone
Tracking an Alaskan Serial Killer
By: Monte Francis
Ice and Bone is the chilling true account of how a demented murderer initially evaded police and avoided conviction only to slip back into the shadows and kill again. Journalist and writer Monte Francis tells the harrowing story of what eventually led to Wade's capture and reveals why the true scope of his murderous rampage is only now, more than a decade later, coming into view.
Can you get away with murder??? Ummm, yea
By POLLY POIZENDEM on 12-13-16
A Clockwork Murder
The Night a Twisted Fantasy Became a Demented Reality
By: Steve Jackson
In April 1997, pretty, 22-year-old Jacine Gielinski stopped her car at a red light in Colorado Springs, Colorado. She had no idea that the two young men looking at her from the car next to hers would in that moment decide she would be their target for unspeakable horrors.
well written, excellent narration
By Roberta on 07-08-17
Early Graves
A True Story of Murder and Passion
By: Thomas H. Cook
Narrated by: Kris Koscheski
Evil has a way of finding itself. How else could you explain the bond between Alvin and Judith Ann Neelley, who consecrated their marriage in blood? Before the killings started, they restricted themselves to simple mischief: prank calls, vandalism, firing guns at strangers' houses. Gradually their ambition grew, until one day at the Riverbend Mall in Rome, Georgia, they spotted Lisa Ann Millican.
Hard to listen to.
By David L Brandon on 07-07-21
Investigators and Central Florida residents were horrified when 16-year-old vampire cult leader Rod Ferrell was arrested and charged with bludgeoning a cult member's parents. When they realized the slain couple's 15-year-old daughter was missing, they feared she was a victim, too.
Detectives and journalists swarming over three states soon uncovered a web of blood-drinking occult rituals, illicit sex, wildly dysfunctional families, and spiritual warfare. Then, when police officers captured the teens, they discovered that the murdered couple's daughter was among them. But was she a victim or a participant?
Ferrell faced the death penalty, sparking Constitutional battles over the ultimate punishment, juveniles in the court system, free press versus a defendant's right to a fair trial, and psychologists who worked to save him and prosecutors who wanted him dead.
More than 20 years later, the battles continue with new court rulings. Is he a changed man deserving freedom? Or is he still gaming the system, as prosecutors and his victims' family members believe?
Decide for yourself after listening to Cold Blooded by veteran newspaper reporter Frank Stanfield, who has covered the case from the beginning in November 1996 and sheds new light on one of the darkest killers in modern history.
©2021 Frank Stanfield (P)2021 WildBlue Press
Murder Cults
American Empress
A Gallery of Children
What listeners say about Cold Blooded
Susie Q
Too much for me. Warning- animal abuse
I received this book at no charge in exchange for an honest review.
Unfortunately, I couldn't finish it. It's just too much. Vampires, animal abuse, etc
are not what I look for in true crime. I never listen to a book involving animals being
abused but this one didn't say anything (most don't).
This is just me. Another reader may glean something out of it but I had to stop.
Narrator, as always, was great.
Clau
A fascinating although horrifying story in which the author manages to convey the facts without divest the guilty of their humanity. Rod Ferrel's story is tragic, and his actions are consistent with cult behaviour . His story is narrated through conversations and legal interviews and it advances in a not-chronological order, and, notwithstanding that it worked well for me
The narration manages to be heartbreaking and at the same time, a fair account of the facts, and I found it really satisfying.
Lee Ann Howlett's narration was really good.
Jeff & Sabrena
Lots of names to keep straight
There were a lot of names to keep track of in this case, and sometimes I found it difficult to keep them all straight, especially when nicknames were interchanged with real names. At times I got a bit lost and had to relisten to parts of the book. Otherwise, the case was well and thoroughly described -- and very interesting.
I had no complaints with Lee Ann Howlett's narration. It was quite satisfactory.
Note: I was given this free review copy audiobook at my request and have voluntarily left this review.


Waltzing Matilda: Jesse Tree Swap #3!
Hi… My name is Charlotte… and I'm a Jesse Tree Swap addict.
I settled on a white, painted body with an embroidery thread belt and a blue felt veil that was pinned down to the sides with a little dab of glue lest a good, strong breeze carry Our Lady away. Just like last year's St. Elizabeth, there is an embroidery thread hanger attached to the top of the veil.
I was going to do a wordy tutorial showing you step by step how to make this and apologizing for my unattractive fingernails but I didn't know if anyone would really be interested (unless maybe you are doing a Jesse Tree Swap too) so I just put this little collage together instead and I'll let the pictures do the talking.
How sweet! This is my first time participating in a swap and I already know I'd do it again in a heartbeat... and we haven't even received the ornaments yet! Thanks for the little tutorial!
Your creations are absolutely darling, as always!
Very cute! I actually did the Mary ornaments for Karen's swap #2. I am pretty happy with them, but they are certainly not as creative as yours!
I'm sure yours are lovely! Every has a different style and different tastes. That's what makes easy swap unique and part of the reason I can't stop agreeing to them!
Ooooo how cute. I signed up with Karen's swap #1 too! We have Ruth and her wheat. I just bought the supplies this weekend...thanks for the inspiration to finish THIS week!
Oh Charlotte, she is lovely. I had to pull out, a blood clot has developed in my arm giving me intense pain. I felt terrible, I had to pull out of making costumes for a play as well - something I love. God has a way of slowing us down sometimes.
I hope Karen will let me try again next year - I can easily see why you are an addict, I would love to receive those boxes as well!
I am in the swap too. #1 and #2- so does that make me an addict also? haha!! I put my pics up too. You did a great job on Mary!
We also participated in swap #1 (we made #3 - the serpent and apple) and were so excited to receive our box yesterday! My almost 2-year-old daughter has claimed your Mary ornament as her own... I have a feeling I'll be needing to follow your tutorial to make a spare (or two!) so we'll have one to keep with the Jesse Tree set and one for her to "love." I also think I'll be needing to find somewhere high and out of reach to put our tree so she doesn't take both Mary's. :-) Thanks so much for making such a beautiful ornament and for sharing the tutorial! Have a blessed Thanksgiving.


"Return the readtable named NAME."
"Is CHAR a dispatch macro character in RT?"
On Unicode-aware implementations this comes with some costs."
On Unicode-aware implementations this comes with some costs.~@:>"
"Make all macro characters in READTABLE be consituents."
- NIL, :STANDARD, and :COMMON-LISP designate the /standard readtable/.
- :MODERM designates a _case-preserving_ /standard-readtable/.
- :MODERN designates a _case-preserving_ /standard-readtable/.
- :CURRENT designates the /current readtable/.


text:
Q: Is it possible to destruct and rewrite simultaneously? Is there a way to destruct and rewrite simultaneously?
Here's a toy example.
Definition count_step (f : nat -> nat) (flt : forall x, f x <= x) a (rec : forall b, b < a -> nat) : nat.
  refine (match f a as a0 return f a = a0 -> nat with
  | 0 => fun _ => 0
  | S b => fun eqa => S (rec b _)
  end eq_refl
  ).
  unfold lt; rewrite <- eqa; apply flt.
Defined.

Theorem count_step_ext x
    (q : nat -> nat)
    (qlt : forall x, q x <= x)
    (f g : forall y, y < x -> nat)
    (fgy : forall y (ylt : y < x), f y ylt = g y ylt) :
    count_step q qlt x f = count_step q qlt x g.
  unfold count_step.

  (* destruct (q x) eqn:? written out, with rewriting (qlt x) to match *)
  refine (match q x as a1 return (forall (qxa1 : q x = a1),
    match a1 as a0 return (a1 = a0 -> nat) with
      | 0 => fun _ : a1 = 0 => 0
      | S b =>
          fun eqa : a1 = S b =>
          S (f b (eq_ind a1 (fun n : nat => n <= x) (eq_rect (q x) (fun n => n <= x) (qlt x) a1 qxa1) (S b) eqa))
      end eq_refl =
    match a1 as a0 return (a1 = a0 -> nat) with
      | 0 => fun _ : a1 = 0 => 0
      | S b =>
          fun eqa : a1 = S b =>
          S (g b (eq_ind a1 (fun n : nat => n <= x) (eq_rect (q x) (fun n => n <= x) (qlt x) a1 qxa1) (S b) eqa))
      end eq_refl
    ) with
    | 0 => _
    | S b => _
    end eq_refl
  ); intros; [ apply eq_refl | ].

  rewrite fgy; apply eq_refl.
Qed.

Basically, this is easily provable by destructing q x, but attempting that
destruct (q x).
Error: Abstracting over the term "n" leads to a term
fun n0 : nat =>
match n0 as a0 return (n0 = a0 -> nat) with
| 0 => fun _ : n0 = 0 => 0
| S b =>
    fun eqa : n0 = S b =>
    S (f b (eq_ind n0 (fun n1 : nat => n1 <= x) (qlt x) (S b) eqa))
end eq_refl =
match n0 as a0 return (n0 = a0 -> nat) with
| 0 => fun _ : n0 = 0 => 0
| S b =>
    fun eqa : n0 = S b =>
    S (g b (eq_ind n0 (fun n1 : nat => n1 <= x) (qlt x) (S b) eqa))
end eq_refl which is ill-typed.
Reason is: Illegal application:
The term "eq_ind" of type
 "forall (A : Type) (x : A) (P : A -> Prop),
  P x -> forall y : A, x = y -> P y"
cannot be applied to the terms
 "nat" : "Set"
 "n0" : "nat"
 "fun n : nat => n <= x" : "nat -> Prop"
 "qlt x" : "q x <= x"
 "S b" : "nat"
 "eqa" : "n0 = S b"
The 4th term has type "q x <= x" which should be coercible to
 "(fun n : nat => n <= x) n0".

so the problem is that we would need to simultaneously rewrite qlt x to
match the destructed q x.
Writing out the simultaneous rewrite, as above, works.
Note that it is mechanical, in that it is rewriting a nested location in which q x occurred.
But, it is quite large.  Is there a shorter way to say it?
Additionally, is it possible to phrase it more succinctly without extra libraries?
I've had similar situations with needing to rewrite with a dependent rewrite too.
Are those possible to handle succinctly?

A:
Note that it is mechanical, in that it is rewriting a nested location in which q x occurred.

This is maybe not that mechanical. The problem is that not all occurrences of q x must be destructed, that's why your refine needs to introduce a qxa1 and insert it in the right places.
It's recommended to use the coq-equations library. It automates a lot of work to make dependent pattern-matching usable.
If you really want to do it by hand, one solution here is to generalize your definition, extracting the convoy pattern---without its eq_refl argument---into an auxiliary function. Notably, this avoids spelling out the return clause, because it's exactly the result type of the function, and that turns out to be precisely the help needed for destruct to work later.
Definition count_step_ (f : nat -> nat) (flt : forall x, f x <= x) a (rec : forall b, b < a -> nat)
  (n : nat) : f a = n -> nat.
Proof.
  refine (match n with
  | 0 => fun _ => 0
  | S b => fun eqa => S (rec b _)
  end).
  unfold lt; rewrite <- eqa; apply flt.
Defined.

Definition count_step (f : nat -> nat) (flt : forall x, f x <= x) a (rec : forall b, b < a -> nat) : nat
  := count_step_ f flt a rec (f a) eq_refl.

Equality proofs are now exposed as arguments, so your extensionality theorem must quantify over them. This strengthen the meaning of "extensionality" to also encompass proof irrelevance for this specific function. It also helps to also change the fgy assumption to say that the argument functions are proof-irrelevant. In this case it doesn't technically make a difference because y < x is already a singleton, but the change lets you avoid relying on that singleton property altogether, making the approach more generally applicable.
Theorem count_step_ext_ x
    (q : nat -> nat)
    (qlt : forall x, q x <= x)
    (f g : forall y, y < x -> nat)
    (fgy : forall y (ylt ylt' : y < x), f y ylt = g y ylt')
    n m e1 e2 :
    count_step_ q qlt x f n e1 = count_step_ q qlt x g m e2.

The first step of the proof is to say that n and m are equal, by n = f a _ = g a _ = m.
Proof.
  assert (e3 : n = m).
  { rewrite <- e1, <- e2. reflexivity. }

Then we want to replace m with n everywhere. rewrite <- e3 won't work because the goal mentions the assumption e2 which mentions m.
This kind of dependency does not ever occur if you stick to using non-dependently typed functions. For example that's the style used throughout Software Foundations, so you get out of it with the expectation that rewrite "should just work". Dependently typed programming breaks that expectation.
The way out is to use revert on the assumption that mentions m, so m is only mentioned in the goal and the one assumption e3 that will eliminate it, by destruct (you can also use rewrite <- e3 but destruct also "garbage collects" m and e3).
  revert e2. destruct e3. intros e2.

The rest of the proof is straightforward.
  destruct n; cbn.
  - reflexivity.
  - f_equal. apply fgy.
Qed.

Finally, the extensionality theorem for the top-level wrapper is a trivial specialization of the above.
Theorem count_step_ext x
    (q : nat -> nat)
    (qlt : forall x, q x <= x)
    (f g : forall y, y < x -> nat)
    (fgy : forall y (ylt ylt' : y < x), f y ylt = g y ylt') :
    count_step q qlt x f = count_step q qlt x g.
Proof.
  apply count_step_ext_; auto.
Qed.

redpajama_set_name: RedPajamaStackExchange


Cheap Tickets for College Students and Faculty: Airfare, Rail and Hostel Deals :Online student travel agent with cheap tickets. Student travel discounts and student airfare deals. Book airline tickets, rail tickets, hostel rooms and travel insurance.
Flights - cheap flights, airline tickets and charter flights from lastminute.com :Huge selection of cheap flights and airline tickets. Compare our cheap flights and save! Make lastminute.com the place to shop for all of your flight bookings and flight reservations.
Discount Travel Deals at Hotwire.com :Hotwire has the travel savings you're looking for. Our low prices on airfares, hotel rooms and car rentals make travel affordable.
Flights, Cheap Flights, Airline Tickets, International Flights, Last Minute Flights :Flights, Cheap Flights, Airline Tickets, International Flights, Last Minute Flights For Holidays And Business Travel. Airline Tickets From Heathrow Airport And Other Uk Airports.
Book cheap flight tickets,Worldwide Flight Offers,Save Money,Cheapest Air Fares,Competitive Flight Price Quotations :FlightFind offer great savings on flights with most airlines. We have cheap ticket offers for business class, economy class, first class, student air fares, charter flights, holiday flights. Huge discounts on car hire worldwide!
cheap airline tickets discount airfares no frills flights :cheap airline tickets, discount flights and airfares as well as cheap hotels with instant online reservation, promotional airfares, consolidator fare, discount travel, cars, cruises, Last minute offers and vacation packages.


Right now, I don't have anything much to show you but a few snapshots taken during the Virtual Director demonstration during SuperComputing'98.
The images in this page are thumbnails to bigger and detailed images. Click them for a larger , more detailed image. The larger images, take a lot of time to come up due their size, but the fun is lost if they are small.. After all, size does matter..... ain't it?
This snap was taken on November 9th, 1998 during the first day at SC'98.
The following snaps were taken on November 10th, 1998 during the second day at SC'98.
I'll try to change the sequence into an animation sequence or a movie file in the next couple of days... till then please bear with me!!
Come back for more updates !!


text:
Q: How to access the parent page elements of an Iframe How to access the parent page elements of an Iframe.
e.g. If i have a page index.htm and another page in an IFrame in index.htm and want to access the elements of index.htm from that IFrame.

A: javascript:
parent.document.getElementById('myElement');

jquery:
$('#myElement', window.parent.document);

A: See my reply to a similar question here:
move input text from iframe to main window
basically, parent gives you the "window" object of the parent window.  You can then access window.document to get document... and therefore, you can get window.document.getElementById() by using parent.document.getElementById(id);


text:
/**
 * Autogenerated by Thrift Compiler (0.9.3)
 *
 * DO NOT EDIT UNLESS YOU ARE SURE THAT YOU KNOW WHAT YOU ARE DOING
 *  @generated
 */
package org.apache.storm.generated;

import org.apache.thrift.scheme.IScheme;
import org.apache.thrift.scheme.SchemeFactory;
import org.apache.thrift.scheme.StandardScheme;

import org.apache.thrift.scheme.TupleScheme;
import org.apache.thrift.protocol.TTupleProtocol;
import org.apache.thrift.protocol.TProtocolException;
import org.apache.thrift.EncodingUtils;
import org.apache.thrift.TException;
import org.apache.thrift.async.AsyncMethodCallback;
import org.apache.thrift.server.AbstractNonblockingServer.*;
import java.util.List;
import java.util.ArrayList;
import java.util.Map;
import java.util.HashMap;
import java.util.EnumMap;
import java.util.Set;
import java.util.HashSet;
import java.util.EnumSet;
import java.util.Collections;
import java.util.BitSet;
import java.nio.ByteBuffer;
import java.util.Arrays;
import javax.annotation.Generated;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

@SuppressWarnings({"cast", "rawtypes", "serial", "unchecked"})
public class HBMessageData extends org.apache.thrift.TUnion<HBMessageData, HBMessageData._Fields> {
  private static final org.apache.thrift.protocol.TStruct STRUCT_DESC = new org.apache.thrift.protocol.TStruct("HBMessageData");
  private static final org.apache.thrift.protocol.TField PATH_FIELD_DESC = new org.apache.thrift.protocol.TField("path", org.apache.thrift.protocol.TType.STRING, (short)1);
  private static final org.apache.thrift.protocol.TField PULSE_FIELD_DESC = new org.apache.thrift.protocol.TField("pulse", org.apache.thrift.protocol.TType.STRUCT, (short)2);
  private static final org.apache.thrift.protocol.TField BOOLVAL_FIELD_DESC = new org.apache.thrift.protocol.TField("boolval", org.apache.thrift.protocol.TType.BOOL, (short)3);
  private static final org.apache.thrift.protocol.TField RECORDS_FIELD_DESC = new org.apache.thrift.protocol.TField("records", org.apache.thrift.protocol.TType.STRUCT, (short)4);
  private static final org.apache.thrift.protocol.TField NODES_FIELD_DESC = new org.apache.thrift.protocol.TField("nodes", org.apache.thrift.protocol.TType.STRUCT, (short)5);
  private static final org.apache.thrift.protocol.TField MESSAGE_BLOB_FIELD_DESC = new org.apache.thrift.protocol.TField("message_blob", org.apache.thrift.protocol.TType.STRING, (short)7);

  /** The set of fields this struct contains, along with convenience methods for finding and manipulating them. */
  public enum _Fields implements org.apache.thrift.TFieldIdEnum {
    PATH((short)1, "path"),
    PULSE((short)2, "pulse"),
    BOOLVAL((short)3, "boolval"),
    RECORDS((short)4, "records"),
    NODES((short)5, "nodes"),
    MESSAGE_BLOB((short)7, "message_blob");

    private static final Map<String, _Fields> byName = new HashMap<String, _Fields>();

    static {
      for (_Fields field : EnumSet.allOf(_Fields.class)) {
        byName.put(field.getFieldName(), field);
      }
    }

    /**
     * Find the _Fields constant that matches fieldId, or null if its not found.
     */
    public static _Fields findByThriftId(int fieldId) {
      switch(fieldId) {
        case 1: // PATH
          return PATH;
        case 2: // PULSE
          return PULSE;
        case 3: // BOOLVAL
          return BOOLVAL;
        case 4: // RECORDS
          return RECORDS;
        case 5: // NODES
          return NODES;
        case 7: // MESSAGE_BLOB
          return MESSAGE_BLOB;
        default:
          return null;
      }
    }

    /**
     * Find the _Fields constant that matches fieldId, throwing an exception
     * if it is not found.
     */
    public static _Fields findByThriftIdOrThrow(int fieldId) {
      _Fields fields = findByThriftId(fieldId);
      if (fields == null) throw new IllegalArgumentException("Field " + fieldId + " doesn't exist!");
      return fields;
    }

    /**
     * Find the _Fields constant that matches name, or null if its not found.
     */
    public static _Fields findByName(String name) {
      return byName.get(name);
    }

    private final short _thriftId;
    private final String _fieldName;

    _Fields(short thriftId, String fieldName) {
      _thriftId = thriftId;
      _fieldName = fieldName;
    }

    public short getThriftFieldId() {
      return _thriftId;
    }

    public String getFieldName() {
      return _fieldName;
    }
  }

  public static final Map<_Fields, org.apache.thrift.meta_data.FieldMetaData> metaDataMap;
  static {
    Map<_Fields, org.apache.thrift.meta_data.FieldMetaData> tmpMap = new EnumMap<_Fields, org.apache.thrift.meta_data.FieldMetaData>(_Fields.class);
    tmpMap.put(_Fields.PATH, new org.apache.thrift.meta_data.FieldMetaData("path", org.apache.thrift.TFieldRequirementType.DEFAULT,
        new org.apache.thrift.meta_data.FieldValueMetaData(org.apache.thrift.protocol.TType.STRING)));
    tmpMap.put(_Fields.PULSE, new org.apache.thrift.meta_data.FieldMetaData("pulse", org.apache.thrift.TFieldRequirementType.DEFAULT,
        new org.apache.thrift.meta_data.StructMetaData(org.apache.thrift.protocol.TType.STRUCT, HBPulse.class)));
    tmpMap.put(_Fields.BOOLVAL, new org.apache.thrift.meta_data.FieldMetaData("boolval", org.apache.thrift.TFieldRequirementType.DEFAULT,
        new org.apache.thrift.meta_data.FieldValueMetaData(org.apache.thrift.protocol.TType.BOOL)));
    tmpMap.put(_Fields.RECORDS, new org.apache.thrift.meta_data.FieldMetaData("records", org.apache.thrift.TFieldRequirementType.DEFAULT,
        new org.apache.thrift.meta_data.StructMetaData(org.apache.thrift.protocol.TType.STRUCT, HBRecords.class)));
    tmpMap.put(_Fields.NODES, new org.apache.thrift.meta_data.FieldMetaData("nodes", org.apache.thrift.TFieldRequirementType.DEFAULT,
        new org.apache.thrift.meta_data.StructMetaData(org.apache.thrift.protocol.TType.STRUCT, HBNodes.class)));
    tmpMap.put(_Fields.MESSAGE_BLOB, new org.apache.thrift.meta_data.FieldMetaData("message_blob", org.apache.thrift.TFieldRequirementType.OPTIONAL,
        new org.apache.thrift.meta_data.FieldValueMetaData(org.apache.thrift.protocol.TType.STRING        , true)));
    metaDataMap = Collections.unmodifiableMap(tmpMap);
    org.apache.thrift.meta_data.FieldMetaData.addStructMetaDataMap(HBMessageData.class, metaDataMap);
  }

  public HBMessageData() {
    super();
  }

  public HBMessageData(_Fields setField, Object value) {
    super(setField, value);
  }

  public HBMessageData(HBMessageData other) {
    super(other);
  }
  public HBMessageData deepCopy() {
    return new HBMessageData(this);
  }

  public static HBMessageData path(String value) {
    HBMessageData x = new HBMessageData();
    x.set_path(value);
    return x;
  }

  public static HBMessageData pulse(HBPulse value) {
    HBMessageData x = new HBMessageData();
    x.set_pulse(value);
    return x;
  }

  public static HBMessageData boolval(boolean value) {
    HBMessageData x = new HBMessageData();
    x.set_boolval(value);
    return x;
  }

  public static HBMessageData records(HBRecords value) {
    HBMessageData x = new HBMessageData();
    x.set_records(value);
    return x;
  }

  public static HBMessageData nodes(HBNodes value) {
    HBMessageData x = new HBMessageData();
    x.set_nodes(value);
    return x;
  }

  public static HBMessageData message_blob(ByteBuffer value) {
    HBMessageData x = new HBMessageData();
    x.set_message_blob(value);
    return x;
  }

  public static HBMessageData message_blob(byte[] value) {
    HBMessageData x = new HBMessageData();
    x.set_message_blob(ByteBuffer.wrap(Arrays.copyOf(value, value.length)));
    return x;
  }

  @Override
  protected void checkType(_Fields setField, Object value) throws ClassCastException {
    switch (setField) {
      case PATH:
        if (value instanceof String) {
          break;
        }
        throw new ClassCastException("Was expecting value of type String for field 'path', but got " + value.getClass().getSimpleName());
      case PULSE:
        if (value instanceof HBPulse) {
          break;
        }
        throw new ClassCastException("Was expecting value of type HBPulse for field 'pulse', but got " + value.getClass().getSimpleName());
      case BOOLVAL:
        if (value instanceof Boolean) {
          break;
        }
        throw new ClassCastException("Was expecting value of type Boolean for field 'boolval', but got " + value.getClass().getSimpleName());
      case RECORDS:
        if (value instanceof HBRecords) {
          break;
        }
        throw new ClassCastException("Was expecting value of type HBRecords for field 'records', but got " + value.getClass().getSimpleName());
      case NODES:
        if (value instanceof HBNodes) {
          break;
        }
        throw new ClassCastException("Was expecting value of type HBNodes for field 'nodes', but got " + value.getClass().getSimpleName());
      case MESSAGE_BLOB:
        if (value instanceof ByteBuffer) {
          break;
        }
        throw new ClassCastException("Was expecting value of type ByteBuffer for field 'message_blob', but got " + value.getClass().getSimpleName());
      default:
        throw new IllegalArgumentException("Unknown field id " + setField);
    }
  }

  @Override
  protected Object standardSchemeReadValue(org.apache.thrift.protocol.TProtocol iprot, org.apache.thrift.protocol.TField field) throws org.apache.thrift.TException {
    _Fields setField = _Fields.findByThriftId(field.id);
    if (setField != null) {
      switch (setField) {
        case PATH:
          if (field.type == PATH_FIELD_DESC.type) {
            String path;
            path = iprot.readString();
            return path;
          } else {
            org.apache.thrift.protocol.TProtocolUtil.skip(iprot, field.type);
            return null;
          }
        case PULSE:
          if (field.type == PULSE_FIELD_DESC.type) {
            HBPulse pulse;
            pulse = new HBPulse();
            pulse.read(iprot);
            return pulse;
          } else {
            org.apache.thrift.protocol.TProtocolUtil.skip(iprot, field.type);
            return null;
          }
        case BOOLVAL:
          if (field.type == BOOLVAL_FIELD_DESC.type) {
            Boolean boolval;
            boolval = iprot.readBool();
            return boolval;
          } else {
            org.apache.thrift.protocol.TProtocolUtil.skip(iprot, field.type);
            return null;
          }
        case RECORDS:
          if (field.type == RECORDS_FIELD_DESC.type) {
            HBRecords records;
            records = new HBRecords();
            records.read(iprot);
            return records;
          } else {
            org.apache.thrift.protocol.TProtocolUtil.skip(iprot, field.type);
            return null;
          }
        case NODES:
          if (field.type == NODES_FIELD_DESC.type) {
            HBNodes nodes;
            nodes = new HBNodes();
            nodes.read(iprot);
            return nodes;
          } else {
            org.apache.thrift.protocol.TProtocolUtil.skip(iprot, field.type);
            return null;
          }
        case MESSAGE_BLOB:
          if (field.type == MESSAGE_BLOB_FIELD_DESC.type) {
            ByteBuffer message_blob;
            message_blob = iprot.readBinary();
            return message_blob;
          } else {
            org.apache.thrift.protocol.TProtocolUtil.skip(iprot, field.type);
            return null;
          }
        default:
          throw new IllegalStateException("setField wasn't null, but didn't match any of the case statements!");
      }
    } else {
      org.apache.thrift.protocol.TProtocolUtil.skip(iprot, field.type);
      return null;
    }
  }

  @Override
  protected void standardSchemeWriteValue(org.apache.thrift.protocol.TProtocol oprot) throws org.apache.thrift.TException {
    switch (setField_) {
      case PATH:
        String path = (String)value_;
        oprot.writeString(path);
        return;
      case PULSE:
        HBPulse pulse = (HBPulse)value_;
        pulse.write(oprot);
        return;
      case BOOLVAL:
        Boolean boolval = (Boolean)value_;
        oprot.writeBool(boolval);
        return;
      case RECORDS:
        HBRecords records = (HBRecords)value_;
        records.write(oprot);
        return;
      case NODES:
        HBNodes nodes = (HBNodes)value_;
        nodes.write(oprot);
        return;
      case MESSAGE_BLOB:
        ByteBuffer message_blob = (ByteBuffer)value_;
        oprot.writeBinary(message_blob);
        return;
      default:
        throw new IllegalStateException("Cannot write union with unknown field " + setField_);
    }
  }

  @Override
  protected Object tupleSchemeReadValue(org.apache.thrift.protocol.TProtocol iprot, short fieldID) throws org.apache.thrift.TException {
    _Fields setField = _Fields.findByThriftId(fieldID);
    if (setField != null) {
      switch (setField) {
        case PATH:
          String path;
          path = iprot.readString();
          return path;
        case PULSE:
          HBPulse pulse;
          pulse = new HBPulse();
          pulse.read(iprot);
          return pulse;
        case BOOLVAL:
          Boolean boolval;
          boolval = iprot.readBool();
          return boolval;
        case RECORDS:
          HBRecords records;
          records = new HBRecords();
          records.read(iprot);
          return records;
        case NODES:
          HBNodes nodes;
          nodes = new HBNodes();
          nodes.read(iprot);
          return nodes;
        case MESSAGE_BLOB:
          ByteBuffer message_blob;
          message_blob = iprot.readBinary();
          return message_blob;
        default:
          throw new IllegalStateException("setField wasn't null, but didn't match any of the case statements!");
      }
    } else {
      throw new TProtocolException("Couldn't find a field with field id " + fieldID);
    }
  }

  @Override
  protected void tupleSchemeWriteValue(org.apache.thrift.protocol.TProtocol oprot) throws org.apache.thrift.TException {
    switch (setField_) {
      case PATH:
        String path = (String)value_;
        oprot.writeString(path);
        return;
      case PULSE:
        HBPulse pulse = (HBPulse)value_;
        pulse.write(oprot);
        return;
      case BOOLVAL:
        Boolean boolval = (Boolean)value_;
        oprot.writeBool(boolval);
        return;
      case RECORDS:
        HBRecords records = (HBRecords)value_;
        records.write(oprot);
        return;
      case NODES:
        HBNodes nodes = (HBNodes)value_;
        nodes.write(oprot);
        return;
      case MESSAGE_BLOB:
        ByteBuffer message_blob = (ByteBuffer)value_;
        oprot.writeBinary(message_blob);
        return;
      default:
        throw new IllegalStateException("Cannot write union with unknown field " + setField_);
    }
  }

  @Override
  protected org.apache.thrift.protocol.TField getFieldDesc(_Fields setField) {
    switch (setField) {
      case PATH:
        return PATH_FIELD_DESC;
      case PULSE:
        return PULSE_FIELD_DESC;
      case BOOLVAL:
        return BOOLVAL_FIELD_DESC;
      case RECORDS:
        return RECORDS_FIELD_DESC;
      case NODES:
        return NODES_FIELD_DESC;
      case MESSAGE_BLOB:
        return MESSAGE_BLOB_FIELD_DESC;
      default:
        throw new IllegalArgumentException("Unknown field id " + setField);
    }
  }

  @Override
  protected org.apache.thrift.protocol.TStruct getStructDesc() {
    return STRUCT_DESC;
  }

  @Override
  protected _Fields enumForId(short id) {
    return _Fields.findByThriftIdOrThrow(id);
  }

  public _Fields fieldForId(int fieldId) {
    return _Fields.findByThriftId(fieldId);
  }

  public String get_path() {
    if (getSetField() == _Fields.PATH) {
      return (String)getFieldValue();
    } else {
      throw new RuntimeException("Cannot get field 'path' because union is currently set to " + getFieldDesc(getSetField()).name);
    }
  }

  public void set_path(String value) {
    if (value == null) throw new NullPointerException();
    setField_ = _Fields.PATH;
    value_ = value;
  }

  public HBPulse get_pulse() {
    if (getSetField() == _Fields.PULSE) {
      return (HBPulse)getFieldValue();
    } else {
      throw new RuntimeException("Cannot get field 'pulse' because union is currently set to " + getFieldDesc(getSetField()).name);
    }
  }

  public void set_pulse(HBPulse value) {
    if (value == null) throw new NullPointerException();
    setField_ = _Fields.PULSE;
    value_ = value;
  }

  public boolean get_boolval() {
    if (getSetField() == _Fields.BOOLVAL) {
      return (Boolean)getFieldValue();
    } else {
      throw new RuntimeException("Cannot get field 'boolval' because union is currently set to " + getFieldDesc(getSetField()).name);
    }
  }

  public void set_boolval(boolean value) {
    setField_ = _Fields.BOOLVAL;
    value_ = value;
  }

  public HBRecords get_records() {
    if (getSetField() == _Fields.RECORDS) {
      return (HBRecords)getFieldValue();
    } else {
      throw new RuntimeException("Cannot get field 'records' because union is currently set to " + getFieldDesc(getSetField()).name);
    }
  }

  public void set_records(HBRecords value) {
    if (value == null) throw new NullPointerException();
    setField_ = _Fields.RECORDS;
    value_ = value;
  }

  public HBNodes get_nodes() {
    if (getSetField() == _Fields.NODES) {
      return (HBNodes)getFieldValue();
    } else {
      throw new RuntimeException("Cannot get field 'nodes' because union is currently set to " + getFieldDesc(getSetField()).name);
    }
  }

  public void set_nodes(HBNodes value) {
    if (value == null) throw new NullPointerException();
    setField_ = _Fields.NODES;
    value_ = value;
  }

  public byte[] get_message_blob() {
    set_message_blob(org.apache.thrift.TBaseHelper.rightSize(buffer_for_message_blob()));
    ByteBuffer b = buffer_for_message_blob();
    return b == null ? null : b.array();
  }

  public ByteBuffer buffer_for_message_blob() {
    if (getSetField() == _Fields.MESSAGE_BLOB) {
      return org.apache.thrift.TBaseHelper.copyBinary((ByteBuffer)getFieldValue());
    } else {
      throw new RuntimeException("Cannot get field 'message_blob' because union is currently set to " + getFieldDesc(getSetField()).name);
    }
  }

  public void set_message_blob(byte[] value) {
    set_message_blob(ByteBuffer.wrap(Arrays.copyOf(value, value.length)));
  }

  public void set_message_blob(ByteBuffer value) {
    if (value == null) throw new NullPointerException();
    setField_ = _Fields.MESSAGE_BLOB;
    value_ = value;
  }

  public boolean is_set_path() {
    return setField_ == _Fields.PATH;
  }

  public boolean is_set_pulse() {
    return setField_ == _Fields.PULSE;
  }

  public boolean is_set_boolval() {
    return setField_ == _Fields.BOOLVAL;
  }

  public boolean is_set_records() {
    return setField_ == _Fields.RECORDS;
  }

  public boolean is_set_nodes() {
    return setField_ == _Fields.NODES;
  }

  public boolean is_set_message_blob() {
    return setField_ == _Fields.MESSAGE_BLOB;
  }

  public boolean equals(Object other) {
    if (other instanceof HBMessageData) {
      return equals((HBMessageData)other);
    } else {
      return false;
    }
  }

  public boolean equals(HBMessageData other) {
    return other != null && getSetField() == other.getSetField() && getFieldValue().equals(other.getFieldValue());
  }

  @Override
  public int compareTo(HBMessageData other) {
    int lastComparison = org.apache.thrift.TBaseHelper.compareTo(getSetField(), other.getSetField());
    if (lastComparison == 0) {
      return org.apache.thrift.TBaseHelper.compareTo(getFieldValue(), other.getFieldValue());
    }
    return lastComparison;
  }

  @Override
  public int hashCode() {
    List<Object> list = new ArrayList<Object>();
    list.add(this.getClass().getName());
    org.apache.thrift.TFieldIdEnum setField = getSetField();
    if (setField != null) {
      list.add(setField.getThriftFieldId());
      Object value = getFieldValue();
      if (value instanceof org.apache.thrift.TEnum) {
        list.add(((org.apache.thrift.TEnum)getFieldValue()).getValue());
      } else {
        list.add(value);
      }
    }
    return list.hashCode();
  }
  private void writeObject(java.io.ObjectOutputStream out) throws java.io.IOException {
    try {
      write(new org.apache.thrift.protocol.TCompactProtocol(new org.apache.thrift.transport.TIOStreamTransport(out)));
    } catch (org.apache.thrift.TException te) {
      throw new java.io.IOException(te);
    }
  }

  private void readObject(java.io.ObjectInputStream in) throws java.io.IOException, ClassNotFoundException {
    try {
      read(new org.apache.thrift.protocol.TCompactProtocol(new org.apache.thrift.transport.TIOStreamTransport(in)));
    } catch (org.apache.thrift.TException te) {
      throw new java.io.IOException(te);
    }
  }

}

redpajama_set_name: RedPajamaGithub


A large part of reducing energy use lies in understanding how and where we are using electricity in the first place. This is where in-home displays or energy monitors can be extremely useful. These devices allow you to see how much electricity you are using and how much it is costing you in real time. It will display the effect on your electricity costs when individual appliances are turned on or off, including Hi Fi & computer equipment, lights, electric heaters and so on. This invaluable information will help you ensure that you turn off or use lights, heating and cooling and other electrical appliances in a more efficient way; saving you money and energy as well as reducing carbon emissions. The important part in-home displays can play in increasing energy efficiency has been recognised by the Victorian Government's Energy Saver Incentive scheme, which plans to subsidise in-home displays as part of its efforts to increase energy efficiency in homes and businesses across Victoria. Ecovantage welcomes the edition of these products to the Energy Saver Incentive scheme – there is after all knowledge in power, pun intended!


This statistic shows the estimated value of the flavor and fragrance market revenue in the U.S. from 2014 to 2016 and provides a forecast for 2017 to 2025. In 2016, the value of the U.S. flavor and fragrance market amounted to approximately 4.2 billion U.S. dollars, and is forecasted to reach to 5.4 billion dollars by 2025.
Statistics on "Essential oils market"


Cantos is the literary magazine of Lenoir-Rhyne University. It offers an avenue for students to feature their works of creative writing, poetry, short-stories as well as photography and illustrations. Published annually by the English Department of the College of Arts and Letters, the magazine encourages creative expression and recognizes the talents of LR students.
The word canto refers to the principal form of division in a long poem and is derived from the Italian word for song.
The LRU Art Department partners with the Carl A. Rudisill Library to feature exciting and stimulating art work throughout the academic year. Art exhibitions and competitions are held for students as well as local and regional artists and feature works of art created in various media including drawings, paintings, sculptures, and photography. Events are sponsored by the College of Arts & Sciences and the School of Arts & Letters.
For more information about student music opportunities, contact Professor of Music, Dr. Christopher Nigrelli at Christopher.Nigrelli@lr.edu.
© 2017. Published by Beckenhorst Press, www.beckenhorstpress.com.
The A Cappella Choir has traveled the country performing at countless national events and church services, and has taken twelve trips abroad. This past spring, the choir enjoyed a music-mission trip to Costa Rica, where it performed in a variety of venues and for worship with congregations of the Evangelical Lutheran Church of Costa Rica (ILCO). It also performed during a special reception honoring the president of Costa Rica who visited LRU in May. In September the choir performed for the installation of the 78th Bishop of the North Carolina Synod of the Evangelical Lutheran Church in America (ELCA). This was the third time the choir has been a part of such an installation service, having previously performed at the installation of two national Lutheran bishops. The choir is celebrating its 80th anniversary this year.
The Brass Ensemble is frequently seen in area churches, in formal recitals, at campus functions, in department-sponsored hymn festivals, and with the A Cappella Choir. The Brass Ensemble performs literature of all style periods and in a wide variety of genres.
The Chapel Choir of the university provides music for weekly campus services in Grace Chapel on Wednesday mornings and for special services and occasions of the university and its sacred music program. The choir is occasionally conducted by students and accompanied by student instrumentalists, thus allowing students the opportunity to lead their peers and the campus community in worship.
The College Singers is a chamber ensemble composed of auditioned members of the A Cappella Choir. They sing in a variety of styles for university functions and on tour with the A Cappella Choir.
The Jazz Ensemble is an active performing ensemble dedicated to furthering students' abilities to play jazz and other popular styles.
The Jazz Ensemble is a reorganization of the "stage band" tradition, performing diverse styles of music including swing, bebop, blues, funk, Latin, and popular song. Membership in the Jazz Ensemble is open to all Lenoir-Rhyne University students by audition.
Lenoir-Rhyne University's Marching Band took the field in the Fall 2016, after a 24-year hiatus, under the direction of Professor Neil Underwood.
The University has a long tradition of excellence in marching bands. Many folks recall the days of the "Snappy Sixty" marching band and the legacy of its founding director, Robin Gatwood, This tradition was carried forward by directors Ralph "Gabe" Gabriel, Joseph Secrest, and Robert Flemming before the marching band was disbanded in 1991.
The "Spirit of LR" Marching Band continues the legacy established by Dr. Gatwood while making its own mark of excellence in the LR marching band tradition.
The band cheers on the team and provides entertainment at all home football games. It performs in exhibition for area high school band competitions and participates in local holiday parades such as Charlotte's Novant Health Care Parade on Thanksgiving Day.
Membership in the "Spirit of LR" Marching Band is open to any LR student. Contact director Professor Neil Underwood with inquires at neil.underwood@lr.edu.
The Percussion Ensemble performs a wide variety of standard and new percussion ensemble literature which utilizes all of the standard percussion instruments.
The University Percussion Ensemble performs actively on the LRU campus, in our community, in high schools throughout North Carolina, and has appeared at national percussion related conferences. The Percussion Ensemble performs a wide variety of standard and new percussion ensemble literature which utilizes all of the standard percussion instruments. In addition to traditional percussion ensemble literature, the LR ensemble makes use of a few more unusual "instruments."
The Steel Drum Ensemble was established in the Spring of 2000 and has quickly become a popular group in the community. This ensemble performs regularly both on and off campus and is open to all interested students.
Performing formal concerts each semester in Lenoir-Rhyne's P.E. Monroe Auditorium, the Wind Symphony is the flagship of the instrumental program. The ensemble performs large band literature from all periods and styles appropriate to the college concert band setting. The Wind Symphony is comprised of both LR students and qualified community participants who enjoy rehearsing and performing in a large concert band setting. Since the Wind Symphony accepts members at or near the beginning of each semester, the opportunity to join the band is never far away.
All sound files used by permission of Alfred Publishing Co., Inc.
All Rights Controlled and Administered by ALFRED PUBLISHING CO., INC.


5àsec considers your image important, impeccably ironed clothes is the key point.
Our experts are trained in a proven laundry ironing technique and use professional equipment suitable for the characteristics of each type of fabric.
A garment that is badly ironed or not ironed at all can harm your image.
Demand professional finishing. Our ironing experience and equipment guarantee an impeccable result. Whether it is to remove creases or put them in the right places, 5àsec will know how to make you look your best!
When ironing at home, an accident, such as a burn mark on fabric, can easily happen. Indeed, if you have any doubt, don't take the risk of making your garment shiny or matting the fabric. Ask 5àsec for help; our professional ironers will know how to return your garments to you impeccably ironed!