Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Alvaro

alvaro

Jack of most trades, master of some.

projects

base91 — A Base91 Encoder & Decoder for Haskell
form — A Form Encoding & Decoding Package for Go
lambda — An experimental functional JavaScript library
neat — A Fast Retargetable Template Engine
yocto — A Minimal JSON Parser & Printer for Haskell
synth — A Powerful Templating Framework in C++
- django-synth — A Python Bridge From Django To Synth
trampoline — A Low-level Trampolining Facility in C & Assembly

talks

typescript — TypeScript in a Nutshell

publications

interests

Type & category theory
Automated data modeling
Triathlon
Functional & esoteric languages
Computational linguistics
Funny pictures of cats
Dark chocolate

occupations

Past: CTO, Katalog
Past: Vice President, Securities, Goldman Sachs
Past: Senior Engineer, Payments, Olo
Past: Engineer, Search Infrastructure, Google
Past: Program Manager, Dynamics, Microsoft
Past: Intern, Research, Yale Center for Medical Informatics

hobbies

Writing
Hashing
Cooking
Baking
Running
Eating
Sleeping
Raving

academics

B.S., Computer Science, Yale University
Étude de l'Architecture, Université Paris-Sorbonne
Honorary degrees in Seinfeld & Curb Your Enthusiasm

athletics

Inaugural IRONMAN U.S. Championship – 2012 (NYC)
Campagnolo Gran Fondo – 2012, 2013 (NJ, NY)
Cycle for the Cause – 2012, 2013 (MA, CT, NY)

languages

Natural

English
Spanish (fluent)
Portuguese (work in progress)
French (rusty)

Computer

Rust
Go
C++ {98, 03, 11, 14, 17, 20, 23}
Java {1.4, 1.8}
Python {2, 3}
TypeScript
JavaScript
Haskell {98, and #extensions#}
Bash {3, 4}
SQL {Server, Postgres}
C#
F#
C
Elm
F* (work in progress)
Idris (work in progress)
Agda (rusty)
Scala (rusty)
PHP (rusty)
Perl (rusty)

instruments

Current: Piano
Past: Tenor Sax
Past: Alto Sax
Past: Recorder
Past: Melodica
Past: Marimba

quotes

A million dollars isn't cool; you know what's cool? Air conditioning.
All roads lead to types.
JavaScript is great fun until you realize your project's written in it.
You have one problem and add a cache; now you have one problem.
Anticipation often trumps realization.
En la bañera no se baila.

images

locations

Past: Miami, FL
Past: New York City, NY
Past: San Jose, CA
Past: Redmond, WA
Past: New Haven, CT
Past: Paris, France

affiliations