8 research outputs found
Making Sense of Blockchain Applications:A Typology for HCI
Blockchain is an emerging infrastructural technology that is proposed to fundamentally transform the ways in which people transact, trust, collaborate, organize and identify themselves. In this paper, we construct a typology of emerging blockchain applications, consider the domains in which they are applied, and identify distinguishing features of this new technology. We argue that there is a unique role for the HCI community in linking the design and application of blockchain technology towards lived experience and the articulation of human values. In particular, we note how the accounting of transactions, a trust in immutable code and algorithms, and the leveraging of distributed crowds and publics around vast interoperable databases all relate to longstanding issues of importance for the field. We conclude by highlighting core conceptual and methodological challenges for HCI researchers beginning to work with blockchain and distributed ledger technologies
Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian
msoos/cryptominisat: CryptoMiniSat 5.11.11
<p>Python interface update, some minor updates to preprocessing.</p>
msoos/cryptominisat: CryptoMiniSat 5.11.14
A new release to fix issues with pycryptominisat
msoos/cryptominisat: CryptoMiniSat 5.11.2
<p>This is a new release with a number of improvements, including irregular-gate and ITE based BVE and a number of improvements that can be useful if used as a library, especially in conjunction with <a href="https://github.com/meelgroup/arjun">Arjun</a>, our new tool.</p>