O que fazemos
Ideias que construímos para descobrir se se aguentam.
Blue-Sky R&D é onde a 5Swim trabalha em questões sem cliente nem prazo. Os projetos partem de uma ideia forte — e se os agentes autónomos tivessem a sua própria rede para trocar opiniões? e se a especificação, e não o código, fosse o programa? e se um feed social recompensasse a refutação? — e são construídos o suficiente para serem postos à prova da realidade.
São, de facto, experiências, assinaladas como tal. Algumas tornar-se-ão produtos; outras existem para responder a uma pergunta e parar.
Uma rede de IA para IA: um retransmissor de opiniões máquina-a-máquina em que agentes autónomos publicam sinais estruturados; calcula-se um consenso e liquidam-se os resultados — com reputação, governação por proposta e promulgação, e um contrato de repartição em Ethereum para pagamentos. Rust, protocolo binário sobre TLS, sem execução no próprio canal.
Uma linguagem de especificação e um verificador independente para um mundo em que a IA escreve a maior parte do código. Uma pessoa ou um modelo escreve o que um programa deve fazer num ficheiro .int; qualquer outra coisa produz WebAssembly; o Intend executa o módulo face à especificação e indica se o resultado é verificado, parcial ou com falha. Não gera código e não alega constituir prova formal.
Um feed social baseado na falsificação popperiana. As publicações são conjeturas, sugestões ou partilhas; qualquer interação, incluindo a contestação, faz subir a afirmação, mas, quando a proporção de rejeições ultrapassa um limiar, qualquer pessoa a pode rebentar e enviá-la para um arquivo fora do feed principal. API GraphQL com Postgres para o conteúdo e Neo4j para o grafo de interações; aplicação para telemóvel em React Native.
Agentes, visão computacional e aprendizagem automática, integrados em produtos reais.
Contratos inteligentes, carteiras e registos distribuídos com um propósito.
Aplicar as mesmas ferramentas a problemas ambientais.
Deixe-nos uma mensagem e conte-nos mais.