{% extends "base.html" %} {% block content %} {% load static %}
Our veteran groomers that have experience over twenty years. These three groomers below have worked with us since 2006.
Faye - Mobile groomer serving Gulfport, Treasure Island, St Petersburg Beach, Tierra Verde. She grooms toy dogs (up to 19lbs), small dogs (up to 29lbs), medium dogs (up to 39lbs), large dogs (up to 59lbs), and cats.
Laurence - Mobile groomer serving the same cities as Faye. She grooms toy dogs (up to 19lbs), small dogs (up to 29lbs), medium dogs (up to 39lbs), large dogs (up to 59lbs), and cats.
Jacki - Mobile groomer serving Pinellas Park and Kenneth City. She grooms toy dogs (up to 19lbs), small dogs (up to 29lbs), medium dogs (up to 39lbs), large dogs (up to 59lbs).
Aerial - Mobile groomer serving Tarpon Springs, Palm Harbor, Oldsmar, Safety Harbor, Clearwater, Largo, Seminole, and St Petersburg. She grooms toy dogs (up to 19lbs), small dogs (up to 29lbs), medium dogs (up to 39lbs), large dogs (up to 59lbs), and extra-large dogs (up to 100lbs).
Kim - Mobile groomer serving Clearwater, Largo, Seminole, Pinellas Park, Kenneth City, and St. Petersburg. She grooms toy dogs (up to 19lbs), small dogs (up to 29lbs), medium dogs (up to 39lbs), large dogs (up to 59lbs), and extra-large dogs (up to 100lbs).
 She’s been grooming professionally for over 22 years, and is exceptionally talented. She has a keen affinity for puppies … and does a great job with all the dogs she takes care of. She can sometimes be seen dancing with the dogs at her grooming station. She loves her work, and it shows. Pets at home: 4 Pekichu, an English Bulldog, a Chihuahua, and a Plots Hound.
Cathy - has been professionally grooming for over 30 years, and is a huge lover of all animals (on her farm, she has 32 pets… from dogs and cats to goats and chickens to miniature horses to full grown horses…). On any given day, you might find any of her animals inside her house (even the goats and horses!) enjoying a belly rub. She has a gentle touch and gives love to every dog she takes care of. Pets at home: 11 dogs, 1 cat, 24 chickens, goat, mini pig, 1 mini horse, 3 horses, wild turkeys, and beavers. And – she really wants to adopt a zebra.
Devin - grew up in her mom’s grooming shop in Charleston, and decided early in life that she wanted to help dogs look and feel better every day. For over 32 years, she’s done just that. She specializes in Golden Retrievers and special-needs dogs, but is experienced and talented with all breeds. Devin is detail oriented with a soft-touch and a playful disposition. And – dogs love her Pets at home: Wifi – Pit Beagle mix, Friday – Great Dane, Nacho Kitty – Maine Coon, and In Memoriam – Ipod – Great Dane lives in my heart


patients {border-style infection px;} #ffffff;} virus disease respiratory risk disease. transmission surgical include However, cause contact effective hepatitis infections infectious patient symptoms control hand healthcare high infection, needle px; shown spread {font-family asymptomatic clinical diseases font-size patients, testing vaccination active agents airborne double; host immunocompromised major measures occur patients. perioperative posttransplant precautions transmission. HIV HSV- MRSA acute antibody associated border-color border-width common dormant exposed healthy human likely lower occurs organisms primary prior reactivation remain solid; tract transmitted viruses {font-style {font-weight Infectious VRE blood bold chronic colonization courier; currently difficile disseminated em; exposure hepatitis, higher infected isolation mucosal normal particle percutaneous physical population precautions, presence prevention progression pt;} remains skin standard treatment upper use viruses, washing worker


Sunshine
Director: Danny Boyle. Writer: Alex Garland. Starring: Cillian Murphy, Rose Byrne, Cliff Curtis, Chris Evans, Michelle Yeoh. 2007.
I saw this weeks ago but never got around to a write-up, from which you might guess it was a little disappointing. Which is a tragedy, because the reason it was disappointing is that it has so much potential. It strives to do the right thing, exploring the psychological extremes felt by a crew of eight on a year-long mission to the Sun, the fate of the world on their shoulders. Aspiring to emulate Kubrick, both thematically and visually, it alludes to humankind's search for God, the character of Searle being driven over weeks to increase his exposure to the unfiltered ravages of the sun, until, when other characters are fried to a crisp outside the ship, he grabs the comm, frantically asking "Kaneda, what do you see? What do you see?"
 The inspirations drawn from 2001 and from 2002's Solaris shine brightly, but Sunshine doesn't come close to emerging from their shadow.
When things are brought to a head in the final third of the movie, it all descends into plain old slasher flick territory, utterly wasting the careful set-up of the earlier scenes. There's an interesting use of cinematographic blur and flicker, which retain the tension by never clearly showing what the remaining crew are up against, and also to my reading, serving as a palpable visible expression of the furious, searing madness that exudes from an individual who has spent far too much time in the sun.
Once all that is done, the final, final scene contains some redemption. But it's too little too late. I don't remember the last time I saw so many beautiful scenes, so terribly wasted.
Rating 5/10.
Update: I wish I could have put it as eloquently as this guy did.


This is a component that allows you to switch between editable-table-display and editable-table modes.
| Food | Enclosure | Contents | Orientation |
|---|---|---|---|
| Hamburger | one bun, split into two | meat, vegetables, cheese, and/or condiments | horizontal |
| Hoagie | one bun | meat, vegetables, cheese, and/or condiments | vertical |
| Hot Dog | one bun | meat, vegetables, cheese, and/or condiments | vertical |
| Hot Pocket | two crusts sealed together | meat, vegetables, cheese, and/or condiments | horizontal |
| Pie | two crusts sealed together | fruit or meat, vegetables, and/or cheese | horizontal |
| Taco | one shell | meat, vegetables, cheese, and/or condiments | vertical |


--- layout: default ---
Learn more
Understand the benefits of being a partners and process of becoming one. As well how to work as a partner.
Terms and Conditions for the end users, etc.


Best-Laid Plans
So, as promised here is the calendar that I put together for myself.
I created a spreadsheet using Google Sheets that works pretty dynamically. You can get a copy here.
There is a blurb on the spreadsheet explaining how to use it. If you have any questions or need help setting up the spreadsheet, please feel free to reach out. I'd be happy to walk you through it or even make the changes myself for you to make it easier.
Okay, now, you might be asking yourself, "Hey, what made him decide to do the things that he has listed there?" I’ll break down my thought process.
Projects
I need to rewrite my capstone project from my Bootcamp because we had some issues deploying on Heroku… because… Heroku…. While this isn’t the most exciting thing to be working on, it is REALLY important to have this deployed and working and in my portfolio. I am also trying to look at this as an opportunity to not only practice, but also learn Firebase for deployment. And, Firebase leads me into my next focus.
Learn Swift
Swift is a language that Apple developed for iOS. The reasons I want to learn Swift are pretty straight forward. Apple holds an immense market share and mobile development is so hot right now! On top of that, Firebase is great for hosting apps (as long as everything configured properly…). With all of that said, I have an idea for a mobile game that I’d like to build.
Also, a great resource to learn Swift can be found here.
Codewars
Something that always came up when we discussed outcomes during Bootcamp was having an online presence. Your GitHub tracks your activity, blogs track your activity, twitter tracks your activity and is an easy way to display what you’re working on/interested in, Linkedin and so many other things. But, Codewars is two fold. Codewars tracks your activity and gives you a score, it holds snippets of code you’ve written, and it gives you an opportunity to practice problems that you are more likely to face during interviews!
Job Search
This is pretty self-explanatory.
Final Thoughts
Now I have everything planned out. I have a list of things to do. I have GOALS! But, that is only one piece of this puzzle. The other piece is on me. I need to hold myself accountable to this schedule. I need to make sure that I follow it. I need to make sure that the hours I have listed are being worked.
So, how do you do that? Talk to people. Talk to family. Talk to friends. Talk to that dude/lady at the coffee shop or library you go to, to work and be like, “Hey, you’re here as often as me. This is what I’m working on, if you think about it, ask me how it’s coming along. I’m trying to find ways to hold myself accountable.”
I have already talked to my wife. I work regularly with a friend from bootcamp, and now I have you.


working since 2004 in development for web, i have acquire a considerable experience, work on various types of projects, endowed me skills that allow me to confidently approach any type of project.
I am a good mood person, who likes to share experience with colleagues in order to grow both professionally as well as personal.


SVG framework functions
This tutorial is part of Iconify SVG Framework tutorial.
Iconify SVG framework has many functions that you can use to use SVG framework in your scripts.
Usage
There are two ways of using SVG framework functions:
- By using Iconify global.
- By importing Iconify from @iconify/iconify@beta if you are bundling SVG framework with your scripts.
Examples of using loadIcons function:
<script src="https://code.iconify.design/2/2.0.0-rc.6/iconify.min.js"></script>
<script>
Iconify.loadIcons(['mdi:home'], () => {
console.log('Loaded home icon!');
});
</script>
import Iconify from '@iconify/iconify';
Iconify.loadIcons(['mdi:home'], () => {
console.log('Loaded home icon!');
});
Even if you use bundle (method shown in second example), Iconify global is also available because SVG framework exports functions and creates a global variable regardless of how you use it. That means you can use method shown in first example regardless of how you import SVG framework.
Functions
Functions are split in several groups:
- General functions.
- Getting icons.
- Adding icons.
- Rendering icons.
- Scanning and observing DOM.
- API functions.
- Internal API functions.
Click function name to see more details and examples.
General functions
In this section there is only one function:
- getVersion(). This function returns SVG framework version string. "2.0.0-rc.6"
Getting icons
There are several functions in this section:
- iconExists(name). Checks if an icon exists, returns boolean.
- listIcons(). Lists available icons, returns string[].
- getIcon(name). Returns icon data, returns IconifyIcon object.
Adding icons
Functions for adding icons to SVG framework:
- addIcon(). Adds one icon.
- addCollection(). Adds an icon set.
Note: icons added to SVG framework with these functions are not stored in cache. SVG framework caches only icons retrieved from API.
Rendering icons
Functions that generate SVG or data:
- renderSVG(name, customisations?). Creates <svg> element.
- renderHTML(name, customisations?). Returns <svg> string.
- renderIcon(name, customisations?). Generates data used by functions above. This can be used if you prefer to generate <svg> yourself. Data includes attributes for <svg> and inner HTML.
Scanning and observing DOM
SVG framework automatically scans DOM whenever something changes. However, there are some limitations:
- Observer can observe only child elements of document.body.
- SVG framework scans DOM after every change (though scans are throttled to avoid scanning too often).
In some instances you might want to temporarily disable observer or scan an element that is not part of DOM, such as Shadow DOM. There are functions that you can use:
- scan(root?). Scans DOM or custom element for placeholder elements.
- observe(root). Observes custom root element.
- stopObserving(root). Stops observing custom root element. You can call it with document.body as parameter to stop observing document.body.
- pauseObserver(root?). Pauses observer.
- resumeObserver(root?). Resumes observer.
Helper functions
Few helper functions that are exposed because they might be useful when creating things such as icon picker:
- calculateSize(). Helper function to calculates icon size. It is used to calculate width if only height is set and vice versa.
- replaceIDs(html). Randomizes IDs in generated string. This should be used when rendering icon based on data returned by renderIcon() or getIcon to make sure elements inside each icon have unique IDs. This function is not needed for icons generated by renderSVG() and renderHTML().
API functions
These functions are not available in module without API.
- loadIcons(icons, callback?). Loads icons from API, calls optional callback when either all or part of icons have been loaded.
- enableCache(). Enables caching in localStorage and sessionStorage.
- disableCache(). Disables caching in localStorage and sessionStorage.
- addAPIProvider(). Adds custom API provider. This is experimental function. API provider functionality is in development.
Internal API functions
There are several internal API functions that are exposed. They are intended to be used by implementations that want more control over SVG framework, such as Iconify Icon Finder. Use them carefully.
All internal API functions are exposed as properties of Iconify._api object and are available only when API is included:
- getAPI(). Returns internal API module.
- getAPIConfig(). Returns API configuration.
- setAPIModule(provider). Sets API module for provider. This is experimental function intended for custom API providers. API provider functionality is in development.


