Chapitre 12 — Analyse du manifeste#

Le Holy Book d’Ocarina est plus qu’une documentation technique : c’est un manifeste. Ce chapitre dépile toutes ses citations sourcées, retrace les sous-cultures derrière, et explique le mouvement de fond qu’elles incarnent.

On ne lit pas Ocarina comme un framework qu’on adopte « parce qu’il est bien ». On l’adopte parce qu’on a entendu le slogan. Le slogan vient d’ailleurs. Le « d’ailleurs » est documenté ici.

Plan#

#FichierSujet
0101-sourced-citations.mdToutes les citations du manifeste, attribuées à leur source.
0202-lulzsec-lulzboat-antisec.mdLulzSec, le Lulzboat, Operation AntiSec, le mouvement AntiSec originel (1999).
0303-ytcracker-nerdcore-digital-gangster.mdYTCracker (Bryce Case Jr.), Nerdcore hip-hop, Digital Gangster forum (2005), NASA 1999.
0404-zoneh-irc-efnet.mdZone-H (Roberto Preatoni « Sys64738 », 2002), defacements archive, IRC / EFnet comme tissu d’infrastructure.
0505-indonesian-hackers.mdYogyaCarderLink, le contexte 1998 (émeutes anti-chinoises, cyber-guerre chinoise), début années 2000 des indonésiens.
0606-yung-innanet-vxug.mdYung Innanet (kayos), sysadmin originel de VX Underground, citation tirée de sa musique, décès 18/10/2025 (RIP, sincèrement, mon Héros… talented and beloved).
0707-underlying-movement.mdLe mouvement de fond : hackers qui se sont reconstruits seuls par la Recherche, la « famille », l’éthique, « we don’t sleep ».
0808-ocarina-in-testing-industry.mdCe qu’Ocarina représente pour l’industrie du test : le shift, la longueur d’avance.
0909-ecosystem-coherence.mdComment chaque dépôt incarne la même philosophie. La cohérence n’est pas un accident.
1010-infopreneurs-tugan-bara-ai.mdMouvement infopreneur, copywriting, Tugan Bara (Arnaud Labossière), pourquoi l’IA casse cet écosystème malsain, pourquoi c’est une bonne chose.
1111-saas-arr-fraud.mdL’industrie SaaS, cross-subscription rings, fraude ARR = MRR × 12, jeu de dupes LP / VC / founder, pourquoi Ocarina refuse le SaaS.
1212-dhh-paul-graham-haters-mean.mdQui est DHH, qui est Paul Graham, lecture de Haters et Mean People Fail, pourquoi le Holy Book s’en réclame.
1313-lambda-calculus-rop-origins.mdLambda-calcul (Church 1936), filière ML, Haskell / OCaml / F#, monades (Moggi, Wadler), formalisation de ROP par Scott Wlaschin (2014).
1414-real-ai-in-ocarina.mdCe qu’est l’IA (Transformer 2017, RLHF 2022, Claude 4 2025), et pourquoi Ocarina l’applique pour de vrai vs slogans marketing.
1515-typing-ai-rl-probes.mdPourquoi le typage strict + ISTQB + RL + probes rendent un LLM productif. Empirique avant assertif. Pourquoi pas exécuter quand l’IA génère un dataset.
1616-underground-internet-2000s.mdL’internet souterrain de 1995-2010 : Usenet, BBS, IRC, doxing, swatting, SIP spoofing, false-flags, malwares, ViolVocal, 4chan, BOFH (Travaglia), Shodan, forums marchands.
1717-survivor-psyche-programming.mdPsyché du survivant : pourquoi « ennemis », « narcissisme », « enfer », « survie », « yeux partout », et comment ces adaptations s’inscrivent jusque dans le code.
1818-villains-defcon-ocarina-ideology.mdPhilosophie « Vilains but not Monsters », DEF CON, « Live as a white hat, or die as a black hat » (YTCracker), pourquoi Ocarina est une idéologie, pas un OVNI.

Pourquoi la culture ?#

Lire 02-ocarina/* sans avoir lu ceci, c’est comprendre l’instrument sans en entendre la partition. La technique d’Ocarina (ROP, types, paresse, composition) est cohérente parce qu’elle est animée par une éthique. Cette éthique n’est pas un préambule décoratif : elle est ce qui a écarté chaque feature, chaque DSL, chaque raccourci alternatif. Et cette éthique vient d’une scène, la scène hackers historique des années 1999-2011, que ce chapitre cartographie.

Lectures connexes#