Elixir v1.20 released! Now officially a gradually typed language: Elixir type checks every single line of code, finding bugs and dead code, without developer overhead (no typing signatures) and extremely low false positives rate. Plus a faster compiler! Links and reports below.
@ledamne25bezak@IIFBS_ Sur ta "liberté" vendue : pour la main d'œuvre du capitalisme de circuler, pour que les cultures soient le moi homogène possible de façon à adopter la culture du capitalisme Mac Donald venez comme vous êtes et enfin dernière théorie forcer le métissage pour les supremacistes.
Elixir v1.20.0-rc.5 is out with our latest batch of typing and performance improvements. We are really close to the final release, so please give it a try and report what you find! https://t.co/8dWT2KdA5h
We have just wrapped up the meta-issue which tracked type inference of all Elixir constructs: https://t.co/HvOu1Iw9Cv
It includes typing of the construct themselves and features like occurrence typing, to provide a high-degree of precision. Expect a new RC soon as we will continue measuring performance on our way to Elixir v1.20.
A new BEAM There Done That podcast is out. @chris_mccord introduces us to Durable Servers, a new approach to persisting and distributing state: https://t.co/lyjUY2hGzu #erlang#elixirlang#webeamtogether
La question est de savoir s'il y a moins ou plus de compétences techniques chez un Français de 25 ans aujourd'hui que chez un Français de 25 ans en 1950. Poser la question ainsi, c'est révéler un paradoxe.
Nous croyons progresser techniquement, mais concrètement, nous nous appauvrissons puisque nous utilisons des produits fabriqués sur des chaînes automatisées, dans des processus d'assemblage parcellaires répartis sur de nombreux pays, que nous ne pouvons ni comprendre ni réparer. Notre compétence se réduit à apprendre à utiliser un outil avant qu'un nouvel outil ne le remplace. C'est ce que Harry Braverman nommait le deskilling, à savoir la déqualification structurelle produite par la division parcellaire et l'automatisation.
Prenons un exemple : il y a plus de compétences techniques chez un paysan en biodynamie qui analyse ses sols, comprend la biochronologie des cycles de croissance, trie et sélectionne ses semences, que chez un agriculteur de la Beauce enfermé dans son tracteur étanche pour éviter de respirer les poisons qu'il répand sur des plants OGM brevetés, rachetés chaque année à des multinationales. Le premier "sait", le second "opère" dans un système dont il est exclu de la compréhension fine autant que de la réparation.
Jacques Ellul l'avait théorisé comme processus d'autonomisation de la technique et de fait, formation de la technosphère. Le système technicien trace son propre chemin, produit lui-même ses propres problèmes (iatrogènese), et appelle toujours plus de technique comme seule solution. La technosphère nous équipe, centralise, standardise, et rend pratiquement impossible de se situer hors du système de production pour le comprendre ou le refuser. Sa géographie même est une architecture d'incompréhension puisque personne, nulle part, ne saisit l'ensemble du système dans lequel il est assimilé. Passé un certain seuil, le progrès technique opère un délestage intégral : il ne nous donne plus des outils, il nous donne des prothèses.
Il y a donc bien deux techniques. Les "technologies appropriées" relèvent de la première catégorie : elles maintiennent la compétence technique, l'autonomie, la capacité de faire par soi-même. La technosphère relève de la seconde : elle nous rend dépendants et pratiquement incompétents.
Le retournement de la technique impose de sortir de la fausse opposition entre pro-technique et anti-technique ou des discussions obsolètes sur la technique et la condition humaine.
@mutewinter@theo Aren't you bothered when you pick a tech not because it fits from a pragmatic point of view but is kind of ugly compared to other solutions ?
@Fabien_Roussel Va falloir commencer par se barrer de la zone de libre échange et de fraude fiscale qui s'appelle l'union européenne (+ l'euro trop fort et avec mécanisme de création monétaire ubuesque)
@dan_note@RhysSullivan@kenwheeler I saw you are onto elixir (me too) and it's impressive how many libs you have been releasing. Any advice/blog post about the way you are using AI ?