Betverse Partners in Asia
Betverse are delighted to announce several new partnerships in Asia.
Who is Betverse?
Developed by Hatchworks and powered by the DALP multi-million dollar liquidity pool, Betverse.io is a unique skills-based (regulated) betting website where users can bet real money on themselves in a range of popular mini, indie, and big-league games and earn as they play, level by level. It is unique in that users can also challenge their friends with customisable peer-to-peer (P2P) and team betting, or they can bet against the liquidity pool, on reaching certain milestones and levels. It is the world’s first online gaming community where the better you are, the more you earn.
New Partners in Asia
Led by the global head of business development for Betverse, Karen Yap, the team spent the last 2 weeks in Malaysia (at Level Up KL 2019), Japan, Indonesia and finally, Singapore. As a result, Betverse can announce the following partnerships.
Lion Fish Studios
Betverse will be partnering with Lion Fish studios who is a local games developer in Singapore. Games featured on Betverse for full-blown skills-based-betting will be Super Parcel Panic, Lion City Heroes and more that the studio will be developing for Betverse.
Benua Softworks
Furthermore, after successful meetings with the management team of Benua Softworks, an upcoming developer in Indonesia, a white-labelled version of Run Roll Rumble, Proto G and Drunken Alien will be integrated as well. This will bring multiplayer fighting and hack and slash games to the platform. Benua will also be providing game development services to Betverse gamers and community members.
Proto — G and upcoming Hack and Slash futuristic adventure by Indonesian developer Benua Softworks:
Run Roll Rumble is a multiplayer fighting game developed by Benua Softworks: https://youtu.be/HfRuZOLb780
Anoman Studio
The developer of Orbiz, the popular zombie survival shooter, shared their (Mr. Made Wira Aditya, CEO of Anoman Studio) concerns about the state of the industry as indie developers continue to struggle across the globe if not picked up by a prominent publisher. Although Orbiz managed to get thousands of paid downloads on Steam, Karen Yap stated “the opportunity to supplement existing ad or DLC based revenue streams through Betverse is monumental.” Orbiz will be integrated into Betverse (mobile version) for in-game betting next year. Anoman Studio will also be providing game development services to Betverse gamers and community members.
Orbiz is a single and multiplayer zombie-shooter game developed by Anoman Studio:
Rotten Mage
Karen additionally met Chiang Song Lim, the CEO of Rotten Mage, a local Singapore based indie developer behind the 8/10 Steam rated ‘Spacejacked’ side-scroller meets tower-defense game. It is available for Android, PS4 and Vita and Rotten Mage will feature Spacejacked on Betverse for in-game betting and develop titles for Betverse.
Spacejacked is a single and multiplayer zombie-shooter game developed by Rotten Mage: https://youtu.be/A_ymME57Ukw
All in all, the Betverse team estimates that owing to the integration of the abovementioned titles, the user base in terms of signups will receive a significant boost. “Across all to-be integrated titles, we estimate the user base to be in the 10–30,000 range”, calculated Karen.
Betverse is currently in closed beta and will be in open-beta later this year.
<EMAIL_ADDRESS>This is a paid-for submitted press release. CCN does not endorse, nor is responsible for any material included below and isn’t responsible for any damages or losses connected with any products or services mentioned in the press release. CCN urges readers to conduct their own research with due diligence into the company, product or service mentioned in the press release.


§ Player()
Constructor for the player.
sets the current life is the full life (3).
§ checkLoss()
| boolean model.Player.checkLoss |
( |
| ) |
|
checks whether the player loses the game or not
- Returns
- if a player's score is 0 (NOLIFE), return the true to indicate the player loses.
§ decrementLife()
| void model.Player.decrementLife |
( |
| ) |
|
loses score if the ball touches his/her border.
decreases the number of life by 1.
§ getScore()
| int model.Player.getScore |
( |
| ) |
|
gets the score of a player.
- Returns
- playerScore returns the score of the player.
§ resetScore()
| void model.Player.resetScore |
( |
| ) |
|
§ setScore()
| void model.Player.setScore |
( |
int |
x | ) |
|
sets the score of the player.
changes the score to the input value.
- Parameters
-
- Exceptions
-
| ArithmeticException | score could not be set less than zero |
§ LIFE
| final int model.Player.LIFE = 3 |
|
private |
Defines constant number of life of a player
- the player has 3 lives in total
- the player loses if the number of life is 0
§ NOLIFE
| final int model.Player.NOLIFE = 0 |
|
private |
§ score
Defines the current number of life of the player.
The documentation for this class was generated from the following file:


Environmentally Focused Ad Campaigns That Don’t Drag
by CHLOE and REI took one of the most inclusive, acts of artistry — drag — to advocate for the environment.
by Kaley RoshitshLast week, WWD held its inaugural Culture Conference to celebrate the power and influence of the LGBTQ community.
But other brands, such as outdoor apparel brand REI and vegan food chain by CHLOE, were joining arms with the community, to raise awareness in campaigns that debuted last week.
Wyn Wiley is a self-proclaimed “backcountry queen” on Instagram, presenting as Pattie Gonia when in drag, but both versions appeared in REI’s latest campaign in anticipation of Black Friday shopping.
For those unfamiliar with Pattie Gonia, she is an environmental advocate drag queen, raising awareness on issues such as plastics consumption, textile waste and other contributors to climate change.
Pattie Gonia even marched in the September global youth climate strike sporting white platform boots dotted with protest language and a sign that said, “Maybe if it was called ‘Father Nature,’ you’d give a s–t.”
In the “Dear Mother Nature” documentary, Wiley ventured to Hawaii to learn about the plastics crisis — speaking with scientists, nonprofit leaders, volunteers and working alongside sustainable fashion designer Angela Luna of the female-founded sustainable label ADIFF.
The three dress designs were later worn by Pattie Gonia in the “Everything We Lose” music video.
Separately, by CHLOE founder and creative director, Sam Wasser spoke to WWD about the (“a little bit cheeky”) “Chicky” ad campaign promoting the fast-casual vegan chicken alternative. The campaign starred popular drag artist West Dakota, with photography by fashion photographer Samantha Keller and a miniature vignette by artist Aleia Murawski.
In the past, Wasser enlisted the world’s greatest competitive eater, Takeru Kobayashi (who is also friends with West Dakota), to help with the launch of by CHLOE’s “Carrot Dog.”
Taking inspiration from boundary-pushing drag culture and with the aim to “showcase our values as a company,” by CHLOE alludes to its other inspiration — Chick-fil-A, although not overtly stated the campaign touts “inclusivity” and #OpenOnSundays as a means to lean into the plant-based alternative. (Although, Wasser clarified it’s not an “us versus them” conversation, and she doesn’t want diners to feel that way about exploring vegan food either.)
“Four to five years ago, vegan food didn’t feel as inclusive,” Wasser said. by CHLOE has an interesting take, not just in its ad campaigns, but its educational stance as far as the food sustainability movement goes.
Aside from compostable and recyclable materials in-store, Wasser mentioned the addition of “fun coloring books” so diners can engage with sustainability in an “approachable way,” (picture an avocado drawing with a small stat on the bottom of the page). She also mentioned new products rolling out in the new year to continue the momentum.
“As a whole, food has become so serious — and as it should be. But we do it in a way that’s fun and interesting,” Wasser reiterated.
For More WWD Sustainability News, See:
These 7 Fashion and Beauty Brands Are Doing Black Friday 2019 Differently
Teen Activists Rally Against Climate Change, ‘Cheap’ Fashion


Just wanted to say that I added an ADE7878A baseed design on the wiki.
http://www.analog.com/static/imported-files/data_sheets/ADE7854A_7858A_7868A_7878A.pdf
Read page 27 and forward of datasheet above to understand theory of operation and challenges in power measurments.
Project link
http://wiki.openenergymonitor.org/index.php?title=ADE7878A_rpi
/Nicholas
Datasheet
Re: Added an ADE7878A based design for rpi
I may be mis-reading your schematic, but it looks like you've tied your RPi GND to grid neutral? If that's true, the whole system, including the RPi needs to be considered potentially live.
[EDIT] P.S. Some of those voltage phase traces look very close together for signals that have 415V between them.
Re: Added an ADE7878A based design for rpi
It looks to me as if your design is very dangerous if not illegal within the EU. You need to consider what happens if the neutral becomes disconnected between the unit and the supply. If that happens, the entire unit and anything and everything connected to it could become live to the full line voltage.
In broad terms, to make your unit safe, you need a totally separate power supply for the metering IC, you need to add optical or transformer isolation in all the signal lines between it and the rest of the circuit, and that isolation needs to be good to the full test voltage, with the correct tracking distances between the high voltage and low voltage sides. And the whole high voltage side needs to enclosed in an earthed metal box or double-insulated.
RobP with his GIVMon has very clearly explained the difficulties in making a SAFE means of monitoring mains voltages.
Re: Added an ADE7878A based design for rpi
Correct, its not safe and its was not aimed to be in version 1.0
I don't claim to comply with any rules or regulation, nor do I sell this product to anyone.
Do not build the this in version 1.0 if you don't understand the risks.
Wait for updates, as version 1.0 is just a quick and dirty to get running with the software.
My goal now is not to comply with any safety regulations or discussion about safety or rules.
I want to see how good the ADE7878A is at measuring power and if it will be in harmony with my regular (from the power-company) meter in measuring power consumption. I also want to have this capability to load balance between phases and delay loads to avoid peaks.
If you want this isolated I can fix that, but I will not do it if no one wont use it.
Me personally don't need it. If others want to build this, fine I fix that.
I want some discussion bout the capabilities of the ADE7878 vs other home-brews.
Thanks
/Nicholas
Re: Added an ADE7878A based design for rpi
Here's the wiki link: http://wiki.openenergymonitor.org/index.php?title=ADE7878A_rpi
Thanks for adding.
I'm interested to see how this develops, have you built a prototype yet? I have not got experiance with the ADE7878A. What made you choose this chip over others?
Re: Added an ADE7878A based design for rpi
Thanks Glyn.
Happy to share if it can be of use for someone else.
PCB is under manufacturing, maybe 1-2 weeks away.
made by : https://oshpark.com/ (first try with this vendor)
Parts are in transit to my home.
ADE7878A chosen based on googling.
Part is readily available from mouser and digikey. Good documentation and app-note.
I wanted a side-kick chip for the PI that is dedicated and specialized on accurate poly phase power metering.
I did not want another CPU.
I already use pi for different measurements that goes into sql database and then reports/actions are generated from the database by other pi/computers. Also the PI has WLAN (over USB).
It will be an addition to my echo-system of measurement and control.
/Nicholas
Re: Added an ADE7878A based design for rpi
Design was removed from forum by request of moderators.
Re: Added an ADE7878A based design for rpi
Communication with device established.
8 / 16 / 32 read and writes functions created.
Init of device started just now.
C++ files available.
ADE7878A is an c++ object / class.
Compiled as shared library, .so file can be shared.
Re: Added an ADE7878A based design for rpi
Works like a charm now
3 phase.
accurate.
Re: Added an ADE7878A based design for rpi
Works like a charm now
Maybe, but the design has serious safety concerns as per the posts above, and therefore it is not supported or endorsed by this forum.
Paul - Moderator


