Basile STARYNKEVITCH

Pendant la pandémie Covid-19 au printemps 2020

Voir HelpCovid sur github.com/bstarynk/helpcovid (une application Web en C++ en logiciel libre sous licence GPLv3+) que je code avec d'autres pour aider les gens à aider leurs voisins. Je reste confiné chez moi (à 92340 Bourg-la-Reine). Votre aide est bienvenue, mais restez chez vous. Merci de me contacter par mél vers basile@starynkevitch.net. Voir aussi ceci.

Mon CV

Je cherche à démarrer une activité de freelance (pointu, Linuxien). Mon CV est disponible ici (PDF, en anglais).

Sur mon temps libre, je travaille, avec d'autres, sur RefPerSys, un projet de recherche ambitieux d' Intelligence Artificielle en logiciel libre, qui devrait m'occuper une décennie entière.

pour les recruteurs:

Je suis intéressé par tout emploi de nature extrêmement technique (pas managériale) en région parisienne -ou même en province; voire en zone Euro- (à condition que le télé-travail partiel y soit pratique courante : j'ai une pièce qui me sert de bureau à la maison, et les transports en commun franciliens se dégradent de plus en plus; ma tendre épouse a un cabinet de psychothérapeute dans notre maison et sa patientèle n'est pas délocalisable). Ce pourrait même (dans des conditions à discuter) être un CDD de 11 à 24 mois (éventuellement même un 4/5-ème de temps), ou bien même quelques missions de quelques trimestres en EURL ou en freelance. Voici mon CV en anglais. Je cherche un travail technique -sous Linux- qui fait sens pour moi (avec un poids bureaucratique réduit, une charge technique intéressante, et un management vertueux et intelligent, et pas seulement érotique -au sens de Bataille- ou hormonal) où j'ai encore la permission, la possibilité et le temps d'apprendre (des choses en informatique, y compris techniquement et même scientifiquement - notamment en Machine Learning, Artificial Intelligence, Big Data, Data Science, Cloud Computing, Web technologies, Distributed Computing, Cybersecurity, Program analysis, Software Engineering, Open source software, etc...) puis d'appliquer (en codant, au profit de mon employeur ou client) ce que j'ai appris, tout en discutant -au moins une ou deux heures une ou quelques fois par semaine- techniquement (et pas seulement administrativement) avec mes collègues (ou des clients). Essentiellement, je suis un geek et fier de coder (mais souhaitant pouvoir parler techniquement de mon code) donc contactez moi par courriel vers basile@starynkevitch.net.

An english version (more technical, less political) of this (mostly French) page (on starynkevitch.net/Basile/index.html) is available. The technical content would be similar, but the political or philosophical opinions are only expressed in French here, since my English skills are not good enough for that. Most of this web page is food for thought. English readers might use Google translate to understand most (but not all) of its contents, then perhaps send an email to me with further questions about it. But then please bear in mind that my native language is French, not English.

