text:
Next Episode of Deer and Deer Hunting TV is
"Deer & Deer Hunting TV" begins airing the fourth week of July on NBC Sports. This is our 7th season, and it promises to be our best to date. Show hosts Dan Schmidt, Gordy Krahn, Steve Bartyulla and Mark Kayser will bring incredible depth, insight and experience from their decades of hunting to viewers, while also welcoming special guests such as Charles Alsheimer and others. Show topics include creating a deer utopia, patterning without getting patterned, becoming the invisible hunter, how to hunt smarter, hunting from ground blinds, the facts on scrapes, the mentality of mature bucks, turning hunting pressure into a positive and attainable deer management. We'll also have our exclusive rut predictions and guides for predicting peak rutting times in the North and South. The 11th season will cover topics ranging from basic hunting strategy and biology of deer to today's technology, ammunition, firearms, bows, crossbows and gear. It's shaping up to be a great season loaded with super information about our country's favorite game animal.Deer & Deer Hunting TV is the thinking man's guide to whitetail hunting, teaching, entertaining and informing hunters on proven strategies, hot trends and new equipment. Deer & Deer Hunting TV airs in prime time on NBC Sports.
Looks like something went completely wrong!
But don't worry - it can happen to the best of us,
- and it just happened to you.
Please try again later or contact us.


text:
Finca Bellavista: A Community of Amazing Treetop Homes in Costa Rica
It's one thing to build a treehouse for your kids, or to escape to a treehouse on an eco-vacation. It's quite another to live in one full-time, in a residential community full of other treehouses, in the middle of a rainforest in Costa Rica!
Finca Bellavista, named for the river that flows through the region, sits in the trees above the south Pacific coastal region of Costa Rica. This is where "getting away from it all" is really just that. The nearest town is 1.5 miles away and can hardly be called a town — there's a school, a church, a pulperia, a bus stop, a handful of houses, and a soccer field.
The fledgling neighborhood, which got "off the ground" in 2006, features a community complex with a dining hall, open-air lounge, rancho, bath house, campfire ring, and wedding garden. Half of the community's SkyTrail transportation network (which seems to include a series of bridges and ziplines) is up and running, and treehouses in various stages of construction are being built by new owners.
The finca ("property") spans across 600 acres of secondary rainforest and reclaimed pasture, becoming the world's first planned, modern, sustainable treehouse community. Despite development, the owners of Finca Bellavista remain committed to stewardship of the land and the surrounding environment.
According to their website:
Everything we do at Finca Bellavista is done with consciousness, caution and care, guided by our personal beliefs. This is sacred ground.
Want your own piece of this paradise? Check out the purchasing and building guidelines on Finca Bellavista's website. Pura vida!
Via Inhabitat
• A Whimsical Treehouse in Whistler
• Lynne's Recycled Treehouse
• Tereasa & David's Grown-Up Tree House
(Images: Finca Bellavista)

subset: commoncrawl


text:
Hi dear! Hope that you'll like SL Borneo. I had a chance to try it while ago but it didn't suit me. It was too strong, too dense and too much like Indian spice market mixed with a horse stable.
Do enjoy it and a bunch of your minis!
Basenotes Junkie
Basenotes is an online guide to perfume and fragrance, featuring news, a database of fragrances, perfume glossary, fragrance forums, user reviews and more.


text:
Some burning questions:
- Was the Nonlibidoism Society the only rival community, or just the most prominent one?
- What was the nature of the rivalry?
- What's the time line here? When was it formed? When did it switch names? When did it dissolve?
- Is it true that Geraldin had to personally confirm that you were a nonlibidoist to grant membership? What did membership get you?
- In addition to being nonlibidoist, were they also repulsed? Antisexual? To what degree were these official stances?
- Why did it go defunct?
- I've heard that Apositive was founded when antisexuals were flooding AVEN. Was this related, and how?
- What's up with all the Hindu and unicorn imagery on their website? Seriously, it's kind of offputting.


text:
Term for a person so obsessed with country singer Taylor Swift that he/she picks up everything that has to do with her (i.e. CDs, posters, clothing), like a Swiffer Sweeper does dirt.
"Wow, Emily is such a Taylor Swiffer. She just plunked down two hundred for a cardboard cutout of Taylor."
by Kayls Colgate October 30, 2009
buy the domain for your foodie vlog


text:
Today's top Irish entertainment stories:
Woodlawn meets Hollywood as Philip Seymour Hoffman film "God's Pocket" is filmed
John Mulligan's Fireside Pub is a staple of the community on Katonah avenue, Woodlawn. A familiar spot to all of the local residents, the bar has also gained the attention of location scout Michelle Baker, who selected the bar to host a scene for Philip Seymour Hoffman's new production "God's Pocket."..READ MORE
Pierce Brosnan did everything he could to try to save his daughter Charlotte's life
The 'November Man' star's adopted daughter Charlotte, 41, died after a three-year battle with ovarian cancer on June 28, and his good friend Lisa Paulsen says the actor, 60, always made sure she had access to the best care, latest clinical trials and treatments throughout her illness as he hoped he could help her get better…READ MORE
One Direction's Niall Horan and Zoe Whelan split - Pop-star breaks up with Irish model girlfriend
One Direction's Niall Horan is officially single again. The 19-year-old pop star has split with 18-year-old Dublin model Zoe Whelan, his on-off girlfriend since bringing her to his brother's wedding in March…READ MORE
Irish Playboy model Rosanna Davison reveals she and Hefner watched Chaplin films - PHOTOS
Rosanna Davison, daughter of Chris De Burgh and first ever Irish winner in the Miss World pageant, describes her first experience doing a nude cover shoot for the German Playboy magazine...READ MORE
George Clooney has reportedly ended his relationship with Stacy Keibler
The 52-year-old actor is said to have recently called time on his two-year romance with the ex-WWE wrestler, 32. A source told the Sunday People newspaper that the couple, who have not been photographed together in three months, decided to part ways after celebrating America's Independence Day separately on Thursday…READ MORE


text:
|ShowStockPlanet, LLC
Noll Ernst · 816-205-0404
|Williams Show Lambs Share the Success Online Bred Ewe Sale - Night #1
|Date & Time:
|Wednesday, October 24, 2018 HORSE RACE STYLE CLOSING FORMAT FOR THIS SALE! Bidding is open from October 23rd at 8:00 PM EST until October 24th at 8:00 PM EST/7:00 PM CST.
Click Here to Register for a Bidding Number
Click Here to View All Items and Place Bids!
Click Here to go to ShowStockPlanet Home Page
Questions on how to bid please call:
|Catalog - ALL ITEMS (37)
|Registration is open at the link above. You must have a valid credit card to register. Please register in advance to save time and confirm your bid number via e-mail. To Bid click on ALL ITEMS below after the catalog is posted, scroll to the lot you want place a bid and/or max bid on, place a bid, then scroll to the bottom of the page and insert your bidder number and password and follow the screens and finalize your bids.
Maximum Bidding is a feature you may use during the duration of the auction. This feature allows you to place a private maximum bid that only you will know and allow the computer to bid on your behalf when another bidder places a bid on the same lot you are seeking.
Questions about the consignments please contact the consignors.
|All bidding and payments are in US Dollars. Accepted payment forms are: farm, corporate or personal check, cashiers check, money order, Master Card, Visa, or Discover all immediately negotiable. 3% Buyers Premium is in effect for this auction and is WAIVED for Good Check, Money Order, or Wire Transfer. On Line credit card payment and Money Wire transfer from your bank to ours available please call or e-mail Ryan Habeger. All funds are to be made payable to Show Stock Planet LLC send to Show Stock Planet LLC , 2903 Hwy 169, Burt, IA 50522. Full payment must be received in 7 days from the close of bidding. YOUR CREDIT CARD USED TO REGISTER WILL NOT BE AUTOMATICALLY CHARGED. YOU ARE GIVEN THE OPTION TO SEND PAYMENT. Fees are subject to a 10% finance charge after the seventh day. A fee of $50 will be assessed on all late payments or returned checks and the bidder denied access to future auctions.
INVOICING: An invoice with payment instructions will be sent to each buyers registered e-mail address at the close of bidding. If you do not receive an invoice via your e-mail in 24 hours after the close of the auction please contact our office immediately. Failure to complete the payment terms as stated above will result in forfeiture of animals purchased and negative feedback reported to the credit bureau. Be sure you are capable of paying immediately and realize your bids are not conditional upon financing. Show Stock Planet reserves the right to charge the entire purchase price and late fees to the credit card on file if payment is not made in 7 days after the close of bidding. Unless the sale of an item is indicated otherwise, each lot will sell subject to a reserve price established by the seller. When an article is sold with reserve, the auctioneer may bid on the seller's behalf in an amount not to exceed the reserve price.
DELIVERY OF ANIMALS AND FEES: Each buyer is responsible to coordinate delivery and buyer is to cover all cost of delivery. Arrangements need to be made prior to or immediately after purchase. No animals will be delivered until payment has been made.
HEALTH PAPERS: Furnished upon request for each individual lot. Special testing or export health testing will be at the buyer's expense. Please call your state vet office for permits, requirements etc.
GUARANTEE: We are not responsible for injury or accidents. All animals become property of the buyer at the conclusion of the auction. Sellers can not be held responsible for the health or condition of animals after the conclusion of the auction.
Conditions: Any person placing bids on items in this auction agrees to these terms and conditions and understands that, by placing bids, they are entering into a binding contract between themselves and the seller(s) and that they will be held financially responsible for their actions. Show Stock Planet LLC acts only as an agent between buyer and seller and may not be held responsible for any livestock or merchandise. It is to be clearly understood that Show Stock Planet LLC and its representatives act only as a means between buyer and seller, and may not be held liable, financially or otherwise, for any failure on the part of the same to fulfill any obligations set forth in this sale or for the truth of any warranties expressed or implied. This catalog of offering has been prepared by the auctioneer from information provided by the seller(s) and is assumed accurate as presented to us. However, Show Stock Planet LLC will in no way guarantee age, pedigree, or reproductive status of the animals selling. All agreements and adjustments made are between buyer and seller.
Placing a bid is a binding contract between you and the Owner/Seller, and the bid cannot be retracted. Once a Bidder places a bid, and the bid is the high/winning bid, the Bidder will be obligated to buy the lot at the said price indicated. Placing a bid on this online auction site, and winning, then not paying for the lot is illegal in most states, and prosecution can result.
The Owner/Seller of property sold through this online auction site reserves the right to reject any and all bids.
As a Bidder, you are responsible for any bids placed by you or a designated representative under your bidding number and password. The security of your Bidder information is your sole responsibility and the Bidder will be responsible for any and all bids placed under the assigned number. If, at any time, you feel that your Bidder number and password have been compromised, due to lack of security on your part, you must notify ShowStockPlanet immediately.
Bid Retractions:
We are not responsible for injury or accidents. All animals become property of the buyer at the conclusion of the auction. Sellers can not be held responsible for the health or condition of animals after the conclusion of the auction. Show Stock Planet LLC is licensed, bonded, and registered with the USDA Packers & Stockyards.
2903 Hwy 169
Burt IA 50522
Phone: 515-341-3083
Email Web-page


