Hacker Newsnew | past | comments | ask | show | jobs | submit | haches's commentslogin

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 ways to write it more compact in Java, not sure.


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] https://www.crunchbase.com/organization/udacity


One may find Introduction to Functional Programming [1] by Erik Meijer interesting.

[1] https://www.edx.org/course/introduction-functional-programmi...


Kinda. They act more like a for-profit than like a non-profit.


How so? All of their classes are available for free, the only thing you have to pay for is the certificate. Non profit =/= no profit.


Taking a page out of the nonprofit university playbook.


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/infer/tree/master/docker


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. We do a number of things to mitigate those but isolation is not as good as with a full VM.

However, containers are so fast that we can create -> execute -> destroy containers for every single "compile" and "run" action.

Another big advantage, imho, is the Docker Remote API [1] which makes it very easy to integrate Docker in your app.

[1] https://docs.docker.com/reference/api/docker_remote_api_v1.2...


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


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 efforts


in the past i have used cloud9 and nitrous.io for teaching, and i had students clone a template repo with exercises and lessons. this is awesome to me because its a much more structured way to manage projects, especially for students who haven't used git before.

one tool which i have built with my co-teachers in the past is a problem generator that tracks which concepts the user has "mastered" based on the number of problems they have solved for a given concept. we had a naive problem generator that used templated problem specs with randomly generated values: https://github.com/pftp/pftp-web/blob/master/practice/python... have you considered anything of the sort for students who want more practice?


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 submitted their solutions and how you ran their code?

So far, we haven't focused very much on providing content (i.e. exercises) ourselves because Codeboard is mostly used to complement existing courses where the teachers already have content and exercises in mind. Codeboard just makes it much easier for them to handle submissions or e.g. integrate with an existing Moodle or edX infrastructure.

Using reference implementations - rather than tests - and having a simple way to provide hints (as you do in your templates) are features we're quite interested in. We did a bit of work on the latter recently but that stuff hasn't made it into Codeboard yet.

I'll forward your repo to some of my colleagues. Thanks again.


thanks! the problem templates are pretty simple but i think we can do better now :) as you progress through the concepts, we introduce more challenging problems.

we used http://www.skulpt.org/ to run python in the browser. i resurrected the site to get some screenshots: https://imgur.com/a/xbpat

i would love to chat some more about your ideas, you can email me at hurshal.patel/berkeley/edu


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 A. Sarma et al. [1]

* Crystal by Y. Brun [2]

* CloudStudio (project I worked on); Video demo: https://youtu.be/R3Fz0Tcdz0Y

To the best of my knowledge, however, none of these projects have found any widespread adaption. A lot of it also has to do - I think - with culture and personal preference.

[1] https://scholar.google.de/citations?user=shMjCasAAAAJ

[2] http://homes.cs.washington.edu/~mernst/pubs/vc-conflicts-fse...


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?


We translated dozens of open-source projects and decided to list only the interesting ones on the website and upload only the most interesting ones; The ones that are very well known and have a nice GUI.

Feel free to send us an email and we'll be happy to send you the other programs you're interested in.

You can also ask for translations of open-source software we didn't translate yet if you want to see the translation of a specific project.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: