GitHub 1-3 : GraphQL, PostgreSQL, programmation fonctionnelle, L-systems postgresql graphql programmation fonctionnelle
Equivalence, morphisme et réécriture en Coq Où l’on apprend comment étendre le fonctionnement de la tactique `rewrite` coq preuve méthodes formelles
Zest Writer 1.7 est disponible Avec support des tribunes libres et des performances améliorées java zds open source
L'algorithme de recherche de motifs d'Aho-Corasick Où comment chercher 42 aiguilles dans une botte de foin python automate fini expression régulière
Kotlin + Brainfuck : efficacité, compacité, optimisation Où l'on teste Kotlin (par rapport à Java) et où l'on essaie de faire efficace optimisation brainfuck kotlin