Author: Mike Musgrove
Level: Intermediate
Technologies: EJB, BMT
Summary: The bmt
quickstart demonstrates Bean-Managed Transactions (BMT), showing how to manually manage transaction demarcation while accessing JPA entities.
Target Product: JBoss EAP
Source: https://github.com/jboss-developer/jboss-eap-quickstarts/
The bmt
quickstart demonstrates how to manually manage transaction demarcation while accessing JPA entities in Red Hat JBoss Enterprise Application Platform.
On occasion, the application developer requires finer grained control over the lifecycle of JTA transactions and JPA Entity Managers than the defaults provided by the Java EE container. This example shows how the developer can override these defaults and take control of aspects of the lifecycle of JPA and transactions.
When you run this example, you will be provided with a Use bean managed Entity Managers
checkbox. * If you check the checkbox, it shows the developer responsibilities when injecting an Entity Manager into a managed (stateless) bean. * If you uncheck the checkbox, shows the developer responsibilities when using JPA and transactions with an unmanaged component.
JBoss EAP ships with H2, an in-memory database written in Java. This example shows how to transactionally insert key value pairs into the H2 database and demonstrates the requirements on the developer with respect to the JPA Entity Manager.
Note: This quickstart uses the H2 database included with Red Hat JBoss Enterprise Application Platform 7.1. It is a lightweight, relational example datasource that is used for examples only. It is not robust or scalable, is not supported, and should NOT be used in a production environment!
Note: This quickstart uses a *-ds.xml
datasource configuration file for convenience and ease of database configuration. These files are deprecated in JBoss EAP and should not be used in a production environment. Instead, you should configure the datasource using the Management CLI or Management Console. Datasource configuration is documented in the Configuration Guide for Red Hat JBoss Enterprise Application Platform.
NOTE: A Java EE container is designed with robustness in mind, so you should carefully analyze the scalabiltiy, concurrency, and performance needs of your application before taking advantage of these techniques in your own applications.
The application this project produces is designed to be run on Red Hat JBoss Enterprise Application Platform 7.1 or later.
All you need to build this project is Java 8.0 (Java SDK 1.8) or later and Maven 3.3.1 or later. See Configure Maven for JBoss EAP 7.1 to make sure you are configured correctly for testing the quickstarts.
In the following instructions, replace EAP7_HOME
with the actual path to your JBoss EAP installation. The installation path is described in detail here: Use of EAP7_HOME and JBOSS_HOME Variables.
For Linux: EAP7_HOME/bin/standalone.sh
For Windows: EAP7_HOME\bin\standalone.bat
mvn clean install wildfly:deploy
This will deploy target/bmt.war
to the running instance of the server.
The application will be running at the following URL: http://localhost:8080/bmt/.
You will be presented with a simple form for adding key/value pairs and a checkbox to indicate whether the updates should be executed using an unmanaged component. Effectively this will run the transaction and JPA updates in the servlet, not session beans. If the box is checked then the updates will be executed within a session bean method.
Note: You will see the following warnings in the server log. You can ignore these warnings.
WFLYJCA0091: -ds.xml file deployments are deprecated. Support may be removed in a future version.
HHH000431: Unable to determine H2 database version, certain features may not work
mvn wildfly:undeploy
You can also start the server and deploy the quickstarts or run the Arquillian tests from Eclipse using JBoss tools. For general information about how to import a quickstart, add a JBoss EAP server, and build and deploy a quickstart, see Use JBoss Developer Studio or Eclipse to Run the Quickstarts.
If you want to debug the source code of any library in the project, run the following command to pull the source into your local repository. The IDE should then detect it.
mvn dependency:sources


| HADOOP-2958 |
Test utility no longer works in trunk |
Minor |
test |
Chris Douglas |
Chris Douglas |
| HADOOP-2931 |
exception in DFSClient.create: Stream closed |
Major |
. |
Michael Bieniosek |
Michael Bieniosek |
| HADOOP-2925 |
[HOD] Create mapred system directory using a naming convention that will avoid clashes in multi-user shared cluster scenario. |
Major |
contrib/hod |
Hemanth Yamijala |
Hemanth Yamijala |
| HADOOP-2915 |
mapred output files and directories should be created as the job submitter, not tasktracker or jobtracker |
Blocker |
. |
Tsz Wo Nicholas Sze |
Tsz Wo Nicholas Sze |
| HADOOP-2904 |
3 minor fixes in the rpc metrics area. |
Major |
. |
girish vaitheeswaran |
dhruba borthakur |
| HADOOP-2903 |
Data type mismatch exception raised from pushMetric |
Major |
metrics |
girish vaitheeswaran |
girish vaitheeswaran |
| HADOOP-2894 |
task trackers can't survive a job tracker bounce |
Blocker |
. |
Owen O'Malley |
Owen O'Malley |
| HADOOP-2883 |
Extensive write failures |
Blocker |
. |
Christian Kunz |
dhruba borthakur |
| HADOOP-2869 |
Deprecate and remove SequenceFile.setCompressionType |
Major |
. |
Arun C Murthy |
Arun C Murthy |
| HADOOP-2847 |
[HOD] Idle cluster cleanup does not work if the JobTracker becomes unresponsive to RPC calls |
Blocker |
contrib/hod |
Hemanth Yamijala |
Hemanth Yamijala |
| HADOOP-2843 |
mapred.join access control is overly restrictive |
Major |
. |
Chris Douglas |
Chris Douglas |
| HADOOP-2840 |
Gridmix test script fails to run java sort tests |
Major |
test |
Mukund Madhugiri |
Mukund Madhugiri |
| HADOOP-2814 |
NPE in datanode during TestDataTransferProtocol. |
Major |
. |
Raghu Angadi |
Raghu Angadi |
| HADOOP-2813 |
Unit test fails on Linux: org.apache.hadoop.fs.TestDU.testDU |
Blocker |
fs |
Mukund Madhugiri |
Mahadev konar |
| HADOOP-2811 |
method Counters.makeCompactString() does not insert separator char ',' between the counters of different groups. |
Critical |
. |
Runping Qi |
Runping Qi |
| HADOOP-2809 |
[HOD] Syslog configuration, syslog-address, does not work in HOD 0.4 |
Critical |
contrib/hod |
Hemanth Yamijala |
Vinod Kumar Vavilapalli |
| HADOOP-2808 |
FileUtil::copy ignores "overwrite" formal |
Major |
. |
Chris Douglas |
Chris Douglas |
| HADOOP-2789 |
Race condition in ipc.Server prevents responce being written back to client. |
Critical |
ipc |
Clint Morgan |
Raghu Angadi |
| HADOOP-2788 |
chgrp missing from hadoop dfs options |
Critical |
. |
Mukund Madhugiri |
Raghu Angadi |
| HADOOP-2787 |
The constant org.apache.hadoop.fs.permission.FsPermission.UMASK_LABEL should be "dfs.umask", instead of "hadoop.dfs.umask" |
Blocker |
. |
Tsz Wo Nicholas Sze |
Tsz Wo Nicholas Sze |
| HADOOP-2785 |
Typo in peridioc block verification patch |
Trivial |
. |
Raghu Angadi |
Raghu Angadi |
| HADOOP-2780 |
Socket receive buffer size on datanode too large |
Major |
. |
dhruba borthakur |
dhruba borthakur |
| HADOOP-2769 |
TestNNThroughputBenchmark should not used a fixed http port |
Major |
test |
Owen O'Malley |
Owen O'Malley |
| HADOOP-2766 |
[HOD] No way to set HADOOP_OPTS environment variable to the Hadoop daemons through HOD |
Critical |
contrib/hod |
Hemanth Yamijala |
Vinod Kumar Vavilapalli |
| HADOOP-2756 |
NPE in DFSClient in hbase under load |
Minor |
. |
stack |
Raghu Angadi |
| HADOOP-2754 |
Path filter for Local file system list .crc files |
Major |
. |
Amareshwari Sriramadasu |
Hairong Kuang |
| HADOOP-2733 |
Compiler warnings in TestClusterMapReduceTestCase and TestJobStatusPersistency |
Major |
test |
Konstantin Shvachko |
Tsz Wo Nicholas Sze |
| HADOOP-2725 |
Distcp truncates some files when copying |
Critical |
util |
Murtaza A. Basrai |
Tsz Wo Nicholas Sze |
| HADOOP-2716 |
Balancer should require superuser privilege |
Major |
. |
Tsz Wo Nicholas Sze |
Tsz Wo Nicholas Sze |
| HADOOP-2683 |
Provide a way to specifiy login out side an RPC |
Blocker |
. |
Raghu Angadi |
Tsz Wo Nicholas Sze |
| HADOOP-2391 |
Speculative Execution race condition with output paths |
Major |
. |
Dennis Kubes |
Amareshwari Sriramadasu |
| HADOOP-1188 |
processIOError() should update fstime file |
Blocker |
. |
Konstantin Shvachko |
Konstantin Shvachko |


M3 Components
M3 consists of 3 simple components, all purposefully designed for scale, reliability and efficiency.
-
Ingestion & streaming aggregation
Ingest and aggregate a stream of metrics with dynamic configuration
-
Timeseries Database
Purpose built time series database (M3DB) for better performance, reliability and consistent results
-
Real time query engine
Real time, highly performant and optimized query engine
History
Intro 2014
In 2014, following several years of battling a legacy metrics platform based on Graphite and WhisperDB, the Observability team at Uber began developing an open source metrics platform that would become known as M3. The goal of the project was to provide teams with a highly available and centralized metrics platform that could be easily integrated with existing tooling.
Storage
The first iteration of the storage layer featured Cassandra and ElasticSearch; however, as the ride-hailing business entered its hyper growth phase, the firefighting that had once plagued the team during the Graphite and WhisperDB years had resurfaced. The team then decided to build M3DB, a custom timeseries database with an embedded inverted index, from scratch which became the foundation of the platform. Over the course of about a year and a half, M3DB was developed and rolled out across Uber.
Learn moreQuery
OOMs and slow queries became a regular occurrence, which prevented teams from effectively monitoring their services. The new query engine, dubbed M3Query, takes advantage of the fact that M3DB stores data in highly compressed blocks, and decompresses the data client side one datapoint at a time while functions are lazily applied. These optimizations minimize network, compute and memory resources. The new query engine, which supports PromQL and the legacy Graphite language, gave teams an extremely fast and powerful way to gain insights into their metrics.
Learn moreIngestion
As the number of metrics being ingested skyrocketed, it became clear that there wasn’t a one-size-fits-all methodology when it came to data storage policies. Different teams wanted their metrics stored at different resolutions and retention periods. For example, infrastructure teams needed metrics stored at very high resolutions, but not for too long. Conversely, business teams didn’t need fine granularities, but wanted to retain data for much longer. The solution was a combination of two components, M3Coordinator and M3Aggregator, which work in tandem to ingest metrics and aggregate them in a highly customizable way all while providing high availability and efficiency.
Learn moreToday
Today, the M3 project is maintained by open source contributors around the globe, and is currently used by some of the largest enterprises in the world.
Governance & Proposals
The M3 Technical Steering Committee
-
@jimjag
Uber
-
@martin-mao
Chronosphere
-
@mway
Uber
-
@prateek
Uber
-
@robskillington
Chronosphere
How to Propose a Feature
If you are interested in proposing a feature for M3, click the link and follow the steps provided.
Propose Feature


