text:
If you live in Moorabool and need a real estate agent, come see why our agents get the BEST RESULTS. Find a specialist in your local area today.
Real estate transactions can become extremely pleasurable or very stressful experiences. If you want to enjoy a stress free experience, you must get in touch with a reputed real estate agents Moorabool. However, looking for such an agent is not the easiest task. From this article, we will let you know the most convenient methods that are available for the people to look for the best real estate agent. If you are looking to purchase or sell another piece of property, then read on and see some helpful tips.
The best real estate agents Moorabool are often not those who print advertisements or pepper their services all over TV. The best agents are dedicated in providing the best possible service for all their customers. What they want is to make their customers achieve their desired results at the end of the day. These agents have a strong knowledge of property inventory, local market conditions and the latest legislation. They follow a specific procedure to deliver quick results for the people. Sometimes, the real estate agents with small volumes of listings are more effective than the ones with large volumes. It is useless to have a lot of listings if they aren't doing anything with them. People who live in the present world have busy life schedules and they are in need of quick results.
Before you search for real estate agents Moorabool, you need to identify the difference between a realtor and a real estate agent. In order to become a realtor, a real estate agent has to join the National Association of Realtors. This association is equipped with a code of ethics and all the agents must promise to follow them. The code consists of current legal requirements; so all the realtors out there are dedicated in providing an excellent service for the people in need. A realtor offers an honest service for both buyer and seller, by analyzing the property in detail. For example, if a realtors figures out that the buyer has a bad credit history; they will not proceed with a dishonest transaction. They will even assist buyer clients to collect information such as audited tax returns and credit reports.
The internet can be considered as the best option available for the people to look for a reputed real estate agent. Almost all the real estate agents around your area can be found online and you need to compare their services and go for the best. When you are looking for real estate agents Moorabool to sell or buy your home, it is better to select a one that is a Certified Residential Specialist. Even though there are about one million realtors out there, about 38,000 of them hold the Certified Residential Specialist Designation. It is basically the symbol of excellence that makes them stand ahead of others.
A reliable real estate agent will put your interest ahead of their interest at every single time. They have the ability to understand the requirements of all the clients. Since they share all the vital information with clients, you will get the chance to make an informed decision. In addition, the realtors share all the pertinent facts about the property to both seller and buyer. If a specific realtor believes that information given by a property seller is questionable, they will investigate on the subject and figure out the truth. Realtors also recommend property buyers to get in touch with their own home inspectors in order to address the concerns. For instance, if a specific property seller asks the real estate agents Moorabool to conceal the fact of a leaking roof, the agent cannot comply.
The realtor you select should be truthful when communicating with public through their channels. Usually, real estate agents in the present world get in touch with potential clients through websites, place advertisements or newsletters. However, they need to be careful not to make other professionals in the industry represent their company. They need to hold responsibility for all the listings that they post online.
It will not be possible for you to pay attention to all these aspects and find the best real estate agents Moorabool. As always, you can ask family members, friends, acquaintances, coworkers, your dentist or anyone to recommend the best real estate agent around your area. They must have experience with a professional service provider and they will recommend these providers to you based on the experience. If you have a close friend who is satisfied with the work of a specific realtor, you can select that one without any hesitation. You can even feel confident when working with such a real estate agent. If you are not in a position to get any good recommendations, you can seek the assistance of the Internet. You can find reviews about many real estate agents Moorabool who operate in your area. The cheapest service provider is not the one that offers the best service. You need to take some time and go through the reviews to find the best realtor in your area. The time you spend on this research can be considered as a great investment done towards your future.
Once you narrow the list to the realtors with best reputation, you need to consider their credentials, awards, licensing and certificates. You need to get in touch with the regulatory body and check whether they are licensed. It is also essential to check whether they have any major complaints in the past. After taking all these facts into account, you can come to the conclusion of best real estate agents Moorabool.


text:
Steven Tierney
Senior Underwriter
State Counsel—Iowa
State Counsel—Nebraska
State Counsel—North Dakota
State Counsel—South Dakota
Stewart Title Guaranty Company
Steven began his title career over 34 years ago with Chicago Title Insurance Company, where he worked until 2003 handling underwriting and claims for both the company's direct operations and its agency network. He joined Stewart Title Guaranty Company in 2004 as regional counsel for the Mid-American states, being responsible for underwriting and claims for Stewart Title Guaranty Company's network of title insurance agents in the upper Midwest. Recognized as an authority in the local and national arena, he is adept at finding solutions for complex real estate transactions.
Steven graduated from the University of Minnesota College of Education and its law school. He is a certified real property specialist and member of the Hennepin County and Minnesota State Bar Associations as well as the American Bar Association. He has served as president of the Minnesota Land Title Association and is a frequent lecturer at various continuing legal and real estate education courses.

subset: commoncrawl


text:
You are here
This product is compatible with ISOFIX.
This product is compatible with car seatbelt.
Child car seats can be installed with ISOFIX or with the car seat belt. Depending on your car and personal needs, you can choose the car seat that suits your situation.
Learn more about our fittings
The Pebble has the same use period and functionalities that you can expect from a Bébé Confort infant carrier, but there are more unique benefits to the Pebble Plus!
Upgrade to Pebble Plus
By filling in this form you can direct a friend to interesting information on www.bebeconfort.com.


text:
It's rare to see an original horror movie these days and even more unusual to see one starring Ethan Hawke (I think Daybreakers is his only other one), so I made sure I caught Sinister, a movie about a writer who becomes entangled in a bizarre murder-mystery with a possible occult slant.
Without giving away too much, Hawke plays Ellison Oswalt, a true crime writer whose last hit was more than a decade old and is desperately trying to land a homerun to revive his career. He becomes attracted to a chilling case about a missing girl and the hanging of her family from a tree that was caught on film, and relocates to the town where the tragedy occurred — with his wife (English stage actress Juliet Rylance) and two young children — so he can begin work on his ultimate masterpiece.
Despite its unimaginative title, Sinister is actually quite a creative horror film that worked really well for its first half. And unlike most horror films that dissolve into silliness towards the end, Sinister fails in its second half not because of the story but because of stylistic choices by director Scott Derrickson (The Exorcism of Emily Rose), who also co-wrote the script.
The film excelled in the beginning because it relied almost solely on its creepy, unsettling atmosphere. The audience is drawn in by this eerie unsolved mystery and what are essentially ghoulish snuff films that are undeniably alarming yet captivating. The scenes with Hawke sitting alone in a dark room watching chilling 8mm home videos can make me shrivel up every time (interpret that as you wish).
So for the first hour or so of the film I was kept at the edge of my seat and I had no idea where the story was heading and whether it even had anything to do with the supernatural. For all I knew it was just a really strange case where lots of unexplained stuff was happening.
At some point, however, the film takes a wrong turn down an alley we've all seen too many times with modern horror films. Instead of watching the horror unfold through Ellison's eyes we begin to watch it unfold around him – in that we get to see things he doesn't – and this actually removes us from the closeness and proximity to the fear and confusion he's feeling.
The scares also become more predictable and clichéd. Atmosphere takes a back seat to "boo" moments with grotesque images jumping out in front of the camera purely for cheap thrills. Granted, some of them are effective, especially with the blaring sound effects and music, but it brings Sinister closer to your average horror flick than distinguishes it, which is a real shame.
Fortunately, the film doesn't fall apart completely. There are still enough twists and turns to keep audiences interested, and Hawke's solid performance as Ellison, as well as Ryance's as his very reasonable wife, keep the film afloat through some of its rockier moments. As always with such movies, there are some plot issues that are best ignored (such as how everyone in the house apart from Ellison can sleep through all that noise), but all things considered Sinister is still one of the better horror flicks of 2012.
3.75 stars out of 5!


