Added the Intro notebook. Fixed github username links.

Author: akalai

README.md

@@ -19,7 +19,9 @@ Adam Tauman Kalai.
 }
 ```
 
-
+If you just want to dive right into solving a few puzzles, try the [intro notebook at Binder](https://aka.ms/python_puzzles) 
+that shows which puzzles the AI baselines solved and which they did not, so you can see how 
+your programming compares. 
 
 ## What is a python programming puzzle?
 
@@ -76,7 +78,11 @@ and [math problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_m
 
 ## Notebooks
 
-The [notebooks](/notebooks) subdirectory has some relevant notebooks. [Demo.ipynb](/notebooks/Demo.ipynb)
+The [notebooks](/notebooks) subdirectory has some relevant notebooks. [Intro.ipynb](/notebooks/Intro.ipynb)
+has a sampling of puzzles indicating which ones the AI solved and did not [Try the notebook at Binder](https://aka.ms/python_puzzles)
+and see how your programming compares to the AI baselines! 
+ 
+ [Demo.ipynb](/notebooks/Demo.ipynb)
 has the 30 problems completed by our users in a user study. [Try the notebook at Binder](https://aka.ms/python_puzzles)
 and see how your programming compares to the AI baselines! 
 
@@ -90,22 +96,24 @@ def f(x):
     return x > x
 ```
 where the type of `x` is clearly non-standard. The creators of these puzzles include github users: 
-    [Adam Tauman Kalai](akalai),
-    [Alec Helbling](helblazer811),
-    [Alexander Vorobev](OnFireDolphin),
-    [Alexander Wei](aw31),
-    [Alexey Romanov](jgc128),
-    [Keith Battaochi](kbattocchi),
-    [Maggie Hei](heimengqi),
-    [Misha Khodak](mkhodak),
-    [Monil Mehta](monilm2),
-    [Philip Rosenfield](philrosenfield),
-    [Qida Ma](JerryMa90),
-    [Raj Bhargava](rajbhargava),
-    [Rishi Jaiswal](nextquanta),
-    [Saikiran Mullaguri](sm947),
-    [Tal Schuster](TalSchuster), and
-    [Varsha Srinivasan](varsha2197). 
+[Adam Tauman Kalai](https://github.com/akalai),
+    [Alec Helbling](https://github.com/helblazer811),
+    [Alexander Vorobev](https://github.com/OnFireDolphin),
+    [Alexander Wei](https://github.com/aw31),
+    [Alexey Romanov](https://github.com/jgc128),
+    [Keith Battaochi](https://github.com/kbattocchi),
+    [Kodai Sudo](https://github.com/kouml),
+    [Maggie Hei](https://github.com/heimengqi),
+    [Mariia Mykhailova](https://github.com/tcNickolas),
+    [Misha Khodak](https://github.com/mkhodak),
+    [Monil Mehta](https://github.com/monilm2),
+    [Philip Rosenfield](https://github.com/philrosenfield),
+    [Qida Ma](https://github.com/JerryMa90),
+    [Raj Bhargava](https://github.com/rajbhargava),
+    [Rishi Jaiswal](https://github.com/nextquanta),
+    [Saikiran Mullaguri](https://github.com/sm947),
+    [Tal Schuster](https://github.com/TalSchuster), and
+    [Varsha Srinivasan](https://github.com/varsha2197). 
 You can try out the notebook at (link to be added).
 
 

notebooks/Demo.ipynb

@@ -23,7 +23,8 @@
     "\n",
     "\n",
     "* **Visit our repository** to explore the full dataset and **contribute your own new puzzles**: https://github.com/microsoft/PythonProgrammingPuzzles.\n",
-    "* Share this demo with friends by sending this link: https://mybinder.org/v2/gh/microsoft/PythonProgrammingPuzzles/main?filepath=notebooks%2FDemo.ipynb\n",
+    "* Share this demo with friends by sending this link: https://aka.ms/python_puzzles_study\n",
+    "* For a shorter intro, and to see which puzzles the AI baselines solved, visit: https://aka.ms/python_puzzles\n",
     "\n",
     "## Overview\n",
     "\n",
@@ -135,4 +136,4 @@
  },
  "nbformat": 4,
  "nbformat_minor": 4
-}
+}

notebooks/Hackathon_puzzles.ipynb

@@ -7,22 +7,25 @@
     "# Puzzles from Microsoft Hackathon\n",
     "* The puzzles in this notebook were created during a hackathon at Microsoft, July 27-29, 2020.\n",
     "* The creators of these puzzles include github users: \n",
-    "    [Adam Tauman Kalai](akalai),\n",
-    "    [Alec Helbling](helblazer811),\n",
-    "    [Alexander Vorobev](OnFireDolphin),\n",
-    "    [Alexander Wei](aw31),\n",
-    "    [Alexey Romanov](jgc128),\n",
-    "    [Keith Battaochi](kbattocchi),\n",
-    "    [Maggie Hei](heimengqi),\n",
-    "    [Misha Khodak](mkhodak),\n",
-    "    [Monil Mehta](monilm2),\n",
-    "    [Philip Rosenfield](philrosenfield),\n",
-    "    [Qida Ma](JerryMa90),\n",
-    "    [Raj Bhargava](rajbhargava),\n",
-    "    [Rishi Jaiswal](nextquanta),\n",
-    "    [Saikiran Mullaguri](sm947),\n",
-    "    [Tal Schuster](TalSchuster), and\n",
-    "    [Varsha Srinivasan](varsha2197)"
+    "    [Adam Tauman Kalai](https://github.com/akalai),\n",
+    "    [Alec Helbling](https://github.com/helblazer811),\n",
+    "    [Alexander Vorobev](https://github.com/OnFireDolphin),\n",
+    "    [Alexander Wei](https://github.com/aw31),\n",
+    "    [Alexey Romanov](https://github.com/jgc128),\n",
+    "    [Keith Battaochi](https://github.com/kbattocchi),\n",
+    "    [Kodai Sudo](https://github.com/kouml),\n",
+    "    [Maggie Hei](https://github.com/heimengqi),\n",
+    "    [Mariia Mykhailova](https://github.com/tcNickolas),\n",
+    "    [Misha Khodak](https://github.com/mkhodak),\n",
+    "    [Monil Mehta](https://github.com/monilm2),\n",
+    "    [Philip Rosenfield](https://github.com/philrosenfield),\n",
+    "    [Qida Ma](https://github.com/JerryMa90),\n",
+    "    [Raj Bhargava](https://github.com/rajbhargava),\n",
+    "    [Rishi Jaiswal](https://github.com/nextquanta),\n",
+    "    [Saikiran Mullaguri](https://github.com/sm947),\n",
+    "    [Tal Schuster](https://github.com/TalSchuster), and\n",
+    "    [Varsha Srinivasan](https://github.com/varsha2197)\n",
+    "* For a shorter intro, and to see which puzzles the AI baselines solved, visit: https://aka.ms/python_puzzles"
    ]
   },
   {
@@ -2660,4 +2663,4 @@
  },
  "nbformat": 4,
  "nbformat_minor": 2
-}
+}