Viewing profile — haches

If you'd like to play around with Reason a bit, you can give a try here: https://codeboard.io/projects/17520?view=2.1-3.0

Java version to play with: https://codeboard.io/projects/9288 It's interesting to see how much "overhead" static typing and language verbosity generates. But maybe there are also w…

Worthwhile to point out that edX is a non-profit [1] unlike Coursera [2] and Udacity [3]. [1] https://www.edx.org/about-us [2] https://www.crunchbase.com/organization/coursera [3] …

If you'd like to play with Reason you can do it online here: https://codeboard.io/projects/17520?view=2.1 Of course, you can also create your own Reason projects.

We currently terminate Infer after 25 sec of CPU time. But if anyone is interested in trying it for lager examples, I can recommend their Docker file: https://github.com/facebook/i…

At http://codeboard.io we use them to compile and execute the user-written programs. I guess that's not the typical use of Docker because there are a number of security concerns. W…

Thanks for the feedback. I really like the simplicity of the problem templates. And you have a nice collection there. May I ask how you displayed them to students, how students sub…

In particular, we'd like to know from other teachers if they * consider the idea (web-IDE, automatic grading etc.) useful * use other tools (which ones?) as part of their teaching …

One of the developers here. We'd be happy to get feedback and answer any questions.

Thanks for writing this post. I was already curious how you implemented the collaboration feature. Very happy to get some details. Fantastic work.

People in academia have proposed a number of tools & approaches on how to enable concurrent development while mitigating the "risks" of branching. To name just a few: * Palantir by…

I think I saw this the other day in the VIM discussion. Great job! Are the other examples, e.g. micro http, also available for download?

Could you make it available as a Github repo? Would allow to browse it without requiring a download.

There's a number of news articles on this but I'm linking the original paper instead. Some news sites which picked it up: http://www.information-age.com/technology/security/1234590…

Friend of mine does fully automatic translation from C to Java, including automatic OO reengineering. Some demos are available on his page: https://www.mtsystems.ch This work is ba…

I agree. This is a very nice idea. Could be really handy when just playing around with a front-end framework.

I guess the graphs would then no longer fit on a single page ;)