text:
Major roads closing for Sunday's marathon
As Chevron Houston Marathon participants sprint, run and jog, Houston drivers will be navigating around the street closures winding around the city during Sunday's race.
Several major intersections and some access to freeways closed as early as Thursday for the 41st Houston Marathon.
Starting Thursday at midnight, portions of Avenida de las Americas near Minute Maid from Lamar Street through Walker Street were closed. Those intersections will not open again until 8 p.m. on Sunday.
Saturday, in preparation for the race, there will also be several closures in the downtown area for a few hours, including Caroline, Austin, Lamar, Crawford and LaBranch streets. Those streets will reopen at 9:30 a.m. Saturday.
The day of the race will obviously cause the most closures. The intersections will close at 6 a.m. until the finish of the race, which could be about 1:20 p.m. or later on Sunday.
The start line for the marathon is in front of Minute Maid Park, just north of the George R. Brown Convention Center. The race starts at 7 a.m. The marathon and half marathon participants will merge at mile 2. From downtown, participants will run through the Heights and Montrose neighborhoods. At about mile 9, half marathoners split off from the marathon course and return to finish at the convention center.
Marathoners will continue through Rice and West University, passing the Galleria, Tanglewood and Memorial Park areas before returning to the finish at the convention center.
Eastbound Memorial Drive will be closed and both directions on Allen Parkway until the finish of the race. Parts of U.S. 59 southbound on the feeder road at Lancashire and at the Newcastle exit will be closed. The 610 Loop feeder northbound at Richmond Avenue will be closed and also the West Loop at Woodway/Memorial exit.
The Heights area will see closures through Quitman street, White Oak Drive, Micheaux and Studemont. As the race continues through the Montrose area, several major intersections will be closed as runners go down Memorial down Montrose Boulevard, from Memorial Drive to just after Bissonnet Street. University Boulevard will be closed from Travis to Weslayan streets. The race will also cause closures through Weslayan, Post Oak Boulevard, San Felipe Street, Tanglewood Road and Woodway Drive.


text:
Dell: How Are DBAs Really Managing Their Data?
There's a lot of hype around unstructured data. However, a recent survey of 300 database administrators (DBAs) suggests that most organizations will continue to focus on managing structured data.
Learn more about what's hype and what's common practice when it [See the full post…]
|Read/Download PDF
Categories: Big Data, Cloud Computing, data centers, Dell, EMC Corporation, IT White Papers, Oracle OpenWorld, virtualization


text:
Delivering reliable network performance is necessary for anyone maintaining a cabling system. An Independent Interoperability Lab recently monitored an extensive testing program, HarmonyPLUS, to determine network performance with live data packet transmission. This program is a family of Cats. 5e and 6 end-to-end structured cabling solutions, assuring reliability of components, total system performance, and networking support.
The channels tested were constructed with Helix/HiTemp SuperCAT360 UTP Cat. 5e cables, using varying channel lengths - up to 100 m and up to four connection points. The results of these cables and their specified connectivity partners support both 100-Base-TX and 1000Base-T network applications exceeding bit error rate standards.
The test results show significant margin in Power Sum Attenuation to Crosstalk (PSACR) at 100 MHz, and across the entire frequency range.
"There is significant headroom of PSACR, allowing a cleaner path for signals to pass through the cable plant," says William Reichert, Director of Business Development for Helix/HiTemp Cables, Inc. "This combined with the other three major transmission characteristics, PSNEXT, Return Loss, and Attenuation, provide assurance that cable plant performance will reduce the chance of retransmission errors or network data problems."


text:
Brought Near by His Blood
Men are prone to forget those things that women seem to hold most dear. Many husbands even have forgotten the date of an anniversary or birthday. Most of them have experienced the wrath of their wives' glance when in polite …Read More
The Prodigal Brother
It had been twenty years since Jacob had deceived his father and received the blessing Isaac had intended to give Esau. It had been twenty years since Jacob fled for his life from a furious brother intent on killing him …Read More
The Necessity of Reconciliation
Why do relationships have to be so complicated? Why do good friends get "wrapped around the axle" with each other? Why do family members become so alienated they may not speak to one another for years? It is because we …Read More


text:
Lightning McQueen was not at all what this cake was supposed to be. I had planned to make a plain rectangular cake that would be easy to cover with fondant as this was my first time using the stuff. But somewhere in the process I got carried away and decided I would make a car cake. Actually, I can pinpoint the exact point where I started to veer off my charted course. I was standing over my cake, looking at it quizzically when Dad walked in. The cake was supposed to be three layers but I am not the best at cutting in straight lines so it ended up being two and a half layers as the third one fell apart and I could only salvage half of it. Dad looked at the cake and cautiously asked me what I was making in the same way you would ask a three year old to tell you about their drawing so as not to offend them when you say they've drawn a beautiful horse and they say it's actually a tractor. I replied that I wasn't exactly sure. This gave Dad the green light to tell me that he thought it looked like a car. And you know what? It did. If I squinted really hard I could imagine a polished race car. Of course the end result was far from what I imagined, but it was still kind of cute.
Working with the fondant was tricky business, or more accurately, sticky business. Once you laid it down, changes were not to be made. And the more I worked it between my hands, the warmer and stickier it got. Also, the more red my hands got. The red dye was quite good at spreading itself everywhere but into the fondant. Actually rolling out and shaping the fondant wasn't much easier. See, I often have lofty visions of what I think something should look like but I don't have the ability to execute my visions. This leads to a lot of frustration on my part because of my poor memory which prevents me from remembering that my imagination exceeds my ability. In my head, I'm Duff Goldman. Reality disagrees.
As neat as fondant looks, I can't say it stands up in the taste department. This pains me because that fondant exterior is hiding Dorie's Dressy Chocolate Loaf cake and Chocolate Malt Buttercream icing. The cake and icing are rich, chocolaty and certainly worthy of being served on their own but can anything really compete with Lightning McQueen? Given the choice between a brown loaf cake or a jazzy red Lightning McQueen cake, it's hard to pick the former. In order to satisfy both looks and taste, we enjoyed Lightning as long as possible and then peeled off the fondant exterior to reveal the cakey goodness inside. Some brave souls attempted to pick at the fondant but in the end I was left with a crumpled and deflated Lightning McQueen and not a crumb of Dorie's cake. The final picture was just too sad to post, I want you to remember Lightning in all his glory, supported by cake and so those are the only pictures I'm sharing.
Technorati Tags:
Cake + Dorie Greenspan + Fondant + Cars