text:
It is expected Jason Bay will be placed on the disabled list today with lingering concussion symptoms and likely will be replaced by Jesus Feliciano.
Bay going on the DL means it is less likely the Mets will deal Jeff Francoeur this weekend. However, if the Mets slide out of contention expect Francoeur to be dealt in August in a waiver trade.


text:
The Pratt Community College basketball teams each played a pair of games over the weekend, and both teams split.
The Pratt Community College basketball teams each played a pair of games over the weekend, and both teams split.
The Lady Beavers played in the Coffeyville Tournament. On Friday night, they dropped their first contest of the season, a 65-57 loss to the host Red Ravens in overtime.
They then took the third place game on Saturday night, blasting Labette County 61-40.
The men took a road trip to Oklahoma, first beating Redlands in a wild one, 90-85, before bowing to Northern Oklahoma-Tonkawa 51-39.
In the Coffeyville game, the Lady Beavers were up 31-23 at halftime, but a Coffeyville 3-pointer with 8 seconds remaining sent the game into overtime.
In the extra frame, the Red Ravens outscored PCC 15-7 to post their first victory of the season.
Hayli Smith had 17 points to pace the Lady Beavers and Hannah Mehl added 11. Maddie Pendry and Tatiana Grant each chipped in 9.
PCC outrebounded Coffeyville 46-43, but the Lady Beavers committed 9 more turnovers than the Red Ravens. Coffeyville was also hotter from behind the arc, scoring 21 points off the trifecta to just 9 for Pratt.
The consolation final was a convincing win for the Pratt women, the outcome never much in doubt as the Lady Beavers thoroughly thumped the Labettes 61-40.
At 6-1, the women will travel to Lamar on Tuesday for their final pre-Thanksgiving action.
The PCC men won their second in a row, defeating Redlands 90-85 in a high-scoring affair.
Hopeful of avenging their only loss on the season to date, a 57-55 setback last Saturday at the Beaver Dome, the Beavers next called on Northern Oklahoma-Tonkawa.
It was not to be, however, as the Mavericks bested PCC for the second time in a week, this time 51-39. The men are now 5-2, with both losses coming at the hands of the Tonkawa Mavericks..
They are off until after Thanksgiving when they take on the Sterling JV at home, Thursday the 27th.


text:
Wilmington singer-songwriter appears as a glamorous ghoul in new "Zombie Girl" video
"Piano-rawker" Noelle Picara is undoubtedly one of the most glamorous ghouls in Wilmington.
For nearly a year, Picara, of Wilmington, has graced stages at local venues donning fancy dresses and zombie makeup, inspired by her single "Zombie Girl."
Check out the new video for the song, which premiered Sunday on YouTube. After watching it, you'll get a complete understanding of how Picara is able to masterfully mesh beauty with death.
About Picara
Picara, of Wilmington, is the bastard child of Ben Folds and Fiona Apple, annihilating the female singer-songwriter stereotype with her no-apology lyrics and raw performance. Her brand of "piano rawk" dismantles assumptions about war, politics, gender, and sexuality with the mantra: "sing truth to power."
Picara began playing the piano as a toddler and later pursued an education in classical voice before breaking out as a singer-songwriter. She walked a long and thorny path through child sexual abuse, drugs, alcohol, and depression before she mustered enough confidence to believe in her own voice.
Deeply inspired by Tori Amos, PJ Harvey, and Ani Difranco, Picara works to be a warrior in the battlefield of the mind: to expose corruption and lies, to give voice to the voiceless, and to inspire the beaten-down to crawl, walk, run, and then fly.


text:
Sometimes we simply get lost. We walk through life and we get lost. It isn't anyone's fault. Life is complicated. It has many turns and twists. They take us to places we thought we would never go. Once we wake up and realize we are lost, fear grips us. Fear tends to paralyze us.
Other times we are like sheep. Sheep are not the smartest creatures in the world. They are quite needy. They have a limited defense system. The weak tend to get eaten by the wolves. They cry a lot, looking for someone to rescue them. In the meantime, they eat the grass down to the roots and cannot sustain themselves. They have to always be on the move. They have ADD. They are easily distracted and have been known in their distraction to actually fall off a cliff. No wonder Jesus refers to us as sheep.
There are the other times we are defiant. We choose to do it as Frank Sinatra crones "I did it … my way." Even when we get what we want it never satisfies and we want more. It is not just drugs that cause us to want more. It's life. Seldom are we satisfied with our computers, cars, toys and anything else. We always not only want more, but we also want it better. Unfortunately, our self-imposed way leaves destruction in its wake. It affects our relationships. It may leave us living as pigs. It can be a literal pigsty or a spiritual one.
These are the three conditions of man Jesus describes in Luke 15 … lost, wandering and defiant.
Most of the Christian faith puts an emphasis on what we have to do. We have it backwards. The three stories revealing the default setting of man also reveals the nature of our Lord.
He seeks "diligently" for the lost coin. He leaves the flock to find the lost sheep. Not only does he bring it home, but he also puts us on his shoulders and carries us home. He looks for the return of the defiant son, runs to greet him, and restores him to his place in the family (all culturally unacceptable). It is the purpose of God through the work of Christ's sacrifice and the breath of the Holy Spirit to grant grace to man. It is the work of God, which has an end result.
If we read the story we find that in each case there is a party. It is a party given by God for the redemption of his children.
Due to the redemptive work of Christ and not any requirement on our own, we are invited to the party. We are then true worshippers. Our faith is based on what Christ has done, is doing, and will do. Our lives are to be a response to continual renewing of our lost, wayward and defiant nature. Come on into the party. How? Jesus said to simply believe and confess. The rest will come as we discover more and more about the incredible love and grace of the Holy One.


text:
Here at Blooming Bath, we like to check in with different online baby forums every now and then to hear the buzz surrounding the latest trends in baby products -- especially what is hot and new in baby bathtubs and baby bathing accessories. One question that we've come across a few quite a few times from folks is, what to do with their Blooming Bath for babies bathtub, after their baby grows out of it?
We think it's a pretty good question. And we have a few suggestions for you. While moms and dads can make use of the Blooming Bath from when their babies are just a few days old, until months later, there is a point where your little one must graduate to the real bathtub. Unlike hard plastics baby tubs that typically get thrown into the attic or garage for storage, the Blooming Bath is so cute there are a number of more creative uses for the Blooming Bath.
We've heard from a lot of parents who've told us that their older children actually fight over the Blooming Bath to use as a soft pillow for when they lounge around and watch TV. We love the idea of using the Blooming Bath as a pillow or room decor to add that extra burst of color.
Then we started thinking, why not use the Blooming Bath as inspiration for your child's nursery or bedroom? While cruising our favorite new site, Pintrest, we came across this adorable nursery design. It makes use of wall stickers that can be purchased online. All this room needs is a rocking chair with a Blooming Bath pillow in it! The best part is, any Blooming Bath color would work: pink, blue or yellow. In what creative ways will you use your Blooming Bath for when you baby grows into a toddler?


text:
Health Law Could Lower Children's Dental Coverage
WSJ's Jennifer Corbett Dooren details how the 2010 health law has resulted in lesser-than-expected numbers of lower-income children signing up for new plans. Photo: Getty Images.
This transcript has been automatically generated and may not be 100% accurate.
... the the ... I will that twenty ten health law gave the potential boasted dental coverage for children ... but it's not clear whether dental plan will be affordable how many parents will sign up this fall ... this is one example where the detail that lie in the fine print here with our is Jennifer Corbett Dorren Jennifer thanks for joining me this morning ... I think you ... do when you look at on the face of it adding children to dental plans that seemed like a great moving forward but you're saying that really ... whether or not parents will jump onboard live in the fine print have a lot of these plans tells more about it ... yet well ... into the Hulk law allows met our dental ... The gentle piece of that to be separated out from the medical ... and this reflects the way that it's that most big companies to leave a separate medical plan to separate them ... and so that I is is that if it separated out their ... parents may just offer the medical and the potential piece ... of the NL ... it's not clear what will happen ... so at this point on the health of some kid Ardi have access to some Double Plant how all this whiteness go ... I and you will people care if you think jump onboard if there's no fine if they do not get on board which is as we know of a company's health worsened ... break out of the most it's right now most kids actually do have dental insurance this is a fairly small slice of kids estimated eighty five million children don't have dental insurance ... and ... I think ... no thought as most here's how the two one with the kids on a sound plan by if you're if you're struggling in your it may be struggling to pay for the medical piece and you don't have enough left for the densely may not sign up ... people with low incomes will get subsidies to buy the medical and dental coverage those issues not ... clear exactly how much we cover ... said this pointed out they're still deciding how Bribie who died dental coverage to be what are you hearing from ... I've The dent said any industry that how this plan will affect their business ... what the dentist it's and it's a it's good to the dentist because it's private Dell insurance reimbursements probably mean higher than say Medicaid ... a lot of dentists don't take Medicaid which is that the program that covers aam ... you know a lot of ... adults and following from children ... we look at it from the business signing corporate corporations you are ... looking at the health care or other acts coming down and then the changes that will take place in the fall ... well um how will this affect the small business isn't that kind of thing aam I can use a lot of the D tells are still emerging but any sense about rate now ... why the ... double piece of me that a lot to smile was forced to offer ... medical coverage on although it's not common for small pieces to stop or down to ... the employee only so it that's in cases breed you have kids who are covered ... so the whole plot is designed to help to help cover the skids ... write thank you so much than ever to for joining us now worth anybody can read more about this ... on WS J live