La plupart de cette page -plus philosophique et politique que technique- est en français. Les hyperliens y sont soigneusement choisis et méritent votre attention. Dans un document papier, ils seraient souvent des références bibliographiques (vers du contenu qui pourrait être payant, propriétaire, temporaire, ou même en anglais ou d'autres langues) ou des notes de bas de page. Cette page est volontairement à l'opposé des réseaux sociaux. Mon but, en écrivant puis améliorant cette page souvent mise à jour, est de provoquer le débat (trop souvent absent ou trop focalisé sur des détails à mon avis sans importance), diffuser des idées auxquelles je tiens, vous fournir de la matière à penser, faire sourire, croiser des points de vues, souligner des faits trop oubliés, faire évoluer vos opinions comme les miennes, susciter la contreverse, croiser le fer sur des points de vues variés, jouir de ma liberté de penser et d'exprimer des opinions. J'ai réussi si vous parlez un peu de cette page (même négativement) autour de vous, si elle vous fait réfléchir ou rigoler, ou si vous la partagez informatiquement, ou si vous m'envoyez un mél (pouvant être critique, mais si possible constructivement) à son propos. J'ai échoué quand elle vous laisse totalement indifférent. Pour les références ou les textes en anglais, on peut être aidé par Google Translate pour les comprendre en partie (mais Traduttore, traditore est surtout vrai pour les traductions automatiques). Pour suivre malgré tout quelques hyperliens périmés, on pourrait peut-être tenter d'utiliser web.archive.org.

Partner Search for ICT16-2018 H2020 European call for proposal (collaborative research project idea). We got funded and the DECODER project did start in 2019.

Introduction à la session Techniques de programmation web à l'état de l'art du 28 juin 2016: transparents en starynkevitch-osis2016.pdf

exposé Divagations autour du logiciel libre... pour Ingénieurs sans Frontières (réunion du samedi 28 mars 2015, ENSTA, Palaiseau).

Qui suis-je?   :     photo oct. 2019 par Matthieu Starynkevitch

• mon CV est ici (en anglais), et vous y trouverez mon téléphone portable. Feu mes parents m'ont parlé en Russe quand j'étais enfant ou jeune à leur charge, et me répétaient souvent: Век живи - век учись (litéralement, si tu vis un siècle, tu dois apprendre pendant un siècle). Je pense à ce proverbe chaque jour que le bon Dieu fait.
• Né en août 1959, français et électeur, ayant même été -péniblement- juré de cour d'assises en novembre 2017.
• Marié depuis plus de 40 ans à Corinne [-Elisabeth] (psychologue et psychothérapeute à Bourg La Reine - 92340), père et grand-père 8 fois
• adresse postale: 8, rue de la Faïencerie, 92340 Bourg La Reine, France (Mobile: +33 [0]6 8501 2359)
• je n'aime guère les réseaux sociaux (qui sont aussi addictifs et toxiques que la cigarette, et, de mon point de vue, devraient être taxés tout autant). Je partage l'analyse qu'en fait Linus Torvalds, et (dans nos pays démocratiques, comme en Europe) je déteste le plus souvent l'anonymat sur Internet, et je me sens libre, fier, mais responsable de mes propos et opinions exprimés ici, et encore sentimentalement attaché à la France. Je contribue occasionnellement à certaines listes de diffusion, dont celles de l'April, de l'Aful, de GCC, de Debian User French, et aussi sur quora; mais mes opinions y sont seulement miennes.
• Sur StackOverflow: et aussi sur Software Engineering et sur AI.
• Sur GitHub: github.com/bstarynk et sur gitlab
• Je travaille maintenant (2018-2020) au laboratoire de sécurité et sûreté du logiciel (25 permanents environ) sur bismon (nom provisoire) dans le cadre du projet CHARIOT, et (en 2019-2021) dans le projet DECODER, tous deux financés, en principe à 100%, par la Commission Europénne via H2020 (mais hélàs non mentionnés, même indirectement, en été 2019, ici). Avec d'autres collègues, j'ai activement initié ce projet DECODER.
• mon employeur, le CEA/LIST relève -dans les textes et en principe- de la quatrième mission du décret 2016-311: ... contribuer, au service de la compétitivité de la France, au développement technologique et au transfert de connaissances, de compétences et de technologies vers l'industrie (c'est moi qui souligne, et il faut aussi implicitement entendre à chiffres et budget public constant ou en diminution ...).
• J'ai progressivement pris conscience (voir aussi ceci et ça....) que mon véritable rôle, comme celui du CEA, LIST tout entier, est de servir de support à l'optimisation fiscale des entreprises françaises (par le CIR) et européennes (par H2020 et suivants). Concernant le CIR (qui fait débat, car il est peu contrôlé, et seulement a posteriori) dans les technologies de l'information et de la communication, faut-il subventionner, avec de l'argent public rare, des emplois d'ingénieurs développeurs, qui manquent cruellement au tissu économique français? Je trouverais plus logique de subventionner -par nos impôts- les emplois dans les secteurs où il a du chômage structurel, et de laisser le secteur privé investir, à ses frais, dans un peu plus d'innovation (mais pas de manière obsolète)...
  Il ne faut pas oublier que la Compétitivité économique hors coût de la France, relative aux autres pays de la zone Euro, continue de décroître ou au moins de stagner (si vous avez des chiffres récents, je suis très intéressé...). Pour s'en convaincre, il suffit par exemple de comparer les caractéristiques et la qualité d'une voiture neuve française (Peugeot, Renault, Citröen) vis à vis d'une automobile allemande de même prix (Ford, Volkswagen, ...), et de constater l'écart relatif des parts de marché de ces constructeurs dans le monde. Un constat similaire s'impose même pour des composants informatiques (y compris les boîtiers, ventilateurs, ou water-cooling) : par exemple, sur materiel.net -un excellent fournisseur, nantais- je trouve peu de composants conçus en France, mais certains sont conçus en Allemagne ou en Suède..., où la main d'œuvre horaire et qualifiée coûte pourtant un peu plus cher qu'en France.... La sidérurgie française pointue ne sait plus faire une cuve de réacteur nucléaire, ou des soudures techniques sur l'EPR Flamanville 3, alors son équivalent chinois Taishan 1 & 2, de même technologie et conception françaises, produit déjà ses 1750MW électriques...
  Le lecteur interessé lira ce rapport de la Cour des Comptes qui est toujours d'actualité, même en 2019 ou 2020, ainsi que ce rapport du Sénat (sur le projet de loi de finances pour 2019). La DGT a publié en janvier 2018 ce rapport comparatif des systèmes publics d'aides à l'innovation, qui souligne, relativement à d'autres pays développés, le manque d'investissement en R&D des entreprises françaises, la petitesse du nombre de docteurs en entreprise, et la faiblesse, encore actuelle, du système français sur le transfert de connaissance entre la recherche publique et les entreprises privées... Ce rapport sur la dynamique de la production scientifique dans le monde, en Europe, en France (par l'HCERES) est intéressant à lire, et constate lucidement le déclin de la science française; et je n'espère plus voir ce déclin cesser avant mon départ à la retraite; il est une conséquence logique du fait qu'on (les professionnels de la recherche, y compris la pietaille anonyme dont je fais partie) passe collectivement (c'est macro-économiquement une ineptie) plus de temps à chercher de l'argent pour financer la recherche, et moins de temps à la recherche technique elle-même, sachant qu'il faut une décennie de travail pour acquérir une compétence technique globalement compétitive en informatique (ou dans d'autres domaines scientifiques ou techniques).... Or le travail est quelquefois difficile voire (étymologiquement, ou pour une femme qui accouche...) parfois douloureux ou pénible; et plus classiquement on dit, au lieu de travail, labeur, mot dont l'origine est tout aussi intéressante.
  Le risque psycho-social (RPS) est mon principal risque professionnel: il y a eu une tentative de suicide (en rapport direct et avéré avec ce risque) dans le bâtiment NanoInnov où je travaille, fin 2017. Le business model constamment énoncé au CEA/LIST y est pour quelque chose, et on le présente comme un modèle à suivre (par les universités et organismes publics de recherche en France). C'est pourquoi je crains d'en voir d'autres dans les années qui viennent. J'ai personnellement déjà eu des arrêts de travail, prescrits par mon médecin, liés aux RPS, et ceux-ci réconfortent ma hiérarchie. Je suis, par déformation professionnelle (dûe à une formation initiale en raisonnement automatique et en logique formelle), peut-être plus sensible que d'autres aux injonctions paradoxales en milieu professionnel, et je constate avec douleur qu'elles sont en nombre croissant au CEA, LIST. Mon modèle favori pour comprendre mon management, c'est le principe de Dilbert, et aussi des papiers tels que Big other: surveillance capitalism and the prospects of an information civilization, très pertinents pour mieux comprendre le business model (fantasmé -par certains hiérarques- analogue à celui attribué aux GAFAM) rêvé par la plupart de sa classe dirigeante (obsédée par les applications lucratives, parfois dangereuses, du big data), du CEA/LIST tout entier. Je recommande aussi (comme fournissant de la matière à penser) et chaudement la lecture du rapport Villani sur l'intelligence artificielle, des livres Bullshit Jobs, La pensée Powerpoint (ce logiciel qui rend stupide) -mais je lui prefère Beamer-, et La comédie (in)humaine, libres d'obéir et aussi Sagesse et Folie du Monde Qui Vient: Comment s'y préparer, comme y préparer nos enfants, Le Holdup Planétaire. J'attends donc, avec impatience et gourmandise, mon prochain départ à la retraite (probablement en 2024), en sachant bien qu'en août 2019 le nombre d'emplois à pourvoir en France atteint des records, mais que de plus en plus d'emplois y sont insatisfaisants (et c' est fort bien analysé ici et là): je l'explique par le mismanagement (ou panagement) produit par le système, typiquement français, de nos grandes écoles (dont Centrale est un exemple abouti), dont je suis moi-même issu. Une de mes plus importantes décisions conscientes a été de ne pas passer le concours de Centrale (à mon époque, simultané avec celui de l'ENS Cachan; il m'a fallu choisir ...). Les conseils pour la recherche d'emploi aux étudiants centraliens (ou aux polytechniciens, croisés ces temps-ci sur la ligne de bus 91-06), me laissent songeur: ils confondent trop facilement leadership et aptitude au management, et induisent une mentalité bien française de petit chef; cf aussi Qu'est-ce-qu'un chef de P. de Villiers). Je suis syndiqué, mais peu actif, à la CGT (car c'est le seul syndicat qui, au sein du CEA, se mobilise concrètement contre les RPS), mais je n'en partage pas toutes les positions nationales.
