Profile

Cover photo
Adam Wagner
Works at Benefitfocus
Lives in Greenville, SC
74 followers|21,198 views
AboutPostsPhotosVideos

Stream

Adam Wagner

Shared publicly  - 
 
 
Types as quotients. Fun stuff.
There are two broad approaches to problem solving that I see frequently in mathematics and computing. One is attacking a problem via subproblems, and another is attacking a problem via quotient problems. The former is well known though I'll give some examples to make things clear.
View original post
1
Add a comment...

Adam Wagner

Shared publicly  - 
 
Adam Wagner originally shared:
 
So this happened today.  All the good from the HHKB Lite 2 (layout), but with more goodness.... I didn't know how much better a real mechanical keyboard could be!
2
Add a comment...

Adam Wagner

Shared publicly  - 
 
 
Whereupon I expand upon an off-hand Twitter remark from yesterday.
“Everything is a file.” [1] This was the design philosophy taken to its logical extreme in Plan 9. Any interface you could imagine was represented as a file. Network port, pixel buffers, kernel interf...
3 comments on original post
1
Add a comment...

Adam Wagner

Shared publicly  - 
Simon Peyton Jones, MA, MBCS, CEng, graduated from Trinity College Cambridge in 1980. After two years in industry, he spent seven years as a lecturer at University College London, and nine years as a ...
1
Add a comment...

Adam Wagner

Shared publicly  - 
 
More good dynamic/static type reading
1
Add a comment...
Have him in circles
74 people
Ayman Safadi's profile photo
Todd Jones's profile photo
Karen Wagner's profile photo
Laura Greeno's profile photo
Chris Smith's profile photo
Tran Phat Cty's profile photo
Thomas Cramer's profile photo
Gabriel Gonzalez's profile photo
amy dunphy's profile photo

Adam Wagner

Shared publicly  - 
 
I don't use any iOS devices anymore, but this is really cool news!
Stephen Blackheath and I are extremely happy to report that as of today, GHC can natively build binaries for iOS devices and the iOS Simulator. You'l...
1
Add a comment...

Adam Wagner

Shared publicly  - 
Fay: Try it out. Editor; Log. Project Modules; Library Modules … Load.
1
Add a comment...

Adam Wagner

Shared publicly  - 
 
Here's a good reason to stick to docs.python.org (and stackoverflow) for all your python standard-library usage questions.

Other resources tend to experience code rot over time.

http://stackoverflow.com/q/11270205/331473
1
Add a comment...

Adam Wagner

Shared publicly  - 
 
Now that I've been using Haskell for a while, I worry much more about these mutable structures I use so freely in python (dicts and lists specifically); not sure if I'm ruined or legitimately seeing issues before they arise.
1
Mark Roggenkamp's profile photo
 
Watch out for the teenage mutate ninja turtles. Turtles in a bash shell, turtle power!
Add a comment...

Adam Wagner

Shared publicly  - 
 
Interesting read on the static vs unit-test (only) debate.  I found the comments said a lot about what the avg programmer knows about Haskell's type system.

http://evanfarrer.blogspot.ca/2012/06/unit-testing-isnt-enough-you-need.html
When I was working on my research for my Masters degree I promised myself that I would publish my paper online under a free license, as soon as I had graduated. Unfortunately there seems to be an unwr...
1
Add a comment...
People
Have him in circles
74 people
Ayman Safadi's profile photo
Todd Jones's profile photo
Karen Wagner's profile photo
Laura Greeno's profile photo
Chris Smith's profile photo
Tran Phat Cty's profile photo
Thomas Cramer's profile photo
Gabriel Gonzalez's profile photo
amy dunphy'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
Greenville, SC
Previously
Charlotte, NC - South Bend, IN - Muskegon, MI - Shelby, MI - Poplar Bluff, MO - Summerville, SC - North Charleston, SC
Story
Bragging rights
Husband, father of four, problem solver, guitar player.
Work
Occupation
Maker of things. Fast things.
Employment
  • Benefitfocus
    Senior Development Engineer, 2012 - present
  • LearningStation, Inc.
    Senior Development Team Lead, 2009 - 2012
  • Red Ventures
    Web Developer, 2007 - 2009
  • Brainstorm Web Design
    Lead Software Engineer, 2006 - 2007
  • SignsRus.com
    Software Engineer, 2004 - 2006
  • Fox Music House
    Software Engineer / Network Admin, 2003 - 2004
Basic Information
Gender
Male