Dependently Typed Programming

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

Atelier d’impro Découvre les joies de l'impro, optimise ta créativité et libère ton potentiel ! L'improvisation théâtrale est un excellent outil de développement personnel et une formidable aventure collective ! Si tu as envie de [re]découvrir l'impro dans un cadre ludique et bienveillant cet atelier est fait pour toi ! Ces séances sont ouvertes à tous, débutants, intermédiaires, confirmés. L'atelier se déroule en 2 heures, au programme : Des échauffements dynamiques pour être à l’aise rapidement avec le groupe. La gestion du stress et le lâcher prise, Des jeux ludiques pour construire avec ses partenaires des histoires éphémères, Du rire, du [Fun] et des rencontres … Infos pratiques : - Nombre de participants limité - Prévoir une tenue confortable -Une participation de 10 euros sera à régler - Les modalités seront envoyées par message privé Venez vous essayer, vous dépasser, jouer des personnages… vous permettant de passer des moments d’exception. Nous déclinons toute responsabilité en cas d’incident, lors des ateliers. Hocine et Solène

On continue dans la joie et la bonne humeur et on se retrouve aux Halles dans le 1er, pour échanger sur WordPress. Nous voulons échanger à propos des sujets des prochains Meetups pour décider ensemble d’ici à la fin de l’année. Au plaisir de se voir le vendredi 13 🍀

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

Iloludi est de nouveau ouvert ! Donc dites-nous - si vous venez ? - à quelle heure et si on doit vous attendre pour commencer un jeu particulier ? - si vous apportez des jeux et lesquels ? - si vous avez une envie de jouer ou tester un jeu particulier, qu'il soit très récent ou plus ancien... N'hésitez pas à faire vos demandes. On l'aura forcément dans une de nos ludothèques personnelles ;) ! °°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°° Petit rappel ! Vous devrez pouvoir justifier de votre vaccination ou d'un test récent en début de séance, consignes municipales et nationales. Le masque reste obligatoire. Le gel sera fourni. °°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°° Pour les accros : Mölkky dès 18h sur le terrain de pétanque face au 2 rue Molière [de l'autre côté de l'université]. Vu comment certains jouent, tous les niveaux sont acceptés ;D °°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°° Et bonne nouvelle finale pour tous : Jusqu'à la fin de l'année 2021 : - Les adhésions à l'association sont gelées - La participation ponctuelle aux soirées est gratuite pour tout le monde °°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°°° Iloludi est un club qui organise des soirées jeux de société le vendredi soir à partir de 20h00 à Créteil dans le 94. Les soirées commence vers 20h00 jusqu'à 02h. Elles accueillent des amateurs comme des passionnés, adultes de tous ages. Nous proposons des jeux de société contemporains. Ce ne sont généralement pas les gros standards que l'on trouve dans la grande distribution, mais des jeux d'auteur, qui se distinguent par une plus grande recherche d'originalité, de thème ou de mécanisme. Il y en a pour tous les goûts, quelle que soit votre expérience des jeux de société. Notre principal objectif, se faire plaisir en se réunissant autour d'un jeu. La première venue est bien entendue gratuite, ensuite la participation ponctuelle à une soirée est de 2€, la cotisation annuelle est de 30€.

What happens when you put 3 French and 3 English speakers at the same café table in Paris? Furamori organizes small curated groups of 4-6 people - 1-3 French speakers and 1-3 English speakers - in a cozy café in Paris. You practice each other's language naturally, the way it's meant to be: over coffee, with real people, about real life. **How it works:** \- You sign up and complete a short profile on our website \- We match you into a group of 6 \(French \+ English\) \- You receive the café location and your group details before the event \- You show up\, sit down\, and let the conversation flow **This is for you if:** \- You're French and learning English \(any level\) \- You're an English speaker \(British\, American\, Australian\, or anyone\!\) and learning French \(any level\) \- You want to actually get to know people \- You're curious about the other culture 🎟️ Tickets are €5 per person. You must register and pay via our website to attend: furamori.com , RSVP on Meetup does not guarantee a spot - registration on our site does. You pay for your own drinks at the café. Depending on demand, not everyone may get a spot for this event. If that happens, feel free to apply again for the next one as we prioritize returning applicants. 📍 Location is shared after registration. — 🇫🇷 En français : Furamori organise des petits groupes de 6 personnes - 3 francophones et 3 anglophones — dans un café à Paris. Pas de speed-dating linguistique, pas de minuteur. Juste une vraie conversation autour d'un verre, avec des gens intéressants. Inscrivez-vous ici → furamori.com

