- Badness 0 est une ressource de Tom 7 accessible par plusieurs voies, comme la lecture, le visionnage d’une vidéo ou la compilation des sources
- La première et la deuxième méthode consistent à lire la version de Knuth ; ce sont des options centrées sur le document pour découvrir le contenu
- La troisième méthode propose de regarder Badness 0 (Apostrophe‛s version), une vidéo clignotante en 4K 60 Hz
- Les lecteurs qui aiment se battre avec les messages d’erreur peuvent télécharger le code source et le compiler eux-mêmes
- Les sources sont fournies sous GPL, et des notes sur la compilation et l’utilisation seront ajoutées après la récupération de la production de la vidéo
Façons de découvrir Badness 0
- La première et la deuxième méthode consistent à lire la version de Knuth
- La troisième méthode est le parcours recommandé : regarder Badness 0 (Apostrophe‛s version), une vidéo à éclairage clignotant en 4K 60 Hz
- Cette version est présentée comme le plus récent épisode de Main Sequence
- La quatrième méthode consiste à télécharger le code source et à le compiler soi-même
- C’est une approche adaptée à ceux qui aiment se battre avec les messages d’erreur
- Le code source est fourni sous GPL
- Des notes sur la compilation et l’utilisation seront ajoutées plus tard
Ressources associées
- FixederSys : police créée par l’auteur et utilisée dans la vidéo et les documents
- Suckerpinch : chaîne YouTube où sont publiées des vidéos liées
- Il est possible de laisser des commentaires sur le blog ou sur Mastodon @tom7
- tom7.org : site rassemblant les contenus liés à Tom 7
1 commentaires
Commentaires sur Hacker News
Tom7 est mon créateur de contenu préféré. Chaque projet ressemble à un article vidéo qui va au-delà d’un mémoire de master.
Si vous ne le connaissez pas encore bien, ça vaut la peine de prendre le temps de regarder ses autres vidéos ; elles sont toutes excellentes, au point qu’il est difficile d’en recommander une en particulier. Merci à Tom7 pour l’éducation gratuite et le plaisir qu’il procure ; c’est une grande source d’inspiration.
Les vidéos de Tom7 donnent chacune l’impression d’être le fruit d’un génie qui rend humble ; rien que le fait de les connaître donne l’impression d’entrer dans un club secret de gens plus intelligents que moi.
J’ai lu l’article mais pas regardé la vidéo et, en tant qu’étudiant de premier cycle en informatique de 54 ans, même si je ne connais pas bien Curry-Howard, cet article m’a fait glousser de plaisir.
Je ne comprends pas encore la plupart des textes de Knuth non plus, mais ils me procurent un plaisir similaire. Ça me donne envie d’ajouter un système de succès en easter eggs bricolé à la va-vite dans les prochains logiciels « sérieux » que je créerai.
grep, un message aléatoire « Achievement unlocked! » s’affichait, il y aurait vraiment beaucoup de possibilités.Dans une vidéo obsédée par les détails à l’extrême, est-ce qu’on gagne quelque chose si l’on repère que le sous-titre à l’écran dit « Is this the most beautiful ____ », tandis que la narration dit « This is the most beautiful ____ » ?
https://www.youtube.com/watch?v=Y65FRxE7uMc&t=9m07s
Je ne sais pas non plus si la phrase au début de la vidéo, « Way three (recommended) is to sit back and bathe in the 4k, 60Hz flashing lights that are Badness 0 (Apostrophe‛s version) is the newest installment in the Main Sequence: », est une erreur, fait partie de la blague, ou se lit d’une manière que je ne comprends pas.
https://imgur.com/a/wjK5br5
En voyant l’introduction sur les petites erreurs agaçantes, j’ai naturellement pensé que cela faisait partie de la blague et que ce serait un dispositif réutilisé comme chute plus loin dans l’article. Mais au final, j’ai conclu que le PDF ne s’affichait probablement pas comme prévu ; je l’avais d’abord lu avec Evince, mais le rendu était bien meilleur avec muPDF.
J’adore vraiment ce type. Ma vidéo préférée est celle où une NES fait tourner un jeu SNES - https://www.youtube.com/watch?v=ar9WRwCiSr0&t=142s
Je ne le connaissais pas du tout, alors j’ai regardé la vidéo SNES to NES, et wow. C’est original et vraiment drôle ; ça fait plaisir de voir quelqu’un de drôle intellectuellement, plutôt que des blagues racistes ou sexistes au plus petit dénominateur commun.
La vidéo et la personne sont très inspirantes, et je pense que je vais aimer descendre dans ce terrier.
Rien que l’excellente chute finale vaut le visionnage.
Rien sur cette page ne donne la moindre idée de ce dont parle cette vidéo.
Pour voir son style, son humour, et jusqu’où il est prêt à aller dans l’absurde pour prouver quelque chose, je recommande vivement « Harder Drive: Hard drives we didn't want or need ». C’est structuré en trois actes, et celui du milieu me fait encore exploser le cerveau.
Cette fois, en s’inspirant de l’algorithme de mise en lignes de Knuth utilisé dans le système de composition TeX pour produire de beaux documents imprimés, il entraîne un grand modèle de langage à modifier automatiquement les phrases d’entrée afin de minimiser la « badness » de la mise en page. D’où « Badness 0 ».
C’est à peu près le sujet, mais c’est en même temps beaucoup plus ambitieux, impressionnant et stupide. Les « trois méthodes » sont, littéralement, un document technique composé dans TeX avec l’algorithme de Knuth, une variante composée avec son propre moteur de mise en page qui conserve le sens tout en modifiant légèrement la formulation, et la version vidéo.
J’ai trouvé amusant l’algorithme de garbage collector qu’il a choisi : « mon ordinateur a 256 Go de RAM ».
Je n’ai pas pu lire jusqu’au bout l’article « Badness 0 Knuth's version » à cause du keming. Je ne sais pas si c’était volontaire, et c’était tellement distrayant que j’avais du mal à continuer. Ironique.