Memorial Day | Theology for ordinary people.
Our first reading was one of George Washington's favorite passages, and he quoted it a lot, particularly verse four: 'they shall sit under their own vines and under their own fig trees, and no one shall make them afraid.' It's a picture of what God's kingdom will look like, when Christ comes again to judge the living and the dead. But it's also a picture of what Washington dreamed America could be: a peaceful place, where all citizens were prosperous and happy, and never needed to be afraid. This is, at its heart, what we dream America could be like. There has never been a place, anywhere in the history of the world, where this has been true for all the citizens of any nation. There has never been a time in American history when all Americans of every tribe and race were prosperous and happy all together, but it is what we hope for, it is what we work towards. It is, in a very real sense, what we send our soldiers out to fight and die to protect and try to establish: a world where all people are prosperous and happy.
I don't know if that is possible in this broken, sinful world. Human beings are flawed creatures who seem bound and determined to keep finding new ways to screw things up. We also find new ways to fix things and make things better, but too often it's one step forward, two steps back. I don't know if it will be possible to achieve that before Christ comes in glory to judge the living and the dead. Whether or not we humans can achieve the good and godly society the prophet Micah dreamed of, we know that God can. Whether we succeed or fail, we know that Christ will return one day and establish his kingdom. In that kingdom, we shall beat our swords into ploughshares and our spears into pruning-hooks; nation shall not lift up sword against nation, neither shall we learn war any more. It won't be necessary. God will arbitrate between peoples; we shall all be fairly judged, and all people will truly learn to walk in God's footsteps. There will be no evil, no pain, no hatred, no fear, no jealousy, no grief, no pride, no boasting, nothing that could possibly lead to violence. Nothing that could require good men and women to lay down their lives.
I am very grateful, as I know you all are, for the many courageous men and women who have done just that, and are still doing that today. I am grateful that for all the veterans who have defended this country and protected us from evil, but I am especially grateful to those who have given the last full measure of devotion. I am grateful for their sacrifices, and for those of their family and loved ones. And I pray, vehemently, for that day when it will no longer be necessary. When nation shall not lift up sword against nation, and everyone shall sit under their own vine and fig tree, with no need to fear.
Washington was a soldier; he had seen the cost of war. He knew, as any veteran does, just how important it is to know what you're fighting for and what you hope to accomplish. If you don't know what you're fighting for, you can't possibly choose the right tactics to accomplish it, and in the end you achieve nothing but death and destruction. We've seen that in America's wars. Sometimes, there has been a truly good cause worth fighting and dying for, something that could only be achieved through violence, something worth the sacrifices demanded. Other times, we have fought because of pride or fear or political advantage, and what was gained was never worth the lives it cost. We have a responsibility, as citizens of this great nation, to ensure that our leaders keep their eyes on the goal that Washington and our other Founding Fathers set. We have a responsibility to ensure that when our leaders send our men and women off to war, they do so only when it is absolutely necessary, when the cause is worth their lives and their blood. We have a responsibility to make sure that their lives and their sacrifices are not wasted. We have a responsibility to make sure that when our people are sent into harm's way, it is to build up a world where justice and freedom reign for all people.
Freedom. That's an important word for us as Americans, but what does freedom mean for a Christian? Is freedom the same for us as it is for other people? All too often, when people talk about "freedom" they mean a very selfish thing. They mean that nobody can make them do anything they don't want to do, and if they want to be a jerk to others, or stand by as their neighbors suffer, they can do so. This is not what the freedom of a Christian is, at its heart. The freedom of a Christian is not about politics, or legalities. The freedom of a Christian is not about political systems. The freedom of a Christian is a spiritual gift from God, and it comes with responsibilities.
The world does not want anyone to be free, and it comes with traps to break us and chain us and keep us from God. These chains look different for everybody, and they come even for those of us who are lucky enough to have political freedom. They can look like power, or self-righteousness; they can look like fear, or jealousy; they can look like ambition that drives us to cause harm in the name of advancement or sloth that convinces us there's no point to even trying. They can look like a hate that drives us on to attack people we think are our enemies, or a love that causes us to excuse and cover up the harm our loved-ones do. These chains can even take the form of Christianity, driving us to make noise about the outer forms and ignore the heart of God's Word. In all cases, these chains harm us and those around us. These chains break us and twist us and the world around us, and sometimes, we can't even see them for what they are. That's what sin is: a chain that binds us and twists us.
The freedom of a Christian is that God has broken those chains. Jesus Christ died for our sins, and taught us to love one another in word and deed. We are redeemed through his sacrifice for us. And even though the chains of sin are still at work in us and around us, God sends the Holy Spirit into our lives to inspire us, to fill us with God's fire and keep us free from all the evils that want to entangle us. The freedom of a Christian starts with this: we don't have to drag around the dead weight of sin in our lives any more. We don't have to let the world's chains drag us down. We don't have to live in fear; instead, we can focus on the work God is calling us to do. The freedom of a Christian is not the freedom to be idle, or the freedom to focus on our own little corner of the world and ignore the suffering and evil around us. The freedom of a Christian is the freedom to act.
Martin Luther, founder of the Lutheran church, said it this way: "A Christian is the perfectly free lord of all, subject to none. A Christian is the perfectly bound servant of all, subject to all." In other words, we are saved by the sacrifice of Jesus Christ. Our chains are broken, and we don't have to work to earn our way into heaven or anything like that. We are saved, and we are free from the chains of sin and evil, we are the children of God, and no one can force us to do anything or constrain our consciences. But being a child of God comes with responsibilities. We don't need to earn our salvation—that is a free gift from God. But we do need to act like it. Because we have been saved, because we are free, that means we are free to act. We are free to do God's work in the world. We are free to work for justice and peace even when the world would rather have fear and oppression and senseless violence.
That work can look like a lot of things. It can look like volunteering and donating to the local food pantry. It can mean standing up against bullies. It can mean loving people that the world tells us should be our enemies. It can mean serving in the military. It can mean honoring our veterans, not just on Memorial Day and Veterans Day but by being there for them throughout the year and working to make sure that all veterans and their families receive the support they need. It can mean holding our leaders accountable so that none of our servicemen and women are sent into harm's way unless it is truly necessary for the safety of America.
I am so thankful for the political freedoms which our brave men and women have died to give us, and I am thankful for the spiritual freedom Christ brings. I pray for the day when no more of our sons and daughters, brothers and sisters, fathers and mothers need to to go into harms way and perhaps die. I pray for the day that the prophet Micah promised, when the Lord will judge the nations, and there will be peace, and everyone shall sit under their own vines and fig trees, free from fear.
There are not many places in the New Testament where soldiers are mentioned. It seems appropriate to read one of those passages today, on Memorial Day, the day set aside to remember those who have served their country, and especially those who have died for their country. There's just one problem: this soldier, this centurion, like all soldiers mentioned in the New Testament, was the enemy. He was a Roman, a commander in the army that had conquered Israel and occupied it, imposing heavy taxes that devastated the middle and working classes of the day. This particular Roman, we are told, built a synagogue, a place of worship, for the local Jewish community. I hope he did it because he sincerely respected them and God, but he may just have done it to make them dependent on him—a common Roman tactic. And, even if the centurion did indeed believe in God, and that's why he built the synagogue, he was part of the occupying army that was building temples to pagan gods on Jewish soil, and pressuring Jews to worship them. Armies can defend and protect, but armies can also do terrible things. It all depends on who's giving their orders—who's in charge. Who has the authority.
The centurion, like all those who serve their nation in the military then or now, understood authority. We don't know the depth of his faith, whether he had learned from the Jews around him to believe only in the Lord our God, or if he had just accepted this Yahweh as an addition to the many so-called gods that he and all the Romans worshiped. We don't know if he was a good man or a bad one. We don't know how he treated his men, or his family, or his slaves. We don't know if the faith he had that drove him to seek out Jesus was the beginning of a lifelong commitment or just a temporary thing. We don't know if he was worthy of God's healing, and we know even less about the slave he wanted Jesus to heal.
The first delegation the centurion sent to Jesus was very concerned with whether or not he was worthy to have his request granted—they had a list of good deeds he had done that should earn him at least some of God's favor. But the centurion's own words show that he was concerned with his own worthiness, but rather with Jesus' power. He didn't say, "hey, I'm such a great guy, I've done all this stuff for your God, so therefore you should help me." He said, "My servant needs help, and you have the power to do it." And Jesus was amazed! This was true faith. It wasn't about trying to bargain with God, it wasn't about any kind of quid pro quo, it was about recognizing where true power and authority lies. The greatest authority in the world belongs to God; it's not in our hands. God gives gifts and blessings not because we earn them, but because they are in his power to give. All good things come from God, and the centurion recognized this. And that was the faith that amazed Jesus.
The centurion was a foreigner, an outsider, a pagan, a member of the army that had invaded and conquered Israel. Yet he was still a child of God. Jesus did not come for one tribe or nation, but for all people. And he has authority not just over one tribe or nation, but over all people—including the centurion and his slave. And the centurion recognized this. He recognized that his worthiness wasn't the issue—only God's power and grace. And Jesus was amazed at his faith, and the slave was healed.
Today is Memorial Day. We are here to honor and commemorate those soldiers, sailors, marines, airmen, and Coast Guardsmen who died in the service of their country. They, too, were men and women set under authority, just as the centurion was. And we do not honor them because they were perfect or more worthy of remembrance than other people. Some of them were good, some bad. We honor them because of their faithfulness to their country, and we honor them because we were the ones who sent them out to fight and die on our behalf. In the centurion's case, the authority was Caesar's; in the case of our service men and women today, because the United States is a democracy, the authority is the people of the United States—you and me. We are the ones who choose the people—presidents and congresspeople—who decide when and where to send them out to fight and die. As the centurion recognized, the ultimate authority is God's, but we the people are the ones who wield that authority, and choose others to wield it on our behalf. Many men and women have fought and died that we might have that freedom.
With authority comes responsibility, to God and to our servicemen and women. We have a responsibility to God, to use his authority in ways that he would have us do. It is important to remember that all people in the world, both here and abroad, are beloved children of God, whether they are Christians or not. God created them; God loves them; God yearns for their salvation. Even when they are the enemies of our country—just as the centurion was an enemy of Israel. And our service-men and women, too, are beloved children of God, who have chosen to put themselves in harms' way for our safety. They make many sacrifices, some the ultimate sacrifice. The authority we have would not be possible without their sacrifices. We should not take it lightly, or use it without considering the consequences. No one should be called to make such sacrifices unless there truly is no other choice.
There are times, in this sinful world, where war is necessary to protect and defend the innocent from the evils in the world. America has fought wars that were good and necessary. But America has also fought wars that were neither good nor necessary. It is our responsibility as God's people, as fellow children of God with all humanity, to use the authority given to us as Americans in godly ways: in the spreading of peace and healing whenever possible, reserving war for times when it is truly necessary. War has a cost, and we honor those who paid that cost on our behalf.
We have a duty both to God and to our servicemen and women and to the world. And that duty is to support and care. We worship a god of healing. This story we just read is not just a story about faith and authority, it is also a story about healing and restoration. We are called to bring God's love and healing to all the world … but we have an especial responsibility to bring love and healing to those who sacrificed on our behalf. This can be physical healing, but spiritual and emotional healing, as well. We act as God's healing hands in the world when we support the families who lost loved ones in their service, taking care of them in their grief. We act as God's healing hands in the world when we are there for our veterans—not just on special days like Memorial Day and Veterans Day, but consistently and regularly. Many veterans who return from war report feeling isolated and alone: lots of people want to shake their hand and thank them for their service, but don't want to listen to the troubles they have adjusting to civilian life again, or the troubles they have dealing with their experiences. It can be hard to listen to their stories and their struggles but if we send them out to fight and risk their lives, we owe them at least that much. As God's people we have a responsibility to bring healing to the world, but this responsibility is even greater when it comes to those whom we have asked to sacrifice on our behalf.
There will come a day when God's plan of peace and justice and love for all people will come to fruition. There will come a day when there is no more war, no more hate, no more violence, and no more sorrow. On that day, Christ will come again to judge the living and the dead, and his kingdom will come here to earth. All will see and know that he is the true authority. The dead will rise, and all people will see God's salvation. On that day, all will be healed. We wait in hope for that day of resurrection. While we wait, may we always use our authority wisely, may we always remember those who gave their lives that we might be free, and may we always care for those who have served.


