haches

8 ms·

1.
by haches 9y ago
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
2.
by haches 10y ago
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 co
3.
by haches 10y ago
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://w
4.
by haches 10y ago
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.
5.
by haches 11y ago
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
6.
Show HN: Try Facebook's static analyzer Infer online(codeboard.io)
6 points by haches 11y ago|1 comments
7.
by haches 11y ago
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 b
8.
by haches 11y ago
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, w
9.
by haches 11y ago
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
10.
by haches 11y ago
One of the developers here. We'd be happy to get feedback and answer any questions.
11.
Show HN: Codeboard.io, a web-based IDE for the classroom(codeboard.io)
17 points by haches 11y ago|5 comments
12.
by haches 11y ago
Thanks for writing this post. I was already curious how you implemented the collaboration feature. Very happy to get some details. Fantastic work.
13.
by haches 11y ago
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]
14.
by haches 11y ago
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?
15.
by haches 11y ago
Could you make it available as a Github repo? Would allow to browse it without requiring a download.
16.
SpaceX very nearly recovers rocket after launch(bbc.com)
3 points by haches 11y ago|0 comments
17.
A summer program for security startups(cybersecurityfactory.com)
4 points by haches 11y ago|0 comments
18.
Several thousand MongoDBs without access control on the Internet: check yours(cispa.saarland)
2 points by haches 12y ago|0 comments
19.
by haches 12y ago
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 based on the stuff he did for his PhD. I think his
20.
NoSQL Solves Everything, Again – Cache Is the New RAM(blog.memsql.com)
1 points by haches 12y ago|0 comments
21.
by haches 12y ago
I agree. This is a very nice idea. Could be really handy when just playing around with a front-end framework.
22.
How the 'safest place on the internet' tracks its users(theguardian.com)
4 points by haches 12y ago|0 comments
23.
Dimensions in program verification(bugcounting.net)
1 points by haches 12y ago|0 comments
24.
by haches 12y ago
I guess the graphs would then no longer fit on a single page ;)
25.
When speed doesn’t matter, Python is faster than C(bugcounting.net)
5 points by haches 12y ago|0 comments
26.
by haches 12y ago
What are common use cases for client-side permissions, given you can't be sure the code won't be tampered with? I could think of adapting the UI based on roles: it's nice to have but not critical. What else? p.s. thanks for s
27.
by haches 12y ago
Could I also use this to resize images? Or convert them to a different format? That would be interesting in some cases.
28.
What good are large p-values?(bugcounting.net)
2 points by haches 12y ago|0 comments
29.
Ten myths about technical writing(bugcounting.net)
1 points by haches 12y ago|0 comments
30.
by haches 13y ago
Finally a table generator that allows merging of cells as well as importing from other formats. Been looking for that for a while.

More ›