diff --git a/profile/README.md b/profile/README.md index 6436217..0b18e8b 100644 --- a/profile/README.md +++ b/profile/README.md @@ -44,6 +44,7 @@ | A Fibonacci wave and a bell, in one line | [**alerts**](https://github.com/piabrota/alerts) | A generic alert platform. It collects alerts from official sources only, and delivers them to Discord and an Atom feed with CAP 1.2. The first hazard is floods in the south of Brazil. | none yet (piabrota.art/alerts, coming) | MPL-2.0 | | 代理, dairi, an agent, brushed in sixteen strokes among stars, inside an orbit | [**rax**](https://github.com/piabrota/rax) | Rustic Agentic Runtime: a pure-Rust port of AX, the declarative orchestrator for agentic tasks on Agent Substrate. It keeps AX's API, so a manifest written for AX works here. | none | MPL-2.0, parts from AX Apache-2.0 | | An open letter c with a dot, on a dark square | [**closed-source**](https://github.com/h0ffmann/closed-source) | *The god that failed*: a book on why closed source failed as a protection, for science first. Markdown in, PDF out, every reference checked, every release citable. | [h0ffmann.github.io/closed-source](https://h0ffmann.github.io/closed-source/) | text CC BY 4.0, code AGPL-3.0 | +| ∀ | [**awesome-neurosymbolic-ai**](https://github.com/h0ffmann/awesome-neurosymbolic-ai) | A curated list of frameworks, reasoners, papers, courses and benchmarks for neurosymbolic AI: systems that combine neural learning with symbolic reasoning. | none | CC0-1.0 | | 🎶 | [**ihero**](https://github.com/piabrota/ihero) | A FOSS music player and game, in Rust. Coming: the repository holds only its licence. | none yet | MPL-2.0 | | The room at night: a desk with a beige computer, framed kanji on the wall, a wide window on Rio | [**room**](https://github.com/piabrota/room) | A personal site that is a 3D room, in three.js: camera shots, tapes to play on the TV, piabrota RADIO, rain, day and night, and a ▲ grid view with 24 h of wind and sea on the coast of Brazil. LOFI turns it into a page to read. | [room.piabrota.art](https://room.piabrota.art) | MPL-2.0 | | 无, mu, brushed in four strokes from Desmos equations | [**nix-os**](https://github.com/piabrota/nix-os) | The NixOS configuration of the small VPS that serves piabrota.art/nixos. Every change is judged by what it adds to the closure and to memory. | [piabrota.art/nixos](https://piabrota.art/nixos) | MPL-2.0 | @@ -54,7 +55,8 @@ | A neural network flowing into the universal quantifier, drawn from Desmos equations | [**proof**](https://github.com/h0ffmann/proof) | **Incubating.** Specifications written and proved in Lean 4, with Haskell and Rust implementations checked against them, and data experiments with papers. Formerly dogma. | none | MPL-2.0 | The drawings and the picture of the room load from each project's repository at a pinned commit; -none is copied here. ihero, agents, dojo and ondecomer have no drawing yet. +none is copied here. ihero, agents, dojo and ondecomer have no drawing yet, and +awesome-neurosymbolic-ai shows the ∀ its README opens with. ## How it fits diff --git a/profile/README.pt-BR.md b/profile/README.pt-BR.md index 98e9013..74af6cc 100644 --- a/profile/README.pt-BR.md +++ b/profile/README.pt-BR.md @@ -8,7 +8,7 @@ [![código: FOSS](https://img.shields.io/badge/c%C3%B3digo-FOSS-1682D4?style=flat-square)](#licença) [![rust](https://img.shields.io/badge/rust-primeiro-1682D4?style=flat-square&logo=rust&logoColor=white)](#projetos) [![web: piabrota.art](https://img.shields.io/badge/web-piabrota.art-1682D4?style=flat-square)](https://piabrota.art) -[![tempo de leitura: ~7 min](https://img.shields.io/badge/tempo%20de%20leitura-~7%20min-1682D4?style=flat-square)](#tempo-de-leitura) +[![tempo de leitura: ~8 min](https://img.shields.io/badge/tempo%20de%20leitura-~8%20min-1682D4?style=flat-square)](#tempo-de-leitura) @@ -45,6 +45,7 @@ | A Fibonacci wave and a bell, in one line | [**alerts**](https://github.com/piabrota/alerts) | Uma plataforma genérica de alertas. A plataforma coleta alertas só de fontes oficiais e entrega os alertas ao Discord e a um feed Atom com CAP 1.2. O primeiro risco coberto é o de enchentes no Sul do Brasil. | ainda não (piabrota.art/alerts, em breve) | MPL-2.0 | | 代理, dairi, an agent, brushed in sixteen strokes among stars, inside an orbit | [**rax**](https://github.com/piabrota/rax) | Rustic Agentic Runtime: um port em Rust puro do AX, o orquestrador declarativo de tarefas agênticas sobre o Agent Substrate. O rax mantém a API do AX, então um manifesto escrito para o AX funciona aqui. | nenhum | MPL-2.0, partes do AX em Apache-2.0 | | An open letter c with a dot, on a dark square | [**closed-source**](https://github.com/h0ffmann/closed-source) | *The god that failed*: um livro sobre por que o código fechado falhou como proteção, a começar pela ciência. Entra Markdown, sai PDF, toda referência é checada e toda versão é citável. | [h0ffmann.github.io/closed-source](https://h0ffmann.github.io/closed-source/) | texto CC BY 4.0, código AGPL-3.0 | +| ∀ | [**awesome-neurosymbolic-ai**](https://github.com/h0ffmann/awesome-neurosymbolic-ai) | Uma lista curada de frameworks, raciocinadores, artigos, cursos e benchmarks de IA neurossimbólica: sistemas que juntam aprendizado neural e raciocínio simbólico. | nenhum | CC0-1.0 | | 🎶 | [**ihero**](https://github.com/piabrota/ihero) | Um player de música e jogo FOSS, em Rust. Em breve: o repositório só tem a licença. | ainda não | MPL-2.0 | | O quarto à noite: uma mesa com um computador bege, kanji em quadros na parede, uma janela larga sobre o Rio | [**room**](https://github.com/piabrota/room) | Um site pessoal que é um quarto em 3D, feito com three.js: planos de câmera, fitas para ver na TV, a piabrota RADIO, chuva, dia e noite, e uma vista ▲ grid com 24 h de vento e mar na costa do Brasil. O modo LOFI transforma o quarto em uma página para ler. | [room.piabrota.art](https://room.piabrota.art) | MPL-2.0 | | 无, mu, brushed in four strokes from Desmos equations | [**nix-os**](https://github.com/piabrota/nix-os) | A configuração NixOS da pequena VPS que serve piabrota.art/nixos. Cada mudança é julgada pelo que adiciona à closure e à memória. | [piabrota.art/nixos](https://piabrota.art/nixos) | MPL-2.0 | @@ -55,7 +56,8 @@ | Uma rede neural que flui para o quantificador universal, desenhada com equações do Desmos | [**proof**](https://github.com/h0ffmann/proof) | **Em incubação.** Especificações escritas e provadas em Lean 4, com implementações em Haskell e Rust conferidas contra elas, e experimentos de dados com artigos. Antes se chamava dogma. | nenhum | MPL-2.0 | Os desenhos e a foto do quarto carregam do repositório de cada projeto, em um commit fixado. -Nenhuma imagem é copiada para cá. ihero, agents, dojo e ondecomer ainda não têm desenho. +Nenhuma imagem é copiada para cá. ihero, agents, dojo e ondecomer ainda não têm desenho, e +awesome-neurosymbolic-ai mostra o ∀ com que o README dela abre. ## Como se encaixa