LAI Coding

RICERCA APERTA · VERSIONE 0.9 ALPHA 14

Un linguaggio per chi genera software.

LAI Coding esplora una domanda semplice: se a scrivere è un’intelligenza artificiale, possiamo progettare un linguaggio più compatto, controllabile e vicino alla macchina?

Segui il lavoro Leggi tutti i risultati
LAI / PIPELINE NO RUNTIME ESTERNO
  1. 01 Intento AI auth.user.create
  2. 02 Sorgente LAI route + policy + data
  3. 03 Grafo verificato bounded / typed / explicit
  4. 04 Binario nativo linux x86_64
INPUT COMPATTO OUTPUT CONTROLLATO

OBIETTIVO / 01

Meno intermediazioni.
Più controllo.

Non stiamo cercando di rendere il codice misterioso. Stiamo eliminando ciò che serve principalmente alla lettura umana, conservando invece regole rigorose che un’AI possa produrre e una macchina possa verificare.

Il progetto è sperimentale. Ogni vantaggio dichiarato deve essere ripetibile, confrontabile e accompagnato dai suoi limiti.

PRINCIPI / 04

Quattro vincoli, non quattro slogan.

  1. 01

    Self-hostable

    Compilatore, runtime e applicazioni installabili su infrastruttura controllata da chi li usa.

    ORA
  2. 02

    Attento alle risorse

    Memoria limitata, percorsi espliciti e costi osservabili a parità di hardware.

    MISURATO
  3. 03

    Sicuro per costruzione

    Limiti finiti, input ostili trattati come caso normale e difese verificate prima del rilascio.

    ORA
  4. 04

    Efficiente per gli agenti

    I quattro handler auth composti richiedono il 63,19% di token in meno dell’orchestrazione C equivalente; il contratto completo resta più compatto dell’11,20%.

    MISURATO

EVIDENZA / 0.7

I numeri includono anche ciò che non ci favorisce.

Pubblichiamo mediane, memoria, errori e limiti del metodo. Un risultato sotto il 2% su una VPS rumorosa non diventa una vittoria per arrotondamento.

Apri il rapporto completo
Memoria LAI
292 KiB RSS
Campagna route
14M richieste
Errori
0 osservati
Confronto paired
−1,12% vs Rust

PROVA / 0.8

Il primo servizio LAI è già online.

Registrazione, login, profilo e logout vengono compilati direttamente dalla IR tipizzata LAI in assembly x86-64. I quattro percorsi condividono una sola guardia di integrità, mentre database, crittografia e sessioni restano connettori nativi delimitati. Il sito pubblico e il portale sono due processi separati.

Prova l’autenticazione
auth.laicoding.org ONLINE