text:
Looks like Boris Blank has renovated his studio. His workplace has changed beyond recognition. Check this link: http://www.blick.ch/people-tv/musik/ich ... 66527.html
Also he mentioned that they plan to release new album this fall. New work features Mali's voice and Till Bronner's trumpet.
New YELLO album this fall???
Latest news of new music, albums, remixes and YELLO projects
4 posts • Page 1 of 1
- Ilya Petrov
- Posts: 34
- Joined: Fri Jun 11, 2004 4:31 am
- Location: Vancouver, BC, Canada
Re: New YELLO album this fall???
From what I gathered from the article the upcoming album will have an upbeat , "faster" rhythm - thumbs up to that .
Re: New YELLO album this fall???
Any updates on this?
Re: New YELLO album this fall???
That's what I wanted to ask, too.
4 posts • Page 1 of 1


text:
…Having attended one of these, I'd definitely say don't miss it – just for the atmosphere! The black market is held along the banks of the Merri, and features stalls of all kinds of alternative pre-loveables and there is usually merriment, bands and mischief. Come for the bargains, stay for the hilarity! 🙂
The Black Market
|Yup after a little hiatus, we're finally doing it all again – The big Gothy Garage Sale of DOOOOOOOOM!
A nice chilled arvo under the gum trees with ya mates getting rid of all that STUFF! Open to all to buy & sell but it is the Black Market so aimed at more unusual types so the more unusual your wares to sell the better – new things, old things…it all sells!
And again we're joined by The Resignators & for the first time joining …them will be The Kujo Kings & The Tearaways so you get to enjoy some great music for free!
Come & grab yourself a bargain by Merri Creek – with soo many wonderful things for sale you'll have to bring some friends to carry all your new goodies home!
For those who've already sold their souls to sell everything else:-


text:
Get help shopping! 1-855-521-4244 (Toll-free US & CAN)
1 Item(s)
(48% off)
Currently Shopping by:
Need help shopping?
Call 1.855.521.4244
(toll-free US & Can)
International: 1.514.521.4244
Email: firstname.lastname@example.com
Contact Us
About Us
Shipping and Handling
Returns and Exchanges
Privacy and Security
Subscribe to our newsletter
Bra Doctor's Blog
Free Shipping details: HOW TO REDEEM: Add qualifying items totaling $59 or more to your shopping bag. Shipping & handling, taxes, and gift cards do not qualify towards the minimum purchase. No promo code necessary to redeem. At first shipping charges will appear and will be removed at checkout when the credit card details are entered. Shipping & handling charges will automatically be deducted for eligible orders and will be reflected in your shopping cart. EXCLUSIONS: Not valid on previous purchases. Cannot be combined with any other shipping offers or offers that provide discounts on your entire order. Limit 1 per customer. ADDITIONAL INFO: Valid for free standard shipping & handling anywhere in the United States. Offer subject to full or partial adjustment due to returns, cancellations and exchanges.
If you have questions about our sale or need help shopping, contact us by emailing firstname.lastname@example.com.
© 2018 Les Modes Ancora Inc. All Rights Reserved.
Bra Doctor® is a registered trademark by Les Modes Ancora, Inc.


