We talked about the general applicability of the formal languages in business.

Initially, we turned to formal languages because we wanted to verify the Fairpool smart contract. But actually the formal languages have much broader applications. For example, they allow making decisions with any level of precision. Additionally, they allow to execute those decisions as programs - automating what could be automated, delegating to humans what couldn't be automated.

This is a very powerful paradigm, especially in the era of generative neural networks.

The generative networks (Midjourney, ChatGPT) require prompts as inputs. The prompts are supposed to describe the desired result. But it's not possible to describe the result precisely in an informal language. That's why the generative networks usually don't perform well at complex task that require generation of a lot of code.

Instead, we can use a formal language to fully specify the behavior of the program, and then ask the neural network to generate a program which passes those tests. If it generates a program that doesn't match the tests, it can try again, taking the compiler errors as an additional input.

We think this approach is extremely powerful - it's the way that the programs will be written in the future.