Profile

Cover photo
William Casarin
Works at Monstercat
Attended Conestoga College
Lives in Vancouver, BC
283 followers|72,133 views
AboutPostsPhotosYouTubeReviews

Stream

William Casarin

Shared publicly  - 
 
 
Comic book version of Isaac Asimov's "The Last Question".
Imgur: The most awesome images on the Internet.
2 comments on original post
1
Add a comment...

William Casarin

Shared publicly  - 
1
Add a comment...

William Casarin

Shared publicly  - 
 
 
Google's Closure [1], Microsoft's TypeScript [2], Angular's AtScript [3], and Facebook's Flow [4] are all attempting to add stronger typing to JavaScript.  All of them have a static component; this is basically thinking of a type as a "part of speech".  Such a view of types prevents writing code that doesn't make sense, in the same way that parts of speech prevent utterances like "Boy the threw ball brother his to the." or "This sentence no verb."

However, there's another view of typing where types are predicates about terms; for example, we may consider the set of sentences that mention Santa Claus, or those that use a transitive verb.  In programming languages, these kinds of types are usually called "contracts" or "guards", and often appear as runtime constraints.  TypeScript is looking at the possibility of enabling user-defined type guards [5]; AtScript is trying to be TypeScript plus pluggable runtime type information; and Flow allows some dynamic type tests [6].

Mellies and Zeilberger have a great paper that shows how we can think of the two views as living in two different categories, and how "type refinement" is a functor between them.  The first paragraph above describes what they call "intrinsic" types, while the second paragraph describes "extrinsic"types.  A refinement is then a functor from extrinsic to intrinsic types.  The idea of "abstract interpretation" in the field of static analysis is an example of this, but their paper vastly generalizes it.  In fact, any functor can be seen as a type refinement system [7].

[1] https://developers.google.com/closure/compiler/docs/js-for-compiler#types
[2] http://www.typescriptlang.org/Handbook
[3] https://docs.google.com/document/d/11YUzC-1d0V1-Q3V0fQ7KSit97HnZoKVygDxpWzEYW0U/edit
[4] http://flowtype.org/docs/type-annotations.html#_
[5] https://github.com/Microsoft/TypeScript/issues/1007
[6] http://flowtype.org/docs/dynamic-type-tests.html#_
[7] http://noamz.org/papers/funts.pdf
1
Add a comment...

William Casarin

Shared publicly  - 
 
I did a small experiment with the Oculus Rift. I stood very still, and then I did bursts of movement in game. I noticed my body swayed a bit each time I moved. I can only conclude that my brain is doing motion detection on my visual inputs and then using that information when calculating balance.

According to Wikipedia this is well known, but it was cool to see it in action.
1
Add a comment...

William Casarin

Shared publicly  - 
 
 
A very informal overview of the PureScript compiler codebase for anyone interested in contributing.
This Hangout On Air is hosted by Phil Freeman. The live video broadcast will begin soon.
Q&A
Preview
Live
PureScript Compiler Dev Hangout
Fri, June 27, 2014, 4:00 PM
Hangouts On Air - Broadcast for free

1
Add a comment...
Have him in circles
283 people
Christian Sullivan's profile photo
Ray Garner's profile photo
Justin Frenette's profile photo
Terry Pender's profile photo
Chris Johnson's profile photo
Christian Tellnes's profile photo
Anthony Scotti's profile photo
Kyle Smith's profile photo
Roman Bolgov's profile photo

Communities

12 communities

William Casarin

Shared publicly  - 
 
Japan was a lot of fun, would definitely recommend it. Things I sorely miss now that I'm back: hot towels / wetnaps at every establishment, and the futuristic toilets.
1
Add a comment...

William Casarin

Shared publicly  - 
1
Add a comment...

William Casarin

Shared publicly  - 
 
Looks like Google does auto awesome videos now. Neat.
1
Add a comment...

William Casarin

Shared publicly  - 
 
 
Oh wow! This doesn't happen every day. A supernova in one of our neighbouring galaxies, M82. It's currently at around magnitude 11.

Due to light pollution, M82 is one of the few galaxies actually visible from where I live, but I'd probably have to travel far out of town to see the supernova.

http://www.skyandtelescope.com/observing/home/Bright-Supernova-in-M82-241477661.html
1
Add a comment...
People
Have him in circles
283 people
Christian Sullivan's profile photo
Ray Garner's profile photo
Justin Frenette's profile photo
Terry Pender's profile photo
Chris Johnson's profile photo
Christian Tellnes's profile photo
Anthony Scotti's profile photo
Kyle Smith's profile photo
Roman Bolgov's profile photo
Communities
12 communities
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Vancouver, BC
Previously
Waterloo, Ontario
Links
Work
Occupation
Software Engineer
Skills
Software Engineering
Employment
  • Monstercat
    CTO, 2012 - present
Education
  • Conestoga College
Basic Information
Gender
Male
Other names
Bill, Will, jb55
Not sure why people are saying the food is bad. The chicken burger is great, brunch is awesome as well. The devil cobb salad is also great if you want something a bit healthier. Ribs are mind blowing if you want to blow some cash. Great beer as well (Back Hand of God is my go-to if you like stouts). Top of all that it has the best patio is the city. Do yourself a favour and ignore the oblivious reviewers. At least the food is better than Craft.
Public - 2 months ago
reviewed 2 months ago
They make amazing chicken sandwiches. Great place to grab a quick lunch around railtown. Just wish it was a tad cheaper.
Public - a year ago
reviewed a year ago
2 reviews
Map
Map
Map