Rovere is a wood effect porcelain tile series by Cifre. The collection showcases varied grain patterns to simulate the appearance of the natural material. Available in three different wood tones.
The Trame tile collection is a composite project that brings colours, materials, and shapes together in perfect harmony.
Through the use and combination of materials and colours, the implementation of special forms was intentionally introduced so as to further highlight the infinite combinations and installation solutions which the project allows. The tile is characterized by a linen texture with a delicate graphic relief that enhances its three- dimensionality.


text:
Double Award Nomination for Bid Specialists
Home » Double Award Nomination for Bid Specialists » News » Double Award Nomination for Bid Specialists
Bidding and tender experts, AM Bid Services, received news last week that two of their team have been nominated for national awards.
Andrew Morrison, Managing Director has been shortlisted to the final 6 in the Small Business Entrepreneur of the Year category at the 2017 Royal Bank of Scotland Great British Entrepreneur Awards (Scotland & Northern Ireland).
The Small Business of the Year Award recognises the achievements of those leading organisations of fifty employees or fewer. It celebrates the resilience, fortitude and the vital role these entities play in building Britain's global reputation as an incubator for ideas and business growth.
A delighted Andrew said:
"This nomination is a recognition of the journey AM Bid Services has been on during our first 3 years. I would like to thank my outstanding staff team and our clients in 20 diverse sectors across the UK. Starting a business from scratch has been a hugely rewarding experience as well as a lot of hard work! I would also like to congratulate my fellow award nominees – each one has a remarkable story and I look forward to meeting them all."
The winner of the Small Business of the Year Award will be announced at the Royal Bank of Scotland's Edinburgh Headquarters, at an Awards Ceremony on 9th November 2017.
Cameron Houston, Bid Development Executive with AM Bid Services, also received news last week of his shortlisting to the final 3 in the Best Newcomer Award in the Association of Proposal Management Professionals (APMP) UK Annual Awards, which celebrate and promote the finest achievements within the Bid and Proposal Management Profession.
Cameron, who also celebrated successfully achieving his APMP-Foundation™ certification last week, said:
"I'm very proud to have made the shortlist for this award. It's rewarding to receive industry recognition, both personally and for the business. I've had a great start to my bidding career, and I look forward to meeting fellow bid and proposal professionals at the APMP awards and conference in October."
The winner of the Best Newcomer Award will be announced on 18th October 2017, at the APMP's Annual Conference in Hampshire.
Recognising the achievements of both Andrew and Cameron in being nominated amidst extremely strong competition for both awards, AM Bid Services Non-Executive Chairman, David Sole OBE, said:
"I'm delighted that Andrew and Cameron have been recognised by being short-listed in their respective award categories. This is a reflection of their hard work, dedication and commitment to AM Bid Services and therefore just acknowledgement. Andrew and Cameron have my very best wishes for their respective Awards nights."
September 11, 2017in Newsby AM BidComments Off on Double Award Nomination for Bid Specialists

