Everett Maus is a software developer based in Seattle, currently working for Google. Prior to working for Google, he worked at Microsoft. He’s an alumni of the University of Virginia with a degree in Math and CS. This is his blog.

His computer-y interests include programming languages, formal methods, software development, and computer security.

His non-computer-y interests vary from month to month, but at time of writing: food (learning to cook, good wine pairings, etc.), sociology, and philosophy are high up in the list. He’s also an amateur violinist.

Standard Disclaimer:

This blog, its content, and any opinions on it are my own, and do not reflect the opinions of my employer.

Copyright/Legal Stuff:

Any code or coding samples contained in this blog are MIT licensed, as is any javascript/css involved in it.
You can find the text of the MIT license here.

All of the blog content (images, post content other than code, this page, etc.) are licensed as CC BY-NC-SA. To quote their site, this means you may “remix, tweak, and build upon the work non-commercially, as long as the author is credited and you license your new creations under the identical terms.” The text for that license is available here.