text:
All News Releases By Date
EPA, DOE to Study Potential for Renewable Energy Possibilities on West Haymarket Brownfield Site in Lincoln, Neb.
Release Date: 11/04/2011
Contact Information: Ben Washburn, (913) 551-7364, email@example.com
Environmental News
(Kansas City, Kan., Nov. 4, 2011) - EPA and the Department of Energy's (DOE) National Renewable Energy Laboratory are collaborating on a project to evaluate the feasibility of siting renewable energy production on the West Haymarket Brownfield Site, in Lincoln, Neb.
The study, valued up to $35,000, will evaluate the technical and economic opportunities and challenges at the site, and explore the potential for wind power generation at the site.
The Union Pacific Railroad fueled trains and conducted other maintenance activities at the 32-acre West Haymarket site beginning in the late 1800s. In May 2010, voters approved a bond measure to revitalize the site with a focus on sustainability.
The West Haymarket Renewable Energy Project seeks to transform the current brownfield site into a site to generate renewable wind energy. Wind energy could be used to power the large-scale redevelopment's planned 16,000-seat arena, outdoor festival area, and other civic, commercial, and retail projects. The renewable energy project would help make the proposed $340 million redevelopment project more sustainable, reduce ongoing power costs, and reduce the project's carbon footprint.
"Renewable energy is a vital part of America's energy future. By using wind, solar, geothermal, and other renewable energy sources, we reduce our dependence on fossil fuels while at the same time reducing greenhouse gas emissions from other sources of energy production," said EPA Region 7 Administrator Karl Brooks.
EPA's RE-powering America's Land Initiative encourages renewable energy development on current and formerly contaminated land and mine sites when it is aligned with the community's vision for the site. The collaboration pairs EPA's expertise on contaminated sites with DOE's expertise in renewable energy.
As part of the RE-Powering America's Land Initiative, EPA is investing approximately $1 million for projects across the United States aiming to decrease the amount of green space used for development while continuing to ensure the protection of people's health, the environment and provide economic benefits to local communities, including job creation. EPA Region 7, which is comprised of Iowa, Kansas Missouri, Nebraska, and nine tribal nations, is one of only three regions to have four sites selected, with one in each state of the region.
More information on the RE-Powering America's Land initiative
More information on the National Renewable Energy Laboratory
Connect with EPA Region 7 on Facebook: www.facebook.com/eparegion7
Search this collection of releases | or search all news releases
View selected historical press releases from 1970 to 1998 in the EPA History website.


text:
As 2016 slowly heads towards its end, the rich tapestry of celebrations around the world crosses my mind - from the many different ways wedding and birthday celebrations are held, to mid-summer celebrations, to traditional, religious celebrations which make part of our global culture and history.
The theme of celebrations is in itself a common topic for language learners, for instance. They can describe celebrations in their own town/country, find out about celebrations in other countries, learn and teach other new vocabulary on the types of celebrations they have chosen when they present their findings. Why not give them a tool which they can present/share their work, which is interactive and full of surprise?
Geniall.y can be used to create interactive presentations, infographics, posters, and even resumes (example down below at the end of this post).
Professions/jobs is another theme which is commonly approached in language classes. With Genial.ly, you can ask students to add places where people work, qualities which are needed for each job/profession, the pros and cons of each line of work.
These are just two suggestions for a language class; there are so many other ways to use Genial.ly, depending (as always) on the context and purpose of your learners.
Genial.ly is free but with options; one of which allows collaborative work. You can share with a link or embed creations; there is a blog (in English and Spanish) with tips and ideas on how to use Genial.ly's features.Genially - Do it different, do it Genially! from Genially Web on Vimeo.
Use Genially and feel like a Genius!! from Genially Web on Vimeo.
How do you make your students feel like creative geniuses?


text:
|2006-09-01, 23:32
|Link #61
Join Date: Feb 2004
Location: East Boston, Massachusetts
Age: 29
|2006-09-01, 23:33
|Link #62
Dennis Lozzi
Last edited by d1no; 2006-09-07 at 01:05.
|2006-09-03, 21:40
|Link #63
Join Date: Dec 2005
If you're looking for an MMORPG that's 2D/anime-like graphics in which you can be totally sucked into spending hours a day just to lvl up play Maple Story. Very addicting...very...be careful because...the addiction will lead to dropping of your grades...*cries*
|2006-09-05, 12:53
|Link #64
Remember Law of Ueki
Join Date: Dec 2005
Location: Georgia, USA
I found some interesting mmo but it is in korean, being beta tested, I thought it would something to share. http://x.paran.com/
Heres a video its just like jet set radio. http://www.youtube.com/watch?v=ZcmNH...3Fid%3DM200603
There are versions of this game that look almost the same but sucks in comparisions. Bigshot is not released in the US but it looks like fun.
http://www.youtube.com/watch?v=1PO2gyWu39o the is Bigshot
Heres are some links to random mmos. I dont feel like describing everything.
http://www.gravity.co.kr/en/index.asp currently making ragnarok 2
they have list of brand new mmorpg and stuff.
Last edited by MarcusG; 2006-09-05 at 22:31.
|2006-09-05, 22:05
|Link #65
Anime Forever
Join Date: May 2006
ummm for flyff -fly for fun- ... i downloaded this game.... but where can i register for that game?? if its the one from the site, i already did, but when i try logging on when i play the game, it freezes and i cant continue.. So im wondering what i have to do. wether to wait longer or is it the fact that i registered in the wrong place so i cant log on??
|2006-09-06, 03:20
|Link #66
Aria Company
Join Date: Nov 2003
Do you have a firewall? It could be interfering with the log in. I've seen some strange things with firewalls and mmorpgs. On another one, my firewall blocked everything related to guilds, but the rest of the game worked fine. I guess the guild data was sent by a seperate port or something... That's most likely the problem. If so you'll have to set it to allow access for flyff.
|2006-09-07, 16:33
|Link #69
Anime Forever
Join Date: May 2006
for anyone who really knows how to play flyff and is willing to help, do you think you could help me a little lol....... IF you play this game and could help pls pm me so i could try talking with you without making so many messages on the board
some things im trying to do is like -where to sell items, help with leveling up, and so on.... im so far level 8 lol... yes i know sad but i just started.
|2006-09-07, 18:10
|Link #70
Aria Company
Join Date: Nov 2003
First where to sell. Any npc you can buy from you can also sell to. Just drag the item into the npc window. Things sell to npcs for 1/4 the price you pay. You can also set up a private shop to sell things by pressing the 'r' button. Just drag the items you want to sell and set a price. Check some other private shops first to get a general idea of how much things go for. The best places to set up a shop are towns and safe, but well travelled routes.
As for where to level, for lvl 8 I'd suggest peakyturtles. They give decent exp, but most importantly they drop peakyrinds, which you can sell for quite a bit to pay for new equipment. when you get tired of them, or they stop giving exp, go for young lawolves. They're lvl 13 monsters, but you should be able to handle them at lvl 11. then move either to grownup lawolves or feferns.
By that time you shoud have some idea of where to go, so you probably won't need help beyond that. Oh, and remember, your stats reset for the first job change, so you don't have to worry about planning ahead for the class you're going to be.
|2006-10-01, 08:05
|Link #75
Join Date: May 2006
Location: 大陸の片隅
She's not that close to similar, but I found her too cute on her own! <3 One reason was because she used Spears, not Swords. So no Saber. ;_;
|2008-03-24, 15:15
|Link #76
A Girl?
Join Date: Mar 2008
Location: A land of my own
Flyff and maple story
Flyff is highly recomended, although its really hard to level up...im on lvl34 or was it 44? or 37? i cant remember and it takes for ever...and i keep going down a lvl
Maple story is good as well, although the grafics arnt that great and you get called a noob by everyone despite your lvl
12 sky is recomended as well
it has two severs
that consist of three worlds
which has three characters to chose from
and you can coustomise the face to your own likeing
Last edited by xphrannx; 2008-06-08 at 16:31.
|2008-03-24, 21:09
|Link #77
Senior Member
Join Date: Dec 2005
I just tried it myself, although Im a lil slow cause of College, this game was really fun and people are nice. My friends even tell me that this can be your second life since there are different social activities you can go through to progress through the plot.
Pros that I noticed:
- I heard Musicians playing Bleach, Haruhi and other anime songs.
- You can choose your character's age (ya you can be a 10 year old loli/shouta)
- Very different battle system which might be a Con depends if you can get use to it
- NPC characters look awesome
- Good Plot as well as event scenes.
- Alot of nice people ever since I started
Last edited by Rion Steiner; 2008-03-24 at 21:31.
|2008-03-25, 16:50
|Link #78
A Girl?
Join Date: Mar 2008
Location: A land of my own
Where to find it?
|2008-03-25, 17:28
|Link #79
Senior Member
Join Date: Dec 2005
The main site where it holds the game Maple Story and Audition as well:
Basicly if you have a Maple Story account you can also use that same account for Mabinogi.
|2008-03-27, 07:22
|Link #80
Ready to Boast
Join Date: Aug 2007
Location: Hinamizawa
Well, my recomendation is Dream of Mirror Online.
A chinese game that recently started in USA and Europe. The style is in 3D, but superior graphic cards can take the beautiful cel shading.
It has a multiple job system, alchemy, relationships, etc.
-4 races: Human, Shura, Sylph and Sprite.
-Lots of job: Mercenary, Martial Artist, Shaman, Doctor, Musician, etc.
-Flying System: Yeah. Just like in the chinese myths, you can fly in your weapon.
-Pets: Raise an egg, and enjoy the help of this little friends.
-Relationship System: Meet a destinied, rival, friend or maybe a lover.
English Site
And of course, this game has his own Cash Shop (Item Mall, etc.)
Check out some of the costumes you can get (The USA version already got a bunch of costumes, the team of Japan sure works hard)
Well, that's my recomendation. Hope you like it.
(Oh btw, Sunohara is looking kinda cool there)
|Thread Tools


