Sou pesquisadora e desenvolvedora independente. Meu trabalho conecta matemática, lógica e arquitetura de computadores à construção concreta de linguagens, compiladores, runtimes e sistemas operacionais.
lógica booleana
↓
circuitos e arquitetura
↓
assembly e representação de máquina
↓
compiladores, runtimes e ABIs
↓
sistemas operacionais e self-hosting
Não estudo essas camadas como assuntos isolados. O objetivo é compreender os contratos entre elas e transformar esse entendimento em ferramentas e sistemas autorais.
Uma linguagem de programação autoral em português, concebida para ser tecnicamente auditável, lexicalmente soberana e capaz de crescer até controlar a própria implementação.
pinker-v0 é a base factual atual da linguagem:
- frontend e compilador escritos em Rust;
- interpretador para a superfície estável;
- AST tipada, IR textual, CFG IR e máquina abstrata auditáveis;
- backend nativo próprio;
- geração de executáveis ELF Linux x86-64 System V;
- runtime nativo
pinker_rt; - verificação de paridade entre execução interpretada e nativa nos recortes compatíveis.
fonte .pink
└─► lexer / parser com spans
└─► AST tipada e validada
└─► IR textual / CFG IR
└─► máquina abstrata
├─► interpretador
└─► assembly x86-64
└─► ELF + pinker_rt
pacote laboratorio;
carinho principal() -> bombom {
falar("uma linguagem deve conhecer a máquina que a sustenta");
mimo 0;
}
Estado honesto: Pinker v0 ainda não é uma linguagem de propósito geral nem um compilador de produção. O alvo nativo atual é Linux x86-64 System V. Self-hosting, freestanding e sistema operacional pertencem à direção futura, não ao estado já implementado.
|
Implementação factual:
|
Direção e julgamento:
|
Verificação determinística:
|
Pinker/
├── linguagens de programação
├── compiladores e interpretadores
├── sistemas de tipos e semântica
├── IR, CFG e geração de código
├── runtimes, ABIs e formatos binários
├── arquitetura de computadores
├── assembly, C e Rust
├── Linux From Scratch e OSDev
├── segurança e sistemas de baixo nível
└── agentes de IA para engenharia de software
Também estudo a linha contínua do Nand2Tetris:
NAND → circuitos → CPU → assembly → VM → compilador → sistema
struct Pesquisa {
verdade_tecnica: Evidencia,
abstracao: Contrato,
implementacao: Sistema,
identidade: Intencao,
}
fn evoluir(projeto: &mut Projeto) {
localizar();
inspecionar();
extrair();
classificar();
planejar();
alterar();
validar();
revisar();
relatar();
}- visão não é tratada como implementação;
- abstrações devem preservar os contratos das camadas inferiores;
- uma entrega precisa atravessar o caminho completo, não apenas aparentar progresso;
- nomes fazem parte da arquitetura;
- ferramentas devem ampliar autonomia, não esconder funcionamento.
|
Base factual atual da linguagem Pinker. Inclui:
Foco: compiladores, runtime, backend nativo, evolução rumo a self-hosting e sistemas. |
Repositório dos meus mapas do Obsidian. Inclui:
Foco: clareza estrutural, conexão entre temas e continuidade dos estudos. |
