Puzzle of the Day

In International Morse Code, each letter of the alphabet is represented by a sequence of dots and dashes. Complicating matters somewhat, not all these sequences are the same length; the most common letters (E and T) are represented by a single dot and a single dash, respectively, while rarer letters require up to four dots/dashes.

Today's puzzle is to decode the four Proofnik first names written below, one on each line:

It's up to you to figure out where one letter ends and another begins!

Admittedly, this is kind of hard, so I have provided a few clues below which you can use or not use as you see fit. Highlight the clues in your browser to read them.

• Clue #1: The Proofniks are in 9th, 8th, 7th, and 10th grades, respectively.
• Clue #2: The names in this puzzle collectively contain only   five   different letters.
• Clue #3: These names have  4 ,  4 ,  6 , and  7  letters, respectively.

• Still stumped? You can click to see the Morse code with spacing between the letters.

I'll post the answer tomorrow. The next new puzzle will appear on the first day of Block 5. Have a great spring break!

Yesterday's puzzle:

Which San Francisco–based radio and television station is clued by the image below? (Feel free to look up a list of stations.)

Hint: That image should be ample enough to supply the typesetting needs of even the longest math textbook.

Thanks to Will for making a suggestion that led to today's puzzle.

Answer:

That's a thousand end-of-proof symbols, so... KQED. (Which, in case you're wondering, was deliberately named after the math "QED".)

This was a tough one, but Jessica, Leo S., and Zachary Z. figured it out, and I'll also credit Mr. Gregg's wife's answer of KPIX (a thousand "pixels"!).