title: Improvements to the UMF assay

authors: Molan, Peter C.

subjects: biology

abstract: With the increasing price of manuka honey there are increasing calls for a more precise measurement of UMF activity.  Two years ago i gave to the AMHA executive a written report on some work they had commissioned me to do investigating variation in the results in the essay. In this report I made some recommendations for improvements, but these were never adopted. Instead their approach has been to seek an alternative method, firstly assay by MIC, and then assay MGO content, despite my explaining why these methods would not be more accurate.

text: Improvements to the UMF assay With the increasing price of manuka honey there are increasing calls for a more precise measurement of UMF activity.  Two years ago i gave to the AMHA executive a written report on some work they had commissioned me to do investigating variation in the results in the essay. In this report I made some recommendations for improvements, but these were never adopted. Instead their approach has been to seek an alternative method, firstly assay by MIC, and then assay MGO content, despite my explaining why these methods would not be more accurate.

year: 2008

title: Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts

authors: Britten, Daniel

subjects: software engineering

abstract: Using the DeepSEA system for smart contract proofs, this paper investigates how to use the Coq theorem prover to enforce that smart contracts follow the Checks-Effects-Interactions Pattern. This pattern is widely understood to mitigate the risks associated with reentrancy. The infamous "The DAO" exploit is an example of the risks of not following the Checks-Effects-Interactions Pattern. It resulted in the loss of over 50 million USD and involved reentrancy - the exploit used would not have been possible if the Checks-Effects-Interactions Pattern had been followed.
Remix IDE, for example, already has a tool to check that the Checks-Effects-Interactions Pattern has been followed as part of the Solidity Static Analysis module which is available as a plugin. However, aside from simply replicating the Remix IDE feature, implementing a Checks-Effects-Interactions Pattern checker in the proof assistant Coq also allows us to use the proofs, which are generated in the process, in other proofs related to the smart contract.
As an example of this, we will demonstrate an idea for how the modelling of Ether transfer can be simplified by using automatically generated proofs of the property that each smart contract function will call the Ether transfer method at most once (excluding any calls related to invoking other smart contracts). This property is a consequence of following a strict version of the Checks-Effects-Interactions Pattern as given in this paper.

text: Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts Using the DeepSEA system for smart contract proofs, this paper investigates how to use the Coq theorem prover to enforce that smart contracts follow the Checks-Effects-Interactions Pattern. This pattern is widely understood to mitigate the risks associated with reentrancy. The infamous "The DAO" exploit is an example of the risks of not following the Checks-Effects-Interactions Pattern. It resulted in the loss of over 50 million USD and involved reentrancy - the exploit used would not have been possible if the Checks-Effects-Interactions Pattern had been followed.
Remix IDE, for example, already has a tool to check that the Checks-Effects-Interactions Pattern has been followed as part of the Solidity Static Analysis module which is available as a plugin. However, aside from simply replicating the Remix IDE feature, implementing a Checks-Effects-Interactions Pattern checker in the proof assistant Coq also allows us to use the proofs, which are generated in the process, in other proofs related to the smart contract.
As an example of this, we will demonstrate an idea for how the modelling of Ether transfer can be simplified by using automatically generated proofs of the property that each smart contract function will call the Ether transfer method at most once (excluding any calls related to invoking other smart contracts). This property is a consequence of following a strict version of the Checks-Effects-Interactions Pattern as given in this paper.

year: 2021

title: Telling “Us” in the “Days Destined to You: Response Life-Telling: Indigenous Oral Autobiography and the Performance of Relation

authors: Mahuika, Nepia

subjects: Arts & Humanities

abstract: This “tau-utuutu” (responsive) protocol feels familiar to me.² My turn to speak, to respond, to share in a conversation with Warren Cariou’s stimulating essay on “Life-Telling,” Indigenous autobiography, and Dovie Thomason. It reminds me of how life-telling, orality, and history, interweave and work in my tribal universe. At home, we take turns speaking. We inherit our words, we respond, carve, and weave new narratives—make them ours. Where I come from, lives are frequently “told,” sung, cried, carved, and performed, through tribal conversations, a chorus of textured tones, sometimes in a grand debate within which our personal and collective pasts, presents, and futures converge and diverge.³ I am glad, then, to be invited, to add my voice to this present discussion. It feels natural . . . normal . . . Native.

text: Telling “Us” in the “Days Destined to You: Response Life-Telling: Indigenous Oral Autobiography and the Performance of Relation This “tau-utuutu” (responsive) protocol feels familiar to me.² My turn to speak, to respond, to share in a conversation with Warren Cariou’s stimulating essay on “Life-Telling,” Indigenous autobiography, and Dovie Thomason. It reminds me of how life-telling, orality, and history, interweave and work in my tribal universe. At home, we take turns speaking. We inherit our words, we respond, carve, and weave new narratives—make them ours. Where I come from, lives are frequently “told,” sung, cried, carved, and performed, through tribal conversations, a chorus of textured tones, sometimes in a grand debate within which our personal and collective pasts, presents, and futures converge and diverge.³ I am glad, then, to be invited, to add my voice to this present discussion. It feels natural . . . normal . . . Native.

year: 2016