redpajama_set_name: RedPajamaCommonCrawl


text:
Organizations try to save youth gang members before they enter system
by: Darlene Melendez
Posted: Nov 9, 2018 / 08:59 PM PST / Updated: Nov 9, 2018 / 09:49 PM PST
Angelina Erives, the young North Las Vegas girl who died last week when suspected gang members sprayed her home with bullets, will be laid to rest Saturday.
Currently, three suspects are in custody, but police are still looking for one more suspect in the 11-year-old's murder.
Detectives say the group targeted the wrong home when they intended to shoot another person's home as a form of gang retaliation.
8 News Now Reporter Darlene Melendez has more on how organizations in the valley are trying to intervene with young gang members to get them out of the system before it's too late.
They're focused on preventative measures before the youth end up in the Clark County Detention Center.
For some, the intervention works and they break free from the gangs. For others, the path sometimes gets worse.
"It's a harsh reality that our kids are shooting other kids," said John Munoz, deputy administrator for the state of Nevada's Juvenile Services. "It is a big problem in this community. Every day more kids are joining gangs. and more kids are dying because of it. It's about power and control and status and money, and they'll do whatever they can to take it."
The organization works with all law enforcement agencies to track down young gang members and use intervention strategies to keep them from going through the criminal system.
There are numerous organizations with intervention strategies like youth mentor Montone White's organizations, 'Thug Life' and the 'Dunamis Process.'
"We tell young men all the time, 'we're not gonna save you,'" White said.
Instead, White and his colleagues teach young gang members to save themselves before it's too late.
"There's only three ways out of the system," White said. "You're either gonna go to prison, you're gonna be dead, or you're gonna get out of the system. You gotta choose. Nobody is gonna hand it to you," he said.
For some young gang members, the outreach works. For others, it doesn't.
"It's a very difficult and deadly cycle of behavior; the cycle of being a gang member," Munoz said.
According to Munoz, it's a harsh reality for Individuals who still choose to act recklessly because they need to be held accountable.
"If we can't get through to them if we can't get them to behave differently, then sooner or later they're gonna end up in the adult system," Munoz said.
by Joe LaFurgey / Jan 17, 2020
BOWNE TOWNSHIP, Mich. (WOOD) — A recent medical call for some eastern Kent County firefighters shows just how faithfully they take their customer service pledge.
It was after midnight on Jan. 7. Duncan Elliott, a clerk at the J & H Family Store on Alden Nash Avenue at I-96 near Alto, wasn't feeling well. First, he called his boss for some relief help. Then he called 9-1-1 for some medical help.
by Nikki Bowers / Jan 17, 2020
LAS VEGAS (KLAS) - The Clark County Fire Department says firefighters found a dead body after extinguishing a shed fire near a Las Vegas-area home. The shed was located on the side of the home.
The cause of the Friday morning fire is under investigation. However, at this time, there's no word on the possible cause of death for the person found.
EL PASO, Texas (Border Report) -- With a substantial increase in filing fees for immigration benefits looming, advocates are urging migrants to get their applications in as soon as possible.
Once the fees go up, attorneys and nonprofits who assist migrants fear the benefits of U.S. citizenship, legal residency for relatives, work permit renewals and a host of other services will be out of reach for many of their clients.


One of the most interesting things about VMworld is the public session voting, which is now open. Not many conferences allow attendees to have a say in what gets presented at the conference. If you're planning to attend VMworld 2014 it's probably a good idea to vote for sessions that interest you.
As the vCenter Server Appliance gains maturity, capacity, and functionality it is becoming a serious choice for those running vSphere environments, reducing expense and administration time. This session will be based in first-hand migration experienced and cover what the vCSA is, common use cases and designs, and where the vCSA isn't appropriate or cannot be easily migrated. We will also demystify the undocumented art of moving from a Windows-based vCenter instance to a vCSA, including migration of permissions, Active Directory, vNetwork Distributed Switches, storage functionality, and Single-Sign On through import/export functions, PowerCLI, and manual labor where needed.
The advent of the Software Defined Enterprise has brought promise and debate about what it is, how it applies, what's the benefit, and how to move from being Hardware Defined.
This is a panel discussion of VMware vExperts; Keith Norbie (TIG), Tommy Trogden (EMC), Aaron Delp (SolidFire), Bob Plankers (UW Madison) and moderated by John Troyer. This panel will cover a range of questions about enterprise architecture becoming "Software Defined".
While I'd appreciate a vote for either or both of these it's more important to me that you vote for things you want to see. That's how this conference stays useful.
1195 – Ask the Experts: A Deep Dive into Nested Virtualization with @dobaer, @chriswahl, @lamw, @seancrookston, and Jim Mattson.
and many, many more. Remember as you're voting that when the presenter is a vendor the whole presentation will be skewed towards that vendor's products, because that's what they work with and know and are paid to promote. Keep that in mind!


Looking for photography classes in Homerville OH? Whether you are a beginner, hobbyist, or professional, the best way to improve your photography abilities is through hands-on training with skilled instructors.
There are many accredited and recognized photography schools in Ohio. Photography classes teach subjects such as digital capture, lighting techniques, exposure, composition, outdoor photography, and many other basic and advanced camera techniques. Maturing into an experienced photographer can result in a booming professional career or lifelong hobby.


