Off-Leash Dog Recreation

3 courts

AI is changing the way we develop software. Mattia’s talk takes a fresh look at **Type-Driven Development** (TDD), and how types facilitate not only the work of human developers but also **LLM reasoning**. The talk with be hands-on with code examples and open discussions Agenda: * What is Type-Driven Development * An overview of F#’s type system * How TDD facilitates human developers with AI tools * LLM Tooling with types * LLM reasoning with types * Compositionality and reasoning traces Mattia is a data scientist fighting a losing battle: replacing Python with languages featuring richer type systems. As the co-founder of Entropy42, a Zurich-based startup, he specializes in the verification of ontologies and mathematical optimization programs. There, Mattia leverages type systems and provers to sharpen the performance of specialized small language models. Mattia will use F#, but his talk does not require any prior experience with the language.

Start um 19.00 Uhr ab Hafen Zürich Enge Dauer: 60 Minuten Lauftempo Gruppe 1: 6 min/km (10 km/h) Lauftempo Gruppe 2: 7 min/km (8.5 km/h) Start 7pm at Hafen Zürich Enge Duration: 60 minutes Pace group 1: 6 min/km (9:39 min/mile) Pace group 2: 7 min/km (11:16 min/mile)

**Watch Portugal vs DR Congo live on the big screen at Racing Unleashed Zurich City's Ascari Bar.** Experience the match in a unique motorsport atmosphere, enjoy the action with the community and take on the NOCCO Reaction Wall Challenge in order to win a free NOCCO. * First come, first served. Seating is limited. * Food and beverage orders are required for seated guests. * To guarantee your simulator session, please book in advance. Walk-in rides are subject to availability. **Reservations:** \+41 58 400 72 56 \| [email](http://mailto:zuerich_city@racing-unleashed.com/) \| [book your ride online](http://%5Bhttps//prod.racing-unleashed.com/public/ride-booking?lang=en&lounge=zurich-city%5D(https://prod.racing-unleashed.com/public/ride-booking?lang=en&lounge=zurich-city))

Discover the magic of Aerial Yoga - a practice that not only enhances flexibility and builds strength but also offers a unique way to relieve stress on the spine and alleviate lower back pain. The hammock gently supports your body, allowing for deeper stretches and decompression of the spine, making it an ideal practice for anyone seeking both physical and mental relief. **Why Join?** **\* Relieve Spinal Stress**: The anti-gravity nature of Aerial Yoga helps to decompress the spine, reducing tension and promoting spinal health. **\* Alleviate Lower Back Pain**: Experience gentle inversions that stretch and strengthen your back, providing much-needed relief from lower back discomfort. **\* Accessible to All Levels**: Whether you're new to yoga or a seasoned practitioner, Aerial Yoga is adaptable and welcoming for everyone! **\* Boost Flexibility & Strength**: The hammock supports your body, enabling deeper stretches and enhanced core stability. **\* Stress Relief & Relaxation**: Unwind in a tranquil environment, letting go of the day’s stress as you float through the air. Spaces are limited, so secure your spot today and embark on a journey to a healthier, happier you! ✨ Class in English // Open-level (beginners are all welcome :)) ✨ Props provided or bring your own ✨ Location: Zürich Oerlikon, Wattstrasse 3, 8050 Zürich ✨ Please contact me if you like to join / Registration via [Yoga Nest Eversports page](https://www.eversports.ch/s/yoga-nest-1) See you in the hammock :)