{% extends "main.html" %} {% block content %}
Are you sure you want to delete this category and all its items?


Students take part in live dissection at Wolverhampton college
Students from Wolverhampton College have taken part in a live organ dissection show.
by Harriet EvansThe award-winning Operating Theatre Live is the UK's only public surgical experience and the demonstration came to the College's Paget Road campus on Wednesday.
50 students, who are studying for A Levels or BTEC diplomas in science, got hands-on in a dissection-based surgical workshop in a simulated operating theatre to further develop their knowledge of anatomy and physiology.
They donned their surgical scrubs to dissect real specimens, which are believed to be from pigs, including brains, spinal cords, eyes, hearts, lungs and diaphragm.
The workshop aims to challenge students and give those who are considering a career in medicine first-hand experience of a real operating theatre and they have been highly praised by professional staff at the NHS.
Claire Smallwood, aged 25, who is studying for the Level 3 diploma in applied forensic science said: " The practical activities connected to the the biology side of the course and taking part in the event has given me a taster of what working in forensics will be like."
The activities are all led by human anatomist Samuel Piri and his team of clinicians who recently featured on the BBC’s Dragons’ Den show.
He said: "I personally write the academic content and produce all of the activities myself.
"I and my team guarantee you a breath-taking, unforgettable trip through the human body like never before.
"Each student will leave stretched and challenged having made measurable progress against the science specification, we've got them all covered."
The in-depth sessions are aimed specifically at GCSE and A-Level students aged 14-19 or on access courses.
To book a place on one of the courses in 2020 visit the Operating Theatre Live website.


The Emerald City of Oz
by L. Frank Baum
Chapter 13: “How the General Talked to the King”
Additional Information
- Year Published: 1910
- Language: English
- Country of Origin: United States of America
- Source: Baum, L. F. (1910). The Emerald City of Oz. Chicago, IL: Reilly and Britton.
-
Readability:
- Flesch–Kincaid Level: 6.0
- Word Count: 1,258
- Genre: Fantasy
- ✎ Cite This
Downloads
When General Guph returned to the cavern of the Nome King his Majesty asked:
“Well, what luck? Will the Whimsies join us?”
“They will,” answered the General. “They will fight for us with all their strength and cunning.”
“Good!” exclaimed the King. “What reward did you promise them?”
“Your Majesty is to use the Magic Belt to give each Whimsie a large, fine head, in place of the small one he is now obliged to wear.”
“I agree to that,” said the King. “This is good news, Guph, and it makes me feel more certain of the conquest of Oz.”
“But I have other news for you,” announced the General.
“Good or bad?”
“Good, your Majesty.”
“Then I will hear it,” said the King, with interest.
“The Growleywogs will join us.”
“No!” cried the astonished King.
“Yes, indeed,” said the General. “I have their promise.”
“But what reward do they demand?” inquired the King, suspiciously, for he knew how greedy the Growleywogs were.
“They are to take a few of the Oz people for their slaves,” replied Guph. He did not think it necessary to tell Roquat that the Growleywogs demanded twenty thousand slaves. It would be time enough for that when Oz was conquered.
“A very reasonable request, I’m sure,” remarked the King. “I must congratulate you, Guph, upon the wonderful success of your journey.”
“But that is not all,” said the General, proudly.
The King seemed astonished. “Speak out, sir!” he commanded.
“I have seen the First and Foremost Phanfasm of the Mountain of Phantastico, and he will bring his people to assist us.”
“What!” cried the King. “The Phanfasms! You don’t mean it, Guph!”
“It is true,” declared the General, proudly.
The King became thoughtful, and his brows wrinkled.
“I’m afraid, Guph,” he said rather anxiously, “that the First and Foremost may prove as dangerous to us as to the Oz people. If he and his terrible band come down from the mountain they may take the notion to conquer the Nomes!”
“Pah! That is a foolish idea,” retorted Guph, irritably, but he knew in his heart that the King was right. “The First and Foremost is a particular friend of mine, and will do us no harm. Why, when I was there, he even invited me into his house.”
The General neglected to tell the King how he had been jerked into the hut of the First and Foremost by means of the brass hoop. So Roquat the Red looked at his General admiringly and said:
“You are a wonderful Nome, Guph. I’m sorry I did not make you my General before. But what reward did the First and Foremost demand?”
“Nothing at all,” answered Guph. “Even the Magic Belt itself could not add to his powers of sorcery. All the Phanfasms wish is to destroy the Oz people, who are good and happy. This pleasure will amply repay them for assisting us.”
“When will they come?” asked Roquat, half fearfully.
“When the tunnel is completed,” said the General.
“We are nearly halfway under the desert now,” announced the King; “and that is fast work, because the tunnel has to be drilled through solid rock. But after we have passed the desert it will not take us long to extend the tunnel to the walls of the Emerald City.”
“Well, whenever you are ready, we shall be joined by the Whimsies, the Growleywogs and the Phanfasms,” said Guph; “so the conquest of Oz is assured without a doubt.”
Again, the King seemed thoughtful.
“I’m almost sorry we did not undertake the conquest alone,” said he. “All of these allies are dangerous people, and they may demand more than you have promised them. It might have been better to have conquered Oz without any outside assistance.”
“We could not do it,” said the General, positively.
“Why not, Guph?”
“You know very well. You have had one experience with the Oz people, and they defeated you.”
“That was because they rolled eggs at us,” replied the King, with a shudder. “My Nomes cannot stand eggs, any more than I can myself. They are poison to all who live underground.”
“That is true enough,” agreed Guph.
“But we might have taken the Oz people by surprise, and conquered them before they had a chance to get any eggs. Our former defeat was due to the fact that the girl Dorothy had a Yellow Hen with her. I do not know what ever became of that hen, but I believe there are no hens at all in the Land of Oz, and so there could be no eggs there.”
“On the contrary,” said Guph, “there are now hundreds of chickens in Oz, and they lay heaps of those dangerous eggs. I met a goshawk on my way home, and the bird informed me that he had lately been to Oz to capture and devour some of the young chickens. But they are protected by magic, so the hawk did not get a single one of them.”
“That is a very bad report,” said the King, nervously. “Very bad, indeed. My Nomes are willing to fight, but they simply can’t face hen’s eggs—and I don’t blame them.”
“They won’t need to face them,” replied Guph. “I’m afraid of eggs myself, and don’t propose to take any chances of being poisoned by them. My plan is to send the Whimsies through the tunnel first, and then the Growleywogs and the Phanfasms. By the time we Nomes get there the eggs will all be used up, and we may then pursue and capture the inhabitants at our leisure.”
“Perhaps you are right,” returned the King, with a dismal sigh. “But I want it distinctly understood that I claim Ozma and Dorothy as my own prisoners. They are rather nice girls, and I do not intend to let any of those dreadful creatures hurt them, or make them their slaves. When I have captured them I will bring them here and transform them into china ornaments to stand on my mantle. They will look very pretty—Dorothy on one end of the mantle and Ozma on the other—and I shall take great care to see they are not broken when the maids dust them.”
“Very well, your Majesty. Do what you will with the girls for all I care. Now that our plans are arranged, and we have the three most powerful bands of evil spirits in the world to assist us, let us make haste to get the tunnel finished as soon as possible.”
“It will be ready in three days,” promised the King, and hurried away to inspect the work and see that the Nomes kept busy.


The answer to your question you'll find in this thread:
http://getbblog.com/viewtopic.php?f=2&t=795
I think BBLog will be added to MoH:W as well, but I can't say for sure though. No ETA*, that's for sure.
* If you don't know what
ETA
is, Google it, it never hurts to learn new things...


--- title: "Lab 5: Merging and hypothesis tests" linktitle: "Lab 5" date: "2020-10-14" due_date: "2020-10-19" due_time: "2:20 PM" menu: assignment: parent: Labs weight: 5 type: docs output: blogdown::html_page: toc: true editor_options: chunk_output_type: console ---
cps_2016.dta
labtemplate.do
Today we’re going to keep working with cps_2016.dta
, which
contains information from the 2016 Current Population Survey. We’re going to merge in county-level unemployment rates from the BLS
By the end of this lab, you should be able to complete the following tasks in Stata:
Import data from Excel
Merge data sets
Test hypotheses for linear combinations of coefficients
Test the general significance of a regression
| command | description |
|---|---|
| Importing data | |
import excel using “file1.xlsx”, firstrow clear |
Import the data set file1.xlsx from excel into Stata. The firstrow option tells Stata to use the first row as the variable name. The clear option tells Stata to erase any data already in the set |
| Identifying duplicates | |
duplicates list var1 var2 |
List any observations that are duplicates on the listed variables, var1 var2 , etc. |
duplicates tag var1 var2, gen(d1) |
Generate a new variable, d1 that indicates which variables are duplicates for var1 and var2 |
| Merging datasets | |
merge 1:1 var1 var2 using file2 |
Perform a one-to-one merge based on var1 and var2 . There cannot be any duplicates on the variables you are using to merge |
merge m:1 var1 var2 using file2 |
Perform a many-to-one merge based on var1 and var2 . There can be duplicate identifiers in the master data set (like if merging state data to individuals), but there should be no duplicates in the using data set |
| Converting between string and numeric variables | |
decode var1, gen(newvar) |
Take a numeric variable with labels and generate a new string variable that is equal to the values of those labels. (You can do the opposite with encode ). |
destring var1, replace |
Take a string variable, var1 and convert it to a numeric variable, replacing the old variable |
tostring var2, gen(string_var) |
Take a numeric variable, var2 and make it a string, but make that into a new variable called string_var |
| Statistical tests | |
test var1 = var2 |
Run after estimating a regression. Tests the null hypothesis that the coefficient on var1 equals the coefficient on var2 , against the two-sided alternative. |
testparm var1 var2 ... |
Run after estimating a regression. Tests the whether all listed variables, var1 , var2 , etc., are jointly equal to zero, against the two-sided alternative. |
This exercise works by having two data sets stored on your hard drive, then running a merge
command to unite them. You might notice that the workflow feels clunky and generates extra files - open a data set, save it, open another data set, then merge in the first data set.
You can use temporary files to speed things up! Basically, you can save files in your local memory, and call those files the same way we called local variables. Everything has to be run in the do-file for this to work.
A short example (you can paste this in a do-file and run it, as it uses Stata files) :
tempfile tempauto // Declare tempfile (needs to run before you try to save)
webuse autosize,clear
save `tempauto', replace // save to temp file t1
webuse autoexpense, clear
merge 1:1 make using `tempauto' // call tempfile
tab _merge // check out merge
list
Visit https://www.bls.gov/lau/tables.htm to access 2016 annual county-level annual unemployment rates.
Download the appropriate table.
Rename variables as needed, and delete any unnecessary cells. If you want your life to be easier, make the first row include your variable names, and then have the data start in second row.1
Save your revised file.
Open Stata, start a new do-file (or bring in a template). Make sure you add code to start (and end) a log.
Import your unemployment excel into Stata and save it as a data file, unemp.dta
.
Open cps_2016.dta
and restrict the sample to adults (age 18+).
Now, merge your unemployment data into cps_2016.dta
by county. This may not be smooth. A few tips:
The FIPS codes are in different formats between the two data sets. A county code like this “55083” contins a state part (55) and a county part (083).
You can convert a variable to and from a string using the commands destring var1,replace
and tostring var2,replace
, respecitvely.
You can concatenate string variables by adding them like this: gen newvar = string1 + string2
Determine whether you need a one-to-one or many-to-one merge.
You may get errors, and you’ll need to fix these to have a successful merge.
You’ve done it! Tabulate the new variable _merge
. What share of observations successfully merge?2
Drop any unmatched observations (you can use drop if
, as we’ll retain this restriction for the rest of the exercise.) What is the average unemployment rate for the entire sample - why would this be different than taking the average of county-level unemployment rates in your excel file?
Why can’t we use education as a linear variable?
Generate three dummy variables. These three variables should be mutually exclusive, and they should not be missing for any people.
lesshs
, a variable equal to one if a person completed less than a high school diploma
hsgrad
, a variable equal to one if a person completed at least a high school but less than a Bachelor’s degree
colgrad
, a variable equal to one if a person completed a Bachelor’s degree or higher
Note: Education is coded with labels, which means that it is numeric data with a description of what each number means on top. These show up as blue in the Stata browser. To view variables without the labels, add the no-label option:tab educ, nolabel
.
What is the mean of lesshs
, hsgrad
, and colgrad
?
Estimate a regression of total personal income on education, usingthe binary variables you just created. Omit lesshs
.
Set up a hypothesis test for whether both hsgrad
and colgrad
are jointly significant. Report the null hypothesis, alternative hypothesis, test statistic, and conclusion.
 Report the null hypothesis, alternative hypothesis, test statistic, and conclusion.