The Cellular and Supramolecular Structure and Function (CSSF) Section develops new methods based on electron microscopy and related techniques. Our aim is to expand knowledge about complex biological and disease processes, as well as to characterize morphologically the action of diagnostic markers and therapeutic agents in cells. The nanometer scale of biological electron microscopy lies between the realms of live-cell optical microscopy and atomic-scale structural tools that require extraction and purification of cellular components. Current research includes development of techniques for (1) determining the tertiary and quaternary structures of macromolecular assemblies, (2) visualizing 3D ultrastructure, (3) mapping the elemental composition of subcellular compartments quantitatively, and (4) studying bionanoparticles and their interactions with cells. We are applying these methods to structural biology, cellular biology, neurobiology, cancer biology, and nanomedicine.
The purpose of this research is to develop techniques for determining quantitative structural information from supramolecular assemblies using the technique of scanning transmission electron microscopy (STEM). In STEM a finely focused probe of high-energy electrons is scanned across a biological structure of interest and various signals are detected at each image pixel. For example, we are using the annular dark-field signal to determine the molecular masses of large protein assemblies, e.g., Alzheimer's disease-related amyloid fibrils; such measurements provide information about arrangement of subunits.
We are also developing techniques for determining subcellular structure based on axial bright-field STEM tomography by recording images from micrometer-thick sections of cells over a range of tilt angles. Using this approach, we have shown that it is possible to reconstruct much thicker volumes than can be achieved with conventional TEM electron tomography. We are currently applying STEM tomography to visualize entire synapses in the nervous system at a spatial resolution of a few nanometers. Of particular current interest is to determine the structure of postsynaptic densities in hippocampal neurons, as well as ribbon synapses in rod bipolar cells of retina. We are also using STEM tomography to study a number of biological systems outside the field of neurobiology, including the structural changes that occur on activation of human blood platelets.
In this research, we are developing techniques to map chemical elements contained in subcellular structures using (1) energy-filtered transmission electron microscopy (EFTEM), and (2) STEM coupled with electron energy loss spectroscopy (EELS). In both approaches, we acquire hyperspectral inelastic images carrying information from characteristic excitations of atomic core-shells in the specimen. Our aim is to extract quantitative composition and to achieve a sensitivity of a few atoms. Recent applications include imaging the iron cores of individual ferritin molecules in neurons and other cells, where iron plays an important physiological role. In another application, we are combining EFTEM with electron tomography to map DNA and protein in three-dimensions within cell nuclei by using the phosphorus and nitrogen signals.
Tomographic reconstructions based on the standard weighted back-projection (WBP) algorithm suffer from artifacts due to the limited available angular tilt range. Algorithms such as the simultaneous iterative reconstruction technique (SIRT), which we have implemented in our laboratory, provide some improvements in the quality of 3D reconstructions but artifacts still persist. We are exploring other techniques by introducing some prior knowledge about the reconstructed volume by the application of regularization conditions.
Bionanoparticles being developed for potential use in theranostic nanomedicine often have a hybrid structure that incorporates both organic and inorganic components. STEM and EFTEM provide unique information about the arrangement and proportions of the chemical constituents that are critical in controlling the function of such hybrid bionanoparticles. We are using these methods to characterize bionanoparticles containing a variety of moieties including MRI contrast agents, optical fluorescence probes, nanogold atomic clusters, carbon nanotubes carriers, as well as anti-cancer drugs such as doxorubicin.
The Cellular and Supramolecular Structure and Function (CSSF) Section of LCIMB is located in Building 13, Room 3E63.
The laboratory has facilities for preparing tissues, cells, and isolated macromolecular assemblies for electron microscopy, either in the CSSF Section or in the neighboring NIH-wide Electron Microscopy Shared Resource. Preparative equipment includes a Baltec HPM10 high-pressure freezing machine, FEI vitrobot for freezing EM grids, Leica UCT/FCS cryo-ultramicrotome, Leica EM UC6 ultramicrotome, Leica EM/AFS2 freeze-substitution system, EMS and Edwards 306 carbon evaporators.
The laboratory's dedicated electron microscope is an FEI Tecnai TF30 TEM operated at an accelerating voltage of 300 kV and equipped with a field-emission source. The instrument is also equipped with a Gatan Tridiem imaging filter, two 2k x 2k pixel Gatan Ultrascan cooled CCD cameras, a Fischione HAADF detector, Fischione dual-axis tomography holder, Gatan cryo-transfer tomography holder. The instrument is also has FEI and Gatan software packages for performing electron tomography, hyperspectral imaging, electron energy loss spectroscopy, and scanning transmission electron microscopy. Through the neighboring Electron Microscopy Shared Resource, the laboratory also has access to an FEI T12 TEM operating at an accelerating voltage of 120 kV, and equipped for electron tomography, and energy-dispersive x-ray spectroscopy. Also available are a Hitachi H4800 field-emission scanning electron microscope, and a Zeiss Sigma SEM equipped with a Gatan 3View serial blockface imaging system.
Algorithm-driven high-throughput screening of colloidal nanoparticles under simulated physiological and therapeutic conditions.
Self-assembly of amphiphilic plasmonic micelle-like nanoparticles in selective solvents.


text:
Entertainment Daypop
Netflix shares trailer for 'That '70s Show' sequel series 'That 90s Show'
Kurtwood Smith and Debra Jo Rupp return to their roles as Kitty and Red Forman in the new trailer for Netflix's 'That '90s Show', the sequel series to 'That '70s Show.' The trailer sees the Forman's granddaughter and friends showing up to the Forman house and hanging out in That 70s Show's iconic basement.
The premise of That '90s Show reads: "It's 1995 and Leia Forman (Callie Haverda) is desperate for some adventure in her life or at least a best friend who isn't her dad. When she arrives in Point Place to visit her grandparents, Red (Smith) and Kitty (Rupp), Leia finds what she's looking for right next door when she meets the dynamic and rebellious Gwen (Ashley Aufderheide). With the help of Gwen's friends, including her lovable brother Nate (Maxwell Donovan), his smart, laser-focused girlfriend Nikki (Sam Morelos), the sarcastic and insightful Ozzie (Reyn Doi), and the charming Jay (Mace Coronel), Leia realizes adventure could happen there just like it did for her parents all those years ago. Excited to reinvent herself, she convinces her parents to let her stay for the summer. With a basement full of teens again, Kitty is happy the Forman house is now a home for a new generation and Red is, well… Red."
That '70s Show creators Bonnie and Terry Turner have returned, along with producer Gregg Mettler. Original cast members Ashton Kutcher, Mila Kunis, Topher Grace, Laura Prepon, and Wilmer Valderrama will be making guest appearances, with Tommy Chong reprising his That' 70s Show character Leo.
'That '90s Show' will premiere on Jan. 19. Take a look at the trailer – here.
'That '90s Show' Gets Netflix Premiere Date; Red & Kitty Return To Point Place In First-Look Teaser
Editorial credit: Tinseltown / Shutterstock.com
Entertainment Daypop ·
Penélope Cruz, Dua Lipa, Michaela Coel and Roger Federer to co-chair 2023 Met Gala
Take a look at Zachary Levi and Helen Mirren in new 'Shazam! Fury of the Gods' trailer
Michael Strahan receives first sports entertainment star on Hollywood Walk of Fame
Paris Hilton and husband Carter Reum welcome first baby together
Netflix's 'Cobra Kai' ending with Season 6
2023 Oscar Nominations: 'Everything Everywhere All at Once' leads with 11 nods


