3 ms·
> is a breakthrough research project [citation needed] In all seriousness, each time when I see a project self-describing itself as a breakthrough, it is a re
by stared 6y ago
> is a breakthrough research project
[citation needed]
In all seriousness, each time when I see a project self-describing itself as a breakthrough, it is a red flag. No matter if it is programming, mathematics, arts, or anything. (Of course, unless used ironically.)
Either, it is a huge ego and a total lack of self-skepticism (vide Stephen Wolfram's recent Theory of Everything) or fiddling of the marketing department.
- sfvisser 6y agoI just read this as "within the context of MS research projects — maybe even specifically in the category of programming languages — Bosque has a relatively high breakthrough value". But I might be wrong here.
- wolfspider 6y agoIf you have worked with F* or Low* then you probably have some exposure to using Z3 and getting this kind lexical analysis from it is a breakthrough. I just wish Z3 was available on more platforms by default.
- norswap 6y agoCool. Could you maybe just read ahead and evaluate the claim for yourself and then post a comment about that if you end up agreeing/disagreeing with it?
- ken 6y agoI read through the whole readme. I can’t figure out which part of this they think is the “breakthrough”.
- wincent 6y agoThey are probably overselling it but I just scrolled straight past that to evaluate the feature list, and I definitely like some of the things in it: nominal data types with invariants, validated strings, pre/post-conditions, familiar TypeScript-like syntax etc.
- credit_guy 6y ago"Bosque simultaneously supports a high productivity development experience [...] with a performance profile similar to a native C++ application.[...] Bosque also brings an unprecedented tooling ecosystem including zero-effort verification, symbolic testing, dependency management validation, time-travel debugging, and more." If this is not breakthrough, what is?