bronty

13 ms·

1.
by bronty 11y ago
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 compile-time?
2.
by bronty 12y ago
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 actually pretty tricky because prin
3.
by bronty 12y ago
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. Brendon presented it at the 2013 Workshop on Domain-Specific
4.
by bronty 13y ago
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 analysis improves the quality of your codebase. The annot
5.
by bronty 13y ago
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 compiler plug-in, such as the Checker Framework [1].
6.
by bronty 13y ago
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 prefer a proof that is maintainable, modular, an
7.
by bronty 13y ago
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 unsoundness. The problem you have is that the difficulty &
8.
by bronty 13y ago
Yes, a grep could locate that.
9.
by bronty 13y ago
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 crowdsourcing the verification of Java programs which relied on t
10.
Support Wikipedia by viewing ads(wiki-ads.com)
2 points by bronty 13y ago|0 comments
11.
Show HN: Eclipse Plug-in Mash-up Framework(code.google.com)
1 points by bronty 13y ago|0 comments
12.
by bronty 14y ago
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 conservancy, and naming an animal you can track with the dr
13.
Indiegogo campaign for UAVs against poaching in Africa(indiegogo.com)
1 points by bronty 14y ago|0 comments