Type Generic Observing

Observing intermediate values helps to understand what is going on when your program runs. Gill presented an observation method for lazy functional languages that preserves the program's semantics. However, users need to define for each type how its values are observed: a laborious task and strictness of the program can easily be affected. Here we define how any value can be observed based on the structure of its type by applying generic programming frameworks. Furthermore we present an extension to specify per observation point how much to observe of a value. We discuss especially functional values and behaviour based on class membership in generic programming frameworks

The Importance of Being Standard

Contract standardisation in the sovereign debt market saves time and money in preparing documents and endows widely-used terms with a shared public meaning, which in turn saves investors the costs of acquiring information, facilitates secondary market trading and reduces the scope for mistakes in the judicial interpretation of contract terms. Sovereign debt issuers and investors claim to value standardisation and list it as an important contractual objective. Issuers generally insist that their bond contracts are standard and reflect market practice. Variations from past practice and market norm must be explained in disclosure documents and through market outreach. Standardisation is not just part of the fabric of market expectations: international policy initiatives to prevent and manage financial crises rest on the assumption that sovereign debt contracts follow a generally accepted standard. Such initiatives would make no sense in the absence of standardisation. On closer examination, however, it turns out that sovereign bond contracts are not nearly as standardised as market participants and policy makers seem to suggest. It is common to see a handful of negotiated terms embedded in a mish-mash of different generation industry models, sprinkled with bits of creative expression that no one can explain, usually attributed to some long-forgotten lawyers. At least some of the variation appears to be deliberate. But to the extent that it is inadvertent, variation can be costly. For example, it can make contracts internally inconsistent, vulnerable to opportunistic lawsuits and errors of judicial interpretation. Variation could also make debt instruments less liquid, especially during periods of market stress. In this essay, I argue that the problem of inadvertent variation would diminish substantially if sovereign debt markets were to adopt a more centralised, modular approach to contracting, whereby a subset of widely-used non-financial terms would be produced by an authoritative third party (a public, private, or public-private body) and incorporated by reference in individual transactions

Coddling Spies: Why the Law Doesn’t Adequately Address Computer Spyware

Consumers and businesses have attempted to use the common law of torts as well as federal statutes like the Computer Fraud and Abuse Act, the Stored Wire and Electronic Communications and Transactional Records Act, and the Wiretap Act to address the expanding problem of spyware. Spyware, which consists of software applications inserted into another\u27s computer to report a user\u27s activity to an outsider, is as innocuous as tracking purchases or as sinister as stealing trade secrets or an individual\u27s identity. Existing law does not address spyware adequately because authorization language, buried in click-through boilerplate, renders much of current law useless. Congress must act to make spyware companies disclose their intentions with conspicuous and clearly-stated warnings

Tangos: the agile numerical galaxy organization system

We present Tangos, a Python framework and web interface for database-driven analysis of numerical structure formation simulations. To understand the role that such a tool can play, consider constructing a history for the absolute magnitude of each galaxy within a simulation. The magnitudes must first be calculated for all halos at all timesteps and then linked using a merger tree; folding the required information into a final analysis can entail significant effort. Tangos is a generic solution to this information organization problem, aiming to free users from the details of data management. At the querying stage, our example of gathering properties over history is reduced to a few clicks or a simple, single-line Python command. The framework is highly extensible; in particular, users are expected to define their own properties which tangos will write into the database. A variety of parallelization options are available and the raw simulation data can be read using existing libraries such as pynbody or yt. Finally, tangos-based databases and analysis pipelines can easily be shared with collaborators or the broader community to ensure reproducibility. User documentation is provided separately.Comment: Clarified various points and further improved code performance; accepted for publication in ApJS. Tutorials (including video) at http://tiny.cc/tango

Property and the Construction of the Information Economy: A Neo-Polanyian Ontology

This chapter considers the changing roles and forms of information property within the political economy of informational capitalism. I begin with an overview of the principal methods used in law and in media and communications studies, respectively, to study information property, considering both what each disciplinary cluster traditionally has emphasized and newer, hybrid directions. Next, I develop a three-part framework for analyzing information property as a set of emergent institutional formations that both work to produce and are themselves produced by other evolving political-economic arrangements. The framework considers patterns of change in existing legal institutions for intellectual property, the ongoing dematerialization and datafication of both traditional and new inputs to economic production, and the emerging logics of economic organization within which information resources (and property rights) are mobilized. Finally, I consider the implications of that framing for two very different contemporary information property projects, one relating to data flows within platform-based business models and the other to information commons

Separating the Wheat from the Chaff with BREAD: An open-source benchmark and metrics to detect redundancy in text

Data quality is a problem that perpetually resurfaces throughout the field of NLP, regardless of task, domain, or architecture, and remains especially severe for lower-resource languages. A typical and insidious issue, affecting both training data and model output, is data that is repetitive and dominated by linguistically uninteresting boilerplate, such as price catalogs or computer-generated log files. Though this problem permeates many web-scraped corpora, there has yet to be a benchmark to test against, or a systematic study to find simple metrics that generalize across languages and agree with human judgements of data quality. In the present work, we create and release BREAD, a human-labeled benchmark on repetitive boilerplate vs. plausible linguistic content, spanning 360 languages. We release several baseline CRED (Character REDundancy) scores along with it, and evaluate their effectiveness on BREAD. We hope that the community will use this resource to develop better filtering methods, and that our reference implementations of CRED scores can become standard corpus evaluation tools, driving the development of cleaner language modeling corpora, especially in low-resource languages.Comment: Accepted to GEM workshop 2023; 6 page

Can We Dicker Online or is Traditional Contract Formation Really Dying - Rethinking Traditional Contract Formation for the World Wide Web

When most people imagine the process of contract formation, they picture two people sitting down and negotiating, arguing about particular contract provisions and particular contract terminology, and maybe even involving attorneys to draft an official version of the contract. Regardless of the specific details people imagine, traditional contract formation generally involves some form of negotiation between two parties where they choose one set of terms over another. In modern society, however, such negotiation happens very rarely. People enter into many contracts on a daily basis, for example, when they purchase goods or services online. Online purchases are governed by computers, which do not allow for dickering. That is, it is simply not possible to negotiate with a computer, as computers can only respond with pre-programmed terms. Despite this limitation, traditional contracting is not dying--it simply has to be rethought to accommodate this digital architecture