10 ms·
Can someone give me the layman summary of this. I.e. what day to day problem could this be useful to solve? Would it be useful for creating a DSL for example?
by bbcbasic 10y ago
Can someone give me the layman summary of this. I.e. what day to day problem could this be useful to solve?
Would it be useful for creating a DSL for example?
- LaPrometheus 10y agoA list of applications built on top of Rosette: http://emina.github.io/rosette/apps.html http://emina.github.io/rosette/apps.html
- kasbah 10y agoI think the clearest example of an application that comes from these techniques is Excel Flash Fill and this course goes over the algorithm used in the Flash Fill paper. http://research.microsoft.com/en-us/um/people/sumitg/flashfill.html http://research.microsoft.com/en-us/um/people/sumitg/flashfi...
- lmeyerov 10y agoThe same concept is behind Viv, the successor to Siri: http://www.esquire.com/lifestyle/a34630/viv-artificial-intelligence-0515/ http://www.esquire.com/lifestyle/a34630/viv-artificial-intel... A lot of the recent work here takes advantage of SMT solvers (next generation of SAT solvers), but that's not necessary. As with Viv and Flash Fill, a lot of it is about changing the concept of what it means to write a program, and use alternative approaches to "complete" it. As another example, generating 0-day bug fixes based on how code "should" look, or recommending typed completions to gaps in code. For my past work in that group, I looked at "sketching" efficient schedules for parallel code, where I only specified the bits I cared about. Nowadays, I think about automatically generating queries for visual analytics.