Is this regression significant overall? Explain how you know.
Now add county-level unemployment rate to the previous equation. What is the interpretation of the coefficient on unemployment? Is it statistically significant?
Estimate the same equation by regressing total personal income on the education binary variables and state-level unemployment, restricting to those who are currently in the labor force. How does this change the coefficient on unemployment?
Identify three state-level variables that are likely to cause omitted variable bias if you want to know whether unemployment affects individual wages.
For one of the variables you listed above, find the data online, import into Stata, and merge it in.
Regress total personal income on the education binary variables, state-level unemployment, and the new variable you found. Restrict your sample to those who are currently in the labor force. How does the inclusion of your new variable affect the coefficient on unemployment?


--- title: How to Use subtitle: Find out everything you need to know about creating carousels. layout: docs ---
Before you start using flexCarousel.js, make sure your web page is set up to the latest development standards. This means using the correct document declaration and including the responsive meta tag.
The majority of developers will already use box-sizing: border-box;
for their web pages, but in case the box-sizing
property isn't already set to the border-box
value, we have done this for you to ensure correct sizing of the carousel component. You shouldn't need to change this value.
The only dependency that flexCarousel.js has, is jQuery which you need to load before the plugin. After you have loaded both jQuery and flexCarousel.js, you need to initialize the plugin. We also support the slim version of jQuery which most developers prefer due to it's smaller file size.
A new version of flexCarousel.js built with pure JavaScript and no jQuery dependency is currently under development.
After setting up your webpage correctly, this is what your full HTML structure should look like to initialize flexCarousel.js. Note the order of the JavaScript files loaded, jQuery is loaded before the flexCarousel.js
file because the latter is a dependency of the former as explained above.
Only once you included jQuery and flexCarousel.js into your document can you successfully initialize the plugin. On a production server, we recommend adding this in a separate JavaScript file.
{% highlight html %}It's very easy to create a carousel with flexCarousel.js, the HTML you have to write could not be simpler. First you create a parent div
tag which acts as a selector for the carousel component. We recommend using a class name that does not use any other JavaScript or CSS.
Then you create as many slides for that carousel as you need by using the div
tag. So for three slides, you would create three child div
elements inside the parent element.
For example, if you were making a carousel for employees on your web page, it is recommended to use .employees-js
for your selector and all of the CSS styles would be for .employees
.
Everybody's codebase is different, so use flexCarousel.js in a way that suits you and your teams needs. Now that you have successfully initialized flexCarousel.js, feel free to start customising by checking out the options provided.


--- layout: post status: publish published: true title: Photos and Videos from the Event at Twenty author: display_name: Corey Fineran login: Corey email<EMAIL_ADDRESS>url: '' author_login: Corey author_email<EMAIL_ADDRESS>excerpt: "We would like to thank everyone that came down to Twenty on Tuesday to watch the Cubs and hang out with us. We had a great time and we were all flattered that 25 or 30 of you would spend the evening with us. If you haven't heard the podcast yet, definitely check it out and let your friends that are Cubs fans know about it. You can find it on the player on the side of the page or in the blog entry directly below this one. I have had many people tell us it was the most entertaining podcast we have done. So it would probably be a good one for people that haven't heard us before.\r\n\r\nThe Cubs had a rough night behind Zambrano and got shelled by the Nationals, but it seemed fitting considering how the season has gone. Below are pictures and videos. Click on \"read more\" to see everything.\r\n\r\n[caption id=\"attachment_1307\" align=\"aligncenter\" width=\"300\" caption=\"From left to right: Kurt, Ryan, Corey, Andy, Brian and Matt\"][/caption]\r\n\r\n" wordpress_id: 1300 wordpress_url: http://ivyenvy.com/?p=1300 date: '2009-08-30 20:57:53 +0000' date_gmt: '2009-08-31 02:57:53 +0000' categories: - Ivy Envy - Podcast tags: - Alfonso Soriano - Carlos Zambrano - Jim Hendry - Lou Piniella - Milton Bradley - Aaron Miles - Twenty Sports Grille - Washington Nationals comments: [] ---
We would like to thank everyone that came down to Twenty on Tuesday to watch the Cubs and hang out with us. We had a great time and we were all flattered that 25 or 30 of you would spend the evening with us. If you haven't heard the podcast yet, definitely check it out and let your friends that are Cubs fans know about it. You can find it on the player on the side of the page or in the blog entry directly below this one. I have had many people tell us it was the most entertaining podcast we have done. So it would probably be a good one for people that haven't heard us before.
The Cubs had a rough night behind Zambrano and got shelled by the Nationals, but it seemed fitting considering how the season has gone. Below are pictures and videos. Click on "read more" to see everything.
[caption id="attachment_1307" align="aligncenter" width="300" caption="From left to right: Kurt, Ryan, Corey, Andy, Brian and Matt"][/caption]
[caption id="attachment_1308" align="aligncenter" width="300" caption="It may appear as though I'm drinking some fancy drink, but that's just the glass that Twenty serves Amber Bock in."][/caption]
[caption id="attachment_1311" align="aligncenter" width="300" caption="Tony Tone from B100 steps in to award the winners of the drawing"][/caption]
We recognized the fact that the 2009 season has been very frustrating for Cubs fans and we felt everyone deserved the opportunity to take out their aggression. Twenty has a punching bag game that registers the strength of your punches. Everyone was given the opportunity to choose one of five Cubs personalities and we taped the faces of those people to the punching bag. Listen to the podcast for the results, but here are some videos.
[media id=1 width=400 height=320] [media id=2 width=400 height=320]


Please select a work item type from the dropdown to begin. If any work items are available, they will display with checkboxes next to them. Select one or more work items to map, then click Save.
Work item type


Monica Curtis
Sheppard Williams
Freida Bartlett
Bette Holden
User is active.
Lora Cote
Dickerson Parsons


This package contains blocks to combine and extract signals.
| Name | Description |
|---|---|
| Replicator | Signal replicator |
| IntegerReplicator | Integer signal replicator |
| BooleanReplicator | Boolean signal replicator |
| ExtractSignal | Extract signals from an input signal vector |
| Extractor | Extract scalar signal out of signal vector dependent on IntegerRealInput index |
| Multiplex | Multiplexer block for arbitrary number of input connectors |
| Multiplex2 | Multiplexer block for two input connectors |
| Multiplex3 | Multiplexer block for three input connectors |
| Multiplex4 | Multiplexer block for four input connectors |
| Multiplex5 | Multiplexer block for five input connectors |
| Multiplex6 | Multiplexer block for six input connectors |
| DeMultiplex | DeMultiplexer block for arbitrary number of output connectors |
| DeMultiplex2 | DeMultiplexer block for two output connectors |
| DeMultiplex3 | DeMultiplexer block for three output connectors |
| DeMultiplex4 | DeMultiplexer block for four output connectors |
| DeMultiplex5 | DeMultiplexer block for five output connectors |
| DeMultiplex6 | DeMultiplexer block for six output connectors |
| RealPassThrough | Pass a Real signal through without modification |
| IntegerPassThrough | Pass a Integer signal through without modification |
| BooleanPassThrough | Pass a Boolean signal through without modification |


You have devtools-save extension installed, but the mapping for source file paths is not configured. Visit options page to configure the extension.
devtools-save


