Sign in

Lambda Nantes

@lambdanantes.bsky.social
13 followers 5 following 25 posts

Un groupe de développeu·r·euses de nantes passionné·es par la programmation applicative, les langages de programmation et la théorie des types. 🕸 lambdanant.es

PostsRepliesMedia
Lambda Nantes @lambdanantes.bsky.social · 01/10/2026
Le prochain meetup Lambda Nantes aura lieu le 13 octobre, à partir de 19h, toujours dans les locaux de l'Epitech Nantes. Cette session sera un atelier pour découvrir le développement d'applications web et de sites statiques avec le langage OCaml. Inscriptions sur mobilizon.fr/events/e621d...
mobilizon.fr
Atelier développement Web avec OCaml
13 oct. 2026, 19:00:00 - GMT+02:00 - 2 Place Louis Daubenton, 44100, Nantes, France - Cet atelier, animé par Xavier van de Woestyne, vous propose d'explorer par la pratique ce qu'OCaml apport au dével...
022
Lambda Nantes @lambdanantes.bsky.social · 22/09/2026
Plus que 2 jours avant le prochain Lambda Nantes, qu'est ce que vous attendez pour vous inscrire et assister à 2 superbes conférences pour cette rentrée de la saison 2026-2027 ? Les inscriptions c'est par ici mobilizon.fr/events/60251... ou par là lambdanant.es/events/2026-...
mobilizon.fr
La couleur des bruits & les cultures de la programmation
24 sept. 2026, 19:00:00 - GMT+02:00 - 2 Place Louis Daubenton, 44100, Nantes, France - Pour ce premier meetup de rentrée de Lambda Nantes nous avons le plaisir d'accueillir deux conférenciers : Julien...
012
Reposted by Lambda Nantes
BOB Konferenz @bobkonf.de · 21/09/2026
They keynote for #BOBkonf2027 will be held by the incomparable Xavier Leroy, principal designer of #OCaml and #CompCert! bobkonf.de/2027/leroy.h...
Portrait photo of Xavier Leroy
0127
Lambda Nantes @lambdanantes.bsky.social · 16/09/2026
Une semaine avant le premier Lambda Nantes de la saison, le 24 septembre à partir de 19 heures dans les locaux d'Epitech Nantes. Nous parlerons des cultures de la programmation (/cc @tomasp.net ) et de la couleurs des bruits. Venez nombreux et nombreuses ! lambdanant.es/events/2026-...
lambdanant.es
Making sure you're not a bot!
043
Lambda Nantes @lambdanantes.bsky.social · 24/08/2026
Rectification importante : le prochain meetup aura lieu le 24 septembre et non le 17 septembre !
011
Lambda Nantes @lambdanantes.bsky.social · 24/08/2026
Prochain meetup Lambda Nantes le 17 septembre "La couleur des bruits & les cultures de la programmation"!
atmo.rsvp
La couleur des bruits & les cultures de la programmation
Pour ce premier meetup de rentrée de Lambda Nantes nous avons le plaisir d'accueillir deux conférenciers : Julien Péchard viendra nous parler des différentes cultures de la programmation telles qu'explorées dans le livre éponyme de Tomas Petricek ; et Sébastien Ferrer présentera ses travaux sur la génération de textures sonores. Encore merci à Epitech Nantes pour nous accueillir dans leurs locaux. Comment différentes cultures ont façonné la programmation (~20 minutes) Derrière nos langages, nos paradigmes et nos pratiques se cachent différentes cultures. En s'appuyant sur Cultures of Programming de Tomas Petricek, explorons ce que chacunes a apporté à notre manière de concevoir et d'écrire des logiciels. La couleur des bruits : Retour d'expérience sur la génération de textures sonores (~ 45 minutes) Confronté à un acouphène permanent, j'ai cherché à comprendre comment le son pouvait être utilisé pour masquer ou apaiser ces fréquences parasites. Cette recherche m’a poussé à explorer la physique des bruits colorés et les méthodes informatiques permettant de les générer de toutes pièces. Cette conférence propose une plongée technique dans l'univers des bruits blancs, roses et bruns. Nous détaillerons les principes physiques qui différencient ces spectres et, surtout, comment passer de la théorie à l’implémentation logicielle. Au programme : Physique acoustique : Pourquoi la répartition de l'énergie par octave change-t-elle radicalement notre perception (du sifflement agressif au grondement apaisant) ? Génération algorithmique : Comparaison des méthodes, de la simple distribution aléatoire aux algorithmes plus complexes comme celui de Voss-McCartney pour le bruit rose. Manipulation de signal : Comment l'utilisation de filtres et l'intégration permettent de "sculpter" des textures sonores spécifiques en informatique. En passant par un petit éclairage sur la nature même d'un acouphène. L’objectif est de partager un retour d’expérience pratique sur la manipulation du signal audio, en montrant comment quelques lignes de code permettent de transformer un chaos mathématique en une solution concrète de confort auditif. Sébastien Ferrer est ingénieur logiciel chez OVHcloud à Nantes, dans l'équipe SIA (Service Integration & Automation).Exerçant ce métier depuis maintenant plus de 14 ans, il a toujours aimé vulgariser et partager ses connaissances en public. Il anime actuellement des conférences autour de la cybersécurité, de la gestion d'incidents et divers autres sujets techniques.Portant un grand intérêt pour l'enseignement, il intervient également régulièrement dans certaines écoles et universités.
011
Lambda Nantes @lambdanantes.bsky.social · 30/06/2026
N'oubliez pas ce soir notre dernier meetup de la saison "Il n'y a pas que Git dans la vie"!
atmo.rsvp
Il n'y a pas que Git dans la vie
Pour cette dernière édition de Lambda Nantes de la saison 2025-2026, nous avons le plaisir de proposer 2 présentations sur un thème qui s'éloigne un peu des sujets usuels, celui des outils de gestion de versions. Nous remercions Epitech Nantes pour son accueil toujours généreux et précieux ! Rendez-vous 2, place Louis Daubenton, de 19h à 21h. Comme à l'accoutumée l'effort sera récompensé par du réconfort (en option et avec modération) : nous poursuivrons les discussions dans un lieu accueillant des alentours. Jujutsu : repenser le contrôle de version à l'ère moderne Le contrôle de version, on y passe du temps tous les jours, autant que les outils soient agréables à utiliser. Jujutsu, c'est un VCS récent, compatible avec Git en coulisses, mais qui propose un modèle mental radicalement simplifié : plus de staging area, des commits mutables par défaut, une résolution de conflits découplée du rebase. Des choix qui semblent étranges au premier abord, et évidents au bout d'une semaine. Dans ce talk, on verra comment Jujutsu change concrètement le quotidien: réécriture d'historique/navigation entre les révisions/gestion des conflits/..., avec des démos pratiques et un retour d'expérience après un an d'utilisation exclusive. Maxime Ménager est développeur senior chez Pledg, avec une quinzaine d'années de métier derrière lui. Arrivé tardivement aux langages fonctionnels, il a eu un coup de cœur pour Elixir, mais jongle actuellement entre Python & Go. Convaincu que les meilleurs outils sont ceux qu'on remet en question, il aime explorer ce qui existe en dehors des sentiers battus, et partager ce qu'il y trouve. Radicle : Collaboration décentralisée avec Git N'est il pas regrettable qu'un outil initialement pensé et prévu pour faciliter la collaboration entre développeurs de manière totalement décentralisée ait muté en une simple interface pour GitHub, ou même n'importe quelle autre forge centralisée ? Git, comme Mercurial en son temps, permet à chacun de travailler localement et de manipuler patches et branches à volonté en identifiant les sources de ces changements. Mais ce qui manque ce sont des mécanismes de communication de ces changements qui soient fiables, sûrs et décentralisées : une forge décentralisée et répartie qui ne soit pas contrôlée par une seule entité. C'est ce que propose le projet Radicle (https://radicle.dev) et que nous allons explorer dans cette conférence. J'essaierai de donner un aperçu le plus exhaustif de Radicle : comment le configurer et l'utiliser au quotidien, comment il permet de couvrir la plupart des besoins d'un projet de développement (issues, PRs, intégration continue, identité et permissions...), les principes sur lesquels il est basé, et la communauté qui le développe et le soutient. Arnaud Bailly développe professionnellement des logiciels depuis plus de 30 ans, dans différents environnements techniques (VBA, Java, Haskell, Rust, Javascript, Web, Desktop, Client/Server, cloud...), organisationnels (consulting, startups, big corps) et domaines métiers (finance, éditeur logiciel, blockchain, R&D).
034
Lambda Nantes @lambdanantes.bsky.social · 06/05/2026
⚠️ Le prochain Lambda Nantes aura lieu le 21 mai, à partir de 19h, toujours dans les locaux de l'Epitech Nantes. @clementd.wtf nous parlera de ses amours traversières et @etorreborre.blog de ses explorations compositionnelles. Venez nombreuses et nombreux ! mobilizon.fr/events/80450...
mobilizon.fr
Programmation compositionnelle et traversabilité
21 mai 2026, 19:00:00 - GMT+02:00 - 2 Place Louis Daubenton, 44100, Nantes, France - Pour cette pénultième session de la saison 2025-2026 de Lambda Nantes nous avons le plaisir de vous proposer 2 prés...
155
Lambda Nantes @lambdanantes.bsky.social · 30/03/2026
⚠️ Le prochain Lambda Nantes aura lieu le 16 avril, à partir de 19h, toujours dans les locaux de l'Epitech Nantes. @xvw.lol animera un atelier OCaml ambitieux pour nous faire découvrir les capacités du langage et la construction d'unikernels. mobilizon.fr/events/cabe6...
mobilizon.fr
Atelier Lambda Nantes #4
16 avr. 2026, 19:00:00 - GMT+2 - Place Louis Daubenton, Nantes, France - Les architectures distribuées modernes nous ont proposés des approches des micro-services, de mon point de vue, un peu laborieu...
032
Lambda Nantes @lambdanantes.bsky.social · 06/03/2026
Le prochain atelier de Lambda Nantes est programme le 23 avril, à 19h dans les locaux de l'Epitech Nantes. Il sera animé par @xvw.lol et donc bien sûr on fera du OCaml. Mais surtout, on découvrira comment définir et construire des Unikernels avec MirageOS !
211
Lambda Nantes @lambdanantes.bsky.social · 06/03/2026
Lambda Nantes #10 c'est dans moins de deux semaines, le 19 mars 2026, dans les locaux de l'Epitech Nantes, à partir de 19h. Lorie den Os nous parlera de Pattern languages et de sa lecture de Christopher Alexander.
023
Lambda Nantes @lambdanantes.bsky.social · 23/01/2026
Lambda Nantes #10 (10 éditions déjà, comme le temps passe !) aura lieu le 19 mars 2026, dans les locaux de l'Epitech Nantes, à partir de 19h. Lorie den Os nous parlera de Pattern languages et nous avons hâte d'y être. mobilizon.fr/events/beedb...
mobilizon.fr
Lambda Nantes 10 : A Language of Patterns
19 mars 2026, 19:00:00 - GMT+1 - Place Louis Daubenton, Nantes, France - Every time I fire a linguist, the performance of the speech recognizer goes up.” (Fred Jelinek) D'accord, pour la génération d...
033
Lambda Nantes @lambdanantes.bsky.social · 23/01/2026
"Lambda Nantes 9 : pourquoi choisir des langages de niches ?" par @clementd.wtf aura bien lieu après une annulation pour cause de tempête! Venez nombreuses et nombreux. smokesignal.events/did:plc:7gph...
smokesignal.events
Lambda Nantes 9 : pourquoi choisir des langages de niches ?
Pour cette nouvelle édition de Lambda Nantes, nous avons la joie d'accueillir Clément Delafargue qui viendra nous parler de son expérience des "langages de niches" et des raisons pour lesquelles ils ....
023
Lambda Nantes @lambdanantes.bsky.social · 05/01/2026
Une nouvelle année commence, le moment parfait pour un nouveau meetup Lambda Nantes ! Venez nombreu·x·ses le 8/01 dans les locaux de l'Epitech Nantes, place Daubenton, à partir de 19h pour découvrir avec @clementd.wtf pourquoi et comment utiliser des "langages niches". mobilizon.fr/events/aba0e...
mobilizon.fr
Lambda Nantes 9 : pourquoi choisir des langages de niches ?
8 janv. 2026, 19:00:00 - GMT+1 - Epitech, 44100, Nantes, France - Pour cette nouvelle édition de Lambda Nantes, nous avons la joie d'accueillir Clément Delafargue qui viendra nous parler de son expéri...
011
Lambda Nantes @lambdanantes.bsky.social · 08/12/2025
Rappel: pour notre dernier rendez-vous Lambda Nantes de l'année 2025, on se retrouve mercredi 10 décembre à 19h, dans les locaux de l'Epitech Nantes pour un atelier sur la programmation logique. Inscriptions sur la page Mobilizon: mobilizon.fr/events/b1a39...
mobilizon.fr
Workshop 3 : créons un interprète Prolog
10 déc. 2025, 19:00:00 - GMT+1 - Epitech, 44100, Nantes, France - La programmation logique est une proche cousine de la programmation fonctionnelle qui n'a pas encore cependant connu le même succès. A...
011
Reposted by Lambda Nantes
Lambda Nantes @lambdanantes.bsky.social · 01/12/2025
La prochaine réunion de Lambda Nantes aura lieu le mercredi 10 décembre, de 19h à 21h, dans les locaux d'Epitech Nantes, place Louis Daubenton. Pour cette dernière séance, nous tenterons de bricoler un interprète Prolog, venez avec vos laptops. mobilizon.fr/events/b1a39...
mobilizon.fr
Workshop 3 : créons un interprète Prolog
10 déc. 2025, 19:00:00 - GMT+1 - Epitech, 44100, Nantes, France - La programmation logique est une proche cousine de la programmation fonctionnelle qui n'a pas encore cependant connu le même succès. A...
033
Lambda Nantes @lambdanantes.bsky.social · 01/12/2025
La prochaine réunion de Lambda Nantes aura lieu le mercredi 10 décembre, de 19h à 21h, dans les locaux d'Epitech Nantes, place Louis Daubenton. Pour cette dernière séance, nous tenterons de bricoler un interprète Prolog, venez avec vos laptops. mobilizon.fr/events/b1a39...
mobilizon.fr
Workshop 3 : créons un interprète Prolog
10 déc. 2025, 19:00:00 - GMT+1 - Epitech, 44100, Nantes, France - La programmation logique est une proche cousine de la programmation fonctionnelle qui n'a pas encore cependant connu le même succès. A...
033
Lambda Nantes @lambdanantes.bsky.social · 03/11/2025
Lambda Nantes 8ème édition c'est la semaine prochaine, le 13 novembre, à l'Epitech à partir de 19h. @etorreborre.blog et @xvw.lol nous parlerons d'injection de dépendances dans les langages fonctionnels, respectivement en Unison et en OCaml. ➡️ Inscriptions: mobilizon.fr/events/49cac...
mobilizon.fr
Lambda Nantes 8: de l'injection de dépendances dans les langages fonctionnels
13 nov. 2025, 19:00:00 - GMT+1 - Epitech, 44100, Nantes, France - Nous avons le plaisir de vous convier à une édition de Lambda-Nantes dédiée à l'injection de dépendances, plus particulièrement dans l...
042
Lambda Nantes @lambdanantes.bsky.social · 27/10/2025
Le prochain meetup Lambda Nantes aura lieu le 13 novembre 2025, toujours dans les locaux de l'Epitech à partir de 19h, et on y parlera injection de dépendances en OCaml et Unison: mobilizon.fr/events/49cac...
mobilizon.fr
Lambda Nantes 8: de l'injection de dépendances dans les langages fonctionnels
13 nov. 2025, 19:00:00 - GMT+1 - Epitech, 44100, Nantes, France - Nous avons le plaisir de vous convier à une édition de Lambda-Nantes dédiée à l'injection de dépendances, plus particulièrement dans l...
142
Lambda Nantes @lambdanantes.bsky.social · 06/10/2025
Il n'est pas encore trop tard pour participer au prochain atelier Lambda-Nantes et bricoler ensemble un interprète de lambda-calcul typé. C'est jeudi 9 octobre, à 19h dans les locaux de l'Epitech Nantes. mobilizon.fr/events/39b75...
mobilizon.fr
Workshop 2bis : Interprétons le lambda-calcul typé
9 oct. 2025, 19:00:00 - GMT+2 - Epitech, 44100, Nantes, France - Lors d'un premier atelier il y a déjà un an (le temps passe vite !) nous avons exploré la syntaxe et la sémantique du lambda-calcul, un...
011
Reposted by Lambda Nantes
Arnaud @pankzsoft.net · 29/09/2025
Rappel: Le prochain meetup Lambda Nantes aura lieu jeudi 9 octobre, à 19h, dans les locaux de l'Epitech Nantes. Venez nombreuses et nombreux, on va bricoler ensemble un interprète de lambda-calcul typé ! mobilizon.fr/events/39b75...
mobilizon.fr
Workshop 2bis : Interprétons le lambda-calcul typé
9 oct. 2025, 19:00:00 - GMT+2 - Epitech, 44100, Nantes, France - Lors d'un premier atelier il y a déjà un an (le temps passe vite !) nous avons exploré la syntaxe et la sémantique du lambda-calcul, un...
043
Lambda Nantes @lambdanantes.bsky.social · 09/09/2025
C'est la rentrée aussi pour LambdaNantes, et ce ne sont pas une, pas deux, pas trois, mais bien quatre sessions qui sont programmées pour les prochains mois. Un grand merci à @epitech-officiel.bsky.social Nantes pour l'hébergement !
142