Dependently Typed Programming

**Détails** **\-\-\- Le rendez\-vous \-\-\-** Nous avons le plaisir de vous inviter à notre prochain meetup Node.js Paris qui se déroulera le 11 Février 2025 chez Upfast ! **\-\-\- Le lieu \-\-\-** 7 rue Blondel 75003 paris **\-\-\- Les horaires \-\-\-** 18h30: Heure d'arrivée 19h: Talks 20h15 - 22h : Networking **\-\-\- Le programme \-\-\-** Talk 1 : [Tristan Parisot](https://www.linkedin.com/in/quadristan/) *Le jour où mon équipe s'est mise à embarquer NestJs dans une page web.* Talk 2 : [Cyrille Jerabek ✅](https://www.linkedin.com/in/ACoAAAAZ3JMBb38uOy3O6TpB9vCIz8IezYQjxHI?lipi=urn%3Ali%3Apage%3Ad_flagship3_feed%3BokuBhEWqQTGaT9CUiPL%2FUg%3D%3D) *Pilotage projet : quelques éclairages opérationnels* Talk 3 : *[Rachelle Wood](https://www.linkedin.com/in/rachelle-wood-freelance/)* Math + Node + Graphes = ❤️ Suite aux présentations, session networking chez nos amis de chez UpFast , l'occasion idéale pour rencontrer d'autres développeurs, partager vos expériences et élargir votre réseau. Un grand merci à notre host pour nous accueil pour cette session. À bientôt au meetup !

**Spectacle d’impro** Venez découvrir l'art de l'improvisation théâtrale dans un spectacle unique où tout se crée sous vos yeux ! 🍻 1 consommation obligatoire, entrée libre et sortie au chapeau **Au programme :** * Scènes courtes pleines d'humour * Interaction avec le public, vous n'êtes pas prêt ! ( personne ne va jouer sur scène, soyez tranquille 😂) * Moments poétiques inattendus, si si ça arrive 🤞 Nos improvisateurs vous emmènent dans un voyage imprévisible fait de rires, d'émotions et de surprises. Sans texte, sans filet, ils donnent vie à des histoires Et surtout, on se marre !!!! **Mercredi 10 septembre à 20h50** **Le Kibélé - 12 rue de l'Échiquier, Paris**

# IA Afterwork : Pourquoi rejoindre une communauté est vital pour maîtriser l'Intelligence Artificielle ? [https://iaafterwork.com/fr ](https://iaafterwork.com/fr )

OSEZ l'improvisation théâtrale Scène ouverte & Atelier au Social Bar ⭐🌟 Mercredi 11 février de 19h30 à 22h (si vous avez du retard, merci de me prévenir et vous pouvez partir avant la fin, si besoin) 🎁⭐ Participation de 5€ (en espèces uniquement) + une conso pour le café qui nous reçoit. Improvisateurs tous niveaux et spectateurs bienvenus. Scène ouverte et atelier improvisation théâtrale pour tous 🎭🎤 ! Que vous soyez spectateurs ou improvisateurs débutants, confirmés ou entre les deux 😉 ou même si vous n'avez jamais participé ou vu de l'improvisation théâtrale, vous êtes au bon endroit pour passer un bon moment 👑. Vous pouvez participer avec les autres ou simplement assister au show 😁. Fous rires garantis ! Le principe de l'improvisation théâtrale est de faire place à notre imaginaire pour laisser sortir notre créateur intérieur ; celui qui sait créer et imaginer des histoires et des situations sans filtre. Si tu as envie de faire des choses que tu n'oses pas faire dans la vie, ou juste faire appel à ta créativité, sortir de ta zone de confort, cet événement est fait pour toi. Tu pourras également incarner différents personnages. 🎭🥷 Il s'agit de s'amuser tout en gagnant en aisance, en confiance en soi et en laissant sa rationalité et son cerveau au vestiaire. 🧞 Des clefs et des indications vous seront données pour réaliser des scènettes, des situations... après un échauffement ludique collectif (pour les personnes qui souhaitent participer 🙃). Si vous avez des questions, n'hésitez pas. Alors, à mercredi à partir de 19h15 ✌️ Adresse : Social Bar, 25 rue Villot 75012 Paris La scène ouverte et atelier demandant une certaine préparation, merci d'éviter la désinscription de dernière minute.

**Step into the laid-back charm of Cosy Cave Conversations**, a Parisian philosophy chat that's more relaxed than a cat in a sunbeam 🐈 🌞 Gather with a bunch of easygoing souls, share thoughts on the good life and its mysteries, enjoy a beverage, and have a good laugh. A few things to be aware of: * **Please** **don't show up without a spot** (we aim to keep it cosy and we always have a waiting list these days — check if you’re on the list or the waiting list) * If it's your first event, it's essential you **turn up early, or at the latest on time (<7pm)** so you understand how it works, what the topic is and don't interrupt the session * The **session runs from 7pm to 8:30pm** where we focus on the discussion, but don't worry, you'll have a chance to socialise, introduce yourselves and continue the chat after the session. **If you’re running late** (the curtains are closed), that’s okay, but please wait to join us in the break rather than interrupting the session. * Please read the **tips below** for a good session before coming along **How does it work?** We embrace the café-philo method — proposing intriguing topics on the night (up to 3), choosing one together, and diving into everything from consciousness, community, death and god, while managing to keep it light and easy 🦦 **Forget the stiff atmosphere**, we're all about small groups (\~10 people) and unpretentious chats with no homework required. No need for a philosophy degree, just bring your open mind and a dash of curiosity. **Join us every Wednesday 19h-20h30 at Les Acolytes** — because pondering the profound is better with good company (and a pint). See you there! 🎉 A few tips for a great session: * come with an **open and curious mind** 🧠 * **prioritise listening to others and asking questions** without interrupting or long monologues 👂 * we put a strong **emphasise on giving everyone a chance to contribute to the discussion**, so try and be aware of how much space and time you take up when speaking 🐻‍❄️ * we prioritise **intellectual accessibility**: this is not an academic group therefore we ask to keep any philosophy jargon to a minimum and instead explain any concepts in plain english 🤠 * we are an **apolitical group** that focuses on discussing and exploring philosophical ideas without endorsing or aligning with any specific political or religous ideologies. Our aim is to encourage open, unbiased dialogue centered on philosophical inquiry within a safe and respectful environment 🐥

**A Propos** Les HackNight de l’association CogLab, NeuroTechX Paris sont des soirées hebdomadaires conviviales, propices aux échanges et à la réalisation d’activités communautaires, accessible en présentiel et en ligne, avec la communauté NeuroTechX locale et internationale et la communauté du Learning Planet Institute (LPI). Plus d'informations sur https://coglab.fr/hacknight/ **Lieu de rencontre** On se retrouve dans le MakerLab du LPI (ex Centre de Recherche Interdisciplinaire) situé rue Charles V, Paris 4e. On s'efforce de proposer un format hybride en présentiel à Paris et en ligne sur Jitsi : https://meet.jit.si/NeuroTechX-Hacknight N'hésitez pas à proposer une intervention ou manifester un besoin via ce formulaire (pitch, retour d'expérience, revue d'actualité, etc.) https://forms.gle/gK7YWBgWp9tmnVSL8 **Animateurs** \- En présentiel : Hans \- En ligne : Morgan \(en anglais\) **Programme de la soirée** Partie 1/ **Forum NeuroTech(x)** (FR/EN - 18h30-20h00) 🔬 🗞 Revue d’actualité hebdomadaire sur les neurotechnologies et partage de l'actualité communautaire 🇱🇷 Des discussions sont susceptibles d'être en partie en anglais, selon la présence de membres internationaux du réseau NeuroTechX. 👋 Ce créneau est ouvert à toutes et tous. **Pause dinatoire** (Offline FR - 20h00-20h30) 🍽 Pause dîner dans le Hall principal de l'établissement, à quelques pas du MakerLab (pas de nourriture ou boisson dans le lab). Chacun apporte ce qu'il souhaite pour un moment convivial. Partie 2/ **Projets communautaires** (FR/EN - 20h30-21h30) 🚀 📋 Poursuite des activités autour des projets de la communauté locale et de la vie de l’association et en interaction avec les membres du LPI. Ce moment favorise d'entraide et l'émulation collective. ⚠️ Il s'agit d'un créneau plutôt privilégié aux membres de l’association pour faciliter l'avancement des projets. Pour cette soirée, nous nous focaliserons sur le projet Reciprocal Brain avec le NeuroArtist Walid. *** **Informations et astuces 💡** * Les horaires indiqués peuvent varier en fonction des priorités de la soirée et des personnes présentes. * Ces soirées peuvent accueillir des présentations, démos et retours d’expérience, idéalement programmé à l’avance. * Certains moments peuvent être enregistrés, avec le consentement des intéressé•e•s, pour permettre de les mettre à disposition en « replay ». * Les échanges sont plutôt d’ordre informel et chacun est libre d’arriver à l’heure qu’il le souhaite. En respectant le découpage de la soirée. * La partie Forum est susceptible d'être en anglais. Vous pouvez signaler le langage que vous comprenez pour que l’on s'adapte aux retours et demandes de chacun. **Ressources 🤯** * Site web https://coglab.fr/ * Agenda https://coglab.fr/actu/agenda/ * Devenir membre ou soutenir l’association https://helloasso.com/associations/coglab/ * NTX Paris Trello for local projects https://trello.com/scoglab * NTX GitHub https://github.com/NeuroTechX * Global Slack community https://neurotechx.com

Pour cette première balade photographique, nous nous retrouverons à Bastille pour deux heures de marche et de photographie dans Paris. La séance sera guidée par une consigne simple — une couleur et une émotion — afin d’orienter le regard tout en laissant une grande liberté d’interprétation. L’objectif est de prendre le temps d’observer, de photographier en chemin et d’échanger autour des images pendant la balade, dans une atmosphère ouverte et conviviale. Ouvert à toutes et tous, participation gratuite.

Venez coder, apprendre, et apprendre à programmer ensemble ! Le langage, le sujet et la façon de le faire seront choisies par le groupe. Le code sera ensuite publié sur [le dépôt](https://github.com/dojo-developpement-paris/dojo-developpement-paris.github.io) Nous migrons le groupe de Meetup vers [Mobilizon](https://mobilizon.fr/@dojo_de_programmation_paris) \-\-\- L'entrée est au rez-de-chaussée La porte sera ouverte, il suffit de la pousser La session sera en bas des escaliers Les toilettes sont au rez-de-chaussée, au fond, à gauche de la cuisine **Accessibilité** La session sera en bas d'escaliers sans ascenseur

Un autre vendredi, une autre soirée jeux ! Nous y serons avec quelques jeux comme **Food Chain Magnate, Bomb Busters**, et **7 Wonders** \- mais n'hesitez pas à amener vos jeux et votre bonne humeur \!

Welcome to our next Meetup, this time with the React Native Paris Community! Please ensure that you have entered your first and last name on meetup.com and not a nickname to guarantee your access to Doctolib! For safety reasons, you will be asked to produce an identity document at the entrance. ⚠️ **To register, click on this link:** https://www.meetup.com/react-native-paris-meetup/events/312910949/ **Address:** 54 Quai Charles Pasqua - Levallois-Perret **Access:** Via line 3 - Pont de Levallois Via line L - Clichy - Levallois

🎭✨ Envie de rire, de créer et de te surprendre ? ✨🎭 Viens plonger dans l’univers joyeusement déjanté de l’improvisation théâtrale ! Ici, pas de texte à apprendre, pas de pression : juste le plaisir de jouer, d’imaginer et de partager un super moment ensemble. Que tu sois grand·e débutant·e ou impro-addict confirmé·e, tu es plus que bienvenu·e 🤗 L’atelier se déroule dans une ambiance fun, bienveillante et ultra conviviale. ⏱ 2 heures pour lâcher prise et t’éclater, au programme : Des échauffements dynamiques pour briser la glace (et les zygomatiques 😄) Des jeux pour dire bye-bye au stress et bonjour à la spontanéité Des impros délirantes pour créer ensemble des histoires uniques Du rire, du fun, des rencontres… et sûrement quelques fous rires incontrôlés 😂 📍 Infos pratiques Groupe à taille humaine Tenue confortable conseillée (oui, on bouge 😜) Participation : 10 € Les infos pratiques arrivent en message privé Viens jouer, oser, incarner mille personnages et repartir avec le smile XXL Nous déclinons toute responsabilité en cas d’incident. À très vite ✨️ Hocine & Solène 🎬🚀

**DevMorning - Un moment pour avancer sur tes projets, entouré de passionnés.** Nous nous réunissons entre développeurs pour travailler et échanger sur des sujets divers, comme des projets personnels, la lecture/l’écriture de code open source, la rédaction d'articles techniques, etc. Qui est la cible de cet évènement ? Nous visons comme public des développeurs de tout niveau qui sont à la recherche d’un moment dans la semaine où ils sont libres de travailler sur les projets de leur choix. **Horaires** * 10h30 - début officiel mais libre à vous d’arriver avant ou (bien) après * 12h30 - nous n'avons pas de fin officielle mais libre à vous de rentrer déjeuner ou rester avec nous pour discuter, manger ou encore coder :) **Y a-t-il des frais de participation ?** Rejoindre cet évènement est totalement gratuit, libre à vous de prendre la consommation de votre choix dans le café **Quand et où se déroule-t-il ?** Nous nous retrouvons les dimanches matin dans un café parisien. Nous changeons rarement de lieu mais pour le moment, nous nous retrouvons dans le café Grizzli de la rue Saint Martin. **Pourquoi travailler à plusieurs ?** Nous pensons que travailler entouré de personnes motivées par les mêmes sujets dans une bonne ambiance permet de favoriser l’entraide et les initiatives.

Pour cette édition du meetup React Native Paris, on se retrouve chez Doctolib ! Merci de vous assurer que vous avez bien renseigné vos prénom et nom sur meetup.com et pas un pseudo afin de vous garantir l'accès chez Doctolib ! ⚠️ **Les talks:** **Expo sans EAS: accélérer la DevExp d’une app React Native à 80M d’utilisateurs** par Benjamin Budet (Doctolib) Chez Doctolib, on a migré vers Expo… sans utiliser EAS. Je partagerai comment on a dé-risqué la migration, puis comment on a transformé l’expérience de dev, un fingerprint pour éviter les rebuilds natifs inutiles, et nos améliorations de CI. **Skybridge : le React Native des AI apps** par Frédéric Barthelet (Alpic) Apps SDK, MCP ext-apps, MCP UI : trois standards émergent pour construire des AI apps, chacun avec ses APIs. Comment maintenir une codebase unique qui tourne partout ? Skybridge (https://github.com/alpic-ai/skybridge) reprend l'approche React Native pour résoudre ce problème de fragmentation: bundling, runtime bridges, abstraction de plateforme. Dans ce talk vous découvrirez ce que sont ces AI apps, les similarités et différences d’approches de Skybridge par rapport à RN face à cet écosystème fragmentée. Le tout sera orchestré autour d’une démo technique 🙂

**Title**: Powering AI Through Data Modernization: Modernizing ETL with Databricks & Unity Catalog In this session, we will discuss how enterprises are modernizing their data platforms by migrating from legacy ETL tools (such as Informatica and traditional data warehouses) to Databricks Lakehouse architecture, and how Unity Catalog enables enterprise-grade governance, security, and discoverability across data and AI assets. We will start with food and drinks at 6pm and then move into the presentation at 6:30pm. The session will cover: * Why traditional ETL platforms are becoming a bottleneck for scale, cost, and AI adoption * How Databricks changes the data engineering and analytics operating mode * The role of Unity Catalog in centralized governance * How this foundation enables AI and Gene.AI use cases on trusted data * Q&A Our speaker for this event is **Hirenkumar Dholariya**. Hirenkumar Dholariya is a Senior Data Engineering Architect with 18+ years of experience modernizing enterprise data platforms for global Fortune 500 organizations, delivering up to 40% system performance improvement and 20–35% infrastructure cost reduction through large-scale migration from legacy ETL platforms to cloud-native Lakehouse architectures. He specializes in Databricks-based data engineering, Unity Catalog–driven governance, and building scalable, secure, and real-time analytics platforms. He has led multiple enterprise-wide transformations from tools such as Informatica and traditional data warehouses to Databricks, establishing governed data foundations using Unity Catalog and enabling advanced analytics and AI use cases on top of trusted data platforms. His leadership focuses on architecting durable data platforms, enabling teams to move faster with confidence, and translating data and AI investments into measurable business outcomes. *

* We meet inside Northside Social * Bring something to read, as we often take some time at the beginning telling each other about what we're currently reading. * I have a favor to ask of you. To offset the cost of Meetup fees (\~$200 a year), I kindly request that you consider a small donation to my my [Pledge account](https://www.meetup.com/a-different-type-of-book-club-arlington/#pledge). 😊 **NOTE: NO DISCUSSION OF POLITICS: 12/31/21 UPDATE** For the sake of polite company, moving forward, we will avoid the discussion of politics at meetings of the book club. Please let me know if you have any questions. **NON-ATTENDANCE / NO-SHOW POLICY** If you have said that you will attend this event, but no longer are able to attend, please kindly update your status to "Not Attending" so that someone on the waitlist is able to RSVP. **Because this Meetup group is popular, and typically has a waitlist, effective immediately, I'm instituting a two-event no-show policy. If you RSVP as "Attending" but do not show at two events, you will be removed from this Meetup group.** We look forward to seeing you! Best, Jay

The next NoVABeerSec event - "Informal Gathering of Security Minds Over Beer'' will be Wednesday, February 25th, 5:30PM til 7ish at Crooked Run Fermentation (22455 Davis Drive, Sterling, VA ). **BONUS** there is a Senor Ramon Taqueria as part of the brewery; so it will be a “Taco Wednesday” for everyone ;) **Venue for February:** Crooked Run Fermentation (https://crookedrunfermentation.com/sterling-virginia-2/) - Crooked Run Fermentation is a Virginia-based producer of contemporary and traditional beers, coolship sours, natural wines, ciders, and seltzers. Started in 2013 in Leesburg, Virginia, Crooked Run has developed a following for creative and nuanced beverages across a variety of styles, from lagers to IPAs, barrel-aged stouts, sours, and beyond beer. In 2017, we opened our main production facility in Sterling, Virginia, and will open a third location in northeast DC in 2022. Opened in 2017, the Sterling location features a bustling taproom, outdoor biergarten, 10 BBL brewhouse, and best of all, TACOS! Senor Ramon Taqueria offers a full menu of tacos, quesadillas, empanadas, and more. Come relax with 12 beers on tap, weekend live music, and some great food! If you're biking, we're right off the W&OD Trail. **Additional Info:** We are an inclusive group, so if we missed anyone please let us know or if you want to bring your significant other/spouse please do. Have a great week and see you later this month! Cheers, Rinaldi Rampen & Mike McCabe of @NoVABeerSec

Improve your speaking skills in a friendly, relaxed atmosphere where speakers of all languages are welcome. This program is supported by library volunteers and requires a basic working knowledge of English. Registration required. Registration is required. RSVPing on Meetup does not register you for the program. [To register and see more details, visit our events calendar. ](https://pwcgov.libnet.info/events?start=today&end=2023-2-28&term=english)

Join us for another session of our study group as we continue our coverage of the book Domain-Specific Small Language Models. In this session, we will Chapter 2 which is titled Tuning for a Specific Domain. This isn't just a lecture! Come ready to ask questions, share insights, and code along. Whether you're a beginner or have some experience, this is the perfect opportunity to continue to learn together. If you plan to work with the code on your own laptop during the session, try and download the code from here https://github.com/virtualramblas/Domain-Specific-Small-Language-Models/ ahead of time. We will be meeting at the University of North America in room 2215 for this event.

Rapid testing for HIV and HIV and STI education, provided by the Inova Juniper program.

Join our partners Watermark Woods Native Plants, Loudoun County Public Library (LCPL), and Birch Tree Bookstore for the Read! Plant! Grow! Book Club, which focuses on native plants, sponsored by Loudoun Wildlife Conservancy and LCPL. At this meeting we’ll discuss the book Animal, Vegetable, Miracle by Barbara Kingsolver. Both memoir and journalistic investigation, this book explores how the Kingsolver family took on a new challenge: to spend a year on a locally -produced diet, paying close attention to the provenance of all they consume. Concerned about the environmental, social, and physical costs of American food culture, they hoped to recover what Kingsolver considers our nation’’s lost appreciation for farms and the natural processes of food production. You can either buy the book from Birch Tree Bookstore or contact Allison Forbes at [Allison.forbes@loudoun.gov](mailto:Allison.forbes@loudoun.gov) to borrow a copy of the book at the library. There are two ways to participate: attend the event online via the library website or [sign up to participate in person at Birch Tree Bookstore](https://www.birchtreebookstore.com/event-details/read-plant-grow-2026-02-24-18-30). ***Questions:*** *Contact [info@loudounwildlife.org](mailto:info@loudounwildlife.org)*.