Literature Review
A summary of ideas and findings from research in this field.
Digital Access & Digital Literacy
Revisiting the Digital Divide in Canada: the Impact of Demographic Factors on Access to the Internet, Level of Online Activity, and Social Networking Site Usage.
Micheal explores digital divide in terms of people having access to the internet and the online activity generated by people of different classes, communities and social groups. Author also talks about the changing definition of digital divide. In earlier years digital divide was whether a person or family had a connection to the internet or not and the quality of the connection. Nowadays digital divide refers more to the online activity generated by the different people or the ability to generate a certain amount of digital activity. The author has divided the digital activity in two groups. One group is surfing the web for information or entertainment while the other group who leverages Social Networking Services (SNS). The author for most part has emphasized on the group leveraging SNS in his research. The author studies the digital divide of leveraging connectivity on SNS based on gender. “According to a 2013 Pew Internet and American Life report on social networking, women are no longer more likely to use SNSs than men in the United States (Duggan, 2013). The gap in SNS use by gender is closing from a difference of 15% (68% of women and 53% of men) in 2010 to just 4% (74% of women and 70% of men) in 2013, which is a result that is no longer statistically significant.”[1] It also explores people having an internet connection and being able to generate digital activity based on income levels and the level of education a person has.
COVID-19 and Digital Inequalities: Reciprocal Impacts and Mitigation Strategies.
Beaunoyer examines specifically the impacts of the COVID-19 pandemic on existing digital inequalities. She shows that a lack of digital access cuts people off from access to services, especially during lockdown. Beaunoyer discusses how education being even more dependent on digital access disproportionately affects the children of lower-income households. She states: “Limited access to digital technologies generally implies limited access to services, resources, and information – and their potential benefits – and an altered pattern of access to the other determinants of health (Golder, Newman, Biedrzycki, & Baum, 2010)”. Some gaps in this research exist. It assumes that lower-income households will have slower access to the internet and fewer internet enabled devices. It is also not specific to Canada and doesn’t consider how students being in class in places like Ontario changes the availability of digital access. Lastly, it makes some predictions about long term effects of COVID-19, which we won’t be able to validate until many years from now.
School Closures and the Online Preparedness of Children During the COVID-19 Pandemic.
In his study, Frenette provides an analysis of how the academic performance/learning quality of K-12 school children is impacted by the nation-wide closure of schools in Canada due to the pandemic. He discusses the necessity of student access to online resources and internet-connected devices, and how lower-income families might struggle with accessing these resources. This research estimates the percentage of Canadian households with children under the age of 18 who have steady access to these learning tools, as compared to their household income. This article finds that while most Canadian households with children under 18 have internet access at home, there are fewer internet-enabled devices per household member in lower-income households. This could pose a disadvantage to children of lower-income families who are forced to learn in a fully remote setting. Some gaps in this research exist; the article doesn’t differentiate between online preparedness in cities as compared to suburbs. While this article was published in April, a lot has changed since then; the pandemic situation is unraveling every day and we have since seen some students head back to school while others stay at home to learn virtually. This phenomenon might change some of the impacts of online preparedness.
Home Learning During Lockdown
Learning During the Lockdown: Real-Time Data on Children’s Experiences during Home Learning
In this source, Alison explores the amount of time students are spending in online learning during the COVID-19 pandemic correlated with household income. The online study includes 4000 parent participants of children aged 4–15 between Wednesday 29 April and Tuesday 12 May 2020. The obvious limitation to this data is that it will skew towards families who have a higher level of digital literacy and access to the internet. As a result it may leave out families at the bottom level of income and digital access. Further, this study took place in April 2020, and much about the learning environment has changed since then, which could also affect the data. The study suggested a positive correlation between the income of a household and the child(ren) of that household’s time spent online learning: “Children in the highest-income fifth of families spend 5.8 hours a day on educational activities, over 75 minutes more than their peers in the poorest fifth of households (4.5 hours).” It also suggested a positive correlation between household income and engagement of parent in student learning.
The Impact of ‘Learning at Home’ on the Educational Outcomes of Vulnerable Children in Australia during the COVID-19 Pandemic.
Drane’s research examines the impact of the COVID-19 school closures in terms of how moving to online delivery of education impacts those students who are the most socially and financially disadvantaged in society. Her paper asks: How can we support their continued learning through this unprecedented time? This study brings up many interesting perspectives on different issues which may impact academic success in a remote environment, including the increase in mental health issues for vulnerable students due to extra family and financial stressors during this already stressful time. In examining the lowest quintile of household income, the article finds that vulnerable students are more likely to be disengaged, which can lead to lower academic and social outcomes. Students are more inclined to experience issues related to digital access, including a steady high-speed internet connection and the required devices, which severely impacts the ability to succeed at online learning from home. Children from lower-income households are more likely to be exposed to inappropriate material and cyberbullying online. By using this source we are making the assumption that the experience of children from lower-income households in Australia is similar to that of children in Canada, and that the impact of COVID-19 school closures on both populations are comparable. Although this article focuses on a different population I still believe it is useful to our project as it makes many important connections between a child’s socioeconomic status and their educational impact due to COVID-19. This paper made us wonder about the impact of socioeconomic status on a Canadian child’s digital literacy; how does a lack of digital literacy impact the child’s ability to learn effectively in an online setting?
Parent Supporting Learning at Home During the COVID-19 Pandemic
Greenlee explores parental support for learning at home for children 14 years and older during the COVID-19 pandemic in a Canadian context. It was an online survey that took place from June 9 to 22, 2020, and involved over 32,000 parents or guardians. It explores multiple demographics and how they correlate specifically to internet access and online activity. There are major limitations to this study. A large proportion of the participants in the study were women who possessed a bachelor's degree or higher. Since the survey was online, it skews the participants towards those who have digital access, omitting the most vulnerable groups. As a result, the findings reflect only the responses of those who completed the questionnaire and “cannot be generalized to the entire Canadian population.”[1] The findings indicate that the level of education of the parents had a positive correlation with the amount of structured academic activities their child participated in at home. In addition, it also found that the parents' level of education had a positive correlation with their level of concern in their child’s academic success.
References
Greenlee, Edith, and Alana Reid. “Parent Supporting Learning at Home During the COVID-19 Pandemic”. Statistics Canada, July 16, 2020.
Haight, Micheal, et al. “Revisiting the Digital Divide in Canada: the Impact of Demographic Factors on Access to the Internet, Level of Online Activity, and Social Networking Site Usage.” Information, Communication & Society 17, no 4 (2014): 503-519.
Frenette, Marc, et al. “School Closures and the Online Preparedness of Children During the COVID-19 Pandemic.” Economic Insights 202001, no 103 (2020): 1-11.
Andrew, Alison, et al. “Learning During the Lockdown: Real-Time Data on Children’s Experiences during Home Learning.” Institute for Fiscal Studies, (2020): 1-23. doi: 10.1920/BN.IFS.2020.BN0288.
Beaunoyer, Elisabeth, et al. “COVID-19 and Digital Inequalities: Reciprocal Impacts and Mitigation Strategies.” Computers in Human Behaviour 111, (2020): 1-9.
Drane, Catherine, et al. “The Impact of ‘Learning at Home’ on the Educational Outcomes of Vulnerable Children in Australia during the COVID-19 Pandemic.” National Centre for Student Equity in Higher Education, (2020): 1-17.


HBase is the Hadoop database. Use it when you need random, realtime read/write access to your Big Data. This project's goal is the hosting of very large tables -- billions of rows X millions of columns -- atop clusters of commodity hardware.
HBase is an open-source, distributed, versioned, column-oriented store modeled after Google' Bigtable: A Distributed Storage System for Structured by Chang et al. Just as Bigtable leverages the distributed data storage provided by the Google File System, HBase provides Bigtable-like capabilities on top of Hadoop. HBase includes:November 19th, Hadoop HUG in London is all about HBase
November 15-19th, Devoxx features HBase Training and multiple HBase presentations
October 12th, HBase-related presentations by core contributors and users at Hadoop World 2010
October 11th, HUG-NYC: HBase User Group NYC Edition (Night before Hadoop World)


This is Netstat 1.1.0.
This app displays the traffic amounted on the wifi, wan and bluetooth interfaces
during the current month (or current period, see below).
The day when the accounting period restarts can be tuned. Counters will be reset
to zero on that day. The default is to reset counters on the 1st of every month.
If your accounting period starts on 29th - 31th of a month, set it to 1.
You may also reset counters manually on the preferences screen. Be careful however,
traffic data cannot be restored after a reset.


import {{ '{' }} ModalService } from 'fundamental-ngx';
. Then inject the service into your component's
constructor with
private modalService: ModalService
. Then you'll need to call
this.modalService.open(modalName)
. Use
this.modalService.close()
to close the modal.
A reference to a component can be passed to the modal service open function, rather than passing a template reference variable.
The content component's inputs can be accessed through the instance
property on the modal reference object that is returned
by the modal service's open()
function.
Custom options can be passed as the second parameter of the open
function. Additionally, inputs can be set on the modal reference's instance
object.
The modal component heavily relies on the ModalService, which contains every active Modal instance. To create nested modals, the service has an array of modal component references.
It treats this array like a stack, adding new modals to the top and calling pop() when they are closed. For this reason, nested modals must be closed in the order they were first opened.


LogicLogic in Coq
Require Export MoreCoq.
Coq's built-in logic is very small: the only primitives are
Inductive definitions, universal quantification (∀), and
implication (→), while all the other familiar logical
connectives — conjunction, disjunction, negation, existential
quantification, even equality — can be encoded using just these.
This chapter explains the encodings and shows how the tactics
we've seen can be used to carry out standard forms of logical
reasoning involving these connectives.
Propositions
Check (3 = 3).
(* ===> Prop *)
Here is an example of an unprovable proposition:
Check (∀(n:nat), n = 2).
(* ===> Prop *)
Recall that Check asks Coq to tell us the type of the indicated
expression.
Proofs and Evidence
Lemma silly : 0 × 3 = 0.
Proof. reflexivity. Qed.
Proof. reflexivity. Qed.
Lemma silly : 0 × 3 = 0.
Proof. reflexivity. Qed.
We can see which proof term Coq constructs for a given Lemma by
using the Print directive:
Print silly.
(* ===> silly = eq_refl : 0 * 3 = 0 *)
Here, the eq_refl proof term witnesses the equality. (More on
equality later!)
Just as we can implement natural number multiplication as a
function:
mult : nat → nat → nat
The proof term for an implication P → Q is a function that
takes evidence for P as input and produces evidence for Q as its
output.
Implications are functions
Lemma silly_implication : (1 + 1) = 2 → 0 × 3 = 0.
Proof. intros H. reflexivity. Qed.
We can see that the proof term for the above lemma is indeed a
function:
Print silly_implication.
(* ===> silly_implication = fun _ : 1 + 1 = 2 => eq_refl
: 1 + 1 = 2 -> 0 * 3 = 0 *)
Defining propositions
- Typically, rules are defined inductively, just like any other
datatype.
- Sometimes a proposition is declared to be true without substantiating evidence. Such propositions are called axioms.
Conjunction (Logical "and")
Inductive and (P Q : Prop) : Prop :=
conj : P → Q → (and P Q).
The intuition behind this definition is simple: to
construct evidence for and P Q, we must provide evidence
for P and evidence for Q. More precisely:
Since we'll be using conjunction a lot, let's introduce a more
familiar-looking infix notation for it.
- conj p q can be taken as evidence for and P Q if p
is evidence for P and q is evidence for Q; and
- this is the only way to give evidence for and P Q — that is, if someone gives us evidence for and P Q, we know it must have the form conj p q, where p is evidence for P and q is evidence for Q.
Notation "P ∧ Q" := (and P Q) : type_scope.
(The type_scope annotation tells Coq that this notation
will be appearing in propositions, not values.)
Consider the "type" of the constructor conj:
Check conj.
(* ===> forall P Q : Prop, P -> Q -> P /\ Q *)
Notice that it takes 4 inputs — namely the propositions P
and Q and evidence for P and Q — and returns as output the
evidence of P ∧ Q.
"Introducing" conjunctions
Besides the elegance of building everything up from a tiny foundation, what's nice about defining conjunction this way is that we can prove statements involving conjunction using the tactics that we already know. For example, if the goal statement is a conjuction, we can prove it by applying the single constructor conj, which (as can be seen from the type of conj) solves the current goal and leaves the two parts of the conjunction as subgoals to be proved separately.Theorem and_example :
(0 = 0) ∧ (4 = mult 2 2).
Proof.
apply conj.
Case "left". reflexivity.
Case "right". reflexivity. Qed.
Just for convenience, we can use the tactic split as a shorthand for
apply conj.
Theorem and_example' :
(0 = 0) ∧ (4 = mult 2 2).
Proof.
split.
Case "left". reflexivity.
Case "right". reflexivity. Qed.
"Eliminating" conjunctions
Conversely, the destruct tactic can be used to take a conjunction hypothesis in the context, calculate what evidence must have been used to build it, and add variables representing this evidence to the proof context.Theorem proj1 : ∀P Q : Prop,
P ∧ Q → P.
Proof.
intros P Q H.
destruct H as [HP HQ].
apply HP. Qed.
Theorem proj2 : ∀P Q : Prop,
P ∧ Q → Q.
Proof.
(* FILL IN HERE *) Admitted.
P ∧ Q → Q.
Proof.
(* FILL IN HERE *) Admitted.
☐
Theorem and_commut : ∀P Q : Prop,
P ∧ Q → Q ∧ P.
Proof.
(* WORKED IN CLASS *)
intros P Q H.
destruct H as [HP HQ].
split.
Case "left". apply HQ.
Case "right". apply HP. Qed.
Exercise: 2 stars (and_assoc)
In the following proof, notice how the nested pattern in the destruct breaks the hypothesis H : P ∧ (Q ∧ R) down into HP: P, HQ : Q, and HR : R. Finish the proof from there:Theorem and_assoc : ∀P Q R : Prop,
P ∧ (Q ∧ R) → (P ∧ Q) ∧ R.
Proof.
intros P Q R H.
destruct H as [HP [HQ HR]].
(* FILL IN HERE *) Admitted.
☐
Definition iff (P Q : Prop) := (P → Q) ∧ (Q → P).
Notation "P ↔ Q" := (iff P Q)
(at level 95, no associativity)
: type_scope.
Theorem iff_implies : ∀P Q : Prop,
(P ↔ Q) → P → Q.
Proof.
intros P Q H.
destruct H as [HAB HBA]. apply HAB. Qed.
Theorem iff_sym : ∀P Q : Prop,
(P ↔ Q) → (Q ↔ P).
Proof.
(* WORKED IN CLASS *)
intros P Q H.
destruct H as [HAB HBA].
split.
Case "→". apply HBA.
Case "←". apply HAB. Qed.
Exercise: 1 star, optional (iff_properties)
Using the above proof that ↔ is symmetric (iff_sym) as a guide, prove that it is also reflexive and transitive.Theorem iff_refl : ∀P : Prop,
P ↔ P.
Proof.
(* FILL IN HERE *) Admitted.
Theorem iff_trans : ∀P Q R : Prop,
(P ↔ Q) → (Q ↔ R) → (P ↔ R).
Proof.
(* FILL IN HERE *) Admitted.
Hint: If you have an iff hypothesis in the context, you can use
inversion to break it into two separate implications. (Think
about why this works.) ☐
Some of Coq's tactics treat iff statements specially, thus
avoiding the need for some low-level manipulation when reasoning
with them. In particular, rewrite can be used with iff
statements, not just equalities.
Disjunction (Logical "or")
Implementing disjunction
Inductive or (P Q : Prop) : Prop :=
| or_introl : P → or P Q
| or_intror : Q → or P Q.
Notation "P ∨ Q" := (or P Q) : type_scope.
Consider the "type" of the constructor or_introl:
Check or_introl.
(* ===> forall P Q : Prop, P -> P \/ Q *)
It takes 3 inputs, namely the propositions P, Q and
evidence of P, and returns, as output, the evidence of P ∨ Q.
Next, look at the type of or_intror:
Check or_intror.
(* ===> forall P Q : Prop, Q -> P \/ Q *)
It is like or_introl but it requires evidence of Q
instead of evidence of P.
Intuitively, there are two ways of giving evidence for P ∨ Q:
- give evidence for P (and say that it is P you are giving
evidence for — this is the function of the or_introl
constructor), or
- give evidence for Q, tagged with the or_intror constructor.