text:
require "spec_helper"
require "vimrunner"

RSpec.describe Vimrunner do
  let(:server) { double('server').as_null_object }

  describe "#start" do
    before do
      allow(Vimrunner::Platform).to receive(:vim).and_return("vim")
    end

    it "defaults to using the platform vim" do
      expect(Vimrunner::Server).to receive(:new).with(:executable => "vim").
        and_return(server)

      Vimrunner.start
    end
  end

  describe "#start_gvim" do
    before do
      allow(Vimrunner::Platform).to receive(:gvim).and_return("gvim")
    end

    it "defaults to using the platform gvim" do
      expect(Vimrunner::Server).to receive(:new).with(:executable => "gvim").
        and_return(server)

      Vimrunner.start_gvim
    end
  end

  describe "#connect" do
    let(:server) { Vimrunner::Server.new }

    before(:each) do
      server.start
    end

    it "connects to an existing server by name" do
      vim = Vimrunner.connect(server.name)
      expect(vim.server.name).to eq(server.name)
    end

    after(:each) do
      server.kill
    end
  end
end

redpajama_set_name: RedPajamaGithub


text:
Sir John James Burnet  (31 May 1857 – 2 July 1938) was a Scottish Edwardian architect who was noted for a number of prominent buildings in Glasgow and London. He was the son of the architect John Burnet, and later went into partnership with his father, joining an architectural firm which would become an influential force in British Modern architecture in the 20th century.

Biography
John James Burnet was born in Blythswood Hill, Glasgow, on 31 May 1857. He was the youngest of the three sons of the architect John Burnet and his wife, Elizabeth Hay Bennet. They were a Congregationalist family. John James was educated in Glasgow at the original Collegiate School, at the Western Academy, and at Blairlodge School, Polmont.

Study in Paris
He trained for two years in his father's architectural offices. His parents intended him to study at the Royal Academy Schools under Richard Phené Spiers, but Spiers advised him instead to study at the École des Beaux-Arts in Paris. Burnet's parents were at first reluctant to send their son to a Catholic country which had been subject to the political turmoil of the Paris Commune that year, but, in 1872, he began studying under Jean-Louis Pascal, Spiers' former teacher. He progressed rapidly and in 1876, gained his Diplôme du Gouvernement in architecture and engineering. He also spent time there as an assistant to François Rolland. While studying in Pascal's atelier, Burnet forged a lifelong friendship with Henri Paul Nénot.

Work as an architect

At the end of the course Burnet toured France and Italy, returning to Glasgow at the end of 1876, when he assisted his father on completing the facade of the Union Bank of Scotland building in Ingram Street. In 1878 Burnet won the competition to build the Fine Art Institute in Glasgow, his first truly independent work. The brief was to combine 'Greek with modern French Renaissance', Greek Revival architecture still being in vogue in Glasgow at the time. The building also featured friezes by John Mossman. Burnet was unsuccessful with his entry to design the Glasgow City Chambers in 1882, but his Clyde Navigation Trust building (1882–86) ensured his success through a recession.

In 1881, Burnet was admitted as an Associate of the Royal Institute of British Architects (ARIBA) and in 1882, his father, John Burnet senior, took him into partnership, and the practice was renamed John Burnet & Son. John Archibald Campbell rejoined the practice in 1886 after studying under Pascal, adding his name to the practice, Burnet Son & Campbell.

Burnet Baroque

John James's father retired from the practice in 1889 or 1890 at the age of seventy-five. The younger JJ Burnet and Campbell took the practice in a more adventurous direction, looking towards the London architectural scene to keep abreast of fashion and to increase their chances of winning national competitions (which usually had London assessors). Their dramatic shift in style did not always meet with favour; designs for the competitions to build the Central Thread Agency in Glasgow and the North British Hotel in Edinburgh were rejected. Their first success in the new style was the Glasgow Athenaeum Theatre of 1891–1893, a tall American-style elevator building in a Neo-baroque style similar to that of John Belcher or Arthur Beresford Pite. JJ Burnet took a study tour of Italy in 1895 to further his understanding of Baroque architecture. "Burnet Baroque" was highly influential; their competitors quickly assimilated the new vogue for Neo-Baroque and by 1900 it was the common language of Glasgow building, and even influenced the winning design of the North British Hotel by William Hamilton Beattie. In 1896, Burnet submitted designs to the competition to build the Glasgow School of Art; he was not successful, the commission instead being handed to a flourishing young designer called Charles Rennie Mackintosh.

In 1896 the Burnets visited the US, and Burnet was greatly inspired by American architecture. He began to design a number of low-profile buildings with broad eaves, including many churches and public buildings around Scotland (such as Dundas Memorial Church, Grangemouth (1894); MacLaren Memorial Church Stenhousemuir; Public Library and Museum in Campbeltown). The inspiration of American structural techniques on Burnet's work reached a peak in 1905–1910 with his design for McGeoch's Department Store on West Campbell Street, with its strong vertical lines and the expression of the building's structure in the facade.

Campbell left the partnership in 1897 with some suggestion of Campbell's problems with alcoholism, and the practice name reverted to John Burnet and Son. The same year, JJ Burnet was made a Fellow of the Royal Institute of British Architects (FRIBA) and elected President of the Glasgow Institute of Architects. In 1902, Burnet recruited a promising young architect called Thomas Smith Tait to be his assistant. Tait later became a partner in the firm and went on to be one of the most influential architects in the British Modern architecture movement.

British Museum
As partners, Burnet and Campbell never succeeded in English architectural competitions and it was only after Campbell's departure that Burnet extended the practice south of the Border. In 1903–1904 the Office of Works selected Burnet to design the Edward VII Galleries at the British Museum in London. In 1905 Burnet opened a London office in the name of John J Burnet at 1 Montague Place (a grace-and-favour house rented to him by the Museum), taking the young Tait with him. His original ambitious plans would have extended the Museum on all four sides, demolishing Bloomsbury properties to make way for a Parisian-style British Museum Avenue on a north axis, but only the Edward VII Galleries were actually built due to lack of funds. Construction lasted from 1906 to 1914; in 1910, King Edward VII died, and the Edward VII Galleries were opened by King George V and Queen Mary in 1914.

The prestigious work on the British Museum brought in new commissions for Burnet's practice: the General Buildings in Aldwych (1909–11) and the Kodak Building on Kingsway (1910–11). This latter project was a significant milestone for the firm; the American client, George Eastman, was not afraid of a modern design, and after rejecting several design proposals drawn up by Burnet, eventually selected a design submitted by Thomas S. Tait which was to serve as a model for future developments by the firm.

In 1907, draughtsman Norman Aitken Dick joined the partnership, and around this time the Glasgow office was designing some of its most prestigious and pioneering buildings, including the Alhambra Theatre Glasgow which was in the Modern Movement and an early example of a steel-framed building (which construction he employed the following year for the Kodak Building, London)  and the Sick Children's Hospital at Yorkhill. Burnet continued his study visits to the United States in 1908 and 1910, looking at the design of warehouses, hospitals, museums and galleries.