text:
Stories by Grasshopper [20] Series by Grasshopper [0] Reviews by Grasshopper [0] Challenges by Grasshopper [0] Favorite Series [0] Grasshopper's Favorites [3]
No results found.
|The authors own nothing. Joss, UPN, WB, etc. own Buffy, the show, the characters, the places, and the backstory. The authors own any original plots.


text:
A BlankTV Premiere Presentation:
Kolony - "Echoes"
Artist Bio:
Best described as crafting melodic rock metal, Montreal outfit Kolony believes in doing things a little differently.
Boldly combining elements of old school metal, NWBHM, modern metal and rock, the band loves fast tempos, melodic vocals and all-around high-octane music with each track coming from the heart and reflecting the way its members think about the world.
Setting out to write a full-length album at the start of 2013, Kolony arrived at its latest record, Sledge due out later this year.
"The message of the album is one of building a new society," explains vocalist /guitarist Renaud Benoit. "It's a call to destroy our current pyramidal system and to rebuild another world. It's a call to go back to more human values. We want to feel that we live in a world in harmony with the earth; we don't want to be the slaves of modernity as we feel we are right now."
Suffice it to say, heavy metal fans along with the new generation of metal heads and mainstream rock fans will all be able to find themselves in the music of Sledge.
|< Prev
|Next >


