* Rubric Team size: Teams of 3-4 Quiz structure: There are 100 points, split up as follows: 6 rounds of questions, on 6 different topics: 10 points each. Two table rounds: pictures, and game theory conundrum. 10 points each Best team name, 10 points joker card: 10 points. How this works: When I tell you a round title, you can choose to play your joker for that round. It will double your score for that round. You only get one joker per team. Only on one of the 6 question rounds, not the table rounds. Please do not cheat: don't look up questions on your phone, and be fair when marking each other's papers. Failure to hand over your paper in a timely fashion will result in a 5 point penalty. Please write your answers clearly. Clearly cross out any workings so they don't get confused as an answer. The quizmaster's decision is final. That is me. * Question rounds: ** A. Decades round The answers are all decades - each decade from 1920s to 2010s will appear exactly once. Write down which decade - you don't need to get the exact year. [TODO: shuffle these! else it's obvious] 1940 Winston Churchill became prime minister (the first time round) in this decade (May 1940) 1950 LEO - the Lyons Electronic Office - the first commercial business computer - started revenue generating work in this decade 1970 The Jubilee Line of the london underground opened in this decade (1979) 2000 Haskell 2010 was standardised in this decade (simon marlow announcement, Nov 2009) 1990 Java appeared in this decade (1991-1995) 1960 The mouse was first demonstrated by Doug Englebart (1968) 1920 Elizabeth II, Queen of the United Kingdom was born in this decade 1930 The lambda calculus was introduced by Alonzo Church in this decade (published untyped lambda calculus in 1936) 2010 In the 1989 comedy scifi film "Back to the Future Part II", Marty and Doc travelled forwards in time to this decade. (21 oct 2015) 1980 The initial version of Erlang, prototyped in prolog, appeared in this decade (late 1980s - BEAM replacement started in 1992) ** C. "I am a programming language". Recognise the programming language 1 Miranda -- inspiring Haskell, I am Prospero's daughter 2 Coq -- a bird or perhaps a body part, I'm often used for formal verification. 3 FORTH -- These days people would call me a concatenative language; I've only got five letters in my name because that's all that would fit in a filename. But I'm actually smaller than that. 4 APL - You can write The Sieve of Eratosthenes in only 20 of my wierd and wonderful source language symbols, but you'll need a special keyboard. 5 LISP -- I have a lot of irritating superfluous parentheses 6 Go -- adherents to my Google-originated faith are called Gophers. 7 F# -- I'm a pointy letter quite like OCaml 8 COBOL -- Emerging from the CODASYL short range committee in the late 1950s, you can program me using beautifully flowing, but capitalised, English prose. 9 Idris -- I am a red dragon 10 PHP - real programmers are mean about me. Initially for personal home pages, you'll now find me alongside MySQL driving blogging engines such as Wordpress and Drupal. ** D: Just Haskell - Which type class is like a burrito? Monad - What gender is conor mcbrides haskell preprocessor? SHE - to the nearest 100, how many github repositories are in edward kmett's account? 222 as of aug 2017 - so 200 - happy and trifecta do what? they are for writing parsers - FTP was a controversial proposal. What does FTP stand for? (foldable traversable proposal - really I only care about Foldable, Traversable - because I give away proposal in title) need BOTH to get the point. only one point. no halves. - That proposal is controversial in part because the length function applied a two-element tuple evaluates to what number? 1 - True or false: starting at 0, and using only pred and succ, does the Enum typeclass on Float enumerate all of the possible float values? (equivalently, can you access all of the Float values using only 0, pred and succ?) False (only enumerates a subset of integer values and no fractions at all) - The dreaded monomorphism restriction can be removed by enabling which language extension? NoMonomorphismRestriction - Name any one author of the original Haskell report (one point for one name, max one point) READ OUT THE OBVIOUS THREE OR FOUR THEN ASK AUDIENCE IF THEY HAVE ANY OTHERS TO CHECK Paul Hudak, Philip Wadler, Arvind, Brian Boutel, Jon Fairbairn, Joseph Fasel, Kevin Hammon, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Simon Peyton Jones, Mike Reeve, David Wise, Jonathan Young - classy, basic and numeric are variants of which fairly fundamental module? Prelude ** E. Theory-ish - an endofunctor is a functor from a category C to which category? (back to C itself) - A monoid is a set with an associative binary operation, and identity. But what is the name of the structure that is those rules without the identity? (semigroup) - Which common Haskell data structure is usually regarded as representing the free monoid (despite niggles with bottom and infinite size) - List. - What is the largest number of distinct integers that can be represented using a single 16-bit word (it doesn't matter if unsigned or twos-complement signed)? 65536 (2^16 also acceptable...) [it does matter if using different mech for representing negatives as -0,0 takes two slots] - Correctly spell Entscheidungsproblem, the problem of determining if a statement is true or not - the decision problem. - Naive reference counting garbage collections fail to collect properly in the presence of what kind of data structure? (cyclic, or anything similar) - Which greek letter is commonly used to represent function abstraction? [lambda] - the 8 byte Double floating point format (IEEE 754) has an exponent of how many bits? 11 - Whose arithmetic/number system is represented by only: zero and the successor function? Peano - The word 'Algebra' comes from the title of a book written by a Persian mathematician, who gives his name to something very important in computing. You can name the person, or name that important thing. // Algorithm / al-Khwarismi ** G. Round G: Christmas and London *** about Christmas 1 The pogues and kirsty maccoll sing a fairy tale, often cited as the best christmas song of all time. It's a fairy tale of which world city? [new york] 2 Although Christmas is always on the same calendar day, the dates of another liturgical festival are notoriously complex; the process to calculate them is known as "computus". What is that celebration? [Easter] 3 As well as being the birthplace of Jesus, Bethlehem is also the birthplace of which giant-slaying King of Israel? (David) 4 which high street chain attracted controversy earlier this year for replacing Jesus in a nativity scene with a sausage roll? [greggs] 5 Advent started on which day (number) of December this year? [Sunday 3rd December] *** about london 6 the large christmas tree that appears in Trafalgar Square each year is donated by the people of which country? Norway 7 the notional centre of london for measuring distances is at which cross? Charing Cross 8 who is the current mayor of london? sadiq khan 9 Business partner of Jacob Marley, this miser embarks on a Dickensian time travel adventure in London. [Ebeneezer Scrooge] 10 With a population of about 400,000 people and sitting on the banks of the Thames River, the city of London is found in which Canadian province? [Ontario] ** H: Words beginning H H1: what is the best language / 7 letters? Haskell H2: An old implementation of Haskell from Portland State University / 4 letters: Hugs H3: A GHC build system sharing it's name with a famous wall / 7 letters: Hadrian H4: A structure-preserving map: 12 letters: Homomorphism H5: What H-ism is an anamorphism followed by a catamorphism? 12 letters: Hylomorphism H6: A region of memory, but not the stack: 4 letters: heap H7: Researcher sharing a name with the writer of Ferris Bueller's Day Off and Christmas movie Home Alone? 6 letters: John *Hughes* H8: What abstract syntax abstracts lambda bindings? 6 letters: *Higher* order abstract syntax H9: In a turing complete language you can't prove that your program will what? 4 letters: Halt H10: A pun on the name of a 1990s PhD thesis search engine can be used to find functions of particular type signatures? 6 letters: Hoogle * Novelty bonuses: ** N: game theory bonus see sheet ** Round P: picture round (3 or 12 pictures to fit nice table) - kiera knightly / love actually / christmas film from 2003 or so - ada lovelace - grace murray hopper - wadler - spj - ollie charles - alan turing - benedict cumberbatch as alan turing / from the imitation game - haskell curry / namesake of haskell - samuel pepys / noted diarist of life in London in the 1600s ** Round J: Joker bonus ** Round T: best team name Judged by... someone who knows haskell puns? * Approximate Timing 18:30 room open, advertised time People should form teams, with the help of myself, Bill and Derek. 19:00 Introduction & rules 19:05 Round 1 (10 minutes) 19:15 Mark round 1 (7 minutes) 19:22 Round 2 (17 minutes) 19:40 Round 3 (17 minutes) 19:57 Round 4 (17 minutes) 20:15 Food (or if ready at 19:57, food then) - Note that game theory round will be collected at end of interval (but not photo round) 20:40 Call to order 20:45 Round 5 (17 minutes) + collect game theory round 21:02 Round 6 + mark photo round - extra 3 minutes for photo finishing and marking 21:22 End round 6/photos. Contestant break. Evaluate entries. Prepare results. 21:30 Announce Prizes