Burnet was knighted in 1914 for his work in the British Museum galleries. He was also awarded the bronze medal of the Paris Salon and elected RSA. In 1921 he was made ARA in 1921 and received the Paris gold medal in 1922. Burnet helped to found the Royal Incorporation of Architects in Scotland.

The inter-war years

The advent of the First World War brought a time of hardship for Burnet's practice, and during this period a disagreement resulted in Tait leaving the practice to work in America. After the war, the London office began to receive commissions once more, including work on completing the Selfridges department store on Oxford Street. The Imperial War Graves Commission also commissioned war memorials from Burnet's firm in Gallipoli, Palestine and Suez (1919). Burnet took a leading role in the design of the memorials and in the work on Adelaide House, London Bridge. His health was deteriorating, however; stress-related eczema, brought on by wartime hardship, professional disagreements and financial scandals in the Glasgow office, made it hard for him to work. Thomas Tait had returned to the practice after a reconciliation, and he began to take a leading role in the practice, working on the Daily Telegraph Building and Lloyds Bank on Cornhill. Burnet himself dealt with the redesign on Lomax Simpson's Unilever House project, but otherwise acted as a consultant and went into semi-retirement.

Burnet received the Royal Gold Medal in 1923 and was elected RA in 1925.

Retirement and death

Until 1935 he lived at Killermont, his Arts and Crafts house at Rowledge, Surrey. He then purchased a much smaller cottage, Woodhall Cottage on Woodhall Road, in Colinton, Edinburgh. Although he kept in touch with developments in the Burnet Tait & Lorne office, he was unhappy in retirement. He died at home on 2 July 1938. His remains were cremated and his ashes were buried in his father-in-law's plot at Warriston Cemetery.

The Burnet Tait & Lorne practice continued to thrive after his death, and under the leadership of Thomas Smith Tait, went on to become an influential force in Modern Architecture.

Family

In 1886 he was married to Jean Watt Marwick (1864–1949), daughter of Sir James David Marwick.

Notable works
Among his surviving works are:

 Gardner Memorial Church, Brechin (1896)
 Clyde Navigation Trust (Clydeport) Building, Robertson Street, Glasgow (1883 and 1905)
 Barony Church, High Street, Glasgow (1886)
 John McIntyre Building, University of Glasgow (Glasgow University Union) (1886)
 Charing Cross Mansions, Charing Cross, Glasgow (1891)
 Athenaeum, 8 Nelson Mandela Place, Glasgow (1886)
 New Athenaeum Theatre, 179 Buchanan Street, Glasgow (1891)
 Royal Faculty of Physicians & Surgeons of Glasgow, St Vincent Street, Glasgow (1892)
 Glasgow Savings Bank, 177 Ingram Street, Glasgow (1896)
 Albany Chambers, Sauchiehall Street, Glasgow (1896)
 King Edward VII Gallery, British Museum, London (1905)
 RW Forsyth's Department Store, Gordon Street, Glasgow (1896 and 1906)
 RW Forsyth's Department Store, Princes Street, Edinburgh (1906)
 Broomhill Trinity Congregational Church, Broomhill, Glasgow (1907)
 Kodak, Kingsway, London(1909)
 General Accident Assurance, Aldwych, London (1909)
 Restoration of Duart Castle, Isle of Mull (1911)
 Wallace Scott Tailoring Institute, Cathcart, Glasgow (1913)
 Royal Institute of Chemistry, London (1914)
 Lancashire Landing Commonwealth War Graves Commission Cemetery (1915)
 Balliol College Chapel, Oxford (1916)
 Selfridges Department Store, London (1919)
 Glasgow University Zoology Building (1922)
 War memorials at Gallipoli, and Jerusalem
 Glasgow Cenotaph in George Square, Glasgow (1924)
 Hunter Memorial, University of Glasgow (1924)
 Adelaide House, London Bridge Approach, London (1925)
 Daily Telegraph Building, Fleet Street, London (1925)
 North British & Mercantile Assurance, 200 St Vincent Street, Glasgow (1925)
 Lloyds Bank, Lombard Street, London (1927)
 Sydney Harbour Bridge, (1929)
 University of Glasgow Memorial Chapel (1929)
 Unilever House, Blackfriars, London (1930–33, with James Lomax-Simpson)

Other work has been destroyed or demolished, including:
 McGeoch's, West Campbell Street, Glasgow (1904)
 Kelvinside railway station, Kelvinside, Glasgow (1896)
Alhambra Theatre, 41 Waterloo Street, Glasgow (1910)
 Royal Hospital for Sick Children, Yorkhill, Glasgow (1911)
Port Tewfik War Memorial, Suez, Egypt
 Wemyss Bay Episcopal Church (1880, demolished 1970)

Burnet's unsuccessful competition designs for prominent building projects included:

Glasgow Municipal Buildings (1880)
Usher Hall, Edinburgh (1909)
Kelvingrove Art Gallery and Museum (1891)
 Glasgow School of Art (1896)

References

External links

Sir John James Burnet – biography on Dictionary of Scottish Architects
Brief history of John Burnet & Sons practice
Portrait of architect and elevation of Burnet's bank in Ingram Street

1857 births
1938 deaths
19th-century Scottish architects
20th-century Scottish architects
Architects from Glasgow
People educated at Hyndland Secondary School
British alumni of the École des Beaux-Arts
Burials at Warriston Cemetery
Fellows of the Royal Society of Edinburgh
Fellows of the Royal Institute of British Architects
Associates of the Royal Institute of British Architects
Knights Bachelor
Baroque Revival architects
British neoclassical architects
Recipients of the Royal Gold Medal
Royal Scottish Academicians
Royal Academicians
Scottish knights
Commonwealth War Graves Commission
Modernist architects from Scotland

redpajama_set_name: RedPajamaWikipedia


text:
Nokia Corporation
Stock Exchange Release
11 January 2023 at 21:00 EET
Espoo, Finland – On 11 January 2023 Nokia Corporation (LEI: 549300A0JPRWG1KI7U06) has acquired its own shares (ISIN FI0009000681) as follows:
Trading venue (MIC Code) Number of shares Weighted average price / share, EUR*
XHEL 205,161 4.60
CEUX 49,692 4.60
AQEU 1,047 4.59
TQEX 7,600 4.61
Total 263,500 4.60
* Rounded to two decimals
On 3 February 2022, Nokia announced that its Board of Directors is initiating a share buyback program under the authorization granted by Nokia's Annual General Meeting on 8 April 2021 to return up to EUR 600 million of cash to shareholders in tranches over a period of two years. The second phase of the share buyback program in compliance with the Market Abuse Regulation (EU) 596/2014 (MAR), the Commission Delegated Regulation (EU) 2016/1052 and under the authorization granted by Nokia's Annual General Meeting on 5 April 2022 started on 2 January 2023 and ends at the latest by 21 December 2023 with a maximum aggregate purchase price of EUR 300 million.
Total cost of transactions executed on 11 January 2023 was EUR 1,212,706.05. After the disclosed transactions, Nokia Corporation holds 35,738,378 treasury shares.
Details of transactions are included as an appendix to this announcement.
On behalf of Nokia Corporation
Adhering to high standards of integrity and security, we help build the capabilities needed for a more productive, sustainable and inclusive world.
Email: investor.relations@nokia.com
David Mulholland, Head of Investor Relations
Daily Report 2023-01-11
To view this piece of content from www.globenewswire.com, please give your consent at the top of this page.
To view this piece of content from ml-eu.globenewswire.com, please give your consent at the top of this page.
About GlobeNewswire by notified
Subscribe to releases from GlobeNewswire by notified
Subscribe to all the latest releases from GlobeNewswire by notified by registering your e-mail address below. You can unsubscribe at any time.
Latest releases from GlobeNewswire by notified


