Dependently Typed Programming

#### Next step: schedule your first event. Scheduling an event will encourage more people to join your group. Schedule Change photo  # [Gruppo di biliardo pool/carambola amatoriale e mini-tornei](https://www.meetup.com/gruppo-di-biliardo-pool-carambola-amatoriale-e-mini-tornei/) [Milano, MI, Italy](https://www.meetup.com/find/it--mi--milano/) [1 members](https://www.meetup.com/gruppo-di-biliardo-pool-carambola-amatoriale-e-mini-tornei/members/) · Public group Share Manage groupSchedule event [About](https://www.meetup.com/gruppo-di-biliardo-pool-carambola-amatoriale-e-mini-tornei/?eventOrigin=your_groups) [Events](https://www.meetup.com/gruppo-di-biliardo-pool-carambola-amatoriale-e-mini-tornei/events/?eventOrigin=your_groups) [Members](https://www.meetup.com/gruppo-di-biliardo-pool-carambola-amatoriale-e-mini-tornei/members/?eventOrigin=your_groups) [Photos](https://www.meetup.com/gruppo-di-biliardo-pool-carambola-amatoriale-e-mini-tornei/photos/?eventOrigin=your_groups) [Discussions](https://www.meetup.com/gruppo-di-biliardo-pool-carambola-amatoriale-e-mini-tornei/discussions/?eventOrigin=your_groups) More ## What we’re about Buongiorno a tutti. Sono proprietario di un bar e dispongo di un tavolo da biliardo semi-professionale. Sto creando un gruppo WhatsApp di giocatori amatoriali di biliardo americano pool/carambola, per la maggior parte debuttanti. Cerco persone disposte a unirsi al gruppo per giocare e divertirsi nel tempo libero, il pomeriggio oppure la sera in ogni giorno. Per stimolare l'impegno di ogni giocatore, abbiamo pattuito che il vincitore di ogni "mini-torneo" organizzato nei vari giorni giochi gratis e non paghi la tariffa di tempo per il periodo di gioco (un'ora di gioco costa 10€, ma viene di volta in volta frazionata in base al periodo di gioco effettivo). Il locale si trova in zona nord di Milano, stazione Greco-Pirelli, università Bicocca. Chiunque dovesse essere davvero interessato a partecipare e unirsi al mio gruppo, non esiti a contattarmi. Cerco persone serie e disposte solamente a divertirsi, senza puntare mazzette grazie mille. Antonio

