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