• User since
  • Last active
  • Started 1 topic
  • Posted 2 times

About me

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

Recent activity

Posted in Who's Around?

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.

Started Formatting Demo

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

Additionally, Markdown is extended to support the following:


f(n)={n2,if n is even3n+1,if n is oddf(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}

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:

1puts "Hello, #{user}"
2add_5 = -> x { x + 5 }
4class Greeter
5  # ...

Powered by CodeRay.

Spoiler tags

<spoiler>Spoiler content</spoiler>:


URLs of supported resources are replaced with boxes like these:






Google Maps

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