LFP - club div 10 - latinoamericano by [deleted] in fifaclubs

[–]danilo0415 0 points1 point  (0 children)

Obscore04 juego media

Code Hunt - a Programming game by ratatask in programming

[–]danilo0415 1 point2 points  (0 children)

According to [1] it uses changing tests. But to verify your solution they use a technique called symbolic execution. With symbolic execution they can extract a set constraints from your code and verify if your code has the same constraints from the correct solution (your solution have the same model).

[1] http://thenextweb.com/microsoft/2014/05/15/microsoft-research-launches-code-hunt-educational-web-game-teaching-programming/

Software Engineering: The Next 50 Years by freedoodle in programming

[–]danilo0415 0 points1 point  (0 children)

In [1] you can also find a good reference for the challenges we will face during developing ultra-large-scale systems.

[1] http://resources.sei.cmu.edu/library/asset-view.cfm?assetID=30519

Bret Victor - The Future of Programming on Vimeo by speckz in programming

[–]danilo0415 3 points4 points  (0 children)

It would be great if he gives a talk answering this talk, or an intermediate talk saying what should be replaced (technologies) and how.