Hi, I’m **Ozzy**. I’ve been teaching yoga in Milan for 5 years, bringing together internationals and locals. **How to Join?** Add your name on Meetup. [Message me on WhatsApp](https://wa.me/393500966059?text=Hi%20I%20saw%20your%20weekend%20park%20yoga%20classes%20on%20Meetup%20and%20would%20like%20to%20join) to receive payment details: **Drop-in or discounted class packs available** Your spot is confirmed once payment is completed. **You can see the vibe of the classes here:** Instagram: @ozzyoga.milano **Weekend Park Yoga in Sempione with Ozzy** Join us for a mindful yoga session in the park **Time:** 11:00 **Duration:** 60 minutes **Language:** English **Level:** All levels Beginner-friendly **Location:** Parco Sempione Exact meeting point will be shared via WhatsApp after booking **Pricing** **Drop-in:** €15 **2 classes:** €28 **4 classes:** €50 All prices are final. Invoices are available upon request. All packs are valid until the end of July Valid for all regular group classes (weekend & future weekday sessions) Packs can be used for classes as they are released on Meetup **Before you come** Bring your mat (or a towel), wear layers for changing weather, and consider water, sun cream, and insect spray. **Cancellation policy** – **More than 24 hours before:** Cancel directly on Meetup → no charge – **Up to 1 hour before the class:** Please message me on WhatsApp → your credit is kept – **Less than 1 hour before, no-show, or no notice:** The class is counted → no refund or credit (no exceptions) *If a class is cancelled due to weather or by the organizer, your credit will not be lost and can be used for another class.* **Safety & Notes** Please listen to your body and practice at your own pace. This class is not suitable for pregnant women. If you have any health concerns, please consult a doctor before joining. By attending, you take responsibility for your own practice. **About me** I’m Ozzy, a certified and Yoga Alliance registered yoga teacher. 👉 https://linktr.ee/ozzyoga.milano

**Italiano / English friendly 🎲🌿** **[Italiano]** Passiamo un bel pomeriggio al Parco Sempione: merenda, giochi da tavolo facili, chiacchiere e nuove amicizie. Porterò giochi leggeri e alcuni giochi sociali, perfetti anche per chi non gioca spesso. L’idea è giocare senza fretta, parlare tra una partita e l’altra e goderci un pomeriggio tranquillo all’aperto. Puoi venire anche da solo/a o con un’amica/o. Ci sarà già un piccolo gruppo di partenza, quindi sarà facile inserirsi, giocare e chiacchierare. Se vuoi, porta qualcosa da condividere: un pacchetto di patatine, biscotti, snack o qualcosa da bere. Se hai un telo o una coperta, può essere utile per sederti sul prato. Dopo le 19:00, per chi ha voglia, possiamo continuare con una pizza lì vicino per cena, verso le 20:00. 🍕 Pubblicherò aggiornamenti nella chat dell’evento, inclusa una foto del punto in cui saremo al parco. Se arrivi un po’ più tardi, nessun problema: avvisami su Meetup o Instagram @meetandchill_it e ti rispondo subito **[English]** Let’s enjoy a nice Saturday afternoon at Parco Sempione: Italian-style merenda, easy board games, friendly chats and new people to meet. I’ll bring light games and social games, perfect even if you don’t usually play. The idea is to take it slow, play a little, chat between games and enjoy a relaxed afternoon outdoors. You can come alone or bring a friend. There will already be a small group, so it’ll be easy to join in, play and chat. Feel free to bring something to share: a bag of chips, cookies, snacks or something to drink. A picnic blanket can also be useful. After 19:00 PM, whoever wants can join us for pizza nearby, around 8:00 PM. 🍕 I’ll post updates in the event chat, including a photo of our spot in the park. If you arrive a bit later, no problem: just message me on Meetup or Instagram @meetandchill_it and I’ll reply asap!

**Dom 31 Mag 2026** **TREK IN PIEMONTE. BIELMONTE 1606 m (BI)** \- Lunghezza: 15 km \- Dislivello: 690 m \- Difficoltà: Media \- Pranzo al sacco\. Il trek è in prov. di Biella, a 127 km da Milano. Iscrizione [https://t.me/TrekMI/82668](https://t.me/TrekMI/82668) Youtube https://youtu.be/s6uy9iD1yYU **LUOGO DI RITROVO** Per sapere il luogo di ritrovo, cliccare sul link Iscrizione. Si apre una chat Telegram che contiene tutte le informazioni. **GRATUITÀ** Tutti i trek sono gratuiti **CHI SIAMO** Ogni weekend portiamo in montagna 100 persone. Siamo la più grande associazione escursionista d'Italia [https://t.me/TrekMI](https://t.me/TrekMI) **COME RAGGIUNGERE LA FELICITÀ** con la filosofia TTP [https://t.me/TrekMI/79617](https://t.me/TrekMI/79617) .

**Vi invito a un pomeriggio di relax per provare uno dei tanti giochi della nostra collezione**

**Dom 31 Mag 2026** **TREK IN PIEMONTE. LAGO DELLE STREGHE 2080 m (VB)** \- Lunghezza: 14 km \- Dislivello: 560 m \- Difficoltà: Media \- Pranzo al sacco Il trek è in prov. di Verbania, a 150 km da Milano. Iscrizione [https://t.me/TrekMI/82656](https://t.me/TrekMI/82656) Youtube https://youtu.be/zlPZfP4ybPE **LUOGO DI RITROVO** Per sapere il luogo di ritrovo, cliccare sul link Iscrizione. Si apre una chat Telegram che contiene tutte le informazioni. **GRATUITÀ** Tutti i trek sono gratuiti **CHI SIAMO** Ogni weekend portiamo in montagna 100 persone. Siamo la più grande associazione escursionista d'Italia [https://t.me/TrekMI](https://t.me/TrekMI) **COME RAGGIUNGERE LA FELICITÀ** con la filosofia TTP [https://t.me/TrekMI/79617](https://t.me/TrekMI/79617) .

**Dom 31 Mag 2026** **TREK SUL LAGO MAGGIORE. RIFUGIO DUMENZA 942 m (VA)** \- Lunghezza: 9 km \- Dislivello: 670 m \- Difficoltà: Media \- Pranzo al sacco o al rifugio\. Il trek è in prov. di Varese a 98 km da Milano. Iscrizione https://t.me/TrekMI/82645 Youtube https://youtu.be/51QyrQ4lbAw **LUOGO DI RITROVO** Per sapere il luogo di ritrovo, cliccare sul link Iscrizione. Si apre una chat Telegram che contiene tutte le informazioni. **GRATUITÀ** Tutti i trek sono gratuiti **CHI SIAMO** Ogni weekend portiamo in montagna 100 persone. Siamo la più grande associazione escursionista d'Italia [https://t.me/TrekMI](https://t.me/TrekMI) **COME RAGGIUNGERE LA FELICITÀ** con la filosofia TTP [https://t.me/TrekMI/79617](https://t.me/TrekMI/79617) .

**Dom 31 Mag 2026** **TREK IN PIEMONTE. TORRENTE BORBERA 445 m (AL)** \- Lunghezza: 12 km \- Dislivello: 150 m \- Difficoltà: Media \- Pranzo al sacco\. Il trek è in prov. di Alessandria, a 100 km da Milano. Iscrizione[ https://t.me/TrekMI/82678]( https://t.me/TrekMI/82678) Youtube https://youtu.be/W88k58-RLz8 **LUOGO DI RITROVO** Per sapere il luogo di ritrovo, cliccare sul link Iscrizione. Si apre una chat Telegram che contiene tutte le informazioni. **GRATUITÀ** Tutti i trek sono gratuiti **CHI SIAMO** Ogni weekend portiamo in montagna 100 persone. Siamo la più grande associazione escursionista d'Italia [https://t.me/TrekMI](https://t.me/TrekMI) **COME RAGGIUNGERE LA FELICITÀ** con la filosofia TTP [https://t.me/TrekMI/79617](https://t.me/TrekMI/79617) .

La domenica ormai è appuntamento fisso per il nostro gruppo al Just me (ex Just Cavalli). Ci incontriamo alle 20:00 per socializzare al nostro tavolo riservato e gustare un ottimo buffet con la prima consumazione inclusa al costo di soli 10€. Alle 22:30 faremo un brindisi di prosecco offerto dagli organizzatori e chi vuole può rimanere a ballare. Serata dedicata a un pubblico di tutte le età, divertimento assicurato! È gradita conferma via whatsapp ai nostri numeri: Enrico 3930134920 melissa 3755058482

Picture this: a cozy picnic in the heart of Parco Sempione, surrounded by nature, a glass of wine in hand, and a paintbrush ready to bring your creativity to life! Get comfy on soft blankets and cushions as you enjoy a fun and relaxed painting session, perfect for unwinding, making new friends, and creating something beautiful—no experience needed! Our friendly instructors will guide you step by step, making sure everyone has a fabulous time. By the end of the session, you’ll take home your very own masterpiece and a heart full of happy memories! **Les Amis** is a women-only community of friendly souls. We provide access to hundreds of experiences that explore your passions and connect you with other event participants. **Check our website to learn more, and apply to join our community and events**: [lesamis.cc/apply](https://www.lesamis.cc/apply)

Una lezione alternativa, energica e super nostalgica ✨ Preparati a vivere un’esperienza di Pilates diversa dal solito, accompagnata dalle canzoni che hanno segnato la nostra adolescenza 🎶💖 Insieme a Giada, insegnante specializzata in Pilates e danza classica, lavoreremo su postura, core, mobilità e flexibility, con alcune ispirazioni dalla danza classica per una pratica elegante, dinamica e coinvolgente. 📅 Data: 31 maggio 🕥 Orario: 10:30 📍 Parco di Monza-Prato della Villa Reale 🎟️ 10€ a persona 💫 **Dettagli** * Lezioni adatte a tutti i livelli * Ambiente accogliente e dinamico, perfetto per allenarsi e socializzare Un momento di benessere all’aria aperta, perfetto per allenarsi, divertirsi e condividere energia positiva 🌸 ​ **Prenota qui: invia la tua quota con uno dei seguenti metodi** * **​**[​](https://paypal.me/beatricepalacco)**[PayPal](https://www.paypal.com/paypalme/beatricepalacco?country.x=IT&locale.x=it_IT)**[​](https://paypal.me/beatricepalacco) (seleziona “Amici e familiari” senza commissioni) * **​[Satispay](https://www.satispay.com/it-it/)**[​](https://www.satispay.com/it-it/) al numero 3394436054 **Causale pagamento**: *Tua email + data evento* *​***esempio: *sara@gmail.com 31.05*** ***​***ℹ️ Info utili * In caso di maltempo, verrà proposta una nuova data * Ricorda di portare il tuo tappetino e abbigliamento comodo

La domenica ormai è appuntamento fisso per il nostro gruppo al Just me (ex Just Cavalli). Ci incontriamo alle 20:00 per socializzare al nostro tavolo riservato e gustare un ottimo buffet con la prima consumazione inclusa al costo di soli 10€. Alle 22:30 faremo un brindisi di prosecco offerto dagli organizzatori e chi vuole può rimanere a ballare. Serata dedicata a un pubblico di tutte le età, divertimento assicurato! È gradita conferma via whatsapp ai nostri numeri: Enrico 3930134920 melissa 3755058482

BOOK OF THE MONTH: Blue Sisters by Coco Mellors MEETING LOCATION: Pancicchetto (Via Solferino, 43), must buy a drink (alcoholic or nonalcoholic) WHEN: May 31st, 15:00-16:30 WHAT TO BRING: conversation!!, and your copy of the book SUGGESTED READING THEMES AND DISCUSSION TOPICS: * PLEASE feel free to bring your own discussion topics! * What does the book say about sisterhood? * How do you feel the relationships between the sisters are important to the overall message? * Which character did you feel most similar?

Ever felt like days/weeks/months pass by faster than you can notice? ​We are often caught in a race, to the point we don't even know where we are going or why. ​This event is about slowing down - an afternoon to notice, appreciate, reflect and recenter. ​Small group, a mix of journalling and guided conversations. You'll work through some guided prompts to help you review your past month and plan the next one with more intention. ​It's not a workshop. There won't be any productivity hacks or optimisation strategies. It's a chance to catch up with yourself before the next month pulls you under. And have deeper conversations with strangers than most events would allow. ​**What to bring:** a blanket to sit on, a notebook and pen, and something to share with the group - snacks, fruit, whatever's in your kitchen. We will bring some drinks but if you want something specific, take it with you. ​*If the weather has other plans, we'll move indoors - you'll hear from us in advance.* **Important:** to confirm your spot, please register [here](https://luma.com/13d1zvgm)

We have moved to guild.host. Look us up there. https://guild.host/events/buckeye-cocoaheads-rcavwd

**Latest Dojo Location!** **Knotty Pine Brewing** 1765 W 3rd Ave, Columbus, OH 43212 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 speakers for our Monthly Meetups! Fill out the form if you are interested in presenting to the Python Community. https://forms.gle/ehSfUAC2WgR34Crq9

Join us for **[Nathan Leiberman](https://www.linkedin.com/in/nathan-richard-lieberman/)**'s talk ... Had enough of writing the same flex classes for the hundredth time? Tired of diving into your coworker’s cobbled container class? Tailwind CSS is here to save your sanity. Tailwind gives you a well-organized, utility-first approach to styling. This CSS framework eliminates naming debates, halts stylesheet scavenger hunts, and satisfies your marketing team’s whims with clear, composable class names and a powerful configuration system. You’ll spend less time fighting CSS and more time building beautiful interfaces. In this talk, I’ll walk through an interactive demo of Tailwind CSS and cover the following topics: * Set up Tailwind CSS in your project * Understand Tailwind’s utility classes and how they work * Integrate breakpoints and dark mode like a pro * Customizing Tailwind to fit your style Ditch your spaghetti stylesheets and come see how Tailwind CSS can make your project lighter, cleaner, and a lot more fun to build. Your future self will thank you. ***Bring your laptop and expect to write some (non-AI generated) code!*** Food and drinks will be available. **LOCATION:** 6515 Longshore Loop, Suite 300, Dublin, OH 43017 **FREE PARKING:** 6725 Longshore Street, Dublin, OH 43017

Topic to be announced. **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

We've moved to guild.host Look for us there. https://guild.host/events/buckeye-cocoaheads-nscoders-tcbrk5

PLEASE NOTE!!! This event will be In-Person for our very 1st Improving collab! If you know the [Columbus Unity group](https://www.meetup.com/columbus-unity-user-group/) location, we'll be at the same place. This is our 1st event and are doing a soft launch with limited attendance. 1st come 1st serve. If you want to be there and we fill up, please email me at [info@thecogg.com](mailto:info@thecogg.com) and I'll be in touch. All street parking is free on Sundays but you can also pay to park in any of the local garages. See image of [parking map here](https://drive.google.com/file/d/1Mr9_LFIggbs-0_Zd3AJTGNqEhgMf2TzQ/view?usp=sharing). \-\-\- On the last Sunday of the month, we're having our usual end-of-the-month social gathering with our GameDev Meetup meeting. There will be announcements and presentations followed by some social networking Let's continue the conversations with good vibes and friends. All are welcomed from all ages and backgrounds to this public event. If we can, we'll be streaming or uploading the video later via our COGG YouTube channel here: [https://www.youtube.com/@TheCOGG/streams](https://www.youtube.com/@TheCOGG/streams) (Also please do subscribe if you have not done so!) No game development experience required! If you are interested in doing a 20 minute game development related presentation, please fill out our form online here: [https://goo.gl/forms/lVdTJZiNJewlPJuj1](https://goo.gl/forms/lVdTJZiNJewlPJuj1) Or e-mail us at info@thecogg.com with the following: Your Name, Company/Affiliation, Name of Your Game/Topic, Description, Tech Needs, and Your Contact. Be sure to check out our Discord for real time news updates: [https://discord.gg/NrBhuNQ](https://discord.gg/NrBhuNQ)

Our monthly PHP meetup. A virtual shindig courtesy of Zoom. Check back here for the details around 6:15 pm