Discover the magic of Aerial Yoga - a practice that not only enhances flexibility and builds strength but also offers a unique way to relieve stress on the spine and alleviate lower back pain. The hammock gently supports your body, allowing for deeper stretches and decompression of the spine, making it an ideal practice for anyone seeking both physical and mental relief. **Why Join?** **\* Relieve Spinal Stress**: The anti-gravity nature of Aerial Yoga helps to decompress the spine, reducing tension and promoting spinal health. **\* Alleviate Lower Back Pain**: Experience gentle inversions that stretch and strengthen your back, providing much-needed relief from lower back discomfort. **\* Accessible to All Levels**: Whether you're new to yoga or a seasoned practitioner, Aerial Yoga is adaptable and welcoming for everyone! **\* Boost Flexibility & Strength**: The hammock supports your body, enabling deeper stretches and enhanced core stability. **\* Stress Relief & Relaxation**: Unwind in a tranquil environment, letting go of the day’s stress as you float through the air. Spaces are limited, so secure your spot today and embark on a journey to a healthier, happier you! ✨ Class in English // Open-level (beginners are all welcome :)) ✨ Props provided or bring your own ✨ Location: Yoga Nest Zürich at Oerlikon, Wattstrasse 3, 8050 Zürich ✨ Registration is required via [Yoga Nest Eversports page](https://www.eversports.ch/s/yoga-nest-1) See you in the hammock :)

