network profile
| bio | website | circleci.com |
|---|---|---|
| location | San Francisco, CA | |
| age | 31 | |
| visits | member for | 2 years, 9 months |
| seen | Oct 12 '11 at 16:43 | |
| stats | profile views | 7 |
I founded and run Circle, where we make easy-to-use, hosted continuous integration.
In past lives, I've worked on the Javascript engine at Mozilla, done a PhD in compiler optimizations, static analyses and dynamic languages, and started a YCombinator startup.
|
Mar 3 |
awarded | Yearling |
|
Mar 3 |
awarded | Nice Answer |
|
Nov 12 |
comment |
What are the advantages of using version control (git, CVS etc) in LaTeX documents Protip: write one sentence per line; then changing one sentence doesn't ruin the diff of a whole paragraph. |
|
Aug 21 |
comment |
Tools for automating document compilation @Jukka: I have set my editor to save every few keystrokes, so at many times there are errors. This is intentional in my workflow. |
|
Aug 21 |
comment |
Tools for automating document compilation @Jukka: The problem with viewers is that they don't wait until the document is finished. So they render the first 50 pages of a 200 page doc. |
|
Aug 17 |
awarded | Teacher |
|
Aug 17 |
answered | Tools for automating document compilation |
|
Aug 17 |
awarded | Autobiographer |
|
Sep 8 |
comment |
Real Time LaTeX? See also stackoverflow.com/questions/1240037/…, in which I got close to real-time latex. |
