Profile

Cover photo
Tim Disney
Works at University of California, Santa Cruz
Attends University California Santa Cruz
Lives in Santa Cruz, CA
1,101 followers|41,848 views
AboutPostsPhotosYouTube
People
Have him in circles
1,101 people
Hernan Ciudad's profile photo
Darren Mowat's profile photo
Where in Disney?'s profile photo
Jd Geier's profile photo
Chad Ostler's profile photo
Sammy Gomez's profile photo
Abel Elbaile's profile photo
Jaeheon Yi's profile photo
Jenny Jensen's profile photo
Work
Occupation
Graduate Student
Employment
  • University of California, Santa Cruz
    Graduate Student Researcher, 2009 - present
  • Mozilla Corporation
    Research Intern, 2012 - 2012
  • Mozilla Corporation
    Research Intern, 2011 - 2011
  • Seattle Pacific University (CIS)
  • POP
    Search Marketing Intern, 2007 - 2007
  • Blue Nile
    Software Developer, 2007 - 2009
  • Mozilla Corporation
    Research Intern, 2013 - 2013
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Santa Cruz, CA
Previously
Santa Cruz, Rigecrest - Santa Cruz, CA - Ridgecrest, CA - Seattle, WA - Chicago, IL - Mountain View, CA
Story
Tagline
Grad student studying programming languages at UC Santa Cruz
Introduction
Grad student at UCSC studying programming languages.
Education
  • University California Santa Cruz
    PhD Computer Science, 2009 - present
  • Seattle Pacific Unveristy
    CS Computer Science, 2003 - 2007
Basic Information
Gender
Male
Other names
Timothy Disney

Stream

Tim Disney

Shared publicly  - 
 
Productive week! Contracts.js now supports parametric polymorphism in the latest release. http://disnetdev.com/contracts.js/doc/main/contracts.html#parametric-polymorphism
Contracts.js Documentation. 1 Introduction; 2 Installation; 3 Using; 4 Contracts. 4.1 Basic Contracts. 4.1.1 Num; 4.1.2 Str; 4.1.3 Bool; 4.1.4 Odd; 4.1.5 Even; 4.1.6 Pos; 4.1.7 Nat; 4.1.8 Neg; 4.1.9 Any; 4.1.10 None; 4.1.11 Null; 4.1.12 Undefined; 4.1.13 Void. 4.2 Function Contracts ...
1
Add a comment...

Tim Disney

Shared publicly  - 
 
I'm on a podcast! Chatting about sweet.js.
Podcast: Play in new window | Download (Duration: 39:37 — 36.3MB) Panel Tim Disney (twitter github blog) AJ O’Neal (twitter github blog) Jamison Dance (twitter github blog) Joe Eames (twitter github b...
1
Add a comment...

Tim Disney

Shared publicly  - 
 
How we managed to implement "read" for sweet.js and divorced the lexer from the parser.
How to read macros. In my last post I gave a little overview of sweet.js the hygienic macro system I built over the summer. Today I want to write a little bit about what makes sweet.js possible and wh...
3
Matt Fletcher's profile photoTim Disney's profile photo
2 comments
 
Thanks :)
Add a comment...

Tim Disney

Shared publicly  - 
 
My summer project: hygienic macros for JavaScript!
2
2
Chris Lewis's profile photoTim Disney's profile photoPedro Luz (narven)'s profile photoTyler Disney's profile photo
2 comments
 
from my mozilla internship
Add a comment...

Tim Disney

Shared publicly  - 
 
 
I just finished reading The Lean Startup by +Eric Ries. The entire time I was reading it I was thinking to myself "Man, startups and orgs trying to do worldchanging stuff have a lot in common."

It struck me that the concepts, practices, and methodologies Ries talks about in his book have huge application potential to people trying to save the world. I wrote a little bit on this, mostly discussing failure and how the book is changing my thoughts about it.

http://www.flowxrg.com/2012/08/12/lean-startups-and-worldchanging-thinking-about-failure/
I just finished reading The Lean Startup by Eric Ries, which is my first real foray into the world of lean thinking. Pretty much everything I read in the book struck me as extremely relevant to people...
1
1
Abhilash Mathews's profile photo
Add a comment...

Tim Disney

Shared publicly  - 
 
 
We are making freely available our upper-level programming languages
course.  People anywhere are welcome to participate in this on-line
version.  All the details are here:

http://www.cs.brown.edu/courses/cs173/2012/OnLine/

Please feel free to disseminate this information.

I look forward to seeing you in class!

Shriram Krishnamurthi, Instructor
Joe Gibbs Politz, Associate Instructor
1
Add a comment...
Have him in circles
1,101 people
Hernan Ciudad's profile photo
Darren Mowat's profile photo
Where in Disney?'s profile photo
Jd Geier's profile photo
Chad Ostler's profile photo
Sammy Gomez's profile photo
Abel Elbaile's profile photo
Jaeheon Yi's profile photo
Jenny Jensen's profile photo

Tim Disney

Shared publicly  - 
 
New version of contracts.js using sweet.js macros. Specify and enforce invariants with nice syntax. http://disnetdev.com/contracts.js/
1
1
Patrice Chalin's profile photo
Add a comment...

Tim Disney

Shared publicly  - 
 
Hygienic Macros for JavaScript. Been slow to embloggen this (start of the quarter etc.) but my summer intern project was released a little while ago at sweetjs.org. Sweet.js is a hygienic macro compil...
3
Add a comment...

Tim Disney

Shared publicly  - 
1
Chris Lewis's profile photoTim Disney's profile photo
2 comments
 
yup :)
Add a comment...

Tim Disney

Shared publicly  - 
 
I thought about this one for a couple of years, then wrote it up, and left it untouched for another couple of years. What prompted me to publish it now - at least the first, relatively finished part -...
1
Add a comment...

Tim Disney

Shared publicly  - 
 
Heh, transform any JavaScript program into just the characters: ()[]{}!+
The other day one of my friends asked me that question on IRC, pointing me to some articles on sla.ckers.org where they tried to create some scripts like alert(1) with non-alphanumeric characters. As ...
1
Add a comment...

Tim Disney

Shared publicly  - 
 
Ha! You really need to read the alttext for this one.
1
Alex Nelson's profile photoTim Disney's profile photo
2 comments
 
Haha! I didn't even realize :)
Add a comment...