maxkrieger

[{"text_1": "Optimizing join in vertica", "text_2": "SELECT a.online_page_key \nFROM   online_sales.online_sales_fact a \n       JOIN (SELECT * \n             FROM   online_sales.online_page_dimension \n             WHERE  page_type = 'quarterly') b \n         ON b.online_page_key = a.online_page_key;\n", "label": 1}, {"text_1": "Informix DB - SQL Group By Year, Month, Week, Day, Hour", "text_2": "SELECT contest_id, YEAR(submission_date) AS submission_period, COUNT(*),\n       \"Y\" AS sub_type\n  FROM submissions\n  GROUP BY 1, 2\nUNION ALL\nSELECT contest_id, MONTH(submission_date) AS submission_period, COUNT(*),\n       \"M\" AS sub_type\n  FROM submissions\n  GROUP BY 1, 2\nUNION ALL\nSELECT contest_id, DAY(submission_date) AS submission_period, COUNT(*),\n       \"D\" AS sub_type\n  FROM submissions\n  GROUP BY 1, 2\nORDER BY 1, 4, 2\n", "label": 1}, {"text_1": "Performance for delete query in sql", "text_2": "List<int> myIDs = GetIDs(); //20,000\nvar inList = myIDs.Distinct(); //5,000 distinct IDs\n//pa

maxkrieger

[{"label": -1, "text_1": "This site includes a list of all award winners and a searchable database of Government Executive articles.", "text_2": "The Government Executive articles housed on the website are not able to be searched."}, {"label": 1, "text_1": "uh i don't know i i have mixed emotions about him uh sometimes i like him but at the same times i love to see somebody beat him", "text_2": "I like him for the most part, but would still enjoy seeing someone beat him."}, {"label": -1, "text_1": "yeah i i think my favorite restaurant is always been the one closest  you know the closest as long as it's it meets the minimum criteria you know of good food", "text_2": "My favorite restaurants are always at least a hundred miles away from my house. "}, {"label": -1, "text_1": "i don't know um do you do a lot of camping", "text_2": "I know exactly."}, {"label": -1, "text_1": "well that would be a help i wish they would do that here we have got so little landfill space left that we're going to run out before the e

maxkrieger

[{"label": -1, "text_1": "This site includes a list of all award winners and a searchable database of Government Executive articles.", "text_2": "The Government Executive articles housed on the website are not able to be searched."}, {"label": 1, "text_1": "uh i don't know i i have mixed emotions about him uh sometimes i like him but at the same times i love to see somebody beat him", "text_2": "I like him for the most part, but would still enjoy seeing someone beat him."}, {"label": -1, "text_1": "yeah i i think my favorite restaurant is always been the one closest  you know the closest as long as it's it meets the minimum criteria you know of good food", "text_2": "My favorite restaurants are always at least a hundred miles away from my house. "}, {"label": -1, "text_1": "i don't know um do you do a lot of camping", "text_2": "I know exactly."}, {"label": -1, "text_1": "well that would be a help i wish they would do that here we have got so little landfill space left that we're going to run out before the e

maxkrieger

[
    {
        "text_1": "How big is Tokyo?",
        "text_2": "{\"city\": \"Tokyo\", \"population\": 37732000.0}",
        "label": 1
    },
    {
        "text_1": "What country is Tokyo in?",
        "text_2": "{\"city\": \"Tokyo\", \"population\": 37732000.0}",
        "label": -1

maxkrieger

{"How big is Tokyo?":[0.026182245,0.0073213796,0.0064738467,0.0070345225,-0.011467771,-0.00067802623,-0.026990661,0.0100856405,-0.010072602,-0.045740694,0.0032010663,-0.0065683792,0.009270705,-0.038464952,0.0022231438,-0.012387018,0.015542448,-0.0136778755,0.0050917165,-0.02813809,-0.01752437,0.018085046,-0.0077451463,-0.005453548,-0.0046092747,0.019401982,0.015842345,-0.016376942,0.0108158225,-0.030589415,0.025517257,-0.0043810927,-0.02296162,-0.0037747808,-0.000996666,-0.0011767667,0.006773743,-0.0053459764,0.01931071,-0.008501406,0.009146835,0.0062000286,0.005626314,0.0031358714,-0.026273517,0.009935693,-0.00403556,0.006535782,0.003215735,0.012328343,0.025321674,0.02534775,-0.012406576,-0.019662762,-0.05033041,-0.011500369,-0.030093934,-0.011324342,0.011415615,-0.004201807,0.018215436,-0.0015826046,-0.006614016,0.009075121,-0.0016787669,-0.017433098,0.000081137005,0.0125434855,-0.022609567,0.0069171716,0.015385981,0.03494443,0.012934655,-0.0027593712,0.010307303,-0.033510145,-0.004566898,0.0005178914,0.011

maxkrieger

fd

maxkrieger

fd

maxkrieger

fd

maxkrieger

type Set
type Point
type Map

constructor Singleton : Point p -> Set

function Intersection : Set a * Set b -> Set
function Union : Set a * Set b -> Set
function Subtraction : Set a * Set b -> Set
function CartesianProduct : Set a * Set b -> Set

maxkrieger

type Set
type Point
type Map

constructor Singleton : Point p -> Set

function Intersection : Set a * Set b -> Set
function Union : Set a * Set b -> Set
function Subtraction : Set a * Set b -> Set
function CartesianProduct : Set a * Set b -> Set