In search of a working notion of lex sportiva

The emergence of a lex specialis regime and its interaction with the established, governing lex generalis in their overlapping spheres of application is always an intriguing legal relationship to explore. In this article, the focus will be on the development of legal principles and rules that have been/can be collectively described as lex sportiva. However, it is notable that those involved in the consideration, usage and application of this notion have not agreed as to the scope and delimitation of the concept. It is debated whether lex sportiva exists in the first place, its legal sources and its purpose. The risk is for the concept becoming redundant when not vilified as a hidden strategy to exclude non-sports-related law from the ambit of sport. Through an examination of the different propositions to the framework of the term, this article will shed light on the existence, utility and limits of the development of this conceptualisation

CryptOpt: Automatic Optimization of Straightline Code

Manual engineering of high-performance implementations typically consumes many resources and requires in-depth knowledge of the hardware. Compilers try to address these problems; however, they are limited by design in what they can do. To address this, we present CryptOpt, an automatic optimizer for long stretches of straightline code. Experimental results across eight hardware platforms show that CryptOpt achieves a speedup factor of up to 2.56 over current off-the-shelf compilers.Joel Kuepper, David Wu, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yaro