Sim

[Sim @ThepotSimon]

@JustDeezGuy How can he block you if he answered to you ?

[José Valim @josevalim]

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.

[Sim @ThepotSimon]

@0xmaxou @TomLumea Par éthique est une raison totalement valable également

[Sim @ThepotSimon]

@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.

[Sim @ThepotSimon]

@IIFBS_ Fake ou pas ?

[José Valim @josevalim]

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

[José Valim @josevalim]

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.

[Sim @ThepotSimon]

@NicolasFramont EELV c'est surtout l'union européenne qui tue l'Europe et cherche à renverser ceux qui ne sont pas soumis au capitalisme atlantiste

[Sim @ThepotSimon]

@zaygranet What about salesman being conflict avoidant ?

[Sim @ThepotSimon]

@champsmagnetik Il faut que tout change pour que rien ne change. Wokisme etc.

[Sim @ThepotSimon]

@_lopopolo @badlogicgames @smcllns @dexhorthy @GeoffreyHuntley @mattpocockuk I dont understand the take on elixir. If the strong opinion is a good one? (eg great VM with immutability and concurrency). What about symphony which is an openai projet written in it?

[Francesco Cesarini @FrancescoC]

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

[Sim @ThepotSimon]

@kamilskowron @DNAutics This kind of lib ? https://t.co/XHXgNFebJ5

[Sim @ThepotSimon]

@tatiann69922625 Quelle prévention ou traitement possible ?

[Sim @ThepotSimon]

@nerdtechgasm @RnaudBertrand The EU is killing Europe

[Laurent Ozon @LaurentOzon]

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.

[Sim @ThepotSimon]

@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 ?

[Dubd 🔻🌻 🇫🇷 @dany_dubd]

Résumé parfait.

[Sim @ThepotSimon]

@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)

[Sim @ThepotSimon]

@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 ?