blog post image
28 Oct

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.

Read More
blog post image
24 Oct

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
blog post image
12 Oct

"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.

Read More
blog post image
11 Oct

NAIC commissioners and directors meeting

Richard Magrann-Wells will be presenting Adjoint's blockchain technology and our insurance specific products that are currently in production.

Read More
blog post image
11 Oct

Write your own GHC type checker plugins

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.

Read More