On this page you will get an overview of the most popular product categories from Emerson Custom as well as current offers, bargains, remaining and interesting information about Emerson Custom. If you would like to see a list of all products from Emerson Custom, then please click here.
Emerson Custom products are mainly manufactured in factories in United States and Taiwan.
We currently list 27 Emerson Custom products 8 of them are available for immediate dispatch .
To inform our customers as best we can about Emerson Custom products, you will find a total of 404 media, reviews and test reports on Emerson Custom products on our website - among them the following 142 product images, 24 different 360 zoom images and 238 customer reviews.
In our current top seller lists you will find a total of 10 Emerson Custom top sellers, among others in the following categories Guitar/Bass Potentiometers, 3-Way Switches, Toggle Switches and 5-Way Switches.


True Machine Learning: Capture Client has machine learning taking place not only after the execution but also before and during the execution, this reduces the risk of compromise to endpoints and in turn better protects the business. In contrast, Sophos only leverages machine learning as code executes on a system.
Real Remediation: Capture Client will create shadow copies of all data and there is no data limit or file type that cannot be copied. The impact of a malware attack is none existent as the Capture Clients rollback feature will clean the device and allow users to continue working. The Sophos Intercept X relies heavily on the Sophos Cleaner to run restores on potentially encrypted files. This can be bypassed and there are limits of only 60 MB of cache to save up to 70 file types.
Firewall Synergies: The SonicWall Capture Client goes beyond the endpoint as synergies has been built in for connection with SonicWall next generation firewalls (NGFW). The NGFW is not required, however it can enforce users to a download page to update the endpoint. Sophos Endpoint Protection is closely linked to their next generation firewall, this integration lacking on Intercept X.


PES 2008 doesn't show each player's overall rating. This makes determining the overall highest rated PES 2008 player tricky. As a result we have broken down the top 10 players in each important ability. These include attack, defence, body balance, stamina, top speed, acceleration, dribble accuracy, dribble speed, shot accuracy, shot power, technique and aggression.


It's nice to see a big star like Suriya take some time off from his busy schedule and interact positively with the next generation of youngsters.
On Saturday evening, Suriya was the chief guest at a cultural fest held at the popular Vel Tech University in the outskirts of Chennai. To welcome him, students had constructed a huge cutout. Suriya was dressed smartly in formals and addressed the students in English to cater to all of them. He came across as a wonderful stage speaker and did his best to motivate the students with a crisp speech.
Suriya advised the students to believe, enjoy, cherish life, and never give up. He cited his own example of how he became an actor when he least expected to be one. Suriya also narrated how he started off with a very meagre salary and then went on to earn in crores. The star pushed the youngsters to be honest in whatever they do and have a very positive outlook towards life. He advised them to be true to their dreams.
"Be positive, be hungry, be selfish. Nice boys will get nice girls, nice girls will definitely get nice boys", were the closing lines of the Singam star, who left the stage with deafening applause from the students. It's nice to see a big star like Suriya take some time off from his busy schedule and interact positively with the next generation of youngsters.


text:
Q: Does the transition property affect browser performance? Just out of curiosity, is there any difference in terms of performance values if you use specific properties, e.g. transition: color .3s, against a general property transition: all .3s?

A: Letting the browser control animations sequences allows it to optimize performance and efficiency by altering the frame rate, minimizing paints and offloading some of the work to the GPU.
The performance penalty of all vs. color in mentioned case (if any) should be negligible to notice (microseconds).
See here for more details.

A: They should perform similarly if only the color changes, but it will apply with any change in styling on the given element. The difference, if any, is probably not perceivable with most modern browsers.
It's a distinct possibility that "all" is optimized to ensure only the necessary proprieties are followed.
So the only thing to take into consideration is the possibility that another propriety will change and you don't want the 0.3s transition on it.

A: There are many sources that explain the performance issues of animations and transitions in CSS. In my opinion the best explanation that I found is at the Adobe website

redpajama_set_name: RedPajamaStackExchange


Easy, sugar-topped whole grain oatmeal cookies – with or without cranberries, nuts, or chocolate chips – are both crisp and chewy- a perfect combination! For more great recipes, check out the Simple Cookie Recipes page.
I hope you're looking for a good oatmeal cookie – one with a crisp bite outside and a chewy inside – because do I have one for you. I know there are a lot of oatmeal cookie recipes out there – and I've tried a few – but I always come back to this favorite that I've made since high school (a long time, trust me!). Why? Because like my other cookie favs, whole grain chocolate chip cookies, they turn out great every time!
I've adapted them over the years to use all whole wheat and brown sugar and they still turn out so good you have to be careful and eat only one (or give them away or freeze them quickly – one of my tricks for eating in moderation).
My favorite version of this cookie is made with dried cranberries and walnuts as additions. Since Brian always thinks he's been cheated if there aren't chocolate chips in a cookie, I do make them with chocolate chips occasionally – but mostly they're cranberry and walnut whole grain oatmeal cookies – because the baker usually gets her way, right?
If you like raisins and pecans or no nuts or only nuts, go for it! The basic recipe is perfect no matter what additions you use.
1. Always use a cookie scoop.
I actually use a scoop with all the cookies I make – I love how easy this makes dropping the dough onto the baking sheet and how it helps the cookies to have a uniform shape.
2. Coat the tops of the cookies with sugar.
In the last few years I've started coating them with raw sugar and, oh my, does it elevate these cookies to a higher level.
They crisp up as they cool and it's important to take them out of the oven when they still look a bit undone on top in order to achieve a center that stays soft.
It's definitely the contrast between the crisp outside and soft inside that makes these so hard to resist. Go ahead, see for yourself.
Click the arrow for the full whole grain oatmeal cookies recipe (with print options)!
Thank you so much for sharing! My picky eaters are loving so many of your recipes.
This is the best oatmeal cookie ever! I used what was on hand, so mine had pecans instead of walnuts. I followed the rest of the recipie as written. Even the results were on point—YUM. I might have to replace my chocalate chip cookie recipie with this one!
Yummy!! Can't wait to make these, but I'll have to wait til fall. It was 111 degrees here in Texas today. So, I don't use my oven in the summer unless absolutely necessary. I will definitely be making these!! Thanks for the recipe!!
I have been on the hunt for a good oatmeal cookie recipe. I have pinned this and intend to give it a try. Sounds amazing!
oh, my…. today I've made a quadrupal batch of waffles, pancake mix and biscuit mix for the freezer, banana muffins, zucchini muffins, chewy granola bars and processed tomatoes for the dehydrator. I sit down for just a minute to enjoy a muffin and cup of tea before cleaning the kitchen and I see this. I guess I need to make one more thing before cleaning up….
Since everything but the butter was already on the counter I made these for dessert tonight. They are amazing. Oatmeal cookies are usually either very hard or very cakey, I really don't like either. My kids are in the kitchen right now counting the cookies and dividing them up so that they each know how many is "theirs".
Now this is my kind of cookie. I hated making cookies until I started using a cookie scoop. No way I am going to drop them by a spoonful anymore. I grind my own wheat and use sucanat too. I will be making these. I might even add a mixture of dried fruit. I do not care for chocolate chips but my husband does. I can take some of the cookie dough and add chocolate to his.
I do this alot. I may have 3-4 kinds from one dough. I think I might try a little orange zest withe the cranberry too. Yum!!!


