Software engineer at Google, working on text-to-speech synthesis.

Hi @brinker ! That's a great idea!

I'm a PL enthusiast as well. My day job is text-to-speech at Google. I am an amateur in the PL field, though I've recently been contributing to Waxeye , a language-agnostic parser generator, and RacketScript , a Racket-to-JavaScript compiler.

I am primarily interested in type systems and program verification (I have @ilyasergey to thank for my interest in the latter), especially in transferring advances in these from theory and academic software to engineering practices.

All of the basic Markdown formatting is supported (powered by kramdown ).

Additionally, Markdown is extended to support the following:

Math
$f(n) = \begin{cases}
\frac{n}{2}, & \text{if } n \text{ is even} \\
3n+1, & \text{if } n \text{ is odd}
\end{cases}$
The code for the example above is:

```
$$
f(n) = \begin{cases}
\frac{n}{2}, & \text{if } n \text{ is even} \\
3n+1, & \text{if } n \text{ is odd}
\end{cases}
$$
```

Both inline and display modes are supported . Math is rendered server-side and does not require JavaScript. Powered by KaTeX .

Syntax highlighting
Specify the language of a code block and the syntax will be highlighted:

1 puts " Hello, #{ user} "
2 add_5 = -> x { x + 5 }
3
4 class Greeter
5
6 end
Powered by CodeRay .

Spoiler tags
`<spoiler>Spoiler content</spoiler>`

:

Spoiler - click to show.

Spoiler content

Oneboxes
URLs of supported resources are replaced with boxes like these:

Twitter `https://twitter.com/glebm/status/836237442747228162`

:

GitHub `https://github.com/google/dart-scissors/pull/67`

:

StackExchange `http://codegolf.stackexchange.com/questions/45701`

:

Amazon `https://www.amazon.co.uk/dp/0521797071`

:

Beginning graduate students in mathematics and other quantitative subjects are expected to have a daunting breadth of mathematical knowledge. But few have such a background. This book will help studen ...

5.0 out of 5 stars,
ISBN: 978-0521797078,
Cambridge University Press,
17 Jan 2002,
£30.99

YouTube `https://www.youtube.com/watch?v=1QP7elXwpLw`

:

VIDEO

Google Maps `https://goo.gl/maps/R6nj3Qwf2LR2`

:

https://goo.gl/maps/R6nj3Qwf2LR2

Many more resources are supported . Powered by the onebox library.