text:
Mercurial > cpdt > repo
view src/Intro.v @ 549:16d701d4bd82
And working with 8.6 again
|Adam Chlipala <firstname.lastname@example.com>
|Wed, 12 Jul 2017 13:49:46 -0400
line wrap: on
line source
(* Copyright (c) 2008-2013, 2015, Adam Chlipala * * This work is licensed under a * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 * Unported License. * The license text is available at: * http://creativecommons.org/licenses/by-nc-nd/3.0/ *) (** %\chapter{Introduction}% *) (** * Whence This Book? *) (** We would all like to have programs check that our programs are correct. Due in no small part to some bold but unfulfilled promises in the history of computer science, today most people who write software, practitioners and academics alike, assume that the costs of formal program verification outweigh the benefits. The purpose of this book is to convince you that the technology of program verification is mature enough today that it makes sense to use it in a support role in many kinds of research projects in computer science. Beyond the convincing, I also want to provide a handbook on practical engineering of certified programs with the Coq proof assistant. Almost every subject covered is also relevant to interactive computer theorem-proving in general, such as for traditional mathematical theorems. In fact, I hope to demonstrate how verified programs are useful as building blocks in all sorts of formalizations. Research into mechanized theorem proving began in the second half of the 20th century, and some of the earliest practical work involved Nqthm%~\cite{Nqthm}\index{Nqthm}%, the "Boyer-Moore Theorem Prover," which was used to prove such theorems as correctness of a complete hardware and software stack%~\cite{Piton}%. ACL2%~\cite{CAR}\index{ACL2}%, Nqthm's successor, has seen significant industry adoption, for instance, by AMD to verify correctness of floating-point division units%~\cite{AMD}%. Around the beginning of the 21st century, the pace of progress in practical applications of interactive theorem proving accelerated significantly. Several well-known formal developments have been carried out in Coq, the system that this book deals with. In the realm of pure mathematics, Georges Gonthier built a machine-checked proof of the four-color theorem%~\cite{4C}%, a mathematical problem first posed more than a hundred years before, where the only previous proofs had required trusting ad-hoc software to do brute-force checking of key facts. In the realm of program verification, Xavier Leroy led the CompCert project to produce a verified C compiler back-end%~\cite{CompCert}% robust enough to use with real embedded software. Many other recent projects have attracted attention by proving important theorems using computer proof assistant software. For instance, the L4.verified project%~\cite{seL4}% led by Gerwin Klein has given a mechanized proof of correctness for a realistic microkernel, using the Isabelle/HOL proof assistant%~\cite{Isabelle/HOL}\index{Isabelle/HOL}%. The amount of ongoing work in the area is so large that I cannot hope to list all the recent successes, so from this point I will assume that the reader is convinced both that we ought to want machine-checked proofs and that they seem to be feasible to produce. (To readers not yet convinced, I suggest a Web search for "machine-checked proof"!) The idea of %\index{certified program}% _certified program_ features prominently in this book's title. Here the word "certified" does _not_ refer to governmental rules for how the reliability of engineered systems may be demonstrated to sufficiently high standards. Rather, this concept of certification, a standard one in the programming languages and formal methods communities, has to do with the idea of a _certificate_, or formal mathematical artifact proving that a program meets its specification. Government certification procedures rarely provide strong mathematical guarantees, while certified programming provides guarantees about as strong as anything we could hope for. We trust the definition of a foundational mathematical logic, we trust an implementation of that logic, and we trust that we have encoded our informal intent properly in formal specifications, but few other opportunities remain to certify incorrect software. For compilers and other programs that run in batch mode, the notion of a %\index{certifying program}% _certifying_ program is also common, where each run of the program outputs both an answer and a proof that the answer is correct. Any certifying program can be composed with a proof checker to produce a certified program, and this book focuses on the certified case, while also introducing principles and techniques of general interest for stating and proving theorems in Coq. %\medskip% There are a good number of (though definitely not "many") tools that are in wide use today for building machine-checked mathematical proofs and machine-certified programs. The following is my attempt at an exhaustive list of interactive "proof assistants" satisfying a few criteria. First, the authors of each tool must intend for it to be put to use for software-related applications. Second, there must have been enough engineering effort put into the tool that someone not doing research on the tool itself would feel his time was well spent using it. A third criterion is more of an empirical validation of the second: the tool must have a significant user community outside of its own development team. % \medskip \begin{tabular}{rl} \textbf{ACL2} & \url{http://www.cs.utexas.edu/users/moore/acl2/} \\ \textbf{Coq} & \url{http://coq.inria.fr/} \\ \textbf{Isabelle/HOL} & \url{http://isabelle.in.tum.de/} \\ \textbf{PVS} & \url{http://pvs.csl.sri.com/} \\ \textbf{Twelf} & \url{http://www.twelf.org/} \\ \end{tabular} \medskip % #

ACL2	 http://www.cs.utexas.edu/users/moore/acl2/

Coq	 http://coq.inria.fr/

Isabelle/HOL	 http://isabelle.in.tum.de/

PVS	 http://pvs.csl.sri.com/

Twelf	 http://www.twelf.org/

 # Isabelle/HOL, implemented with the "proof assistant development framework" Isabelle%~\cite{Isabelle}%, is the most popular proof assistant for the HOL logic. The other implementations of HOL can be considered equivalent for purposes of the discussion here. *) (** * Why Coq? *) (** This book is going to be about certified programming using Coq, and I am convinced that it is the best tool for the job. Coq has a number of very attractive properties, which I will summarize here, mentioning which of the other candidate tools lack which properties. *) (** ** Based on a Higher-Order Functional Programming Language *) (** %\index{higher-order vs. first-order languages}%There is no reason to give up the familiar comforts of functional programming when you start writing certified programs. All of the tools I listed are based on functional programming languages, which means you can use them without their proof-related features to write and run regular programs. %\index{ACL2}%ACL2 is notable in this field for having only a _first-order_ language at its foundation. That is, you cannot work with functions over functions and all those other treats of functional programming. By giving up this facility, ACL2 can make broader assumptions about how well its proof automation will work, but we can generally recover the same advantages in other proof assistants when we happen to be programming in first-order fragments. *) (** ** Dependent Types *) (** A language with _dependent types_ may include references to programs inside of types. For instance, the type of an array might include a program expression giving the size of the array, making it possible to verify absence of out-of-bounds accesses statically. Dependent types can go even further than this, effectively capturing any correctness property in a type. For instance, later in this book, we will see how to give a compiler a type that guarantees that it maps well-typed source programs to well-typed target programs. %\index{ACL2}%ACL2 and %\index{HOL}%HOL lack dependent types outright. Each of %\index{PVS}%PVS and %\index{Twelf}%Twelf supports a different strict subset of Coq's dependent type language. Twelf's type language is restricted to a bare-bones, monomorphic lambda calculus, which places serious restrictions on how complicated _computations inside types_ can be. This restriction is important for the soundness argument behind Twelf's approach to representing and checking proofs. In contrast, %\index{PVS}%PVS's dependent types are much more general, but they are squeezed inside the single mechanism of _subset types_, where a normal type is refined by attaching a predicate over its elements. Each member of the subset type is an element of the base type that satisfies the predicate. Chapter 6 of this book introduces that style of programming in Coq, while the remaining chapters of Part II deal with features of dependent typing in Coq that go beyond what PVS supports. Dependent types are useful not only because they help you express correctness properties in types. Dependent types also often let you write certified programs _without writing anything that looks like a proof_. Even with subset types, which for many contexts can be used to express any relevant property with enough acrobatics, the human driving the proof assistant usually has to build some proofs explicitly. Writing formal proofs is hard, so we want to avoid it as far as possible. Dependent types are invaluable for this purpose. *) (** ** An Easy-to-Check Kernel Proof Language *) (** %\index{de Bruijn criterion}%Scores of automated decision procedures are useful in practical theorem proving, but it is unfortunate to have to trust in the correct implementation of each procedure. Proof assistants satisfy the "de Bruijn criterion" when they produce _proof terms_ in small kernel languages, even when they use complicated and extensible procedures to seek out proofs in the first place. These core languages have feature complexity on par with what you find in proposals for formal foundations for mathematics (e.g., ZF set theory). To believe a proof, we can ignore the possibility of bugs during _search_ and just rely on a (relatively small) proof-checking kernel that we apply to the _result_ of the search. Coq meets the de Bruijn criterion, while %\index{ACL2}%ACL2 does not, as it employs fancy decision procedures that produce no "evidence trails" justifying their results. %\index{PVS}%PVS supports _strategies_ that implement fancier proof procedures in terms of a set of primitive proof steps, where the primitive steps are less primitive than in Coq. For instance, a propositional tautology solver is included as a primitive, so it is a question of taste whether such a system meets the de Bruijn criterion. The HOL implementations meet the de Bruijn criterion more manifestly; for Twelf, the situation is murkier. *) (** ** Convenient Programmable Proof Automation *) (** A commitment to a kernel proof language opens up wide possibilities for user extension of proof automation systems, without allowing user mistakes to trick the overall system into accepting invalid proofs. Almost any interesting verification problem is undecidable, so it is important to help users build their own procedures for solving the restricted problems that they encounter in particular theorems. %\index{Twelf}%Twelf features no proof automation marked as a bona fide part of the latest release; there is some automation code included for testing purposes. The Twelf style is based on writing out all proofs in full detail. Because Twelf is specialized to the domain of syntactic metatheory proofs about programming languages and logics, it is feasible to use it to write those kinds of proofs manually. Outside that domain, the lack of automation can be a serious obstacle to productivity. Most kinds of program verification fall outside Twelf's forte. Of the remaining tools, all can support user extension with new decision procedures by hacking directly in the tool's implementation language (such as OCaml for Coq). Since %\index{ACL2}%ACL2 and %\index{PVS}%PVS do not satisfy the de Bruijn criterion, overall correctness is at the mercy of the authors of new procedures. %\index{Isabelle/HOL}%Isabelle/HOL and Coq both support coding new proof manipulations in ML in ways that cannot lead to the acceptance of invalid proofs. Additionally, Coq includes a domain-specific language for coding decision procedures in normal Coq source code, with no need to break out into ML. This language is called %\index{Ltac}%Ltac, and I think of it as the unsung hero of the proof assistant world. Not only does Ltac prevent you from making fatal mistakes, it also includes a number of novel programming constructs which combine to make a "proof by decision procedure" style very pleasant. We will meet these features in the chapters to come. *) (** ** Proof by Reflection *) (** %\index{reflection}\index{proof by reflection}%A surprising wealth of benefits follows from choosing a proof language that integrates a rich notion of computation. Coq includes programs and proof terms in the same syntactic class. This makes it easy to write programs that compute proofs. With rich enough dependent types, such programs are _certified decision procedures_. In such cases, these certified procedures can be put to good use _without ever running them_! Their types guarantee that, if we did bother to run them, we would receive proper "ground" proofs. The critical ingredient for this technique, many of whose instances are referred to as _proof by reflection_, is a way of inducing non-trivial computation inside of logical propositions during proof checking. Further, most of these instances require dependent types to make it possible to state the appropriate theorems. Of the proof assistants I listed, only Coq really provides support for the type-level computation style of reflection, though PVS supports very similar functionality via refinement types. *) (** * Why Not a Different Dependently Typed Language? *) (** The logic and programming language behind Coq belongs to a type-theory ecosystem with a good number of other thriving members. %\index{Agda}%{{http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php}Agda} and %\index{Epigram}%{{https://code.google.com/p/epigram/}Epigram} are the most developed tools among the alternatives to Coq, and there are others that are earlier in their lifecycles. All of the languages in this family feel sort of like different historical offshoots of Latin. The hardest conceptual epiphanies are, for the most part, portable among all the languages. Given this, why choose Coq for certified programming? I think the answer is simple. None of the competition has well-developed systems for tactic-based theorem proving. Agda and Epigram are designed and marketed more as programming languages than proof assistants. Dependent types are great, because they often help you prove deep theorems without doing anything that feels like proving. Nonetheless, almost any interesting certified programming project will benefit from some activity that deserves to be called proving, and many interesting projects absolutely require semi-automated proving, to protect the sanity of the programmer. Informally, proving is unavoidable when any correctness proof for a program has a structure that does not mirror the structure of the program itself. An example is a compiler correctness proof, which probably proceeds by induction on program execution traces, which have no simple relationship with the structure of the compiler or the structure of the programs it compiles. In building such proofs, a mature system for scripted proof automation is invaluable. On the other hand, Agda, Epigram, and similar tools have less implementation baggage associated with them, and so they tend to be the default first homes of innovations in practical type theory. Some significant kinds of dependently typed programs are much easier to write in Agda and Epigram than in Coq. The former tools may very well be superior choices for projects that do not involve any "proving." Anecdotally, I have gotten the impression that manual proving is orders of magnitudes more costly than manual coping with Coq's lack of programming bells and whistles. In this book, I will devote significant space to patterns for programming with dependent types in Coq as it is today. We can hope that the type theory community is tending towards convergence on the right set of features for practical programming with dependent types, and that we will eventually have a single tool embodying those features. *) (** * Engineering with a Proof Assistant *) (** In comparisons with its competitors, Coq is often derided for promoting unreadable proofs. It is very easy to write proof scripts that manipulate proof goals imperatively, with no structure to aid readers. Such developments are nightmares to maintain, and they certainly do not manage to convey "why the theorem is true" to anyone but the original author. One additional (and not insignificant) purpose of this book is to show why it is unfair and unproductive to dismiss Coq based on the existence of such developments. I will go out on a limb and guess that the reader is a fan of some programming language and may even have been involved in teaching that language to undergraduates. I want to propose an analogy between two attitudes: coming to a negative conclusion about Coq after reading common Coq developments in the wild, and coming to a negative conclusion about Your Favorite Language after looking at the programs undergraduates write in it in the first week of class. The pragmatics of mechanized proving and program verification have been under serious study for much less time than the pragmatics of programming have been. The computer theorem proving community is still developing the key insights that correspond to those that programming texts and instructors impart to their students, to help those students get over that critical hump where using the language stops being more trouble than it is worth. Most of the insights for Coq are barely even disseminated among the experts, let alone set down in a tutorial form. I hope to use this book to go a long way towards remedying that. If I do that job well, then this book should be of interest even to people who have participated in classes or tutorials specifically about Coq. The book should even be useful to people who have been using Coq for years but who are mystified when their Coq developments prove impenetrable by colleagues. The crucial angle in this book is that there are "design patterns" for reliably avoiding the really grungy parts of theorem proving, and consistent use of these patterns can get you over the hump to the point where it is worth your while to use Coq to prove your theorems and certify your programs, even if formal verification is not your main concern in a project. We will follow this theme by pursuing two main methods for replacing manual proofs with more understandable artifacts: dependently typed functions and custom Ltac decision procedures. *) (** * Prerequisites *) (** I try to keep the required background knowledge to a minimum in this book. I will assume familiarity with the material from usual discrete math and logic courses taken by undergraduate computer science majors, and I will assume that readers have significant experience programming in one of the ML dialects, in Haskell, or in some other, closely related language. Experience with only dynamically typed functional languages might lead to befuddlement in some places, but a reader who has come to understand Scheme deeply will probably be fine. My background is in programming languages, formal semantics, and program verification. I sometimes use examples from that domain. As a reference on these topics, I recommend _Types and Programming Languages_ %\cite{TAPL}%, by Benjamin C. Pierce; however, I have tried to choose examples so that they may be understood without background in semantics. *) (** * Using This Book *) (** This book is generated automatically from Coq source files using the wonderful coqdoc program. The latest PDF version, with hyperlinks from identifier uses to the corresponding definitions, is available at: %\begin{center}\url{http://adam.chlipala.net/cpdt/cpdt.pdf}\end{center}%#
<tt>http://adam.chlipala.net/cpdt/cpdt.pdf</tt>
# There is also an online HTML version available, which of course also provides hyperlinks: %\begin{center}\url{http://adam.chlipala.net/cpdt/html/toc.html}\end{center}%#
<tt>http://adam.chlipala.net/cpdt/html/toc.html</tt>
# The source code to the book is also freely available at: %\begin{center}\url{http://adam.chlipala.net/cpdt/cpdt.tgz}\end{center}%#
<tt>http://adam.chlipala.net/cpdt/cpdt.tgz</tt>
# There, you can find all of the code appearing in this book, with prose interspersed in comments, in exactly the order that you find in this document. You can step through the code interactively with your chosen graphical Coq interface. The code also has special comments indicating which parts of the chapters make suitable starting points for interactive class sessions, where the class works together to construct the programs and proofs. The included Makefile has a target <<templates>> for building a fresh set of class template files automatically from the book source. A traditional printed version of the book is slated to appear from MIT Press in the future. The online versions will remain available at no cost even after the printed book is released, and I intend to keep the source code up-to-date with bug fixes and compatibility changes to track new Coq releases. %\index{graphical interfaces to Coq}%I believe that a good graphical interface to Coq is crucial for using it productively. I use the %\index{Proof General}%{{http://proofgeneral.inf.ed.ac.uk/}Proof General} mode for Emacs, which supports a number of other proof assistants besides Coq. There is also the standalone %\index{CoqIDE}%CoqIDE program developed by the Coq team. I like being able to combine certified programming and proving with other kinds of work inside the same full-featured editor. In the initial part of this book, I will reference Proof General procedures explicitly, in introducing how to use Coq, but most of the book will be interface-agnostic, so feel free to use CoqIDE if you prefer it. The one issue with CoqIDE before version 8.4, regarding running through the book source, is that I will sometimes begin a proof attempt but cancel it with the Coq [Abort] or ##%\coqdockw{%Restart%}%## commands, which CoqIDE did not support until recently. It would be bad form to leave such commands lying around in a real, finished development, but I find these commands helpful in writing single source files that trace a user's thought process in designing a proof. *) (** ** Reading This Book *) (** For experts in functional programming or formal methods, learning to use Coq is not hard, in a sense. The Coq manual%~\cite{CoqManual}%, the textbook by Bertot and Cast%\'%eran%~\cite{CoqArt}%, and Pierce et al.'s %\emph{%Software Foundations%}\footnote{\url{http://www.cis.upenn.edu/~bcpierce/sf/}}% have helped many people become productive Coq users. However, I believe that the best ways to manage significant Coq developments are far from settled. In this book, I mean to propose my own techniques, and, rather than treating them as advanced material for a final chapter or two, I employ them from the very beginning. After a first chapter showing off what can be done with dependent types, I retreat into simpler programming styles for the first part of the book. I adopt the other main thrust of the book, Ltac proof automation, more or less from the very start of the technical exposition. Some readers have suggested that I give multiple recommended reading orders in this introduction, targeted at people with different levels of Coq expertise. It is certainly true that Part I of the book devotes significant space to basic concepts that most Coq users already know quite well. However, as I am introducing these concepts, I am also developing my preferred automated proof style, so I think even the chapters on basics are worth reading for experienced Coq hackers. Readers with no prior Coq experience can ignore the preceding discussion! I hope that my heavy reliance on proof automation early on will seem like the most natural way to go, such that you may wonder why others are spending so much time entering sequences of proof steps manually. Coq is a very complex system, with many different commands driven more by pragmatic concerns than by any overarching aesthetic principle. When I use some construct for the first time, I try to give a one-sentence intuition for what it accomplishes, but I leave the details to the Coq reference manual%~\cite{CoqManual}%. I expect that readers interested in complete understanding will be consulting that manual frequently; in that sense, this book is not meant to be completely standalone. I often use constructs in code snippets without first introducing them at all, but explanations should always follow in the prose paragraphs immediately after the offending snippets. Previous versions of the book included some suggested exercises at the ends of chapters. Since then, I have decided to remove the exercises and focus on the main book exposition. A database of exercises proposed by various readers of the book is ##available on the Web##%\footnote{\url{http://adam.chlipala.net/cpdt/ex/}}%. I do want to suggest, though, that the best way to learn Coq is to get started applying it in a real project, rather than focusing on artificial exercises. *) (** ** On the Tactic Library *) (** To make it possible to start from fancy proof automation, rather than working up to it, I have included with the book source a library of _tactics_, or programs that find proofs, since the built-in Coq tactics do not support a high enough level of automation. I use these tactics even from the first chapter with code examples. Some readers have asked about the pragmatics of using this tactic library in their own developments. My position there is that this tactic library was designed with the specific examples of the book in mind; I do not recommend using it in other settings. Part III should impart the necessary skills to reimplement these tactics and beyond. One generally deals with undecidable problems in interactive theorem proving, so there can be no tactic that solves all goals, though the %\index{tactics!crush}%[crush] tactic that we will meet soon may sometimes feel like that! There are still very useful tricks found in the implementations of [crush] and its cousins, so it may be useful to examine the commented source file <<CpdtTactics.v>>. I implement a new tactic library for each new project, since each project involves a different mix of undecidable theories where a different set of heuristics turns out to work well; and that is what I recommend others do, too. *) (** ** Installation and Emacs Set-Up *) (** At the start of the next chapter, I assume that you have installed Coq and Proof General. The code in this book is tested with Coq versions 8.4pl6, 8.5pl3, and 8.6. Though parts may work with other versions, it is expected that the book source will fail to build with _earlier_ versions. %\index{Proof General|(}%To set up your Proof General environment to process the source to the next chapter, a few simple steps are required. %\begin{enumerate}%#
# %\item %#
#Get the book source from %\begin{center}\url{http://adam.chlipala.net/cpdt/cpdt.tgz}\end{center}%#
<tt>http://adam.chlipala.net/cpdt/cpdt.tgz</tt>

# %\item %#
#Unpack the tarball to some directory <<DIR>>.#
# %\item %#
#Run <<make>> in <<DIR>> (ideally with a <<-j>> flag to use multiple processor cores, if you have them).#
# %\item %#
#There are some minor headaches associated with getting Proof General to pass the proper command line arguments to the <<coqtop>> program, which provides the interactive Coq toplevel. One way to add settings that will be shared by many source files is to add a custom variable setting to your %\index{.emacs file@\texttt{.emacs} file}%<<.emacs>> file, like this: << (custom-set-variables ... '(coq-prog-args '("-R" "DIR/src" "Cpdt")) ... ) >> The extra arguments demonstrated here are the proper choices for working with the code for this book. The ellipses stand for other Emacs customization settings you may already have. It can be helpful to save several alternate sets of flags in your <<.emacs>> file, with all but one commented out within the <<custom-set-variables>> block at any given time. Alternatively, Proof General configuration can be set on a per-directory basis, using a %\index{.dir-locals.el file@\texttt{.dir-locals.el} file}%<<.dir-locals.el>> file in the directory of the source files for which you want the settings to apply. Here is an example that could be written in such a file to enable use of the book source. Note the need to include an argument that starts Coq in Emacs support mode. << ((coq-mode . ((coq-prog-args . ("-emacs-U" "-R" "DIR/src" "Cpdt"))))) >> #
# #
#%\end{enumerate}% Every chapter of this book is generated from a commented Coq source file. You can load these files and run through them step-by-step in Proof General. Be sure to run the Coq binary <<coqtop>> with the command-line argument <<-R DIR/src Cpdt>>. If you have installed Proof General properly, the Coq mode should start automatically when you visit a <<.v>> buffer in Emacs, and the above advice on <<.emacs>> settings should ensure that the proper arguments are passed to <<coqtop>> by Emacs. With Proof General, the portion of a buffer that Coq has processed is highlighted in some way, like being given a blue background. You step through Coq source files by positioning the point at the position you want Coq to run to and pressing C-C C-RET. This can be used both for normal step-by-step coding, by placing the point inside some command past the end of the highlighted region; and for undoing, by placing the point inside the highlighted region. %\index{Proof General|)}% *) (** %\section{Chapter Source Files} \begin{center} \begin{tabular}{|r|l|} \hline \textbf{Chapter} & \textbf{Source} \\ \hline Some Quick Examples & \texttt{StackMachine.v} \\ \hline Introducing Inductive Types & \texttt{InductiveTypes.v} \\ \hline Inductive Predicates & \texttt{Predicates.v} \\ \hline Infinite Data and Proofs & \texttt{Coinductive.v} \\ \hline Subset Types and Variations & \texttt{Subset.v} \\ \hline General Recursion & \texttt{GeneralRec.v} \\ \hline More Dependent Types & \texttt{MoreDep.v} \\ \hline Dependent Data Structures & \texttt{DataStruct.v} \\ \hline Reasoning About Equality Proofs & \texttt{Equality.v} \\ \hline Generic Programming & \texttt{Generic.v} \\ \hline Universes and Axioms & \texttt{Universes.v} \\ \hline Proof Search by Logic Programming & \texttt{LogicProg.v} \\ \hline Proof Search in Ltac & \texttt{Match.v} \\ \hline Proof by Reflection & \texttt{Reflection.v} \\ \hline Proving in the Large & \texttt{Large.v} \\ \hline A Taste of Reasoning About Programming Language Syntax & \texttt{ProgLang.v} \\ \hline \end{tabular} \end{center} % *)


text:
Reports are flying that Apple is acquiring Beats Electronics for $3.2 billion, but Dr. Dre may have confirmed the rumors himself with a video and a selfie photo posted on Facebook.
The famed hip hop star posted a video that features him alongside R&B singer and actor Tyrese Gibson, in which the two claim Dre is now the first billionaire rapper.
"Billionaire boys' club for real, homie," Gibson says in the video. "The Forbes list just changed."
"The first billionaire in hip hop," Dre says later on in the video, which included a caption that said "Dr Dre ON THE night his deal went public that he did with Apple 3.2 BILLION!!!!"
The two also posted a selfie photo with the caption "Apple = Beats 3.2 BILLION!!!!!! The night everything changed!!!!" The photo and video were soon taken down, but not before others on the Internet could make copies. The video is available on YouTube (Warning: The video contains strong language).
The video and photo were posted following a report by the Financial Times that said Apple was close to acquiring Beats Electronics for $3.2 billion.
Beats Electronics is the maker of the high-end Beats by Dre headphones, which first went on sale in 2008. Since then, the company has grown and reportedly posted $1.2 billion in revenue last year.
The company also launched Beats Music in January. That service lets customers stream music for $10 a month. It rivals other similar services, most notably Swedish startup Spotify.
If Apple acquires Beats Electronics for $3.2 billion, it would be the Cupertino, Calif., company's largest acquisition ever.
Currently, the most expensive purchase Apple has ever made was in 1997 when it purchased Steve Jobs' NeXT Computer Systems for $400 million. That acquisition brought Jobs back to the company he founded and laid the foundation for Mac OS X, the operating system Apple still uses for its Mac laptop and desktops.
Prior to the posting of the Dre photo and video, Apple and Beats Electronics declined to comment on the possible deal.


text:
|2012-05-18, 14:05
|Link #181
North American Haruhiist
Join Date: Oct 2010
Age: 38
But yes, anything after Chunni-Byou is basically speculation. Haruhi could be their Spring 2013 project seeing that 2013 is the 10th anniversary of the LNs and the first season and the 2009 re-airing started in Spring. Of course, the next stories to be animated are in the winter as they happen just after Christmas and the next big story to happen takes place around Valentine's Day.
Another unknown factor is TBS/Pony Canyon who may have something they want KyoAni to do for 2013. But I do feel confident that Kadokawa will use KyoAni for something in 2013 as well.
|2012-05-18, 22:02
|Link #182
With news being scattered here and there amongst threads on AS, I figured it might be best to consolidate information for speculation in an updated post. Here is what we know about the Haruhi franchise and related properties since Fall 2010. All figures are from Japan unless noted as domestic sales tend to mean more than international sales.
From this, the additional manga and the website updating pique my curiosity the most. The franchise continues to grow in published form, which is good as it always needs advertising. The website updates (occurring similarly to Lucky Star and its announcements) give me more hope than anything. Why bother updating the site after 8 months of absence if there's no news coming?
The other interesting fact is the absence of Ishihara/Ikeda from Hyouka. Ishihara directed Nichijou and helped with storyboards for the K-On! movie, but has been absent in the current show. Ikeda directed 5 episodes' animation of the same show, but has not been credited since. The two are board members of the animation studio, so it's unlikely they've left (and Ishihara has posted a couple blog entries on the website). What are they up to?
The last question is anything related to Chuunibyou. Will Ishihara or Yamada (from K-On!) direct it? What form will it be? When will it come out? We don't know anything other than the confirmation of being animated and that it has two light novels published.
I'll admit that I was starting to lose some hope for the franchise, but thinking about the 10 year anniversary and how much the franchise has meant to Kadokawa and KyoAni turned me around. The other updates in mid-late April (especially airing the TV series AGAIN on AT-X) helped push me further into hopefulness. From assembling these facts and some thoughts my desire was to help give others hope like I've received.
(Puyo has tweeted more pictures of later novel characters lately, but that's likely unrelated to anything. I'd be remiss if I didn't mention it though.)
|2012-05-18, 22:25
|Link #183
Join Date: Sep 2011
Location: Brazil
Age: 32
|2012-05-18, 22:44
|Link #184
|2012-05-19, 10:49
|Link #185
Join Date: Sep 2011
Location: Brazil
Age: 32
|2012-05-20, 10:25
|Link #186
Join Date: Apr 2009
Location: I'm right behind you
Age: 36
Yuko "Mikuru" Goto will be taking at least 2.5 months off due to an autoimmune disorder.
As someone mentioned below, this probably won't affect any possible future Haruhi seasons since there doesn't seem to be anything scheduled at the moment, but I still hope she gets well (and that Hidamari Sketch and the upcoming Madoka movies aren't affected).
But sheesh, is the Haruhi franchise under some kind of curse? First Aya, now Yuko...
|2012-06-24, 19:53
|Link #187
Senior Member
Join Date: Jul 2006
If you want fuel for speculation on how "Sliders" may be treated by Mr. Tanigawa, Terry Pratchett and Stephen Baxter have coauthored a new book called "The Long Earth". In it, people of the 2000s find plans for a very simple potato-powered device which can empower the user to travel along a chain of parallel Earths, nearly all of which are uninhabited and undeveloped. The societal implications of the sudden appearance of an infinitely vast frontier are explored. The rules of "stepping" (or "sliding", if you will) are consistent and progressively revealed throughout the novel. For example, iron cannot be transported from world to world. Also, "stepping" is easier on geologically stable surfaces. Also, no one knows why stepping is possible, how it exactly meshes with physics, or what was the cause of it.
I am about 3/4 through the book and I must say: Koizumi and Kyon fans will be pleased to see similar characters at the center of the story (read: plenty of analytical scientific speculations tempered by wry sarcasm / obscure references).
Of course, as far as I know, Mr. Tanigawa knows nothing of this new book. I only mention it since the ideas in The Long Earth resonate with my own ideas of how "sliders" can appear in the Haruhi universe.
|2012-07-10, 13:10
|Link #190
Senior Member
Join Date: Jul 2006
|2012-07-10, 18:01
|Link #192
|2012-07-10, 18:50
|Link #193
Join Date: Jul 2012
Ah, did not know that.
I wasn't referring to the Novel's, though- I love those, and have all the translated one's released thus far. I just haven't gotten around to the Anime, but I heard about E8, and just thought that it must reflect pretty poorly on the director, or the series as a whole to someone going in to it... Then again, can't really argue with sales- so long as Haruhiism is going strong, I've no complaints.
|2012-07-10, 20:51
|Link #194
May not lead to anything, but Itou just tweeted that she had a meeting with the "Haruhi team." Perhaps something is in the works? (speculation)
Edit: A follow up tweet said not to read too much into it. There wasn't anything substantial being discussed. We'll have to wait and see if that's true or not.
|2012-07-11, 04:03
|Link #195
Senior Member
Join Date: May 2011
Sales aside, when a team has to apologize to the fanbase in such a large scale, they might want to refrain from ever touching the project again. But this is just me being pessimistic. When I'm optimistic, I can clearly see more Haruhi in the future.
But then again, Gotou Yuuko is sick with an Autoimmune disease...
Also, what a dick (umn...) move to first announce a Haruhi staff meeting and then telling everyone "You think so, but... No"
Thanks for the information anyway.
|2012-07-11, 06:41
|Link #196
The 2009/09 issue of Newtype had a feature on Endless Eight and had staff members talking about their "summer vacation," but it's not been translated, so an apology there could be a possibility however unlikely.
|2012-07-16, 19:41
|Link #197
disregard that (″°-°)ﺩ-
Call me ye of little faith, but I don't have much hope for this franchise. It makes me sad.
It's been two years since the movie came out in Japan, and there has not been any announcement for renewal. Just speculation. :\
Another interesting statistic is that I haven't posted on this forum in two years.
|2012-07-18, 11:41
|Link #199
That fall, they begin promotion of the Haruhi-chan anime. In January 2009, the February 2009 edition of Newtype announces that the next issue will have news about the Haruhi anime. That turns out to be an announcement that it will be "re-aired" starting in April 2009. The March edition also gives the story the 2006 copyright and an image from the 2006 series drawn by Ikeda.
Ignoring the fact that the 2009 broadcast wasn't a "second season," the series never lost promotion for more than 6 months between 2007-2009. The whole "it was barely promoted" has been said amongst English-fans, who don't read these magazines and weren't told as quickly as they are now via 2ch blogs.
|Thread Tools


text:
Dick Casey, the Newport town manager, said he is retiring after six years of service with the town effective July 1.
Dick Casey, the Newport town manager, said he is retiring after six years of service with the town effective July 1.
The retired Air Force brigadier general put his experience to work on the civilian side with municipal government work and has been with the town since April 2007.
Now, he said, is a good time for fresh leadership for the town and staff.
"It�s time for a change in perspective," he said.
But Casey said there are still projects he wants to see through, and he wants to get the town through the budget process before he departs. Budgets for the 2013-14 fiscal year must be adopted by the end of June.
"What I told the council in my notice is that I want to see the budget through. That�s one reason. The other reason (for the July 1 departure) is that I want to give some time for transition," he said.
Of the projects before the town, Casey said he wants to see the bid awarded for the expansion of the town�s sewer treatment plant.
"That�s been proceeding on track and the award of the bid is the next big part of that project," he said.
Once the bid is awarded, construction can start.
Casey announced his plans to retire Friday, the same day that the firing of Newport Fire Chief Drummond Figg took place.
He said the two were not related.
Figg had served as chief for four years.
"A committee of citizens was formed by the town council to look into fire department operations after they heard that things were not going as smoothly as they could," Casey said.
Casey said that the committee concluded that there were problems within the department and that Figg did not have the leadership skills to resolve them. Casey said his decision to fire Figg was based on the findings of the committee.
Casey said he�ll soon begin advertising the vacant position. Assistant Chief Kane Johnson has agreed to take on the chief�s duties until a new chief is hired.


text:
The feud between Time Warner Cable and CBS recently entered its fourth week, prompting Time Warner to take the unusual step of offering customers in Los Angeles and other blacked-out cities a free indoor TV antenna.
Free stuff! Woo-hoo!!
Oh, wait. The offer wouldn't restore the (comparative) bliss subscribers enjoyed before the Aug. 2 blackout because a) an antenna can't tune in Showtime; b) it won't help people who live outside the effective broadcasting range of the local CBS-owned stations; c) the antenna won't work with Time Warner's DVRs; and d) the offer is good for only one antenna (or coupon to purchase one at BestBuy), which means it will bring CBS to only one TV at a time.
Plus, antennas don't go well with most living rooms' decor.
I write all this as someone with three antennas currently in use inside my home -- one attached to each of our two TVs and another connected to the computer that acts as our DVR. So I'm a big fan of antennas. I'm also (ahem) well outside the mainstream among TV viewers.
Nevertheless, Time Warner's move strikes me as risky because it invites people to go back to the future. By hooking up a pair of rabbit ears, many people will get their first glimpse at home of free TV in glorious high definition. Over-the-air HDTV is an impressive sight, provided you can tune it in.
And once people see that, they might just explore how much they could find from sources other than conventional pay-TV providers. For less than what they might spend on a month of cable, they could invest in a Roku box or an Internet-capable Blu-ray disc player that gives them access to a wide assortment of programming on demand. Or they could connect a PC with a built-in TV tuner card to their TV to act as a combination Internet portal and DVR.
Granted, much of the best stuff online carries a price tag, but it's possible to put together a hefty package of programming for far less than $50 a month.
But what do you think about Time Warner Cable's offer? Take our not remotely scientific poll, leave a comment or do both.
Would you take a free TV antenna from Time Warner Cable?
U.S., China and an unthinkable war
Enough with the phony 'red line' on chemical weapons in Syria
Follow Jon Healey on Twitter @jcahealey and Google+


text:
Hal Leonard Beyond The Chops: Groove Musicality & Technique with Aaron Spears (2-DVD Set)
Sku #502771000000000
Hal Leonard
Drum Set Instruction
- Write a Review
45 day price guarantee, 45 day return policy, 100% secure shopping
Showcases the rising star's phenomenal drumming that has been described as "beyond category."
Beyond the Chops: Groove Musicality & Technique is a 2-disc, 3-hour program offering amazing performances, insightful drum lessons and interviews with Aaron Spears. His natural talent, deliciously fat grooves, and incredible drumming skills are showcased in a set of spectacular performances with Gospel, R&B, Motown, rock, shuffle, and odd-meter tracks. The Beyond The Chops instructional DVD provides an in-depth look at Aaron's exceptional skills at combining a wide range of musical genres and influences into a seamless, powerful style of drumming that has placed him among the elite drummers emerging in the 21st century.
Following his blazing performance segments, Aaron hosts a Q&A session in front of a master class and then sits down with drumming icon Jojo Mayer for a candid interview covering everything from his Gospel roots to his recent work with Usher, the Backstreet Boys, and the American Idol Tour.
Aaron also provides a tutorial on the unique rhythmic vocabulary he has created with many of the grooves and fills transcribed in an accompanying 21-page printable eBook. For additional lesson support, the DVD also includes a special sub-menu that connects each notated exercise in the eBook directly to the video example it supports.
Special features in Beyond the Chops include slow-motion replays, behind-the-scenes footage, interviews with the Hudson team, and archival footage of Aaron's early days as a developing player.
- 2 disk DVD set
- Uncompressed PCM stereo audio
- Includes 21 page printable eBook
- 3 hour 7 minute running time


text:
Start Slideshow
- Fargo House Dennis MaherArchitect and artist Dennis Maher has transformed his Buffalo home, called Fargo House, into a fantastical mini museum of tableaus, all made from recycled materials and found objects. For the past three years, Maher has been collecting props, ephemera, cast off toys, old furniture and other disused materials from thrift stores, garage sales and trash sites, and used these elements to create imaginary landscapes in each of his rooms.1
- Fargo House Dennis MaherMaher is the current artist-in-residence at Buffalo's Albright-Knox Art Gallery, the city's main art museum.2
- Fargo House Dennis MaherAlso an assistant professor of architecture, Maher has dedicated his artistic side to salvaging lost treasures, and giving them new life.3
- Fargo House Dennis MaherThe artist has spent countless hours scavenging thrift stores, flea markets and estate sales for forgotten cultural valuables to add to his ever growing installations.4
- Fargo House Dennis MaherHis home resembles one giant cabinet of curiosities, lines are blurred between form and function, with furniture, walls and objects melded together in one cohesive category. With a focus on model shelters- like old doll houses, bird cages, jewelry boxes and the like, Maher creates dioramas that when built up, become the fabric of the house, moving from item on display to part of the interior architecture.5
- Fargo House Dennis MaherThe living and ever changing home-cum-art installation is a commentary on both consumer and throw away culture, as the artist feels the need to accumulate more and more, from second hand outlets that thrive on selling cultural cast offs.6
- Fargo House Dennis MaherOpening this past weekend, Maher's conglomerations were extended to the museum, to Albright-Knox. In an exhibition called "House of Collective Repair," the artist puts his fascination on accumulation on display, inviting visitors to revisit familiar objects from their past, held together and presented in a new way.7


text:
|Photo by Suresh Kumar - Butterfly Photography
Dragonflies eat mosquitoes. This is a fact that everyone should know. Incredibley fast and manuverable, the dragonfly is the eloquent carnivor of my choice. One researcher found a speed of 97 km/h, wow! They lay their eggs amoungst reeds and lillies in ponds and water holes. The eggs hatch into larvea that emerge from the water to begin the adult life as an insect hunter. No wonder I always saw dozens flying around early mornings and at dusk when the mosquitoes are on the lookout for some grub.


text:
Something I have observed...
There are two types of Sensei -- those who have something to prove and those who are the proof.
I am extremely fortunate to know many fine Sensei who are living proof of the value of Karate in forming a refined character, shaping a strong and healthy body, and creating true Karate gentlemen (bushi).
I also have met some instructors who always seem to have something to prove.
We are the proof of what we do and stand for. Sensei can only teach by their example.
Charles C. Goodin
Prove and Proof
Something I have observed...
Posted by Charles C. Goodin on Thursday, March 13, 2008


text:
posted by Thom Holwerda on Mon 18th Jun 2012 20:54 UTC
JLG (we can suffice with his initials on OSNews, right?): "Nokia, once the emperor of mobile phones, shipping more than 100 million devices per quarter, is now in a tailspin, probably irrecoverable, taking its employees into the ground. And there is Nokia's chosen partner, Microsoft. What will Nokia's failure do to its future? Ballmer knows Microsoft can't be relegated to a inconsequential role in the smartphone wars. Will this lead to Microsoft going 'vertical', that is buying Nokia's smartphone business and become an vertically player, as it already is in its Xbox business?" Microsoft will eventually buy Nokia's smartphone business. I mean, it's not as if they have any other serious WP7 OEMs they can piss off with such a move.


text:
Mutual trust as a basis for Sustainable Development
In recent years development projects in Tajikistan were performed through tender procedures and the contractor was then selected by the donor. This process usually results in the implementation of projects that not necessarily tackle acute development problems of the population and do not empower nor strengthen the role of the authorities in the local economic development.
- Trust fund mechanism ensures direct and effective use of donor funds
- Local population is the direct beneficiary of funds, the local authorities are responsible for project initiation, monitoring and evaluation
- Increased trust between the local authorities, public and private sector
Malika Nazarova, Deputy Head of Kanibadam district, who is responsible for economic and trade issues, says, "In spite of the fact that Kanibadam district belongs to one of the developed districts in the country, still the district suffers from lack of financial resources for implementation of socio-economic projects for local development. The international community and business sector implement local projects that bring in quick results, but don't consider ecological and gender aspects. We clearly understand the need to improve the system of local governance and enhance its role in the promotion of local development".
To make sure, that development money reaches those projects that address the needs of the local population, a trust fund was established to finance the priorities identified in the District Development Programmes and sub-district development plans aimed at improving welfare and sustainable economic development. The UNDP Trust Fund (through the Rural Growth Programme) worked closely with the executive body of the State of Sogd oblast and 14 districts. For the first time, development partners have channeled funds directly to the budgets of the districts, and the execution of projects was organized through local authorities on the basis of existing state procurement procedures. The local population has become the direct beneficiary of funds and the local authorities are responsible for project initiation, monitoring and evaluation. One focus of rural development programmes is to assist in improving the processes of local development planning and its implementation.
Donor funds along with other contributions from regional and district budgets as well as local communities were distributed among 14 districts to finance 64 projects designed to address the most significant economic priorities, including rebuilding irrigation systems, rehabilitation of wells and canals, building utilities, establishing greenhouses, restoration of road bridges and other important projects for local economic development.
One such implemented project was the channel rehabilitation in Kanibadam district. In very short time, work has been undertaken to restore 9 km of the irrigation channel that was in a sorry state. The channel was not cleared for more than 30 years, was filled almost to the brim with silt and was unsuitable for use. The project budget was provided through the created Trust Fund. After reconstruction, the channel started to provide irrigation water for over 1,500 hectares of farmland and for the farm population in Kanibadam district. As a result of this improvement, a significant increase in crop is expected, creating employment opportunities for the local population, as well as increasing tax revenues for the local budget.
"The implementation of the channel rehabilitation enhances the cropping and production capacities of our lands. This was very important, as most of us are involved in the agricultural sector and this is the only source of income for many households. Also, this experience has demonstrated the great power of joint cooperation as the contribution of local population was not less than other partners of the project, out of 247,774 somoni (52,053 USD), almost half was contributed by the local population and dehkan farms. The implementation of this project has increased trust between the local authorities, public and private sector", says the Head of Jamoat Puloton, Sharipov B.
With the successful implementation of the trust fund mechanism, real possibilities arise in addressing socio-economic development at the local level through direct and effective use of donor funds. In addition, a trust fund can serve as an example of effective cooperation between donor organizations and local authorities, which is aimed at sustainable development and improvement of the well-being of the population.
The purpose of the Rural Growth Programme is to create conditions for economic growth, strengthening the role of the authorities in local economic development, creating conditions for the development of the private sector and expanding opportunities for increased income and employment opportunities in the region, including for women and vulnerable groups.


text:
About BluEarth
BluEarth Asset Management ("BEAM") is a subsidiary of BluEarth Renewables Inc. ("BluEarth"), accountable for operations and maintenance of BluEarth's renewable energy facilities. BluEarth is a private company focused upon commercial-scale renewable energy development and operation. As an independent renewable power producer, our goal is to build, own, and operate sustainable wind, water, and solar generation projects. At BluEarth, we are developing and building a portfolio of energy projects that optimizes people, planet, and profits. We have The Power to Change the Future TM.
Our foundational values are:
- Integrity
- Responsibility
- Passion
- Deliberateness
- Caring.
Our organizational values are:
- Sustainability
- Innovation
- Excellence
Position Title
Wind Technician
Southern Ontario – near Grand Valley & Seaforth
Reporting Relationships
- Reports directly to the Site Supervisor.
Accountabilities and Key Functions
This position will be accountable for supporting the safe and efficient operation and maintenance of the wind facilities; working with the Site Supervisor to ensure safety, environmental, production and annual budget targets are achieved.
Key Operations functions include:
- Perform scheduled and unscheduled maintenance, troubleshooting and repairs of wind turbine subassemblies and related components.
- Operate and care for company property and equipment in an efficient and safe manner;
- Perform status checks including clearing error codes on wind turbines and repairing the problem;
- Grease/torque wind turbines;
- Change gearbox oil in a designated area or wind field;
- Replace mechanical components;
- Service blade and hub components as required;
- Inspect and facilitate maintenance of collector electrical equipment, communications systems, access roads, gates and other site infrastructure
- Complete work orders, time cards and other paperwork when required for specific project or assignment;
- Maintain respectful and harmonious working relationships with all external stakeholders on behalf of BEAM and the owners;
- Providing operational support to sites across Canada including covering Wind Technicians during absences, as required;
- Upholds all aspects of BEAM's Environmental, Health, & Safety policies, practices, and programs;
- Uphold the company's core values;
- All other duties as assigned by the supervisor.
Key Success Factors
- Assist in operating the facility while maintaining zero environmental, health and safety incidents and/or occurrences;
- Assist in operating the facility to achieve greater than 98% availability, and maximizing project return while respecting approved budgets;
- Work effectively and efficiently in a team environment;
- Maintaining key relationships with landowners, stakeholders and agencies.
- Wind Turbine Technician certificate, Technical Diploma or Trade Certificate in Mechanical or Electrical;
- Other equivalent combinations of directly related post-secondary education and directly related experience may be considered.
- Minimum two years of Wind Power experience preferred;
- Experience working around high, medium, and low voltage equipment;
Personal Characteristics & Skills
- Ability to read and interpret documents such as safety regulations, and operations, service and other procedural manuals;
- Ability to read and understand electrical and hydraulic schematics;
- Familiarity and competency with industry standard SCADA systems and software;
- Excellent troubleshooting skills for both electrical and mechanical systems;
- Familiarity with testing and troubleshooting equipment such as multimeters, voltage testers, etc.;
- Driven to succeed in the role and grow skills to a senior level;
- Good communication skills, both verbal and written, with ability to write routine reports and correspondence;
- Possess an action-oriented approach with a strong work ethic and high integrity;
- Strategic thinker – able to understand and evaluate technical issues in relation to the overall business;
- Able to work as part of a team with various personalities with limited supervision;
- Able to exercise independent judgement and discretion, as well as act in a professional manner when representing the company;
- Highly flexible and able to quickly adapt to changing priorities;
- Good sense of humour;
- Reliable, dependable and professional;
- Possess a sense of ownership and pride in successful operations.
Job Requirements
- Valid class 5 driver's license;
- Ability to occasionally travel within Canada to support operations at other sites;
- Familiarity with Microsoft Office product such as Excel, Power Point, and Outlook;
- Physically capable of working in various plant and field conditions, including climbing wind turbines, working at heights in excess of 300 feet, and working in variable and adverse weather conditions, as long as safe to do so;
- Ability to work a varying schedule including early mornings, late evenings, weekends and holidays, in addition to being on-call.