⚠️ **IMPORTANT: You must sign up and buy a ticket here to attend:** [https://groupvibe.com/](https://groupvibe.com/) **Join the Zürich Coffee Club and make new friends!** Each meetup brings together 4–6 people for casual conversations over Coffee. We use the Groupvibe platform to facilitate the meetup and ensure everyone’s a good fit. 👉 **To attend, you’ll need to complete registration via this link:** [https://groupvibe.com/](https://groupvibe.com/) We’ll share the exact location of the upcoming meetup the night before only if you have bought a ticket or membership plan. **Why this works:** \* Smaller groups make real conversations easier \* Matching helps avoid awkward dynamics **Note:** RSVPs on Meetup don’t reflect total attendance. Many attendees register directly via our website. The event on [Meetup.com](http://meetup.com/) is only a placeholder. This meetup is organized by Groupvibe, a small team passionate about helping people form meaningful friendships offline.

**IMPORTANT: YOU NEED TO BUY A TICKET IN YOUR NOII PROFILE TO GET IN** **Auf Tinder kein Bock mehr, aber für Parship ist es zu früh? We got you!** **Wir organisieren mehrere Real Life Single Events. Jede. Woche.** Lassen wir alle Single Herzen höher schlagen und veranstalten einen legendären noii Event. Vergiss Swipen und Chatten, in diesem Jahr daten wir im echten Leben (we don't make the rules). Mit bis zu 400 Personen pro Event ist immer viel los. Worst case hast du ein geiles noiices Erlebnis gehabt, best case lernst du jemanden kennen, den du daten möchtest **It's a vibe.** Keine Sorge, das wird kein awkward Single Event mit einem sturen Ablauf. Es ist wie ein normaler Bar-Abend mit deinen Friends, wo du aber ganz easy noch andere Leute kennenlernst. **[HERE MORE INFORMATION](https://date.noii.ch/preview)** **So done with tinder but it’s too early for Parship? We got you!** **We organize several real life single events. Every. Week.** Let's make all single hearts beat faster and organize a legendary noii event. Forget swiping and chatting, this year we're dating in real life (we don't make the rules). With up to 400 people per event, there is always a lot going on. Worst case scenario: you have a great noiice experience, best case: you meet someone you want to date **It's a vibe.** Don't worry, this won't be an awkward singles event with a stubborn schedule. It's like a normal bar evening with your friends, where you can easily meet other people. **[HERE MORE INFORMATION](https://date.noii.ch/preview)**

Let's continue and together enjoy the ***International Yoga Day,*** ***21 June*** with a classical yoga session by the Obersee lake and experience the powerful connection between self and nature. 🌿🧘‍♀️🧘🏻‍♂️💧 This international Yoga day raises global awareness about the physical, mental, and spiritual benefits of yoga. June 21 is also the longest day for maximum illumination and energy from the sun. By the lake first we'll ground ourselves and then energize ourselves through classical yoga, breathing techniques, meditation, and deep relaxation. The goal is to calm our mind, and restore inner balance. Surrounded by fresh air and the soothing presence of lake water, discover how nature supports healing, clarity, and renewed energy. After the session, enjoy an optional refreshing dip in the Obersee lake to complete this memorable experience. Later we'll enjoy our picnic lunch. **What awaits you**: \*Free Classical Yoga in nature, a unique experience. \*Easy Walk in Nature. \*Recharging from the energy of the nature. \*Positive vibes, shared connection. \*Panoramic views Date: Sunday, 21.06.2026 Duration: 2-3 hours Easy Walk: 4-5 km Location: Obersee📍 **First Meeting point: *@09:00 Zurich HB under Blue Angel. *Train*: @09:12, Zurich HB - Tuggen, Kapellhof **Second Meeting point*: @ 10:00 Tuggen, Kapellhof, bus stop. **Coming by car*: limited Parking spaces near bus stop. **What to bring:** *Good walking shoes *Yoga mat or big towel *Comfortable, breathable clothing *Picnic lunch. *Snacks, fruits, nuts to share *water/tea/juice *layers of clothing. *Swim gear (optional) *Cash to buy coffee/drink/icecream in a restaurant towards the end. *A relaxed weekend mood. *Disclaimer: Each participant is responsible for his capabilities, equipment, safety, health, allergies, judgement, knowledge and insurance cover. The Organiser will not be held responsible for any problem/injury that may arise during or after the event. *

Floating down the Limmat is back to kick-start your summer! 💙💙💙 Bring your boat, air mattress, or inflatable sea creature and tighten your life jacket for an adventure downstream. 🔥🔥🔥At the end of the event, where we end the floating, there is a public grill you can use it to grill or a restaurant where you can order foods and drink. We'll gather on the grass at Wipkinger Park from 13:00 to prepare for a chill ride down the river. We'll start to depart around 14:00, so we have an hour to socialize and inflate our fleet before we slowly drift our way down to Glazenberg (Grillplatz Allmend). If you have empty spaces on your boat and are looking for a pirate crew, then please post it on the WhatsApp chat. There are always people looking for a ride ☠️ 📱 Join our WhatsApp chat to keep up with the event (everyone can text two days before the event): https://thislink.bio/c/ow8o2yl6 If you cannot access the chat, try opening the link on the WhatsApp web version on your laptop. Here's what you should bring: * Tasty food & refreshing drinks 🍹 * Sunscreen to ward off those pesky UV rays 🧴 * Rope (you never know when you’ll need it!) 🛟 * Life vest (Safety first - One per boat) 🦺 * Comfortable flip-flops for land transitions 🩴 * Watertight bags for your precious belongings 👜 * And most importantly, a sunny mood! 🐬 🔱 Disclaimer: Your safety is your own responsibility. Please ensure you can swim and remember to drink responsibly. Our team will guide you down the river, especially through one or two tricky spots, but it's important to follow instructions when given.

The hares are Premature C. and Just Nuno as virgin hare. Tell us in the comments if you want to stay for dinner. Wear your favorite national team T-Shirt. You can also wear some clothing which supports Switzerland or Bosnia Herzegovina (as the same day will be played a match between these two great nations). Alternatively you can bring a flag or your favorite nation. Football World Cup 2026 is on-going. Mexicans love it, Americans are confused (Football / Soccer), ad Canadians only think about ice hockey. **Where**: See location. Machiavelli Bar. Look for English speakers wearing running gear. At 21:00 we'll be back at the bar to eat (grill), drink and watch Switzerland - Bosnia. **When:** We'll meet at 6:50 pm to start at 7:00 pm. There's a charge of CHF 5 for participating, which covers all you can drink beer/cider (and non-alcoholic alternatives) plus snacks afterwards. **All Welcome:** If you are new, curious, and want to get out of the house, stretch your legs, talk shit, enjoy a drink, and hopefully a laugh, then here's what you need to know: • We are a social running/walking group, physical fitness is not required, but a sense of humour is useful. • The aim is to find the '*Beer Stop*' at the end of the '*trail*' and have fun. • 'True Trail' is typically 4-7 km. Some will go less (especially those walking or walk/running), and some over-achieving fast runners will go further. • The '*Hare*', which changes each event (along with location), cleverly lays the trail (typically with flour marks) so that everyone reaches the end at the same time. • There is always a place to deposit your bag and sometimes a place to change. • **After Trail**, we group for \~20-40 minutes for drinks, snacks, and some fun. This '*Circle*' is typically outside, so leave something warm in your bag in winter (and bring a flashlight when it's dark). If you don't want to stand around drinking afterwards, you can head home. We occasionally all go to a restaurant afterwards. **Why bother leaving your warm & dry sofa?** If you enjoy getting outside, being around people, and doing something a bit different, you will probably enjoy hashing. Exercise is important, and this is probably the least boring way to get it. 'Hashing' and the idea of some physical activity to work up a thirst, have been around for almost 90 years and there are groups (*Hashes*) in most major cities. Its humor and 'traditions' can be explored on the internet - **or you can just come along and find out.** *See you there.* We are of many nationalities, all ages, full of misfits and idiots (at least there is no one taking themselves seriously!) and always welcome newbies 'Virgin Hashers' and visitors from other groups. For more about Zürich Hash House Harriers, check out [www.zh3.ch](http://www.zh3.ch/) ( [http://www.zh3.ch/](http://www.zh3.ch/) )

☀️ Summer Hatha Yoga & Brunch in Zurich ☀️ **Bring a friend for free \| All levels welcome \| Perfect for first\-timers** Join us for a relaxed and refreshing Hatha Yoga & Summer Brunch on Sunday 21st June in Zurich – in the green area near Wollishofen. We’ll begin at 10:30 with 1h yoga practice, open to all levels – including beginners. 🧘 Yoga spots are limited to 20 participants. Cost is 25 CHF - please pay via Twint +41 791977702 to save your spot. **Bring a friend for free – your guest joins yoga at no cost!** 🥐 After yoga, we’ll stay together from for a relaxed picnic-style brunch. This part is open to everyone – no registration, no fees. Feel free to join us at any time :) Just bring your own food, drinks, and good vibes. What to bring: Yoga mat Comfortable clothes Water Your own brunch items 🍓🥐🧃 To stay up to date join the WhatsApp group 🌿 [https://chat.whatsapp.com/JjcN8KKelJ7L5kNT40j6vT](https://chat.whatsapp.com/JjcN8KKelJ7L5kNT40j6vT)

**Join Adona every Sunday for outdoor yoga at Glattpark - a space for movement, breath and pause.** Start your Sunday with mindful movement, fresh air and flow. This outdoor yoga class is designed to release tension, regulate the nervous system and create more balance, clarity and connection in both body and mind. Expect a grounding yet energising practice with accessible variations, suitable for all levels — whether you are completely new to yoga or already experienced. * The class is in English // Open to levels * Bring your own mats & props Please sign up & purchase a pass via [Yoga Nest Eversports](https://www.eversports.ch/s/yinflow-yoga-movement-meditation) Join [Outdoor Yoga Whatsapp Group](https://chat.whatsapp.com/DGeQSSYsG33EQIcmrAMRvy) to be up to date

We’re still working to get more people into these Meetups, but our goal is to give PlayYourCourt members a few social tennis outings each week in addition to your practice sessions and Challenge League matches. These Meetups are co-ed, super laid back, and all skill levels are welcome. Post your skill level and a suggested court in the comments section so we can round up as many players as we can for some tennis fun! Also, if you’re looking to meet new practice partners or play some matches and you aren’t already in the PlayYourCourt Community, you can go here to see what we’re all about and sign up: https://www.playyourcourt.com/tennis-community/columbus-oh/meetup/ If you love tennis, we’d love to have you! Be sure and watch the quick video that explains how everything works. Happy hitting! - Scott

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!