text:
Q: Segmentation fault with Haskell Z3 api I'm using Haskell with this Z3 package, which closely mirrors (and makes use of, via Haskell's foreign function interface) the C api: https://hackage.haskell.org/package/z3
I'm getting a segmentation fault, and have managed to reduce it to the following:
mainx = do
    print =<< intCheck [0..70]

intCheck :: [Int] -> IO [Int]
intCheck [] = return []
intCheck (x:xs) =
    do
        checking <- evalZ3 $ checkImpact x
        print checking
        return =<< intCheck xs

checkImpact :: Int -> Z3 Result
checkImpact r  = do
    reset

    xSymb <- mkStringSymbol "x"
    x <- mkConst xSymb  =<< mkIntSort
    trace ("asserting = " ++ show r) assert =<< mkEq x x

    solverCheck

The output is:
asserting = 0
Sat
asserting = 1
Sat
asserting = 2
Sat
...[omitted]
asserting = 45
Sat
asserting = 46
Segmentation fault: 11

Usually, the last asserting is somewhere around 46, but it does vary between executions.  My best guess is that memory is not being freed properly (I can't figure out why it would halt at slightly different points otherwise), but I'm unsure if it's a problem with my recursion (in intCheck), or with the z3 api.
Thanks in advance for any help!

A: I see there is one spacing issue in the code you pasted (the alignment of do).  Please ensure that this is otherwise the code causing your issue.
I am unable to reproduce your issue:
% ghc so.hs -fforce-recomp && ./so 2>&1 | tail ; ghc --version ; z3 -version
[1 of 1] Compiling Main             ( so.hs, so.o )
Linking so ...
Sat
Sat
Sat
Sat
Sat
Sat
Sat
Sat
Sat
[]
The Glorious Glasgow Haskell Compilation System, version 7.10.3
Z3 version 4.4.1

Oh, and:
% ghc-pkg list z3
   z3-4.1.0

EDIT: Matching GHC and Z3 versions and I still can not reproduce the issue:
% LD_LIBRARY_PATH=$HOME/lib ghc so.hs -fforce-recomp && LD_LIBRARY_PATH=$HOME/lib ./so 2>&1 | tail ; ghc --version ; z3 -version
[1 of 1] Compiling Main             ( so.hs, so.o )
Linking so ...
Sat
Sat
Sat
Sat
Sat
Sat
Sat
Sat
Sat
[]
The Glorious Glasgow Haskell Compilation System, version 8.0.1
Z3 version 4.3.2


At Func Art Design Inc., we take the extra time and care to provide our customers with the right solutions and the best results for all their fine art needs. From crating, packing and transportation to installation and storage, our seasoned professionals have more than 20 years experience handling art for top-tier museums, galleries and private collectors.
Our main facility is located in the heart of the Hudson Valley, with services easily accessible to the greater New York metropolitan outlets and surrounding areas of the Northeast. From initial consultation to delivery and installation, Func Art Design Inc. guarantees unparalleled professionalism and customer satisfaction.
Please send us an enquiry with a brief description of your fine art handling needs and we would be happy to see how Func Art Design can best serve you. Click here to contact us.


text:
Q: Changing div background color on mouse-over with anonymous function calling from HTML code in Javascript I have got this code from the below link and I am new to Javascript. I want to know how to call the JavaScript function from the html code.
Because they are anonymous functions I am unable to call them.
Could someone help me how to call those two function in the div?
Link : How to use JavaScript to change div backgroundColor

some title here

some content here

some title here

some content here

some title here

some content here

var div = document.getElementById('div_id');
div.onmouseover = function() {
  this.style.backgroundColor = 'green';
  var h2s = this.getElementsByTagName('h2');
  h2s[0].style.backgroundColor = 'blue';
};
div.onmouseout = function() {
  this.style.backgroundColor = 'transparent';
  var h2s = this.getElementsByTagName('h2');
  h2s[0].style.backgroundColor = 'transparent';
};

A: Basicly all you have to change is document.getElementById( 'div_id' ); to document.getElementById( 'catestory' );
but if you want all of them to have a seperated hover effect then try this:
var div = document.querySelectorAll('#catestory .content');
for (var i = 0; i < div.length; i++) {
  div[i].onmouseover = function() {
    this.style.backgroundColor = 'green';
    var h2s = this.getElementsByTagName('h2');
    h2s[0].style.backgroundColor = 'blue';
  }
  div[i].onmouseout = function() {
    this.style.backgroundColor = 'transparent';
    var h2s = this.getElementsByTagName('h2');
    h2s[0].style.backgroundColor = 'transparent';
  };
}

Demo

var div = document.querySelectorAll('#catestory .content');
for (var i = 0; i < div.length; i++) {
  div[i].onmouseover = function() {
    this.style.backgroundColor = 'green';
    var h2s = this.getElementsByTagName('h2');
    h2s[0].style.backgroundColor = 'blue';
  }
  div[i].onmouseout = function() {
    this.style.backgroundColor = 'transparent';
    var h2s = this.getElementsByTagName('h2');
    h2s[0].style.backgroundColor = 'transparent';
  };
}

some title here

some content here

some title here

some content here

some title here

some content here

A: The sample code works. Only change div_id with id of your div.
You can bind js events to html elements directly like:

For Example (the following code means inside the event quotes waits function names or can works javascript) :

<button onmouseover="this.innerHTML = Date()" onmouseout="this.innerHTML = 'The time is?'">The time is?</button>

Or firstly find the html element with selectors and bind functions to related event like your sample.

var div = document.getElementById('catestory');

div.onmouseover = function() {
  this.style.backgroundColor = 'green';
  var h2s = this.getElementsByTagName('h2');
  h2s[0].style.backgroundColor = 'blue';
};

div.onmouseout = function() {
  this.style.backgroundColor = 'transparent';
  var h2s = this.getElementsByTagName('h2');
  h2s[0].style.backgroundColor = 'transparent';
};

some title here

some content here

some title here

some content here

some title here

some content here