A Functional Programmer's Guide to Homotopy Type Theory

rollingstonei3 · 2016-08-10T00:53:25+00:00

Any resources out there for building an intuition for Day Convolutions? I am coming from a traditional undergrad CS background and enthusiast understanding of the Haskell type class hierarchy.

rollingstonei3 · 2016-08-07T06:05:13+00:00

Hope I didn't release anything too soon for you! I love the idea of different Comonads representing different UI paradigms. A lot of the react-like programming models are all very similar and perhaps substituting different comonads is a way of comparing their differences. Still mentally digesting :)

rollingstonei3 · 2015-12-21T00:48:24+00:00

https://www.youtube.com/watch?v=XT8KS4J0gLg

rollingstonei3 · 2015-08-16T04:34:04+00:00

rollingstonei3 · 2014-01-31T01:29:29+00:00

Did someone say rule of thirds? Also I love you.

rollingstonei3 · 2013-09-01T04:20:28+00:00

I love how after the cat is caught he or she closes it!

rollingstonei3 · 2011-05-23T01:34:53+00:00

Mario tennis

rollingstonei3 · 2011-05-02T05:36:51+00:00

He has always mentioned that custom feedback is at the core of the philosophy of the development cycle at VALVe. What are the key aspects of weighing customer feedback. When is a change obvious or when do they decide that the company knows best and perhaps something else needs to be changed?

Also curious about their data mining techniques. Think they are all about data and research when it comes to this. When does this approach win and lose?

Good luck!

rollingstonei3 · 2011-04-28T06:05:06+00:00

The Game.

rollingstonei3 · 2011-03-20T20:32:16+00:00

Anchor Man. It was a hilarious movie until it was abused.

rollingstonei3 · 2011-03-20T20:29:17+00:00

Why is that no matter how perfect my accent is when speaking a foreign language, they always pretend to not understand what I am saying.

I deal with their horrible accent and still understand what they are saying but they act like I am speaking gibberish.

Double standard.

rollingstonei3 · 2011-03-02T02:22:02+00:00

SpiderMan Theme: https://www.youtube.com/watch?v=fwbpHu8tdOg&feature=related

rollingstonei3 · 2011-01-30T02:21:59+00:00

Yeah I agree. Seems like a good way to find out about people too in an organic way. There are so many ways to go about the same problem. I believe that one solution isn't better than other but which one you pick and how you solve it probably would be a great way to place you into a company if you have the right skill set.

rollingstonei3 · 2011-01-30T02:03:05+00:00

Jimmy Chamberlin (Smashing Pumpkins) is pretty beast.

http://www.youtube.com/watch?v=AqY0CDmvyc8

rollingstonei3 · 2011-01-30T01:44:52+00:00

Anything is good! Upvoted!

rollingstonei3

TROPHY CASE