*The Cherry Orchard* is the last play, written in 1903, by the Russian playwright Anton Chekhov. Since its first production, directors have struggled with its dual nature. It is often identified as one of the four outstanding plays by Chekhov, along with The Seagull, Three Sisters, and Uncle Vanya. *The Cherry Orchard* dramatizes the socioeconomic forces in Russia at the turn of the 20th century; these forces include the rise of the middle class after the abolition of serfdom in the mid-19th century, in addition to the decline in power of the aristocracy. Widely regarded as a classic of 20th-century theatre, the play has been translated into many languages and produced around the world. Major theatre directors have staged it and the play has influenced many other playwrights, including George Bernard Shaw.

Et si la course était un moyen de mieux se connaître ? Le Socrate Social Run, c’est un format simple : * 7 km en groupe * Allure accessible (\~6 min/km) * Un temps d’échange après la course * Un moment convivial Ici, on ne vient pas chercher un chrono. On vient vivre une expérience. Le concept : Courir ensemble, être attentif à son souffle, à ses sensations, à ses pensées qui apparaissent dans l’effort. Des exercices pratiques pour voir comment le mental peut être un allié dans l'effort. Le module explore les thématiques suivantes : * Comprendre sa relation à l’effort physique, * Repérer ses automatismes (comparaison, impatience, découragement, manque de souffle), * Découvrir ses ressources naturelles, * Apprendre à écouter son rythme, * Expérimenter l’alignement entre corps, souffle et attention pour donner le meilleur. Après la course : Un débrief simple et concret pour partager ce qui a été vécu, croiser les regards, approfondir l’expérience entre coureurs. Puis un moment convivial autour d’une boisson

Note: Cet après-midi OpenCogLab est consacrée aux projets de la communauté locale et de la vie de l’association, en interaction avec les membres du LPI. Pour cet après-midi, nous discuterons avec l’organisation **London NeuroTechnologists** représentée par **Olha Dolinska,** d'écosystème, d'innovation & de neurosciences**.** Nous pourrons aussi discuter des différents projets CogLab en cours : https://coglab.fr/portfolio/ #Présentation des OpenCogLab Chaque samedi après-midi l’association CogLab, NeuroTechX Paris organisera des après-midi hebdomadaires conviviales, propices aux échanges et à la réalisation d’activités communautaires, accessible en présentiel ou en ligne, avec la communauté NeuroTechX locale et internationale et la communauté du LPI/CRI. #Informations et astuces * Ces après-midi peuvent accueillir des présentations, démos et retour d’expériences en fonction des personnes présentes, idéalement programmé à l’avance. * Les échanges sont plutôt d’ordre informel et chacun est libre d’arriver à l’heure qu’il souhaite. #Ressources * Site web https://coglab.fr/ * Agenda https://coglab.fr/actu/agenda/ * Devenir membre ou soutenir l’association https://www.helloasso.com/associations/coglab/ * Kanban https://trello.com/scoglab * Forge https://github.com/NeuroTechX

## Details Hello writers, we are happy to meet you in our new permanent home: Bohème Coworking, located at 21 rue Sedaine in the 11th arrondissement. When you arrive, just tell the friendly folks at La Boheme reception that you are with the writing group. They will give you a little wooden knick-knack with the wifi codes and a number that they use to determine the cost based on time spent (it's 3,80 € per hour, paid at the end). ***Now, about Ready-Set-Write! ..*.** Ready Set Write! is a regular meeting of motivated writers who grab a beverage, then shut up and write. ***What it is:*** An opportunity for writers to get together and do short, intense bursts of writing. We write for 45-ish minutes, take a 15 minute break, rinse & repeat. ***What it is NOT:*** neither a forum for critiquing each other's work, nor shameless self-promoting your projects or groups. You pay for the time you spend, and have access to coffee, tea, and wifi. **AND FINALLY ...** * Register in advance, and only if you will join us in-person. * Update your RSVP if you cannot make it. * Please be respectful and considerate with our writing colleagues. ***Stay tuned for location updates!***