Theorem or_commut : ∀P Q : Prop,
P ∨ Q → Q ∨ P.
Proof.
intros P Q H.
destruct H as [HP | HQ].
Case "left". apply or_intror. apply HP.
Case "right". apply or_introl. apply HQ. Qed.
From here on, we'll use the shorthand tactics left and right
in place of apply or_introl and apply or_intror.
Theorem or_commut' : ∀P Q : Prop,
P ∨ Q → Q ∨ P.
Proof.
intros P Q H.
destruct H as [HP | HQ].
Case "left". right. apply HP.
Case "right". left. apply HQ. Qed.
Theorem or_distributes_over_and_1 : ∀P Q R : Prop,
P ∨ (Q ∧ R) → (P ∨ Q) ∧ (P ∨ R).
Proof.
intros P Q R. intros H. destruct H as [HP | [HQ HR]].
Case "left". split.
SCase "left". left. apply HP.
SCase "right". left. apply HP.
Case "right". split.
SCase "left". right. apply HQ.
SCase "right". right. apply HR. Qed.
Theorem or_distributes_over_and_2 : ∀P Q R : Prop,
(P ∨ Q) ∧ (P ∨ R) → P ∨ (Q ∧ R).
Proof.
(* FILL IN HERE *) Admitted.
(P ∨ Q) ∧ (P ∨ R) → P ∨ (Q ∧ R).
Proof.
(* FILL IN HERE *) Admitted.
Theorem or_distributes_over_and : ∀P Q R : Prop,
P ∨ (Q ∧ R) ↔ (P ∨ Q) ∧ (P ∨ R).
Proof.
(* FILL IN HERE *) Admitted.
P ∨ (Q ∧ R) ↔ (P ∨ Q) ∧ (P ∨ R).
Proof.
(* FILL IN HERE *) Admitted.
☐
Relating ∧ and ∨ with andb and orb
Theorem andb_prop : ∀b c,
andb b c = true → b = true ∧ c = true.
Proof.
(* WORKED IN CLASS *)
intros b c H.
destruct b.
Case "b = true". destruct c.
SCase "c = true". apply conj. reflexivity. reflexivity.
SCase "c = false". inversion H.
Case "b = false". inversion H. Qed.
Theorem andb_true_intro : ∀b c,
b = true ∧ c = true → andb b c = true.
Proof.
(* WORKED IN CLASS *)
intros b c H.
destruct H.
rewrite H. rewrite H0. reflexivity. Qed.
Theorem andb_false : ∀b c,
andb b c = false → b = false ∨ c = false.
Proof.
(* FILL IN HERE *) Admitted.
andb b c = false → b = false ∨ c = false.
Proof.
(* FILL IN HERE *) Admitted.
Theorem orb_prop : ∀b c,
orb b c = true → b = true ∨ c = true.
Proof.
(* FILL IN HERE *) Admitted.
orb b c = true → b = true ∨ c = true.
Proof.
(* FILL IN HERE *) Admitted.
Theorem orb_false_elim : ∀b c,
orb b c = false → b = false ∧ c = false.
Proof.
(* FILL IN HERE *) Admitted.
orb b c = false → b = false ∧ c = false.
Proof.
(* FILL IN HERE *) Admitted.
☐
Falsehood
Inductive False : Prop := .
Intuition: False is a proposition for which there is no way
to give evidence.
Since False has no constructors, inverting an assumption
of type False always yields zero subgoals, allowing us to
immediately prove any goal.
Theorem False_implies_nonsense :
False → 2 + 2 = 5.
Proof.
intros contra.
inversion contra. Qed.
How does this work? The inversion tactic breaks contra into
each of its possible cases, and yields a subgoal for each case.
As contra is evidence for False, it has no possible cases,
hence, there are no possible subgoals and the proof is done.
Conversely, the only way to prove False is if there is already something nonsensical or contradictory in the context:
Theorem nonsense_implies_False :
2 + 2 = 5 → False.
Proof.
intros contra.
inversion contra. Qed.
Actually, since the proof of False_implies_nonsense
doesn't actually have anything to do with the specific nonsensical
thing being proved; it can easily be generalized to work for an
arbitrary P:
Theorem ex_falso_quodlibet : ∀(P:Prop),
False → P.
Proof.
(* WORKED IN CLASS *)
intros P contra.
inversion contra. Qed.
The Latin ex falso quodlibet means, literally, "from
falsehood follows whatever you please." This theorem is also
known as the principle of explosion.
Truth
Exercise: 2 stars, advanced (True)
Define True as another inductively defined proposition. (The intution is that True should be a proposition for which it is trivial to give evidence.)(* FILL IN HERE *)
☐
However, unlike False, which we'll use extensively, True is
used fairly rarely. By itself, it is trivial (and therefore
uninteresting) to prove as a goal, and it carries no useful
information as a hypothesis. But it can be useful when defining
complex Props using conditionals, or as a parameter to
higher-order Props.
Definition not (P:Prop) := P → False.
The intuition is that, if P is not true, then anything at
all (even False) follows from assuming P.
Notation "¬ x" := (not x) : type_scope.
Check not.
(* ===> Prop -> Prop *)
It takes a little practice to get used to working with
negation in Coq. Even though you can see perfectly well why
something is true, it can be a little hard at first to get things
into the right configuration so that Coq can see it! Here are
proofs of a few familiar facts about negation to get you warmed
up.
Theorem not_False :
¬ False.
Proof.
unfold not. intros H. inversion H. Qed.
Theorem contradiction_implies_anything : ∀P Q : Prop,
(P ∧ ¬P) → Q.
Proof.
(* WORKED IN CLASS *)
intros P Q H. destruct H as [HP HNA]. unfold not in HNA.
apply HNA in HP. inversion HP. Qed.
Theorem double_neg : ∀P : Prop,
P → ~~P.
Proof.
(* WORKED IN CLASS *)
intros P H. unfold not. intros G. apply G. apply H. Qed.
(P ∧ ¬P) → Q.
Proof.
(* WORKED IN CLASS *)
intros P Q H. destruct H as [HP HNA]. unfold not in HNA.
apply HNA in HP. inversion HP. Qed.
Theorem double_neg : ∀P : Prop,
P → ~~P.
Proof.
(* WORKED IN CLASS *)
intros P H. unfold not. intros G. apply G. apply H. Qed.
Exercise: 2 stars, advanced (double_neg_inf)
Write an informal proof of double_neg:☐
Exercise: 2 stars (contrapositive)
Theorem contrapositive : ∀P Q : Prop,
(P → Q) → (¬Q → ¬P).
Proof.
(* FILL IN HERE *) Admitted.
(P → Q) → (¬Q → ¬P).
Proof.
(* FILL IN HERE *) Admitted.
Theorem not_both_true_and_false : ∀P : Prop,
¬ (P ∧ ¬P).
Proof.
(* FILL IN HERE *) Admitted.
¬ (P ∧ ¬P).
Proof.
(* FILL IN HERE *) Admitted.
☐
Exercise: 1 star, advanced (informal_not_PNP)
Write an informal proof (in English) of the proposition ∀ P : Prop, ~(P ∧ ¬P).(* FILL IN HERE *)
☐
Constructive logic
Note that some theorems that are true in classical logic are not provable in Coq's (constructive) logic. E.g., let's look at how this proof gets stuck...Theorem classic_double_neg : ∀P : Prop,
~~P → P.
Proof.
(* WORKED IN CLASS *)
intros P H. unfold not in H.
(* But now what? There is no way to "invent" evidence for ¬P
from evidence for P. *)
Abort.
Exercise: 5 stars, advanced, optional (classical_axioms)
For those who like a challenge, here is an exercise taken from the Coq'Art book (p. 123). The following five statements are often considered as characterizations of classical logic (as opposed to constructive logic, which is what is "built in" to Coq). We can't prove them in Coq, but we can consistently add any one of them as an unproven axiom if we wish to work in classical logic. Prove that these five propositions are equivalent.Definition peirce := ∀P Q: Prop,
((P→Q)→P)→P.
Definition classic := ∀P:Prop,
~~P → P.
Definition excluded_middle := ∀P:Prop,
P ∨ ¬P.
Definition de_morgan_not_and_not := ∀P Q:Prop,
~(~P ∧ ¬Q) → P∨Q.
Definition implies_to_or := ∀P Q:Prop,
(P→Q) → (¬P∨Q).
(* FILL IN HERE *)
☐
Exercise: 3 stars (excluded_middle_irrefutable)
This theorem implies that it is always safe to add a decidability axiom (i.e. an instance of excluded middle) for any particular Prop P. Why? Because we cannot prove the negation of such an axiom; if we could, we would have both ¬ (P ∨ ¬P) and ¬ ¬ (P ∨ ¬P), a contradiction.Theorem excluded_middle_irrefutable: ∀(P:Prop), ¬ ¬ (P ∨ ¬ P).
Proof.
(* FILL IN HERE *) Admitted.
Notation "x ≠ y" := (¬ (x = y)) : type_scope.
Since inequality involves a negation, it again requires
a little practice to be able to work with it fluently. Here
is one very useful trick. If you are trying to prove a goal
that is nonsensical (e.g., the goal state is false = true),
apply the lemma ex_falso_quodlibet to change the goal to
False. This makes it easier to use assumptions of the form
¬P that are available in the context — in particular,
assumptions of the form x≠y.
Theorem not_false_then_true : ∀b : bool,
b ≠ false → b = true.
Proof.
intros b H. destruct b.
Case "b = true". reflexivity.
Case "b = false".
unfold not in H.
apply ex_falso_quodlibet.
apply H. reflexivity. Qed.
Theorem false_beq_nat : ∀n m : nat,
n ≠ m →
beq_nat n m = false.
Proof.
(* FILL IN HERE *) Admitted.
n ≠ m →
beq_nat n m = false.
Proof.
(* FILL IN HERE *) Admitted.
Theorem beq_nat_false : ∀n m,
beq_nat n m = false → n ≠ m.
Proof.
(* FILL IN HERE *) Admitted.
beq_nat n m = false → n ≠ m.
Proof.
(* FILL IN HERE *) Admitted.
☐