text:
Kind of a day of missed opportunities mended.
Another person I've met electronically through my various dealings on eGullet is Audrey Saunders. Last year some time she'd been in town for a Gin Syposium and we had just missed one another.
I really wanted to go to the bar she runs, The Pegu Club, as Mrs. Underhill and I had just missed its opening by a couple weeks the last time we were in New York.
I thought, what the heck, I'll send her an email and tell her we'll be at the Pegu early tonight, and maybe get a chance to say, "Hi!"
The other thing I really wanted to do the last time we were in New York was to go to Prune Restaurant. So much so, that we had reservations the night we arrived in town. Unfortunately, we ended being delayed just past their last seating deadline and missed the chance by about 15 minutes. Ah well, probably for the best. Hint: Restaurants are never really good those last few minutes, as the cooks and wait staff are ticking away the time until they can start cleaning and get out of the place. "A la chingada," as my Latin American co-workers used to say.
Mrs. Underhill called and got us 8 PM reservations at Prune. What a wife!
The last thing I really wanted to do while I was in New York was to go to LeNell's in the Red Hook neighborhood of Brooklyn. As a spirits geek, one of my favorite things are Amaros, and LeNell's has one of the best selections of these bitter elixirs in the world.
I'd heard that the commute to Red Hook was a little hairy. An hour or so. As someone who spends at least an hour and a half on 3 forms of public transportation every week day, this really didn't seem so bad. So I looked up the directions. Subway to Brooklyn, Bus to LeNell's. It was practically door to door service, from our hotel at West Broadway and Chambers in Tribeca to LeNell's. Piece of cake!
It all went really well, I got to Brooklyn no sweat. Then I started looking around for a bus. It had said I should catch the bus at a certain intersection, but I didn't see the line number. I did however, see it across the street. So I walked over there and jumped on the B-61 to Long Island City. New Yorkers will realize that I was going the wrong way, and should have in fact been looking for the B-61 to Red Hook. I did not really realize this, and work up the courage to ask to get off, until I was in what appeared to me to be a bit of a dodgy neighborhood. So I rode it out. I am embarrassed to admit I rode it out all the way to Bed-Stuy. I guess, I was wondering just how far the bus went, was it a local like one of the buses I take, the SF MUNI 67, which runs in a small loop, or a long route like the SF MUNI 23. Sneaking a couple looks at the map at the front of the bus, it appeared it would be a very long way to the end of the route. I got off, walked a block, and got on a bus which miraculously appeared, attempted to pay my $2, and was given a free ride. Just sort of a note, unlike the Buses here in San Francisco, for whatever reason, in New York, buses do not take dollar bills.
Finally getting a ride in the correct direction, I rode the bus out to nearly the end of the line in Red Hook.
Finally, an Amaro paradise! Amaro Cora!
An Americano I've never seen before!
And a Barolo Chinato (they had 4, Count them, 4 Barolo Chinatos!)
Anyway, as a sort of bonus public transportation round, one of the inbound buses seemed to be missing from the route, and I spent about 45 minutes waiting for the next B-61 to finally show up going back to the station! Standing room only! Packed in like sardines! Goodness, I felt like New York Transit Authority had arranged this special to make me feel at home!
Got back to the hotel room, had a lie down, changed and then we headed out to the Pegu Club.
What a beautiful and elegant bar! The design looks classic and modern at the same time. Comfortable enough to wear a dress shirt and jeans, or go in a suit.
In a bit of a coincidence, one of the bartenders who had been working at PDT on Wednesday was behind the bar at Pegu. Artemio was a wonderful bartender and thrilled Mrs. Underhill by suggesting she try a Last Word, only her favorite cocktail in the world, as her second drink. As we were chatting, Artemio mentioned that Audrey Saunders was in the bar, working on her computer. I thought, what the heck, I'll give it a shot. So I went over to her table and introduced myself. I wasn't sure if I'd done the right thing, but she said she would come over and chat for a while after she finished the email she was writing.
Anyway, we had a wonderful time chatting with Audrey. She and Mrs. Underhill especially seemed to hit it off. I got in a few interesting and technical questions about bartending. She was a wonderful and gracious host and introduced us to her head bartender (whose name I'm afraid I have spaced on. Anyone know?) He had amazing technique. It was a pleasure to watch his graceful style behind the bar. I was just amazed at how he seemed to split every ice cube perfectly with minimal effort. Far too soon, it was 7:45 and time to head to Prune for our dinner reservation.
At Prune, perhaps emboldened by our several cocktails at the Pegu Club, I decided we had to have the Marrow Bones. Wow. I dunno, there is just something wrong about smearing the fat laced unctuous marrow on toast points. Yet so right. More wine was drunk, courses were ordered, stuff like that.
Somehow we made it back to our hotel room, where we collapsed, exhausted and satiated, into bed.


text:
Visual Learning: High and Dry
Images stimulate the mind and often elicit strong reactions and questions. They also can deliver powerful messages that provide opportunities for contemplation and action.
Most often, newspaper and magazine readers quickly glance at photos and their captions, relying on the written description to interpret an image. With this YES! lesson plan, your students can pause and try to understand an image, its message, and why it's interesting (or not).
Step One: What do you notice (before the facts)?
Ask your students to make sense of the photograph by trusting their instincts of observation and inference. In doing so, the image offers possibilities and interpretations beyond a typical reading where the reader glances at a photograph to reinforce its title or caption. Do not introduce any facts, captions, or other written words. In response to the question, "What do you notice?" you may hear: red-orange strings, worms, steel rod, chili peppers, lime green light, silver and black stripes.
Step Two: What are you wondering?
After you've heard your students' first observations, you may hear a peppering of questions: Are those animal parts? Maybe earthworms or chili peppers? Why are they hanging? Are those bigger things fish skin? This is a good time to reveal the photo's caption and other information about the photo. Watch how the conversation shifts from what they believe to be true to discerning the facts about the photo.
Photo Caption:
Salmon hangs in a smokehouse at a fish camp near Emmonak, a Yup'ik Eskimo town on the Western coast of Alaska where families are struggling to maintain the subsistence lifestyle of their ancestors. Photo by Elias Koch.
Photo Facts:
Emmonak is a Yup'ik Eskimo village located at the mouth of the Yukon River just 10 miles from the Bering Sea, with population of 762. The village economy is based on seasonal fishing and hunting of salmon, moose, beluga whale, seal and waterfowl. Most of the community travels to fish camps during the summer months to catch, cut, dry, and smoke salmon for the winter.
Kwik'pak Fisheries employs about 100 youth each summer ages 14-17 through their Youth Employment Project. Youth work in a variety of positions, from the office to the packing rooms. The mission of this program is to give youth a basic skills foundation and help them save money for college.
Yup'ik processing and preservation methods including dehydration, smoking, storage in oil or cold water, fermentation, and freezing. Some foods are eaten raw. Salmon, herring, smelt, halibut, flounder, tomcod, pike, and capelin are usually air-dried or smoked. Storing preserved food is considered "putting money in the bank."
According to a recent study that examined eating habits and health in the Yukon Kuskokwim Delta Region, a diet of Alaska salmon rich in Omega-3 fatty acids can protect even obese individuals from diabetes and heart disease.
Preservation by dehydration is a race between bacterial growth and water removal. Dehydration removes the water needed by microorganisms to thrive on decomposing tissue. Spreading blood on the meat is one method used to seal the surface and prevent spoilage until the fish begins to dry.
Additional Resources:
VIEW :: Photo Essay and Audio Descriptions of Emmonak
READ :: "Land of the Midnight Sun" Essay about Emmonak
EXPLORE :: Monterey Bay Aquarium Seafood Watch
Step Three: What next?
- In Yup'ik culture, sometimes three and four generations will fish together and preserve their catch in traditional ways such as air drying and smoking their salmon strips. What are some traditional activities that you do with parents, grandparents, and even great-grandparents?
- A diet comprised primarily of fish has provided many health benefits for the Yup'ik. How much fish do you include in your diet? Does your diet put you at risk for diabetes and obesity? If so, what steps can you take to be healthier?
- Emmonak elders are concerned for the youth who have become disconnected from their traditional culture. Reality TV and iPods have replaced Yup'ik song and storytelling. Why do you think traditional culture is so important to these elders? Why do you think it is–or is not–so important to youth?
- Kwik'Pak is the largest youth employer in Alaska, with a number of programs intended to build the skills and confidence of young people in the community. As a young person, what are the benefits of having a job?
- Emmonak is geographically isolated; it is accessible only by air or water. It can be overwhelming for youth to leave the village—many return because they cannot adjust to the stark differences of the "outside." Can you relate to this? How do you feel about eventually leaving your city or town?


text:
The woman photographed clowning around near the Tomb of the Unknowns, and her co-worker who took the picture, have been fired, their employer announced Tuesday evening.
Outrage ensued after Lindsey Stone's co-worker snapped a picture of Stone raising her middle finger and apparently shouting near an Arlington National Cemetery sign that asked for "Silence and Respect."
(For the original story, go to NBCWashington.com).
The two took the photo during a paid trip from LIFE, a non-profit organization that provides housing for people with disabilities in the Cape Cod area.
"We wish to announce that the two employees recently involved in the Arlington Cemetery incident are no longer employees of LIFE," a statement posted to LIFE's Facebook page said. "Again, we deeply regret any disrespect to members of the military and their families. The incident and publicity has been very upsetting to the learning disabled population we serve."
Stone's picture received attention after she posted it on Facebook, reports NBC News Washington's Erika Gonzalez. More than 12,000 people supported a "Fire Lindsey Stone" Facebook page before it was removed from the social network.
Earlier: Arlington Cemetery pic sparks outrage, calls for woman's firing
Stone posted an apology to her Facebook page before she lost her job.
"OBVIOUSLY we meant NO disrespect to people that serve or have served our country," she wrote, according to Gawker. "This is just us, being the d---- that we are, challenging authority in general."
The Old Guard, the U.S. Army Infantry regiment that guards the Tomb of the Unknowns told NBC Washington's Gonzales that Stone is entitled to her freedom of speech. It had no further comment about the picture.
View more videos at: http://nbcwashington.com.


text:
Your browser does not support iframes.
Seven was the magic number for Devin Lowery.
The Buford Middle School student wore No. 7 in this year's district spelling bee and captured the championship in the seventh round.
But Lowery believes his win is due to experience more than luck.
Lowery, an eighth-grader, was one of 15 students who participated in the annual Lancaster County School District spelling bee, held Feb. 9 at Bundy Auditorium inside the Bradley Arts and Sciences Building at the University of South Carolina at Lancaster.
How similar are the fingers of people who are related? Are the fingerprints of identical twins exactly the same?
Lisa Krause's curiosity on the subject motivated her to undertake a project in hopes of discovering the answers. And now, she's been honored in a big way for her efforts.
Krause, a fifth-grader at Indian Land Elementary, was among the students who placed first in this year's Lancaster County School District science fair.
In April 1966, 30-year U.S. Air Force fighter pilot and test pilot Charlie Duke was in the right place at the right time when NASA was selecting 19 new astronauts.
A little more than six years later – on April 21, 1972 – Duke became the 10th and youngest man to step foot on the moon as a crew member for Apollo 16. Gravity never held him down. Just like the Mercury astronauts, Duke had the "right stuff."
A literacy expert from Florida recently gave local leaders insight on how to improve literacy in Lancaster County.
Darlene Kostrub, executive director of the Palm Beach County Literacy Coalition in southern Florida, was the guest presenter at Building a Successful Cooperative workshop on Jan. 15.
The event, which featured a breakfast and a workshop, was held at the Carole Ray Dowling Center at the University of South Carolina at Lancaster.
The Lancaster Area Literacy Cooperative (LALC) hosted the event.
The suspense came to an all-time high for a group of students at Clinton Elementary School just days after returning to school after the winter break.
Several fourth-graders in Kristal Salyer's class had met and exceeded their reading challenge – each reading more than 6,700 minutes worth of books.
For their effort, Salyer would reward them in a big way.
But just how?
It would be a surprise, and they'd have to wait until Jan. 7 to get it.
Chris Jacobs didn't foresee the day when he'd be looking for a job at this stage of his life.
The Lancaster native had worked in circulation at The State newspaper in Columbia for 13 years before being laid off in March because of company downsizing.
Jacobs still hasn't found another job and is now looking for assistance to improve his chances of getting hired.
He said Erwin Elementary School is lending a helping hand.
Taylor Burr learned a great deal about the Declaration of Independence through a recent interactive project.
Over the past several weeks, he and all the other fourth-graders at Erwin Elementary School worked on group assignments called "Bringing History to Life With Claymation."
The students studied the key people and events surrounding the 18th century document in which the United States declared independence from Great Britain.
The assignment, though, stretched far beyond reading the text book.
Anik Vartanian's parents have always chosen herbal treatment over medicine. Because of that preference, she's long wanted to learn more about the effects of pills and other medications.
Vartanian, a sophomore at the University of South at Lancaster, wants to become a pharmacist. She believes lectures like the one she attended Thursday are helping prepare her for that career.
Ron Honeycutt, a pharmacist with Barnett-Honeycutt Pharmacy in Lancaster, was the latest guest to speak as part of a lecture series sponsored by USCL's Chemistry Club.
INDIAN LAND – The ins and outs of propeller design are a lot easier to understand now for a group of Indian Land High School students.
Two groups of students in John Marlette's engineering class competed last month in a design and build competition in Rock Hill. The contest required groups from area high schools to design a miniature rotor/propeller using CAD (computer-aided design) software.
KERSHAW – Andrew Jackson High School will be well represented at a major regional choral event coming up in a few months.
Six students from AJHS have been chosen to participate in the 2010 American Choral Directors Association (ACDA) Southern Division Conference.
The event, held every two years, features a men's honor choir and a women's honor choir that will both perform during the weekend.
This year's conference is from March 10-13 in Memphis, Tenn.
Copyright © 2019
The Lancaster News is your source for local news, sports, events, and information in Lancaster County and Lancaster, South Carolina, and the surrounding area..


text:
White Paper #48Transfer switches and dual-path power distribution to IT equipment are used to enhance the availability of computing systems. Statistical availability analysis techniques suggest large differences in availability are expected between the various methods commonly employed. This paper examines various electrical architectures for redundancy that are implemented in today's mission-critical environments. The availability analyses of these various scenarios are then performed and the results are presented. The analysis identifies which approach provides the best overall performance, and how alternatives compare in performance and value. Read White Paper #48
Comparing Availability of Various Rack Power Redundancy Configurations
White Paper #27Decisions made regarding the distribution of 208V or 120V power to IT equipment can significantly impact overall efficiency of the data center. This paper explores the voltage connection options of 208 volt (V) and 120V for servers in North America and considers the efficiency implications of these choices. This same discussion applies to the use of 200V vs. 100V in Japan. Read White Paper #27
Efficiency and Other Benefits of 208 Volt Over 120 Volt Input for IT Equipment
White Paper #43The power requirement required by data centers and network rooms varies on a minute by minute basis depending on the computational load. This magnitude of this variation has grown and continues to grow dramatically with the deployment of power management technologies in servers and communication equipment. This variation gives rise to new problems relating to availability and management. Read White Paper #43
Dynamic Power Variations in Data Centers and Network Rooms
White Paper #29Alternatives for providing electrical power to high density racks in Data Centers and Network Rooms are explained and compared. Issues addressed include quantity of feeds, single-phase vs. three-phase, number and location of circuit breakers, overload, selection of plug types, selection of voltage, redundancy, and loss of redundancy. The need for the rack power system to adapt to changing requirements is identified and quantified. Guidelines are defined for rack power systems that can reliably deliver power to high density loads while adapting to changing needs. Read White Paper #29
Rack Powering Options for High Density
White Paper #129Significant improvements in efficiency, power density, power monitoring, and reconfigurability have been achieved in data center power distribution, increasing the options available for data centers. This paper compares five power distribution approaches including panelboard distribution, field-wired PDU distribution, factory-configured PDU distribution, floor-mount modular power distribution, and modular busway, and describes their advantages and disadvantages. Guidance is provided on selecting the best approach for specific applications and constraints. Read White Paper #129
Comparing Data Center Power Distribution Architectures
Rack PDU Selector
Use the Rack PDU Selector to help you choose from our diverse rack power distribution offerings, designed to meet the needs of entry-level networking equipment and high-density server and blade environments. Rack PDU Selector
APC Rack Power Distribution Units (PDU) Quick Reference Guide
Quick Reference Guide of APC Rack PDUs including Basic, Metered, Switched, and Metered By Outlet. APC Rack Power Distribution Units (PDU) Quick Reference Guide
Summary of the new features of the Rack PDU firmware v6.0.9 AP8000 Series Rack PDU Firmware 6.0.9
Solutions Guide for IBM® Data Center. Solutions Guide for IBM® Data Center Architecture
Solutions Guide for HP® Data Center. Solutions Guide for HP® Data Center Architecture
Solutions Guide for Dell™ Data Center. Solutions Guide for Dell™ Data Center Architecture
Schneider Electric Customers SpeakHear what customers REALLY think about us.
Schneider Electric Fleet Management Service
An introduction to our newest Fleet Management service offer and how it can help you better manage your critical UPS infrastructure!
Netshelter SV: A Smart Choice in Data Center Racks
What is a server room without IT racks? Our Netshelter SV offer racks that are taller, wider, and deeper to store any type of standard IT equipment.
Small and Powerful: IT Solutions for Server Rooms and Network Closets
Bigger isn't always better. With everything from racks, to PDUs to management software, we can turn any space into an IT environment.


text:
I ran into my favorite Monsanto representative at a recent meeting and we were discussing a recent article I wrote on glyphosate resistance.
I mentioned that some felt it was Monsanto's fault that the resistance had developed. He reminded me in a friendly way about all the articles I wrote years ago about "a pint of Roundup every Monday morning until there was nothing left but soybeans."
I sure have not forgotten them, and I guess we could argue from now to eternity whether reduced rates contribute to resistance and if so to what extent. At this point it does not really matter.
The primary factor that has caused the development of glyphosate resistance is simply the overuse of a technology that is so good that growers had little choice.
I wrote the entire winter of 2005 about glyphosate resistance at a time it was getting little attention among weed scientists. In those articles I stressed the fact that resistance to glyphosate would be different than resistance to any herbicide we had encountered previously.
Roundup Ready changed the entire farming system for most farmers. It brought an increased efficiency with it that allowed a lot of farmers to stay in business through some lean times.
The scary part of glyphosate resistance is potentially losing that efficiency and having to go back and fight weeds we had no good answers for before the introduction of Roundup Ready. Roundup Ready allowed a lot of the conservation tillage systems for the first time and drilled soybean systems that farmers had been trying to work for years.
It also provided control of weeds such as sicklepod and Palmer pigweed that we had no good answers for. A single herbicide would control almost every weed species in a field — increasing efficiency. We cannot afford to lose all of the efficiency that the Roundup Ready technology has provided.
Some weeds that develop resistance to glyphosate will be controlled by changing herbcides or adding herbicides to the system. The scary one is Palmer pigweed. We do not have it yet to the extent they do in some of the southeastern states. In some situations there, the Roundup Ready technology has been rendered useless.
I am not sure we can keep it from happening in the Mid South, but we have to try and only farmers can do it.
The mono-crop systems such as continuous cotton and continuous soybeans or wheat/soybeans are the most vulnerable. With good commodity prices on most crops now, there are better rotation opportunities, though I realize input costs vary by crop and things are never as simple on the farm as I make them sound.
If, however, you have Palmer pigweed in your weed mix and you have been in a mono-crop system, your best opportunity in the fight is to get corn or grain sorghum in those fields. Several herbicides in those crops allow you to achieve 100 percent pigweed control if you get after them hard enough.
As I stated in a recent article, some new technology is coming, but you cannot sit back and wait with Palmer pigweed. The LibertyLink technology gives us the best chance to maintain the high efficiency systems the quickest.
LibertyLink/Roundup Ready stacked trait crops being developed will allow you to rotate herbicides. Liberty is not quite as good as glyphosate on a susceptible pigweed but is a lot better on a resistant one! The LibertyLink technology is being ramped up, but it is still going to take time.
Other stacked traits are being investigated with both glyphosate and Liberty. Some of them sound really good if they work out, but you need to take action now or Palmer pigweed may put you out of business before they get here. Some of the stacked traits being worked on at this point sound a lot better for my drift investigation business than for the farmer.
Time will tell and that will be stuff for a future article.


text:
Eric Hosmer drove in the go-ahead run in the ninth inning to complete the Kansas City Royals' 8-7 comeback victory over the St. Louis Cardinals at Busch Stadium.
The Royals faced a 4-0 deficit early on and trailed 7-6 before Alcides Escobar tied things with a RBI single in the eighth.
Hosmer followed Omar Infante's one-out double in the ninth with a single to left field off Trevor Rosenthal (0-3), and Infante beat Matt Holliday's off- target throw to the plate.
Wade Davis (5-1) recorded his 13th straight scoreless appearance in the eighth to pick up the victory, Kansas City's fourth in its last six games, and Greg Holland posted his 16th save with a flawless ninth.
Alex Gordon belted a three-run homer to highlight a 13-hit attack for the Royals, who finished an efficient 6-for-11 with runners in scoring position.
St. Louis went 2-7 on a disappointing homestand despite receiving a grand slam by Kolten Wong and a solo homer from Peter Bourjos on Tuesday.


text:
Template:Cub Scout Monthly Themes/2011/February
From MeritBadgeDotOrg
February 2011 BSA Theme - Turn Back The Clock
""Turn Back the Clock" and see what the world was like in the past. Learn about an era of your choice with songs, games, and transportation from the time that you choose. Whether it is the Space Age, the Wild West, rock-n-roll, or the Ice Age, each time period had something special about it. Construct a pack "time machine" to help introduce the den's era skits or demonstrations at the blue and gold banquet. Whatever you choose, find the "best" in your time period and share it with others. The boys can work on the Heritages belt loop and pin this month." - Program Helps
Character Connection:
Monthly Program Resources:
Belt Loops and Pins:
Webelos Activity Badges:
Theme-related activities:


text:
MakerPlace offers basic to advanced courses to start you off or to hone an existing skill. Learn something new, collaborate with experts, complete a prototype, start a business or fashion unique gifts.
Click here to view this month's class calendar
Shop Orientation and Safety (SOS) - Shop Orientation is a mandatory course for all new members who are interested in utilizing shop tools without instructor supervision. Shop Orientation must be completed before accessing any tools in MakerPlace. The cost of the course is $40.00 and is payable upon check-in, however, this fee is waived for members who sign up for a month or more prior to taking Shop Orientation.
Shop orientation provides every member with basic knowledge of the layout and tools currently available at MakerPlace San Diego. Successful completion of this course allows members to utilize all tools other than those requiring specific Basic Operation and Safety (BOS) instruction. SOS covers the wood, metal, electronics and specialty shops in terms of location, purpose, basic operation and safety tips for each major tool. When possible, operating demonstrations will be provided.
Machine Oriented Basic Operation and Safety (BOS)- These courses are intended to provide Basic Operation and Safety procedures for several of the more complex tools including computer controlled tools. These courses are mandatory prior to members using the associated tool. In cases where a student already has substantial knowledge of a tool, with the instructor's permission, the student may "test out" of the class by demonstrating their safety and proficiency on the machine. Test outs are generally half the cost of the class registration. BOS courses are generally prerequisites for Advanced Operation and Safety (AOS) courses.
Software Classes- These courses are intended to provide members with either an introduction to basic design software required to run the machines or to expand on already existing knowledge to make better use of the machines.
Project Based Classes and Workshops- These courses will cover a particular topic in depth and usually will be project based. It will be here that you will find Arduino courses and many other fun project based courses that will be offered on a variety of different crafts and practices.


text:
CREDIT: El Diario La Prensa NY/Andrés Duque
The headline of New York City's largest Spanish-language newspaper El Diario La Prensa NY says it all: Thirty-two-year-old Carlos Menchaca wins a historic Democratic primary to represent Brooklyn's 38th District in the New York City Council. Menchaca is poised to become the first Mexican-American to be elected to the Council, as well as the first openly LGBT person to be elected in Brooklyn.
Menchaca won nearly 58 percent of the vote in the district that includes Sunset Park, Windsor Terrace, and Red Hook. Menchaca easily won over incumbent Councilwman Sara González, who has held the office for eleven years. Menchaca decided to challenge González in the wake of the devastation caused by Hurricane Sandy in October 2012, reported Paul Schindler at Gay City News.
Sandy hit Red Hook with devastating impact. Living in nearby Park Slope at the time, Menchaca recalled jumping on his bike after the storm cleared and heading over to the area, where blocks and blocks were submerged under water, homes and businesses were shuttered and evacuated, and large housing projects, where residents depend on elevators, were without power.
"Government was nowhere to be seen," Menchaca recalled. Notably absent, he has since argued, was González, a point he said residents made over and over to him in the days he spent volunteering in the recovery effort. When, early this year, he decided to challenge her, the theme of a councilmember missing in action and the contrasting image of himself as "a candidate who is visible and active" became central to his campaign.
Menchaca was raised in El Paso, Texas. For several years he was the LGBT and HIV/AIDS community liaison for Speaker Christine Quinn's office. Before that he served five years in Brooklyn Borough President Marty Markowitz's office.
The general election is in November. The district overwhelmingly skews Democratic and Menchaca is heavily favored to win.
Three gay newcomers won their primaries yesterday for New York City Council: Menchaca, 25-year-old political wunderkind Ritchie Torres in the Bronx and R20 friend Corey Johnson in Manhattan. Three incumbents won their respective primaries: Queens Councilmen Danny Dromm and Jimmy Van Bramer, as well as Councilwoman Rosie Mendez of Manhattan. That would be six gay or lesbian councilmembers out of 51 seats. Menchaca and Johnson—as well as Mel Wymore, who is transgender and did not win his primary to represent an Upper West Side district—were endorsed by the New York Times on August 31.
This is brilliant. A huge round of congratulations to all of the candidates.


text:
Whitmore | Matte Tortoise
Col. 30
Matte Tortoise
53 - 20 - 145
Product Details
Article One glasses are handmade from start to finish in Northern Italy — crafted in small, storied, family-owned factories. Designed in Michigan, each frame starts with inspiration from classic vintage shapes, modernized with clean, contemporary lines. Visit the factories responsible for these frames in the "Factory Details" links below.
Factory Details
Handcrafted Acetate Frame: Morgana Optical | Segusino, Italy
Finishing: Lupa Finitura Occhiali | Sedico, Italy
Watch the Film: How They're Made
Available Colors
Black Fade
Custom Black
Matte Horn
Matte Tortoise


text:
Major Section: NOTE-2-8
We have fixed a soundness bug in the tautology checker's handling of
expressions of the form
(not (not x)). This bug has gone back at least
as far as Version_2.4. All of the regression tests passed after the fix,
without modification. So we hope that this bug has rarely bitten anyone.
Thanks to Qiang Zhang for sending us a proof of
nil that led us to this
(thm (equal (and p q) (not (or (not p) (not q))))). And thanks to
Matyas Sustik for an observation that led to an improvement of our initial
The preceding version (2.7) introduced a soundness bug in handling of ACL2
arrays, in which functions
compress1 and
compress2 were
returning the input alist rather than compressing it appropriately. Here is
a proof of
nil that no longer succeeds, based on a bug report from Warren
Hunt, who we thank for bringing this problem to our atttention.
(defthm bad (not (let* ((ar2 (aset1 'my-array ar1 3 10)) (ar3 (compress1 'my-array ar2)) (ar4 (reverse (reverse ar2))) (ar5 (compress1 'my-array ar4))) (and (equal ar2 ar4) (not (equal ar3 ar5))))) :rule-classes nil) (defthm contradiction nil :rule-classes nil :hints (("Goal" :use ((:instance bad (ar1 (compress1 'my-array '((3 . 5) (:HEADER :DIMENSIONS (5) :MAXIMUM-LENGTH 6 :DEFAULT 0 :NAME MY-ARRAY)))))))))On a related note, a new function
flush-compress can be used for subtle
control of under-the-hood raw Lisp support for fast array access, although we
expect it to be very rare that users need this extra support.
Previous versions have had two soundness bugs that can occur when using the proof-checker:
o The first bug pertains to the
expandcommand, and hence
x-dumbcommands (which call
expand); see proof-checker-commands. The bug can occur when applying the above commands when the current term is a call of a constrained function symbol for which there is a
definitionrule. Now, the
expandcommand will succeed only when the function symbol of the current term is a defined function symbol, in which case the original definition is always used, in analogy to how the
:expandhint works in the prover; see hints. Thanks to John Erickson for sending an example that led us to wonder if there might be a soundness problem.
o The second bug pertains to the
scommand (and commands that call it, e.g.,
s-prop). The proof-checker forms a context out of the top-level hypotheses and the
if-terms governing the current term. If there is a contradiction in the top-level hypotheses, the proof-checker can appropriately consider the goal to be proved, and it does so. But formerly, the criterion was weaker: the contradiction could involve the combination of the top-level hypotheses and
if-term governors. Thanks to Rob Sumners for noticing this bug.
A soundness bug could be provoked in some Lisps by applying
defpkg to
the empty string. This has been disallowed.
We fixed a soundness bug related to packages caused by a failure to track
axioms introduced
locally on behalf of
defpkg events.
See hidden-death-package.
We fixed a soundness bug caused by a failure to check that a
type-prescription rule can be processed when proofs are skipped or
under a
defequiv event. The former case can occur when processing an
encapsulate or
include-book event, where the rule could depend
on a
compound-recognizer rule preceding the proposed
type-prescription rule under the same
encapsulate or
include-book event. See local-incompatibility for such an example.
We fixed a potential soundness bug relating to reclassifying a
:program mode function to
:logic mode (as done by
verify-termination or the submission of an appropriate ``redundant''
definition) without adequate checking that
stobj usage was identical.
Allegedly redundant definitions must now preserve the
stobjs declaration
as well as the formals, body, guard and type declarations. We thank
Vernon Austel for pointing out this problem.
It was possible to get a raw Lisp error by introducing a
locally defined
function with guard verification inhibited and then subsequently
introducing the same definition non-locally without that inhibition. The
following example will clarify.
(encapsulate nil (local (defun foo (x) (declare (xargs :guard t :verify-guards nil)) (car x))) (defun foo (x) (declare (xargs :guard t)) (car x))) ; The following causes a raw lisp error because ACL2 runs the Common Lisp ; definition of foo, because it thinks that foo's guard of t was verified. (thm (equal (foo 3) xxx))Thanks to Jared Davis for bringing this problem to our attention. We are particularly grateful to Jared because his example exploited this bug by applying it to a function defined using
mbe (introduced in this same
version, 2.8), in order to prove
The sort of error message shown below can legitimately occur when certifying
a book in a certification world where there was an
include-book command
with a relative pathname (see pathname). However, it was occurring more
often than necessary. This has been fixed.
ACL2 Error in (CERTIFY-BOOK "foo" ...): The certification world has include-book commands for book "bar" that correspond to different full pathnames, namely "/u/dir1/bar" and "/u/dir2/bar". ACL2 cannot currently certify a book in such a world. To work around this problem, use an absolute pathname for at least one of these books (see :DOC pathname).
Bugs were fixed in
with-output, in particular related to the use of
:all. Also, documentation for
with-output has been improved.
Thanks to Vernon Austel for pointing out the bugs.
Fixed a lisp error occurring when
bash proof-checker command was given
illegal syntax, e.g.,
(bash (("Goal" :in-theory (enable binary-append))))
instead of
(bash ("Goal" :in-theory (enable binary-append))).
We added an appropriate guard to
find-rules-of-rune, which will avoid
hard lisp errors when this function is called on non-rune arguments.
Thanks to Eric Smith for pointing out this issue.
It was possible for a redundant
include-book form
(see redundant-events) to leave a command in the ACL2 logical
world and to cause (re-)loading of a compiled file. These behaviors
have been fixed. In particular, if
book1 has already been included in
the current ACL2 world and
(include-book "book1") occurs in
book2, then the compiled file for
book1 will not be loaded again when
book2 is included. Thanks to Dave Greve for bringing our attention to
these problems, and to Eric Smith for bringing up a special case earlier
(where "//" occurred in the book name).
The summary printed at the end of a proof had not listed
rules used in a proof. This has been corrected.
The use of proof trees in emacs redefined `
control-c control-c' in such a
way that in telnet mode, the telnet session was interrupted and perhaps could
not be continued. This has been fixed.
Source function
load-theory-into-enabled-structure contained a
guard-violating call of
compress1. Thanks to Vernon Austel for
bringing this problem to our attention; even though this bug was benign
(as he pointed out), we like keeping the source code free of guard
A number of proof-checker atomic macros caused a hard error when all goals have already been proved. This has been fixed. Thanks to John Erickson for sending an example of the issue.
A bug has been fixed in
add-match-free-override. Formerly, a
table guard violation occurred when calling
add-match-free-override more than once with first argument other than
Defininitions of functions involving large constants could cause stack
overflows. This has been fixed, at least in some of the most egregious
cases (by making a source function
fn-count-evg tail-recursive). Thanks
to Jared Davis for bringing this problem to our attention.
Evaluation of computed hints could cause stack overflows. This has been fixed. Thanks to Eric Smith for bringing this problem to our attention.
Evaluation of
monitor on
definition runes is now
fast even if the specified function is part of a very large
mutual-recursion nest. Thanks to Eric Smith for sending an example
showing that this wasn't always the case.
Fixed a bug in
books/bdd/cbf.lisp that was causing certification of
distributed bdd books to fail when the connected book directory (see cbd)
differs from the current working directory. Thanks to Scott Guthery for
bringing this bug to our attention and supplying a helpful log.
Duplicate rule names have been eliminated from warnings generated upon the
use of enabled
rewrite or
definition rules. Thanks to
Eric Smith for pointing out this problem.
The trace utilities (see trace), as modified for GCL and Allegro Common
Lisp, had failed to show more than the first return value for so-called
*1*'' functions (essentially, executable-counterpart functions)
when they were returning multiple values (via mv). This has been fixed.
Thanks to Erik Reeber for pointing out this problem.
Also, it is now possible to refer to
arglist in trace$ forms when
ACL2 is built on GCL, not just when ACL2 is built on Allegro Common Lisp.
Uses of
hide introduced during proofs by failed attempts to evaluate
constrained functions (see hide) are now tracked, so that the rune
(:DEFINITION HIDE) will show up in the summary.
The following bug, introduced back in Version 2.7, has been fixed. The bug
applied only to GCL and may well not have affected anyone. But the function
proclamation computed by ACL2 for compilation usually had an output type of
nil where it should have been
The macro
gc$ had a bug exhibited when it was supplied one or more
arguments. This has been fixed.
The macro
defabbrev broke when supplied a string and no documentation,
(defabbrev foo () ""). Thanks to Rob Sumners for noticing this
problem and providing a fix, which we have incorporated.
For ACL2 executables built on Allegro Common Lisp, a Lisp error occurred when
trace$ was called on other than a defined function symbol. Now ACL2
prints a more useful error message.
The proof-checker no longer accepts a
) command when
some function symbol in the original goal no longer exists in the current
ACL2 logical world. Thanks to John Erickson for bringing this issue
to our attention.
The function
ld-redefinition-action may now be called by the user.
Thanks to Vernon Austel for suggesting that we remove this symbol from
the list of so-called untouchables.
The handling of free variables in hypotheses (see free-variables) of rewrite
and linear rules had a bug that prevented some proofs from going through.
Here is a simple example, essentially provided by Diana Moisuc, who we thank
for bringing this issue to our attention. The proof of the
thm below
had failed, but now will succeed. This particular bug prevented, for
example, the
:all behavior from occurring when the first hypothesis of
the rule does not have free variables. NOTE: Now that this bug has been
fixed, you may find some proofs running much more slowly than before. You
can use
accumulated-persistence to locate rules that are slowing down
your proofs because of excessive attention to free variables, and then
add-match-free-override for those rules (or, just change the
rules themselves to specify
:once in the
(defstub foo1 (* ) => *) (skip-proofs (defthm aux-foo1 (implies (and (integerp a) (integerp i) (equal (foo1 0) (list 0 i))) (equal (foo1 a) (list 0 (+ a i)))) :rule-classes ((:rewrite :match-free :all)))) (thm (implies (and (integerp i) (integerp a) (equal (foo1 0) (list 0 i))) (equal (foo1 a) (list 0 (+ a i)))))
Formerly, creation of large arrays could cause an error in the underlying
Common Lisp implementation without helpful messages for the user. Now, we
check Common Lisp restrictions on arrays and print a helpful error message if
they are violated, namely: each dimension must be less than the value of
Common Lisp constant
array-dimension-limit, and the product of the
dimensions must be less than the value of Common Lisp constant
array-total-size-limit. Thanks to Warren Hunt for bringing this issue to
our attention. Note: this change also removes a former restriction of
stobj array fields to size smaller than 2^28-1, provided the underlying
Lisp can support larger arrays.
The default-hints in the current logical world were ignored by
verify-guards. This has been fixed. Thanks to Jared Davis for
pointing out this bug and sending a helpful example.
brr mechanism has been cleaned up in order to avoid hard errors and
infinite loops that can arrive when typing interrupts (
control-c) or
end-of-files (
control-d) inside the
brr loop. Thanks to Dave
Greve, Olga Matlin, Eric Smith, and Serita Van Groningen for bringing this
issue to our attention. As a byproduct, if you type
control-d (or if
inside emacs,
control-c control-d), you may now quit entirely out of ACL2
and lisp (see good-bye) in some cases where you formerly would not have, for
example when sitting at the ACL2 prompt (which formerly, in Allegro Common
Lisp for example, would merely take you into raw Lisp rather than quitting
We have eliminated structural flaws in the HTML documentation pages that could make them unreadable in some browsers. Thanks to Bill Young for bringing this issue to our attention and to Joe Hendrix for diagnosing the problem.
The proof-checker could run very slowly after many instructions in a given session. This has been fixed; thanks to Art Flatau for bringing this problem to our attention. (Implementation detail: We now keep tag-trees duplicate-free when we accumulate them into state. This change could have minor speed advantages for some top-level proofs too, not just in the proof-checker.)
The printing of accesses to stobjs using nth or update-nth has been done
using symbolic constants since ACL2 Version_2.6. However, there was a bug
that prevented this feature from working for
update-nth except at a
top-level call. This has been fixed. Thanks to Julien Schmaltz for bringing
this problem to our attention. For example, consider these events:
(defstobj st field0 field1) (thm (equal (nth 1 (update-nth 0 17 st)) (car (cons xxx yyy))) :hints (("Goal" :in-theory (disable nth update-nth))))Before the fix, the proof attempt of the above silly thm printed the following.
(NTH 1 (UPDATE-NTH *FIELD0* 17 ST))After the fix, we instead see the following.
It is now possible to certify and subsequently include books that
require guard-checking to be off. For example, the book can contain the form
(defconst *silly* (car 3)) even though
3 fails to satisfy the guard
car. Formerly, it was necessary to execute
nil before a
certify-book or
include-book in order for such a form to be handled without error.
Thanks to Hanbing Liu for bringing this problem to our attention.
Fixed a proof-checker bug that could cause probably cause strange error, ``Attempt to access the plist field''. Thanks to Bill Young for bringing this problem to our attention.
Fixed a proof-checker bug that was failing to record applications of
rewrite rules using the proof-checker's
:rewrite command, causing the
proof summary to omit mention of that rule (for example, when using the
:exit command to generate an
:instructions hint).
Thanks to Bill Young for pointing out this bug.
Modernized some of the proof-tree emacs and infix printing stuff, thanks to suggestions made by Camm Maguire.