Profile

Cover photo
Steve Goguen
Lives in Hawthorne, NJ
127 followers|68,182 views
AboutPostsPhotosVideos+1'sReviews

Stream

 
Moved from Delaware to 10 minutes outside of Newark NJ and this is what I see every morning.
1
Add a comment...

Steve Goguen

Shared publicly  - 
1
Peter Dexter Quaw's profile photo
 
Gosh, that shows your age Stevie. I recall when the two were powerhouses!!! Good on your dad for giving the document to you.
Add a comment...

Steve Goguen

Shared publicly  - 
 
Playing with the time lapse feature on my Samsung Galaxy
1
Add a comment...

Steve Goguen

Shared publicly  - 
 
Elijah Manor originally shared:
 
Geek And Poke: Coding Is An Art #humor
1 comment on original post
1
Add a comment...

Steve Goguen

Shared publicly  - 
 
Seattle
1
Mike Gargano's profile photoSteve Goguen's profile photo
3 comments
 
We have a homeless guy! While he's generally respectful and keeps to himself, I'm sure if he pissed in the train stop shelter the heat/humidity would amplify the stench and discomfort.
Add a comment...
In his circles
171 people
Have him in circles
127 people
Omar Qadan (‫أبو البشر‬‎)'s profile photo
Joshua Hawkins's profile photo
Richard Worth's profile photo
Michael Auteri's profile photo
Robbie Holmes's profile photo
Pius Njoka's profile photo
Niteesh Prasad's profile photo
nyi nyi thann's profile photo
Kipp Watson's profile photo

Steve Goguen

Shared publicly  - 
 
Throwing out old notebooks and saw this page where I was trying out pure Lambda Calculus for the first time.
1
Add a comment...

Steve Goguen

Shared publicly  - 
 
Time lapse drive to Montclair
1
Add a comment...

Steve Goguen

Shared publicly  - 
 
 
"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."
Abstract. We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical insight of ...
View original post
1
Add a comment...

Steve Goguen

Shared publicly  - 
 
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.
Design Patterns. A general reusable solution to a commonly occurring problem; Not a finished design that can be transformed directly into code; Description or template for how to solve a problem that ...
2
2
Steve Goguen's profile photoNiels Berglund's profile photoSee Buscher's profile photo
3 comments
 
Great stuff!!
Add a comment...

Steve Goguen

Shared publicly  - 
 
Starting my nerd workout 
3
Steve Goguen's profile photoGlenn Martin's profile photo
3 comments
 
Thanks Steve! looking forward to the F# presentation you're giving in September.
Add a comment...
People
In his circles
171 people
Have him in circles
127 people
Omar Qadan (‫أبو البشر‬‎)'s profile photo
Joshua Hawkins's profile photo
Richard Worth's profile photo
Michael Auteri's profile photo
Robbie Holmes's profile photo
Pius Njoka's profile photo
Niteesh Prasad's profile photo
nyi nyi thann's profile photo
Kipp Watson's profile photo
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Hawthorne, NJ
Links
Other profiles
Contributor to
Work
Occupation
Web Developer
Basic Information
Gender
Male
Steve Goguen's +1's are the things they like, agree with, or want to recommend.
programming
www.reddit.com

reddit: the front page of the internet

The Architecture of Open Source Applications
www.aosabook.org

Architects look at thousands of buildings during their training, and study critiques of those buildings written by masters. In contrast, mos

TheNewBoston – Free Educational Video Tutorials on Computer Programming ...
www.thenewboston.com

Free thenewboston educational video tutorials from Bucky Roberts. Video lessons on computer programming, Adobe software, video editing, game

Game Theory | Yale Video Course
academicearth.org

Free video course on Game Theory by Benjamin Polak of Yale. This course is an introduction to game theory and <a href="http://academicearth.

Amazon Mobile
market.android.com

Search & buy millions of products right from your Android deviceBrowse, search & buy millions of products right from your Android device.The

water
gabrielflor.it

+ -. click a number and hold down the key. what is this? 100% totally based on Bret Victor's genius Inventing on Principle talk. source

Shortest String That Contains All Words
www.kodefuguru.com

Mango12 created an interesting competition to kick off the New Year, and I decided to try it out. It's a simple task along the lines of

Allied Building Products Corp.
plus.google.com

distributor of roofing, siding, waterproofing, interior products, windows, skylights, doors, tools, accessories to specialty contractors in the residential and commercial building industry.

Welcome to Allied Building Products Corp, distributors of roofing, sidin...
www.alliedbuilding.com

Allied Building Materials is an independent distributor of roofing, siding, waterproofing, interior products, windows, skylights, doors, too

LastCalc
www.lastcalc.com

What is LastCalc? LastCalc is a powerful but easy to use web-based calculator. Think of the lastCalc page like a notepad for calculations, y

LiveScript - a language which compiles to JavaScript
gkz.github.com

LiveScript is a language that compiles down to JavaScript. It is a fork of Coco, which is in turn derived from CoffeeScript. LiveScript is C

Every Programmer Should Know These Latency Numbers | Architects Zone
architects.dzone.com

This is interesting stuff; Jonas Bonér organized some general some latency data by Peter Norvig as a Gist, and others expanded on it. What's

Brad Wilson: ASP.NET MVC 2 Templates, Part 1: Introduction
bradwilson.typepad.com

Series Index Part 1: Introduction Part 2: ModelMetadata Part 3: Default Templates Part 4: Custom Object Templates Part 5: Master Page Templa

Visualizing range trees : Inside 233
blog.ezyang.com

Range trees are a data structure which lets you efficiently query a set of points and figure out what points are in some bounding box. They

Pluralsight
market.android.com

Pluralsight for Android makes it easy to keep watching your favorite Pluralsight On-Demand! training courses on the go. This app allows you

web-calculus -- Waterken Inc.
www.waterken.com

web-calculus. A wide variety of different programming models and implementation environments exist. The web-calculus provides a generic mess

Public - in the last week
reviewed in the last week
Public - in the last week
reviewed in the last week
Never eaten here. I'm just countering the guy who gave this place one star because they didn't have a high chair at a lounge.
Public - 2 weeks ago
reviewed 2 weeks ago
Faisal is a true barber that doesn't rely on the clippers. He always gives me a haircut that doesn't look like I just got a haircut.
Public - a month ago
reviewed a month ago
9 reviews
Map
Map
Map
Public - 2 weeks ago
reviewed 2 weeks ago
Public - 2 weeks ago
reviewed 2 weeks ago
Public - 3 months ago
reviewed 3 months ago