• En France, la dette privée -toujours en croissance en 2019- des entreprises et aussi des ménages (environ 133%, dont celle des ménages est seulement de 60% du PIB) est plus préoccupante encore que la la dette publique de la France (environ 100% du PIB; dette publique détenue à l'étranger, pour sa plus grande part, dont le taux est paradoxalement négatif en été 2019 ; voir aussi la comparaison récente de la dette publique des États de la zone Euro et la crise de la dette de cette zone). Noter aussi l'inflation récente ou prévisionnelle. Donc je vois les (fort irrationnels) Critères de Maastricht avec la même inquiétude que ceux, passés, du Traité de Versailles; en y échangeant évidemment les postures respectives de la France et de l'Allemagne, peu après la première guerre mondiale.
• Concernant l'Allemagne actuelle, elle reste coupable, mais n'est plus guère responsable en 2019 de ses crimes passés, commis avant 1946 par des individus aujourd'hui morts pour la plupart, et même parfois avec une complicité active de plusieurs miliciens français... je trouve que le prix du sang, versé par l'Armée Rouge de Staline, dans la libération de la France, est encore méconnu: la victoire des Alliés n'est pas seulement dûe au débarquement de Normandie ou à l'heroïsme de la Résistance mais aussi à la bataille de Stalingrad qui l'a rendue possible (et c'est Joukov qui est surnommé le vainqueur de Hitler, pas Eisenhower ni de Gaulle). A propos de la RFA, je note avec inquiétude aussi ses infrastructures en piteux état, la faiblesse de sa démographie, son système de retraite par capitalisation (le retraité allemand possède donc indirectement les rares joyaux de l'économie française), le sous-équipement opérationnel de la Bundeswehr induisant son état désolant. Je reste conscient du formidable excédent budgétaire allemand que je relativise: hyperpuissance économique en Europe, la grande Allemagne devrait être aussi sa principale force militaire en 2019, mais ne l' est toujours pas... (à mon grand regret, l € est devenu un euro-mark favorisant l'économie allemande, mais un peu sur-évalué en France)
  
• je suis revenu (le 15 septembre 2004) au CEA LIST/DILS comme ingénieur-chercheur (j'y travaille sur les compilateurs optimisants pour l'embarqué, l'analyse statique, ...). Je n'y ai pas de page web professionnelle, car le management intermédiaire ne l'autorise pas. Frama-C est développé par des collègues. J'ai travaillé principalement sur GCC en particulier la branche et le greffon GCC MELT (financé par des projets tels que GlobalGCC ou OpenGPU). MELT fournit un langage de haut niveau pour développer des extensions de GCC et en faire un compilateur sur mesure, adapté à vos besoins.
• du 15 septembre 2003 au 14 septembre 2004 j'ai eu le privilège de travailler (en étant détaché pendant un an) comme ingénieur de recherches (spécialiste issu de l'industrie) à l'INRIA dans l'équipe Cristal sur la persistence orthogonale et la traduction de bytecode à la volée dans Ocaml. Voici mon ancienne page à l'INRIA
• Auparavant ingénieur informaticien de recherches au Commissariat à l'Energie Atomique, au SERMA puis au DRN/DMT/SYSCO.
• Formation: ancien élève de l' École Normale Supérieure de Cachan (1980, section A₁ = math) et docteur de l'Université Paris 6 (1990) en infomatique (intelligence artificielle; méta-connaissances)

Intérêts informatiques

Mon principal centre d'intérêt (depuis mon DEA en 1985) est dans les systèmes réflexifs et persistents à base de connaissance. Scientifiquement, mon dada demeure l'intelligence artificielle générale (ou forte) et l'introspection, notamment artificielle, et déjà abordée dans ma propre thèse. Je serais probablement retraité avant 2024 et avec bonheur (je n'aurais plus aucun financement à chercher constamment!) et j'espère alors me consacrer pleinement à ce centre d'intérêt, inspiré par l'exemple de mon maître à penser J.Pitrat (et aussi par mon défunt père) qui durant sa retraite continue de coder un système logiciel novateur. Je veux développer durant une décennie au moins, si Dieu m'en donne la force, du logiciel libre, inspiré de mon Bismon actuel et aussi de CAIA, autour de ces idées. J'ai déjà commencé à travailler, sur mon temps libre chez moi, sur RefPerSys, voir du code sur gitlab.com/bstarynk/refpersys et un brouillon de rapport (en anglais) sur refpersys-design.pdf à ce sujet.

Je m'intéresse aux compilateurs et aux langages de programmation. Mais ça me passionne moins (même si ça me nourrit). J'ai hérité cet intérêt de mon père défunt Dimitri (inventeur du langage PAF sur la CAB500, similaire au Basic en 1958). Le savoir-faire en compilation est toutefois indispensable pour l'IA.

Les systèmes à base de connaissances et les systèmes reflexifs m'intéressent beaucoup. La méta-programmation me parait pertinente et trop peu utilisée. Je pense qu'il faudrait fournir beaucoup de connaissances déclaratives aux ordinateurs (y compris des métaconnaissances pour les utiliser). Les traitements symboliques m'intéressent, mais le calcul numérique m'ennuie. Les systèmes Maciste/Caia de J.Pitrat et Tunes me paraissent prometteurs. Je recommande le dernier livre de J.Pitrat Artificial Beings, et son blog. Voici (avec sa permission explicite) l'archive caia-su-24feb2016.tar.bz2 de son système CAIA (sous licence GPL). Voir aussi caia-pitrat sur github. Je suis membre de l'AFIA.

J'utilise beaucoup les logiciels libres (et j'y contribue) ou opensource (voir aussi l'APRIL et l'AFUL). J'utilise Linux depuis la version 0.99.15 du noyau (1993?) (lire aussi ceci et ça puis ces pages). Je m'intéresse à Android. Je pense que le logiciel libre va avoir de plus en plus de succès, en particulier parce que l'espèce humaine est incapable de manager/gérer le développement logiciel (le management ne peut pas exister). Seul le mode organique de développement communautaire de logiciel libre va être capable de produire des logiciels de plus en plus complexes ou importants. Je suis membre de l'APRIL et de l'AFUL.

