Transforming captive insurance with uplink DLT and smart contracts
Learn more from team members, Alan and Somil, at the European Captive Conference in Luxembourg, 14-15 November
On November 14-15, this year’s European Captive Forum in Luxembourg will host global risk and insurance professionals who are positively impacting corporate captive success. Among the attendees are Adjoint’s COO, Somil Goyal, and Switzerland General Manager, Alan Cabello. Adjoint will showcase the great value it brings to the captive and broader insurance market by leveraging our distributed ledger technology, Uplink, and smart contracts.
How the North America Energy Standards Board can help industry embrace smart contract and distributed ledger technologies
NAESB Meeting: Presentation by NAESB Board Member and Adjoint COO, Somil Goyal
Currently, operations in the wholesale gas industry are in siloed environments, with different data and communication standards being used. An agreed upon industry-wide movement to digital contract will increase the efficiency, speed and security across the industry. NAESB standard request 18.007 made by Adjoint Inc, American Electric Power Service Corp., Big Data Energy Services, JKM Energy & Environmental Consulting, Pariveda and Tennessee Valley Authority proposes the standardization of a modeling language for natural gas smart contracts for the NAESB WGQ Standard No. 6.3.1 – NAESB Base Contract for Sale and Purchase of Natural Gas.Read More
"A formal approach to distributed systems: implementing a pi-calculus interpreter in Haskell"
It has never been easier to do type-level programming in Haskell to capture precise invariants of the values as we are working with. Thanks to extensions such as DataKinds and TypeFamilies, many value-level definitions translate directly to type-level definitions. However, once we have them at the type-level, you often find that GHC's type checker complains about two "obviously" similar expressions not being equal. It may not see that x + 0 and 0 + x are the same for any natural number x.