Viewing profile — bronty

Cool, I've added it to the list of financial DSL resources at http://dslfin.org/resources.html What application domain are you working in that you know all the currencies at compil…

You can check format strings in Java at compile-time using the Checker Framework: http://types.cs.washington.edu/checker-framework/current/che... The format string semantics are ac…

RUGE [1] is another open source PROLOG framework for functional and load testing. Brendon McCarthy originally developed it for testing financial applications at American Express. B…

There's two different issues here: (1) whether or not to use compiler plug-ins, and (2) whether or not to use compiler plug-ins for metaprogramming. Using plug-ins for automated an…

Java 8 adds support for type annotations, which enables developers to write code such as: @Currency("USD") double amount; These annotations can be checked automatically using a com…

It depends on whether or not the buyer allows for proof irrelevance. There are cases where _human_ buyers care about the structure of the proof. In particular, just like with code,…

You'd run into a problem if you let workers introduce assumptions (since introducing a contradiction lets the worker prove anything). With Coq, you don't have a problem of unsoundn…

Yes, a grep could locate that.

It actually can't -- a fundamental characteristic of this marketplace is that the work can be automatically verified [1]. As part of my PhD work, I created a service for crowdsourc…

There's also a campaign on indiegogo to help a Kenyan conservancy adopt drone technology: http://www.indiegogo.com/olpejeta Support levels include drone flight time, trips to the c…