12.11 — L’industrie SaaS, la fraude à l’ARR, jeu de dupes#

Ocarina rejette le SaaS. L’industrie du SaaS est un écosystème circulaire où chaque outil vend à chaque autre outil, où le revenu déclaré est gonflé par convention, et où chaque étage de la chaîne capitalistique (LP, VC, founder) entretient sciemment une plausible deniability pour pouvoir attaquer les autres en justice le moment venu.

1. Le SaaS contemporain#

2. Abonnements croisés#

   ┌──────────┐ paie     ┌──────────┐
   │ Vercel   │─────────>│ Stripe   │
   │          │<─────────│          │
   └──────────┘     paie └──────────┘
        │                     │
   paie │                     │ paie
        v                     v
   ┌──────────┐          ┌──────────┐
   │ Linear   │<────────>│ Notion   │
   └──────────┘  paient  └──────────┘
        │                     │
        v                     v
   ┌───────────────────────────────┐
   │ Slack, Figma, Loom, Sentry,   │
   │ Datadog, Clerk, Cursor, …     │
   │ tous abonnés à tous           │
   └───────────────────────────────┘

• Vercel paie un abonnement à Stripe (billing), Datadog (obs), Linear (planning), Figma (design), Loom (présentations internes), Slack (comms), Notion (docs).
• Stripe paie un abonnement à Vercel (hosting pour ses dashboards), Linear, Figma, Slack…
• Linear paie un abonnement à Vercel, Stripe, Notion, Figma, Slack.
• Notion paie un abonnement à Linear, Stripe, Slack, Figma.

Et ainsi de suite. Tout le monde paie tout le monde.

12.12 — DHH, Paul Graham, Haters, Mean People Fail#

Le Holy Book cite deux grands noms : David Heinemeier Hansson (DHH) et Paul Graham (pg). Ces deux auteurs ne sont pas cités au hasard, chacun incarne une posture rhétorique précise. Ce fichier explique qui ils sont, ce qu’ils ont écrit, et pourquoi l’essai Haters de Paul Graham (et son frère cadet Mean People Fail) sont le précédent intellectuel direct du chapitre « Premiers retours ».

12.13 — Lambda-calcul, ROP, Haskell / F# / OCaml, monades#

Ocarina n’invente rien sur le plan théorique. Il applique : du lambda-calcul d’Alonzo Church (1936) aux monades d’Eugenio Moggi (1989) et Philip Wadler (1992-95), formalisé en tant que Railway Oriented Programming par Scott Wlaschin (2014).

1. Lambda-calcul (Church, 1936)#

Définition#

Le lambda-calcul (λ-calcul) est un système formel inventé par Alonzo Church (1903-1995) pour étudier la calculabilité.

12.14 — L’IA, et comment Ocarina l’applique pour de vrai#

« AI-powered » est devenu en 2023-2026 un slogan marketing complètement débile : 99 % des produits qui le revendiquent enrichissent un produit existant avec un endpoint chat.completions. Ocarina propose, à l’opposé, une infrastructure logicielle pensée pour qu’une IA puisse contribuer comme un développeur senior. ocarina-with-ai-example étant la preuve par l’exemple.

1. Ce qu’est l’IA aujourd’hui#

Note : le CNN est inventé par Yann LeCun dès 1989 (MNIST). AlexNet (Krizhevsky, Sutskever, Hinton, Toronto, 2012) en est la percée industrielle. LeCun, Hinton et Bengio partagent le Turing Award 2018 pour leurs contributions fondatrices au deep learning.

12.15 — Typage, ISTQB, Reinforcement Learning, probes : pourquoi l’IA marche dans Ocarina#

Pourquoi tant d’obsession pour le typage strict, la formalisation de chaque interface, l’alignement sur l’ISTQB, le refus d’exécuter une assertion sans avoir observé ? Le mécanisme est emprunté au Reinforcement Learning : un agent ne progresse que sous contrainte + signal de récompense.

1. Un LLM nu n’est qu’un mauvais collaborateur#

Un LLM sans environnement structuré est :

12.16 — L’internet souterrain des années 1995-2010 : forums, outils, banalisation de la cruauté#

Pour comprendre la rage qui traverse le Holy Book d’Ocarina, il faut comprendre ce qu’était vraiment internet avant Facebook (2006-2008), avant que Cloudflare ne devienne le gardien des portes (2010+), avant que la modération ne soit prise au sérieux. C’était un Far West où des compétences étatiques se développaient dans des chambres d’adolescents, où la vie privée d’un adversaire pouvait être démolie en 48 heures, et où les recours juridiques classiques étaient inopérants. Cette page décrit la mécanique, sans complaisance, sans héroïsation.

12.17 — La psyché du survivant : « ennemis », « narcissisme », « enfer », « survie », et comment ça remonte jusque dans le code#

L’auteur du Holy Book d’Ocarina utilise des mots forts : ennemis, narcissisme, enfer sur terre, survie. Ces mots ne sont pas des effets de style. Ce sont les descripteurs précis d’une expérience vécue par toute une cohorte qui a traversé l’internet souterrain 2000s décrit dans 16-underground-internet-2000s.md. Cette page explique pourquoi ces mots sont exacts, ce que produit ce vécu sur la psyché, et comment ces adaptations psychologiques s’inscrivent profondément dans la façon de programmer, d’architecturer, de toujours se tenir à jour.

12.18 — « Vilains but not Monsters », DEF CON, « live as a white hat or die as a black hat », et l’idéologie d’Ocarina#

Ocarina n’est ni une lubie esthétique ni un OVNI hors-sol. C’est l’expression technique d’une idéologie cohérente héritée du mouvement hacker : l’éthique Vilain, mais pas un monstre, la culture tribale des conférences (DEF CON en tête), et la devise de YTCracker prononcée sur scène : « live as a white hat, or die as a black hat ».

12.19 — It’s over#

Je n’écris pas du code « qui implémente des specs ».
J’écris du code avec une âme.
Du vrai code de passionné. Tu sais ce que ça veut dire ? Pendant que toi, tu prends ça de haut, que tu nous traites d’autistes ?

On ne demande rien, si ce n’est du respect et qu’on nous laisse travailler normalement.
La situation actuelle de l’informatique est épuisante.