Hi Badminton Fans! Come and join us every Sunday for a fun session of badminton. There are usually 2 sessions to choose from, **This 11 am - Open Session is open to players of all levels, though mainly intermediate players and below.** **If you are a complete beginner -** Talk to us first before signing up, and we can try to make accommodations and maybe have beginners-only court to begin with, with one of the organisers ready to explain all of the basics, such as serving, scoring, rules etc, as well as some pointers to help you progress. **Which Session To Choose** If you're unsure of your level, sign up for the 11am session to start, or ask us! We will try our utmost to ensure that you play with people of similar levels. **What Do You Need** Don't worry about equipment; racquets and shuttlecocks are provided, and there's no need for a badminton license or insurance. Just bring your indoor sports shoes, and a willingness to meet new friends and have lots of fun. There are changing rooms and showers. **Get There Early** Try and get there early to change and get warmed up so that we can start right on time. The courts are normally not being used before we play, so we can get a little extra time playing. **Registration & Payments** Registration is 14€ per person, and you can sign up via PayPal through this event page. For alternative payments, check for available slots on the event page first. Then, submit your payment via https://revolut.me/jonathwu3q with a description of which event you are signing up for, and send the screenshot to one of us so that we can add you. *Please Note: If your name is **not** in the attendees list and you do not have confirmation from us, you will be turned away.* **Annual Membership Option** For regular players, there is the option to take out an annual membership. This costs 80€ for the first year and is renewable each year for 40€. This reduces the weekly registration fee to only 10€ per session. **No Refunds** In the case of a cancellation or no-show, there are no refunds. See you all on the court on Sunday. Happy badminton-ing! Kelvin (0603250357) and Vijay (0767341832), **FREQUENTLY ASKED QUESTIONS** 1. I don’t speak French, can I join? * Yes! We are an international group and everyone speaks English! 2. Are there still available slots? I can’t sign up! Help! * Check the bottom of the event page for availabilities. Once full, RSVPs will be closed. Sign up as early as possible because the events fill up very quickly. 3. I signed up, but I can’t make it! Can I get a refund? * No refunds for cancellations or no-shows. If you inform us early enough, we can try to find a substitute and refund you, but no guarantees. 4. Why can’t I get a refund? * We need a fixed number of participants to maximize court usage, court fees, team arrangements, and team rotations. Cancelations throw all of this off. 5. Do I need to bring anything? Water? Racquets? Birdies? * If you have your own racquet, that will be best! Otherwise, we have spare ones and we provide the shuttlecocks. Bring enough water to hydrate yourself.

**Improving Office in Franklinton** Physical location: Improving Office 330 Rush Alley Suite #150 Columbus, OH 43215 Schedule: 6:00 p.m.: Socialize, eat, and drink. Improving will be providing pizza and beverages. 6:30 to 8:00 pm. Main meeting and presentation(s). Topic: Type Annotations with John Cassidy We meet on the last Monday of each Month. Presentations are given by members and friends of this group. If you would like to do a presentation (small or large) on a python topic, please contact Central OH Python at centralohpython@gmail.com

Bring your work or your hobby, hang out, and code with us. Follow @buckeyecocoa for more information.