WELCOME!
Let's create your closet
Select a category.
-
Tops and Tees
Bottoms
Shoes
TOPS AND TEES
Type of Apparel
Tank Top
Cami
Blouse
T-Shirt
Shirt
Dress Shirt
Polo Shirt
Color:
What type of pattern does it have?
Brand:
Type of Sleeve:
Sleeveless
Short Sleeve
3/4 Sleeve
Long Sleeve
How does it fit on you?
Tight
Relaxed
Like a Racerback
When would you wear it?
At home
At work
Regular day
For a daylight event
For a night event
For a formal event
BOTTOMS
Type of Apparel
Dress Pant
Jeans
Skirt
Leggings
Dress Shorts
Shorts
Color:
What type of pattern does it have?
Brand:
How does it fit on you?
Tight
Relaxed
When would you wear it?
At home
At work
Regular day
For a daylight event
For a night event
For a formal event
SHOES
Type of Shoes
Sandals
Sneakers
Boots
Platform Pump
Wedge Sandals
Canvas Shoes
Color:
What type of pattern does it have?
Brand:
How are the heels?
It does not have heels
It has high heels
When would you wear it?
At home
At work
Regular day
For a daylight event
For a night event
For a formal event


Contact Us
Qingxuan (Max) Jiang
Qingxuan (Max) Jiang is a student at Cornell University double majoring in Mathematics and Computer Science (Class of 2021). His main research interests are Optimization, Numerical Analysis and their applications to Machine Learning.
Email<EMAIL_ADDRESS>Tian Lan
Tian Lan is from the Chinese University of Hong Kong. He is a PIRIP student of 2019 Cornell Summer REU and is interested in Functional Analysis, Probability and Harmonic Analysis.
Email<EMAIL_ADDRESS>Shashank Sule
Shashank is a Class of 2020 Mathematics major at Amherst College. His research interests include applied mathematics and analysis. He will be writing a thesis on dimensionality reduction problems in applied harmonic analysis in his senior year. When he isn't doing mathematics, he can be found reading a non-fiction book or learning to play the harmonica. In an alternate universe, he would have been a cartographer. He was once a Chemistry major, but a class on Fourier Analysis enticed him to the world of mathematics. He wants to continue exploring it in graduate school.
Email<EMAIL_ADDRESS>Sreeram Venkat
Sreeram Venkat is a Math and Physics Major at North Carolina State University (Class of 2021). His research interests are in mathematical modeling, and he is currently working on improving conservation in surrogate models. Sreeram also learns Indian Classical Carnatic music and has given many performances in the US and India. In his free time, Sreeram likes to play competitive Pokémon and Magic: The Gathering.
Email<EMAIL_ADDRESS>Xiaoduo Wang
Xiaoduo Wang is a student from University of Wisconsin Madison (Class 2020). He majors in mathematics and philosophy, and his area of interest is mathematical logic. At free times, he enjoys to read fictions or watch movies, TV series that subvert expectation AND have decent endings (so NOT something like Game of Thrones).
Email: Xwang845@wisc.edu


Morkoth
Medium aberration, chaotic evil
Armor Class 17 (natural armor)
Hit Points 130 (20d8+40)
Speed 25 ft., swim 50 ft.
| STR | DEX | CON | INT | WIS | CHA |
|---|---|---|---|---|---|
| 14 (+2) | 14 (+2) | 14 (+2) | 20 (+5) | 15 (+2) | 13 (+1) |
Saving Throws Dex +6, Int +9, Wis +6
Skills Arcana +9, History +9, Perception +10, Stealth +6
Damage Resistances bludgeoning, piercing, and slashing from nonmagical attacks
Senses blindsight 30 ft., darkvision 120 ft.
Languages telepathy 120 ft.
Challenge 11 (7,200 XP)
Amphibious. The morkoth can breathe air and water.
Spellcasting. The morkoth is an 11th-level spellcaster. Its spellcasting ability is Intelligence (save DC 17, +9 to hit with spell attacks). The morkoth has the following wizard spells prepared:
Cantrips (at will): acid splash, mage hand, mending, ray of frost, shocking grasp
1st level (4 slots): detect magic, identify, shield, witch bolt
2nd level (3 slots): darkness, detect thoughts, shatter
3rd level (3 slots): dispel magic, lightning bolt, sending
4th level (3 slots): dimension door, Evard’s black tentacles
5th level (3 slots): geas, scrying
6th level (1 slot): chain lightning
Actions
Multiattack. The morkoth makes three attacks: two with its bite and one with its tentacles or three with its bite.
Bite. Melee Weapon Attack: +6 to hit, reach 5 ft. one target. Hit: 9 (2d6+2) slashing damage.
Tentacles. Melee Weapon Attack: +6 to hit, reach 15 ft., one target. Hit: 15 (3d8+2) bludgeoning damage, and the target is grappled (escape DC 14) if it is a Large or smaller creature. Until this grapple ends. the target is restrained and takes 15 (3d8+2) bludgeoning damage at the start of each of the morkoth’s turns. and the morkoth can’t use its tentacles on another target.
Hypnosis. The morkoth projects a 30-foot cone of magical energy. Each creature in that area must make a DC 17 Wisdom saving throw. On a failed save, the creature is charmed by the morkoth for 1 minute. While charmed in this way, the target tries to get as close to the morkoth as possible, using its actions to Dash until it is within 5 feet of the morkoth. A charmed target can repeat the saving throw at the end of each of its turns and whenever it takes damage, ending the effect on itself on a success. If a creature’s saving throw is successful or the effect ends for it, the creature has advantage on saving throws against the morkoth’s Hypnosis for 24 hours.
Reactions
Spell Reflection. If the morkoth makes a successful saving throw against a spell, or a spell attack misses it, the morkoth can choose another creature (including the spellcaster) it can see within 120 feet of it. The spell targets the chosen creature instead of the morkoth. If the spell forced a saving throw, the chosen creature makes its own save. If the spell was an attack, the attack roll is rerolled against the chosen creature.


MODERNS, THE (director: Alan Rudolph; cast: Keith Carradine (Nick Hart), Linda Fiorentino (Rachel Stone), John Lone (Bertram Stone), Wally Shawn (Oiseau), Genevi=E8ve Bujold (Libby Valentin),Geraldine Chaplin (Nathalie de Ville),Kevin J. O'Connor (Ernest Hemingway), Ali Giron (Alice B. Toklas),Elsa Raven (Gertrude Stein),1988)
Paris as it was in 1926 for "The Lost Generation" of Americans: Hemingway, Gertrude Stein, Alice B.Toklas, and all the other artists and would be artists seeking to make their name known on foreign soil. Rudolph takes a rather cynical and tongue-in-cheek view of that art scene, capturing the mood and the atmosphere of that period, shooting this highly entertaining and for him, accessible film, in a dazzling display of color, representative of the art produced at that time by Picasso, Cezanne, Matisse and Modigliani. This was actually the first feature film he had in mind, but had to wait to do it until he got backers. His love and understanding of this time period shows up very well, as a result, he creates his best film to date.
The plot of the film concerns love, heartbreak, money problems, the meaning of art, alcoholism and finding one's identity. Nick Hart (Carradine) is the cartoonist for the Chicago Tribune, living in a garret, frequenting the Parisian expatriate cafes, trying to sell the paintings he works on with all his artistic skills, and earning extra money by forging the paintings of the masters. Oiseau (Shawn) is his friend and colleague on the paper, who writes a gossip column.
When Nick sees the beautiful wife he never divorced, Rachel (Linda), in a Paris bar, married to the ruthless and crass business man (manufacturer of condoms) and private art collector, Bertram (Lone), he tries to win her back. She is dissipated, unhappy with the direction of her life, becoming an alcoholic, and ashamed that she is married to a very cruel and despicable man.
Libby (Bujold) is a small-time art dealer who tries unsuccessfully to sell Nick's paintings. Nathalie de Ville (Chaplin) is the insincere art collector wife of a husband that she cheats on; while also, hiring Nick to forge three of her philandering husband's collection of masters for the nefarious purpose of getting even with him. The Parisian scene is topped off by an emotionally sentimental Hemingway (O'Connor), showing up at all the right parties, sitting at the right cafes, drinking to excess and plying his craft, while thinking aloud, as his philosphy comes off as just so much drivel, with him appearing shallow and hopelessly American despite his presence in Paris at precisely the right time for an American to be there. Gertrude Stein (Elsa) and her friend Alice (Ali), come off as snobs, in love with their own sense of self-importance.
Though the story might falter at times, with unneeded boxing matches and stereotyped tourists providing unneeded insights into the Parisian scene, what never faltered was how well this film looked and how engagingly it caught the ironies of that period.
REVIEWED ON 3/1/99 GRADE: B-
http:www.sover.net/~ozus
Dennis Schwartz: "Movie Reviews"<EMAIL_ADDRESS>=A9 all rights reserved Dennis Schwartz
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


Contact Us
Here is the easiest way to reach us, Write us message
We will get back
Address
P.O BOX 47131-00200
Nairobi, Kenya
Phone
020-316-0464
<EMAIL_ADDRESS>Here is the easiest way to reach us, Write us message
We will get back
P.O BOX 47131-00200
Nairobi, Kenya
020-316-0464
<EMAIL_ADDRESS>Any of these posts ,images and pages may not be reproduced on another
blog/website without the author's expressed written consent.