Je suis intéressé par les langages de programmation; je connais évidemment C, Java, C++ (que je déteste et qui est le Cobol actuel, donc inadapté à tout), Scheme, CommonLisp, Smalltalk. J'aime beaucoup Ocaml. Les langages de scripts sont souvent intéressants (sauf Tcl - Ousterhout y fait l'hypothèse fausse qu'un script reste petit), par exemple Ruby (et Ocaml).

Les langages de balise XML (notamment avec DocBook) et les formateurs de texte Lout et LaTeX me paraissent adaptés pour produire des documents. Je voudrais essayer d'utiliser Patoline. Je ne connais pas Word (et il faut énormément de temps pour l'apprendre, notamment connaître les astuces pour y contourner les nombreux bogues).

La méta-programmation, c'est à dire la génération automatique et dynamique de programme (à partir d'une représentation de plus haut niveau) est une approche intéressante (mais trop peu utilisée) pour beaucoup de problèmes.

La gestion automatique de la mémoire par un ramasse-miettes me parait presque toujours indispensable. Gérer la mémoire à la main (comme en C et C++) est une perte de temps pour le programmeur comme pour la machine. Quand je suis obligé de coder en C un programme non trivial, j'y utilise le ramasse-miettes conservatif de Boehm ou bien j'y incorpore un ramasse-miettes comme dans Qish.

