Fairpool

We talked about the CryptoGPT idea.

We talked about rewriting our decision-making system in Rust and obtaining probabilistic proofs of one strategy being better than another.

We talked about the technical limitations of the Optimism stack & the potential of Cosmos SDK.

We talked about a new type of content that we can create using ChatGPT.

We've described the Freechain idea.

We talked about our experience of using Haskell for our decision-making system.

We talked about solving user intents & the Suave blockchain.

We talked about using SMT solvers to build better models of reality.

We talked about using a formal language to describe how things work.

We talked about proving theorems for finite data using massively parallel evaluation.

We talked about a common language for communicating within a team.

We talked about "controlled point-free programming" - a better way to write functions. It's a restricted version of the general point-free programming, which forces the developer to write the functions more clearly.

We talked about two approaches to software development: top-down & bottom-up (specification-first and implementation-first).

We talked about a novel approach to task management: presenting tasks as files with executable code. This allows skipping the frontend, thus saving time & money on development.

We talked about zero-dependency functions & executing WASM code on the server.

We talked about writing specifications in a regular imperative language.

We talked about the connection between the code actions & code-generating AI.

We talked about a new revenue stream for our company - selling code actions.

We talked about the hierarchical updates of the state & the agents - this is optimization of our decision-making system.

We talked about specifics of applying the universal estimator to business decisions (in particular: hiring).

We talked about mitigating OTC trades on Fairpool contracts. Since every Fairpool contract has a `transfer` function, it's possible to buy & sell the tokens through other contracts. However, no taxes are taken on such transactions, which means that current token holders and current promoters would not benefit from it. Of course, we can't just block the `transfer` function because there...

We talked about security properties of different crypto storage systems. We observe that it's impossible to define the probability of a specific wallet being hacked. We know that it's possible, but we don't know the probability. Therefore, we can't calculate the security of a specific signature scheme precisely. However, we know that increasing the heterogeneity of the schema leads...

We talked about our approach to growing the company treasury.

We talked about building better UIs for crypto projects. Our project, Fairpool, is pretty easy to use - it's an exchange, it allows to buy & sell tokens, but even with such a simple functionality some people get lost. Additionally, users have a lot of questions about the projects even before they try to use the functionality. How does it work in general, what are the benefits, what are the...

We talked about "taking the high road" - developing a deeper understanding of the system. Building a successful product requires making a lot of difficult decisions. It requires a deeper understanding of the customer needs, of the current technologies, of the regulations, etc. Even then, the chance of success is pretty slim. So we believe it's prudent to invest our time in a decision...