Profile cover photo
Profile photo
Steve Goguen
127 followers
127 followers
About
Steve's interests
View all
Steve's posts

Post has attachment
Moved from Delaware to 10 minutes outside of Newark NJ and this is what I see every morning.

Post has attachment
Throwing out old notebooks and saw this page where I was trying out pure Lambda Calculus for the first time.
Photo

Post has attachment
Photo

Post has attachment
Time lapse drive to Montclair

Post has attachment
Playing with the time lapse feature on my Samsung Galaxy

Post has shared content
"Some have asked us why we abstracted our proof generalization technique at all, and why we used category theory as our abstraction. However, we actually designed the abstract algorithm first, using category theory, and then used that to figure out how to solve our concrete problem. We got stuck with the concrete problem, overwhelmed by the details and the variables, and any solution we could think of seemed arbitrary. In order to reflect and simplify, we decided to phrase our question categorically. This lead to a diagram of sources and sinks, so we just used pushouts and pullbacks to glue things together. The biggest challenge was coming up with pushout completions, rather than using some existing standard concept. The categorical formulation was easy to specify and reason about. Afterwards, we instantiated the abstract processes, such as pushouts, with concrete algorithms, such as unification, in order to produce our final implementation with strong generality guarantees.

"We have actually found this process of abstracting to category theory whenever we get stuck to be quite fruitful. Not only does it end up solving our concrete problem, but we end up with a better understanding of our own problem as well as an abstract solution which can be easily adapted to other applications. Thus, our experience suggests that category theory may be useful in constructing actual algorithms, in addition to being useful as a framework for formalization. We would be interested to know of other similar experiences, either positive or negative."

Post has shared content

Post has attachment
My first F# talk and slides at the NYC Meetup:

Video: http://vimeo.com/28805698

Slides (Sorry IE users): http://www.njgeeks.org/presentations/FS-Patterns-Long/#1

The slides are from my (1 1/2 hr) in Parsippany.

Post has attachment
Seattle
PhotoPhotoPhotoPhotoPhoto
View album

Post has attachment
Starting my nerd workout 
Photo
Wait while more posts are being loaded