This month, we are in-person at GameArena!!! We will also be joined by students and their games from [Shawnee State](https://www.shawnee.edu/game-design-programs)! \-\-\- Join us for our our monthly COGG Prototype and Play event @GameArena! Come to play and showcase your games. We're back in the upper levels of the catwalk mezzanine area. It'll be packed with lots of camaraderie playing your game(s) and other's games on the 2nd floor as well as the 1st floor in the gaming room below the mezzanine. Light snacks and water provided but you can buy food and drinks at the bar (alcoholic drink ID required). [https://www.game-arena.co/menu](https://www.game-arena.co/menu) **Attendees:** Don't have a game to show? Not a problem! All are welcomed and invited from all ages and backgrounds. The more we can have to play test our games the better! **Developers:** Do you have a game that you would like to get critical feedback on? Would you like an excuse to work on a game with other talented artists, programmers, musicians, designers, and writers? Digital, table-top, non-experienced developers, and the like are welcomed! We'll provide signage for your game to help others learn more about your work. Wifi, outlets, tables, and seats (though standing tables also) are available. Come to the Prototype and Play workshop to collaborate and meet local game developers for an evening of epic and raw game play fun! Play works-in-progress, show off your own game, work with others to add polish to a game, or even lend your talents to other fellow developers. Can use South Garage at the Gateway with a $5 voucher on your way out. 75 E 11th Ave, Columbus, OH 43201 [https://maps.app.goo.gl/UwgveUYG37Jy7RtS9](https://maps.app.goo.gl/UwgveUYG37Jy7RtS9) If you have any questions or comments, as always, feel free to reach out to us at [info@thecogg.com!](http://info@thecogg.com!/)

**Important time note:** Please plan on arriving between 5:30 and 6:00 as the elevators lock after 6 and you'll need to message us and we'll need to come get you. The building address is 4450 Bridge Park The entrance is 6620 Mooney St, Suite 400 **Abstract** TBD **YouTube Link** TBA

Discover Kiro, AWS’s innovative development environment that adapts to your workflow. Whether you prefer specification-driven development or a more intuitive, vibe-based approach, Kiro empowers you to build applications your way. In this session, speakers will explore Kiro’s core functionality and its evolution through re:Invent 2025, along with demonstrations of prompts used to create APIs, hooks, and steering documents. In the latter part of the session, watch as we build a complete example from scratch, showcasing Kiro’s agentic AI workflow in action for spec-driven development and vibe coding. What You'll Learn - Core Kiro concepts and development philosophy Feature evolution: pre and post re:Invent 2025 Practical examples: API creation, hooks, and steering docs Live coding demonstration with real-time problem solving Who Should Attend - Developers, solutions architects, and technical leaders interested in modern AWS development tools and AI-assisted coding workflows. **Speakers Bio:** Matthew Jorat: Matthew Jorat is a Customer Solutions Manager at AWS with nearly three decades of expertise in AI, cloud transformation, migration, modernization, IT, technology, and business. His career spans infrastructure engineer, solutions architect, security auditor, customer success director, support and services director, and operations officer. He was an early adopter of AWS services as a customer, and his current role at AWS uniquely blends his technical and business skills as he partners with executive teams to translate strategic priorities into measurable business outcomes through cloud adoption, AI implementation, and operational excellence. Matt leads end-to-end AI initiatives for enterprise customers, identifying high-impact use cases and maintaining relentless focus on measurable ROI. He holds eight AWS certifications and serves as Adjunct Professor at Franklin University teaching cloud computing and AWS architecture. His expertise encompasses GenAI, agentic AI systems, migration, modernization, and optimization strategies that drive transformation at scale. [https://www.linkedin.com/in/mattjorat/](https://www.linkedin.com/in/mattjorat/) Girish Bhatia: Girish Bhatia is a seasoned technology delivery leader with deep expertise in cross-domain program management. He holds multiple AWS certifications, including AWS Certified Solutions Architect – Associate, AWS Certified Developer – Associate, and AWS Generative AI Practitioner, and is also an AWS Community Builder. Girish brings over two decades of experience in the information technology industry. Throughout his career, Girish has led major technology-driven business transformation from modernizing on-premises applications to driving large-scale cloud migrations. His work includes API-based integration platforms, data-center and mainframe modernization, and enterprise cloud adoption initiatives. Based in Columbus, Ohio, Girish works at a tech-forward fintech company. He is passionate about AWS serverless architectures, Generative AI and emerging cloud technologies. An avid learner and builder, he continues to explore and apply the latest innovations in AWS to help organizations accelerate their digital transformation. https://www.linkedin.com/in/girishbhatia/[https://www.linkedin.com/in/girishbhatia/](https://www.linkedin.com/in/girishbhatia/) **THANK YOU** *Franklin University* for hosting our meetup! To learn more about *Franklin University*, please visit their website: https://www.franklin.edu/ **DIRECTIONS** Franklin University Fisher Hall 300 E. Main St, Columbus, OH 43215 Map: https://maps.app.goo.gl/jxjBA2hUmS5qrvhq8 Parking is FREE! Please park in Lot C in front of Fisher Hall. See attached map. NOTE: Map the address only. When mapping with Google Maps it may use the Fisher Hall at OSU, which is NOT correct. **Want to sponsor the pizza and/or bar tab?** Please contact me if you would like to sponsor this meetup's pizza and/or bar tab: angelo@mandato.com

Columbus Code & Coffee is an inclusive, informal co-working session. People of all skill levels attend, and we love it that way. Many people (optionally) bring projects to work on, and many other people (optionally) socialize the entire time. It's entirely up to you! **What to Expect at the Intro Circle** \~\~\~\~\~\~\~\~\~\~\~\~\~ Near the beginning of the event (1:30 pm), we do a standup: * Organizer announcements, updates, and logistics Round 1 - (7 secs max): * Your name * What you're working on * What you can help others with Round 2: * Community events you wanna plug. If none, that's cool too. Round 3: * Job opportunities you're hiring for OR announce that you are looking for one. If none, that's cool. After the introduction circle, everything is self-organized! Feel free to work alone, pair up, attend one of our workshops/presentations, or mingle!

**New Dojo Location!** **Draft Day Columbus** 1130 Dublin Road Columbus, OH 43215 We're going to try a new dojo location for a few weeks and see how it works Dojos are informal Python group study sessions where everyone interested in Python gathers to learn about Python, help others with Python, or just hang out. Everyone is welcome from Python beginners to experts. Bringing a laptop is encouraged (we'll have extension cords and power strips). If there's something you want to learn leave a comment on this invite so we can plan ahead. We're looking for topic suggestions and people interested in presenting at our monthly meetings. To this end we've set up a survey form at [https://docs.google.com/forms/d/15eBKF1nQQ2XS5gzD4rvhVRHMBEj7lJtHuA9wXupS3Uc](https://docs.google.com/forms/d/15eBKF1nQQ2XS5gzD4rvhVRHMBEj7lJtHuA9wXupS3Uc)