J'ai fortement contribué à lancer les projets GlobalGCC et OpenGPU pour financer mes travaux sur GCC

Professionnellement, j'ai été l'initiateur du projet européen POESIA (Public Opensource Environment for a Safer Internet Access) IAP-2117, de janvier 2002 à janvier 2004. Voir poesia-filter.org.

Publications Récentes

Voici quelques papiers ou transparents récents:

• (mars 2020) Transparents (à titre personnel) d'un exposé à l'AFIA sur From CAIA to RefPerSys: reflexive, introspective, meta-based AI systems (de CAIA à RefPerSys: systèmes d'intelligence artificielle reflexifs, introspectifs et meta)
• (août 2019) un tutoriel (encore incomplet en automne 2019) sur Guile et Scheme; il est indispensable d'avoir préalablement lu SICP (la meilleure introduction à la programmation que je connaisse) et en avoir compris la moitié. Je recommande ensuite chaudement la lecture de l'excellent livre Principes d'implantation de Scheme et Lisp. Voir ensuite ceci, ça et ça, voire ceci puis cet excellent livre.
• (novembre 2019) exposé en anglais au Lamsade (transparents ici) sur Bismon, a a static source code analysis framework using some symbolic artificial intelligence techniques.
• (mai 2019) une petite page en anglais sur On persistence and documents
• (octobre 2018 et plus tard) brouillon de rapport Specialized Static Analysis tools for more secure and safer IoT software development. Bismon documentation (brouillon de livrable D1.3 de CHARIOT)
• (octobre 2018) exposé en anglais (transparents ici) sur l'analyse statique de code source pour l'IoT.
• (juillet 2011) papier accepté à DSL2011 IFIP Working Conference on Domain-Specific Languages (Bordeaux, september 2011) sur MELT - a Translated Domain Specific Language Embedded in the GCC Compiler (PDF, 25 pages, en anglais)

• (mars 2010) transparents sur les greffons de GCC (avec Zbigniew Chamski), Paris, Solutions Linux
• (juillet 2007) GCC summit paper
• (mars 2006) exposé sur méta-connaissances pour générer des programmes sur le Web [PDF, 17 transparents] (quelques idées sur l'intérêt d'une approche méta- pour les logiciels du Web - coté serveur au séminaire en l'honneur de Jean-Louis Laurière
• (september 2004) OCamljit - a faster Just-In-Time Ocaml implementation accepté à MetaOcaml 2004 workshop, Vancouver, 11 pages (PostScript).
• (spring? 2001 - gzipped PostScript) A Simple Abstract Interpreter for Threat Detection and Test Case Generation , Dominique Guilbaud, Eric Goubault, Anne Pacalet, Basile Starynkévitch and Franck Védrine presented at WAPATV'01 (associated with ICSE'01, Toronto) [un papier écrit en anglais à plusieurs sur un analyseur statique de code à base d'interprétation abstraite]
• (septembre 2001) Basile Starynkévitch: un regard extérieur sur le système Maciste de Jacques Pitrat, in Colloque Métaconnaissance de Berder (PDF file) [une revue courte et incomplète du système reflexif à base de métaconnaissances Maciste de J.Pitrat]
• (janvier 2003) Basile Starynkévitch et Mohamed Daoudi: Architecture du système Poesia de filtrage de contenu Internet; fichier PDF in CORESA 2003 (Lyon)
• (1993) une page en anglais sur NeWS (un serveur d'affichage par Sun)

Contributions logicielles

• Le système réflexif et persistent RefPerSys (sur mon temps libre, avec des amis)
• Le système persistent Bismon
• La branche (obsolète) MELT de GCC (et des contributions ã GCC)
• Un petit utilitaire (license GPL) pour dumper ou charger des fichiers associatifs GDBM en format textuel est gdbmtext.c ici.
• execicar.c est un petit programme pour lancer d'autres programmes, en dialogant par des protocoles textuels.
• J'ai écrit manydl.c pour experimenter dlopen (chargement dynamique de bibliothèque) et j'ai constaté que sur mon PC Linux/Debian/Sid/x86 (AMD XP2000 1.66GHz 512Mb RAM) on peut générer trente mille (oui 30000) fichiers C (chacun contenant une fonction générée aléatoirement), les compiler, et les charger tous à la fois par dlopen. Vous pouvez le compiler par gcc -rdynamic -O manydl.c -ldl -o manydl puis lancer l'executable par ./manydl 900 200 pour générer 900 fichiers nommés genf_*.c d'environ 200 lignes chacun, les compiler et les charger dynamiquement ensemble. Vous pouvez même essayer ./manydl 30000 1000 comme je l'ai fait. Voir le source pour les détails. Pratiquement, on peut donc faire beaucoup -des milliers- de dlopen.
• OcamlJitRun (developpé à l'INRIA) avait sa propre page. C'est un traducteur JIT du code-octet Ocaml vers du code machine, et ca execute votre programme bytecode Ocaml non modifié environ deux fois plus vite que l'interprète ocamlrun habituel.
• Persil (developpé à INRIA) est une bibliothèque de persistance pour Ocaml
• Qish contient un ramasse miette copieur générationnel utilisable en C et un embryon de système à cadres (frames) utilisable comme base d'implementation de languages ou moteurs d'inférence de système expert. C'est du logiciel libre sous license GPL (développé sous Linux/x86). Voici une documentation de Qish en anglais (et sa version PDF et PostScript) La dernière version de Qish est référencée comme projet de Freshmeat et ici. Vous pouvez vous abonner aux annonces de Qish sur Freshmeat.
• Guis est un petit serveur de widget, vous permettant d'avoir une interface graphique (pour gtk2) sans linker la librarie gtk2 dans votre application. Voici une documentation de Guis en anglais (et sa version PostScript) La dernière version de Guis est référencée comme projet de Freshmeat et ici.
• J'ai travaillé sur POESIA - un système (logiciel libre) de filtrage de contenu internet. Les développeurs en Ocaml peuvent en utiliser (pour ajouter des traces ou log dans leur code) le fichier pa_trace.ml pour le préprocesseur camlp4 dans PoesiaMonIcap; y voir aussi le fichier README.trace (en anglais)
• Voir aussi sur github et gitlab.

Comparaison (en anglais) des temps de compilations de GCC sur 2 ordinateurs de bureau.

Divers

images

Un poster dans mon bureau (au CEA/LIST) à la fenêtre: recto, SVG (en PDF), et verso, SVG (en PDF).

Voici une photo de moi prise le 28 septembre 2002: .
Mon fils Matthieu a publié (il est photographe), avec mon accord, une photo plus récente (décembre 2016) de moi au téléphone.

J'ai hâte d'arriver à la retraite pour me consacrer probablement à RefPerSys, un projet de recherches (sur mon temps libre, avec des amis) en AGI (ou la bonne vieille IA symbolique selon le mot de mon maitre à penser Jacques Pitrat qui nous a quitté en octobre 2019) sous licence GPLv3+

croyances

Ma paroisse est Saint Jean le Théologien (à Meudon). Je suis idéaliste, car je crois à la suprématie des idées sur la matière; les idées sont à mes yeux plus importantes que les gens qui les portent; la science (mue par la combinaison des pulsions de vie et la pulsion épystémophilique) devrait devenir bien plus ouverte.

Je suis personaliste plus encore qu'adepte relatif d'un certain capitalisme à la française; et le réchauffement climatique me préoccupe fort: le nucléaire civil français est pourtant un excellent moyen de lutter contre, n'en déplaise à Merkel, qui, par sa folle décision de fermer les centrales allemandes pour les remplacer par une production carbonée d'électricité, a accru mes difficultés asthmatiques et celles de ma descendance: même avec Fukushima ou Tchernobyl, la pollution tue bien plus d'Européens que le nucléaire civil, et il existera des solutions techniques pour diminuer la dangereuse nocivité, pourtant fort locale, des déchets nucléaires (alors que d'autres déchets ultimes, produits en bien plus grande quantité, sont aussi dangereux pour la santé humaine). Je souhaiterais, chez nos décideurs politiciens, nos entrepreneurs et nos managers, un peu plus de vertu (ce mot est malheureusement devenu has been, maintenant c'est devenu un gros mot en situation professionelle, y compris la mienne, où, comme ailleurs, l'argent est roi, mais la vertu comme les idées, même scientifiques, y sont politiquement incorrectes).

généalogie

Sokrates Starynkevitch (ou Starynkiewicz ou en russe Сократ Иванович Старынкевич) est mon ancêtre direct (grand^{5 ?}-père paternel). Les défunts: Dimitri Starynkevitch fut mon père, et son épouse, Ludmila Akhimoff fut ma mère. Elisabeth Tkatschenko fut ma sœur aînée.

quelques perles de chefaillons

Voici quelques perles entendues, mais reproduites ici hors contexte, proférées par des chefaillons (petits ou grands) subis durant ma carrière. Ils se reconnaîtront peut-être, mais mieux vaut en rire (en rire jaune?) qu'en pleurer.... :

• ton cerveau appartient au SERMA (sic!) par un chef du SERMA s'adressant à un subordonné salarié (pas esclave, ni donneur d'organe).
• Word c'est mieux, plus adapté, et plus pérenne que LaTeX, pour nos rapports scientifiques et techniques (à peu près) par un chef-adjoint du même SERMA, un service qui produit plein de rapports -souvent confidentiels- bourrés d'équations différentielles, d'intégrales, et d'algorithmes numériques. Et les fichiers Word n'etaient pas, en ce temps là, dans un format ouvert et, avec OOXML, ne le sont toujours pas en 2019. Voir les difficultés actuelles, pour LibreOffice, à mettre en page fidèlement un document .docx complexe (avec figures et équations) et comparer visuellement le rendu des équations par LaTeX et par Word.
• je suis ton manager suivi de on va se parler entre adultes (sic), répétés avec insistance et plusieurs fois en entretien annuel par un chef de labo qui semble avoir quelques années de plus que mon fils Jean. J'ai eu du mal à ne pas éclater de rire...
• Je suis l'ami de François Hollande (sic) par Jean Therme, alors directeur de la DRT, en assemblée générale -devant des centaines de collègues- de cette DRT. Il voulait peut-être dire être l'obligé de F.Hollande durant sa présidence. Un Polytechnicien comme lui a pourtant passé un concours difficile avec des épreuves -très exigeantes- de français, et je m'attends à le voir capable de bien choisir ses mots, quand il s'adresse à un large public.
• Cette tentative de suicide (sur mon lieu de travail, manifestement liée aux RPS) n'a rien à voir avec les conditions de travail au CEA/LIST, par celui qui en était à l'époque son directeur, diplômé de l'EDHEC, mais aux épaules moins larges que ce poste requiert à mon avis, avec un salaire fort conséquent (mais bien plus bas que les rémunérations usuelles pour un poste semblable du secteur privé).

litige

Je suis, depuis mai 2018, toujours en litige avec le ministère public concernant une contravention automobile reçue en dépit du bon sens (où la puissance publique donne, à tort, à ma vieille voiture Ford Fusion un don d'ubiquité, qu'elle n'a tristement pas). Je rêve, sans y être arrivé en août 2019, d'être cité à comparaître devant le tribunal de police compétent (à Nanterre). Détails croustillants, mais m'agaçant, ici. Le téléphone de l'officier du ministère public compétent (à Nanterre) est 01 4119 2895 mais difficile à joindre. J'ai été saisi le 20 août 2019 d'un montant de 375€ + 37.5€ de frais financiers. Tout conseil pratique est bienvenu (ce litige semble trop modeste pour un avocat, mais j'ai la faiblesse d'être affectivement attaché aux principes généraux du droit, à la démocratie française, et je veux malgré tout faire reconnaître mon bon droit et la position abusive du ministère de l'intérieur). Je me suis donc présenté, en toute naïveté, au tribunal de police de Nanterre ce 26 août 2019, et en toute candeur j'ai souhaité montrer et faire signer ceci mais j'ai été reçu comme ça par un personnel pressé (dont le salaire évolue, tout comme le mien, moins que l'inflation...) mais fort courtois, me renvoyant comme je le préssentais d'un bureau à l'autre, m'expliquant à qui mieux mieux que je ferais bien de laisser tomber... Toutefois, mes quatre et défunts grand-parents, émigrés, tous Russes Blancs, ont, tout comme feu mon bien-aimé beau-père, volontairement choisi la France comme pays hôte pour sa devise: Liberté, Égalité, Fraternité, devise à laquelle je suis, peut-être trop naïvement, sentimentalement toujours très attaché...

PS. Il est facile d'avoir un site web (pour quelques euros par mois). On trouve facilement des éditeurs HTML et certains, dont Bluefish ou Emacs sont libres et facilement utilisables dès qu'on connait quelques rudiments de HTML5 (par exemple ici). Mais il faut être persévérant pour le mettre régulièrement à jour. D'autre part, une adresse de courriel (en SMTP) décente et non-anonyme (avec son prénom et nom usuels), semblable à Alan.Turing@fake.email, coûte tout au plus quelques euros par mois (et nettement moins si on veut juste un alias) chez Gandi (en France) ou protonmail (en Suisse) ou ailleurs, et semble gratuite chez gmail.
Cette page HTML5 est éditée sous Emacs. Je suis légalement le directeur de la publication et l'auteur et techniquement le webmestre de cette page http://starynkevitch.net/Basile/index.html, mise à jour (assez souvent) en 2019.
Cette page est sous licence CC-BY-SA 4.0 et © Basile Starynkevitch 2019.
Quand je serais mort, aidez s'il vous plait mes ayants-droits à y mentionner brièvement, ici même, mon décès. Avant ça, vos remarques constructives sont bienvenues, de préférence par courriel vers basile@starynkevitch.net ou b.starynkevitch@gmail.com, que je consulte fort souvent et en général plusieurs fois par jour.