Philosophy

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.

FOR WHOM Those who attended Session 1 or anyone new who wants to experience a deeper layer of the inner-clearing practice. DESCRIPTION Returning to the theme of inner clarity, Silent Mind Declutter 2 (静心整理2) builds on the foundation of the first session and takes the practice a step further — working with deeper emotional patterns, habitual thought loops, and the stories we carry. Held in a spacious location in Wollerau, this session combines silent sitting, guided breath meditation, and light contemplative inquiry. You will be gently guided to observe the mind without judgement, identify what no longer serves you, and cultivate a sense of internal spaciousness. This session can be attended independently — no prior attendance required. WHAT TO EXPECT Guided silent sitting and breath-based meditation Contemplative self-inquiry practices Calm, supportive group environment Comfortable seating provided; wear loose, comfortable clothing

**Meditationsreihe:** **Vom Konflikt zur Harmonie - Umgang mit schwierigen Menschen** Mittwochs, 10. Juni - 8. Juli, 2026, 18:30-20:00Uhr, KMC Schweiz in ZH- Altstetten mit Gen Kelsang Devi (in Englisch mit deutscher Übersetzung), 20CHF https://www.kadampa.ch/vortrag-am-mittwoch/ Schwierige Menschen begegnen uns überall – im Büro, in der Familie, im Alltag. Manchmal scheinen sie unseren Frieden zu rauben und unsere Geduld auf die Probe zu stellen. Doch was, wenn das Problem nicht draussen liegt, sondern in unserem eigenen Geist? In dieser 5-wöchigen Meditationsreihe laden wir dich ein, einen transformativen Blick nach innen zu werfen. Schritt für Schritt erkunden wir, wie wir schwierige Beziehungen mit buddhistischer Weisheit und Meditation neu betrachten können – nicht um schwieriges Verhalten zu akzeptieren, sondern um unseren eigenen Geist zu befreien. **Themenliste** 10\. Juni 2026 \| Cool bleiben – Die Stärke der Gelassenheit 17\. Juni 2026 \| Andere akzeptieren 24\. Juni 2026 \| Schmerzhafte Gefühle verstehen und annehmen 1\. Juli 2026 \| Harmonie schaffen 8\. Juli 2026 \| Konflikte meistern

**[⚠️>>Ticket needed (click here)<<](https://link.social-circle.ch/KzHh) or** **[tickets.social-circle.ch](https://tickets.social-circle.ch/)** **⏰Check-in at the venue in the first 15 minutes, please make sure to be on time.** **Double Date Speed Dating** **Less pressure. More chemistry.** 👥 2 single men + 2 single women per table 🔄 Rotate every 15 minutes 🎯 Ages 25–40 Join the WhatsApp group: [https://link.social-circle.ch/wz7V](https://link.social-circle.ch/wz7V) Not your typical speed dating. No awkward interviews. No repetitive small talk. You meet in **groups of four**, which makes it easier to relax, laugh, and be yourself. **🕒 The Flow of the Night** 1️⃣ Deep Dive (Soul) We kick off with our *Fast-Track Intimacy* cards — real questions that spark meaningful conversations and fast-track genuine connection. 2️⃣ Creative Canvas (Play) A fun, collaborative drawing challenge. Light, playful, and surprisingly revealing. 3️⃣ Surprise Rounds A few unexpected twists designed to spark chemistry and keep things exciting. **✨ Why It Works** • Small groups = less pressure • Real interaction, not interviews • Host-guided flow — you just enjoy **✅ Your Ticket Includes** • All materials for the creative challenge • A balanced ratio of participants Spots are limited. Secure yours early. ​P.S. Pictures might be taken during the event, if you do not want it please let the organizer know. Tickets are non-refundable. **Want more events like this? Join our WhatsApp community:** [https://link.social-circle.ch/sVZD](https://link.social-circle.ch/sVZD)

Hey Zürich, we are not slowing down! Angular Zürich is back with another evening of exciting talks exploring the future of Angular, modern developer experience, and where the framework is heading next. And for the first time ever, we’ll have three speakers sharing their insights, ideas, and real-world experiences with the community. **Talks:** *Even moar Angular skills for agentic development* *by Tomas Trajan* AI agents are quickly becoming part of the Angular development workflow - generating components, refactoring code, writing tests, and even orchestrating full features. But getting reliable results requires more than good prompts. In this talk, I’ll share the Angular patterns, architecture decisions, and tooling techniques that make agentic development actually productive at scale. You’ll see how strong typing, standalone APIs, signals, and clear project structure dramatically improve AI-generated code quality, and learn practical workflows for collaborating with coding agents without sacrificing maintainability or developer control. \-\-\- *From Typos to Type Safety — Building a Typed Router for Angular* *by Dominic Bachmann* Route enums, path constant objects, flat route trees to avoid nesting complexity — Angular developers have invented all kinds of workarounds to bring some safety to navigation. But they all share the same problem: a second source of truth that you maintain by hand. In this talk, I'll share how I built angular-typed-router, a drop-in replacement that infers every valid path directly from your route configuration. You'll see the developer experience in action — full autocomplete, compile-time validation — and learn how interface augmentation, template literal types, and recursive conditionals make it work at zero runtime cost. \-\-\- *Angular 22: The Great Simplification* *by Mateusz Halada* Angular has spent the last few releases removing complexity piece by piece - and Angular 22 takes that vision even further. In this talk, we’ll explore how the framework is evolving toward a leaner, more intuitive developer experience with simpler APIs, stronger defaults, and less boilerplate across everyday application development. You’ll see what’s new, what’s been streamlined, and how modern Angular patterns around signals, control flow, routing, and reactivity fit together into a much more cohesive mental model. By the end, you’ll understand not just the new features, but the bigger direction Angular is heading in. **Agenda** * 18:00 - 18:15 – **Intro** * 18:15 - 18:45 – **Tomas Trajan** \- Even moar Angular skills for agentic development * 18:50 - 19:30 **Dominic Bachmann** \- From Typos to Type Safety \- Building a Typed Router for Angular * 19:35 - 20:05 – **Mateusz Halada** \- Angular 22: The Great Simplification * 20:05 - 21:00 – **Networking**

Conversation en français et balade spontanée. Pour celles et ceux qui veulent discuter tranquillement en français, venez discuter de tout et de rien! Tous les niveaux sont bienvenus, même si je parlerai principalement français, j'essaierai de me faire comprendre! Merci de vous désinscrire si vous n'êtes pas sûr de venir!

EXPERIENCE PHILOSOPHICAL SYNCRETISM, INNER ALCHEMY, AND GAME SPIRIT. Try a live (private) session of **Mäng (offline in Zürich or online worldwide)**, a powerful self-exploration game that helps uncover hidden mental scripts and rewire the way you think, feel and act. It is a tool for a really **profound change** that follows the four stages of inner alchemy. A modernized version of an ancient contemplative practice, reimagined as a transformational tool based on psychological insight, symbolic logic, and inner strategy, it is not therapy or coaching in the traditional sense. Instead, it’s an immersive deep-dive into the unconscious mind through metaphor and archetype with a game spirit. 💡 **How it works:** Mäng is built on four stages of real, lasting change: 1. **Discovery** – Identify limiting beliefs and internal programs 2. **Uninstallation** – Let go of outdated patterns 3. **Design** – Create new mental strategies 4. **Integration** – Embed them into your deeper awareness You’ll be guided through this process by the **Master of Mäng**, who offers structure, questions, and insight, while you remain the one making all decisions and discoveries. 🌿 **Who is this for?** For everyone (regardless of beliefs, age, gender, etc.), but more than anyone - for those who didn't find answers or sufficient depth in pop coaching and psychology. 🕒 **Important:** This is a deep game. A full session lasts **4 hours**. Time slots are defined individually. Contact me directly to get an appointment. Price for newbies: 250 CHF

**[⚠️ >>Ticket needed (click here)<<](https://link.social-circle.ch/saYS) or** **[www.social-circle.ch](http://www.social-circle.ch/)** **Chill on a Boat 🌊** Escape the city for a relaxed evening on the water. Join us for Chill on a Boat, where good vibes, beautiful views, and a refreshing atmosphere come together for the perfect summer experience. Expect beautiful waterfront views, a laid-back atmosphere, good music, and plenty of moments to sit back and enjoy the experience. Bring your sunglasses, your camera, and your summer mood, we'll take care of the rest. **What's included:** Drinks Snacks Great boat experience! Join our WhatsApp group and stay updated: **[https://link.social-circle.ch/B1af](https://link.social-circle.ch/B1af)** Expect stunning views, a laid-back atmosphere, and the perfect setting to relax and enjoy the moment. **Spots are limited, so be sure to reserve yours early!** Pictures might be taken at the event. Tickets are non-refundable! Join our weekly newsletter and stay informed about our upcoming events in Zurich: [https://link.social-circle.ch/sVZD](https://link.social-circle.ch/sVZD)

Freitags, 10:00–10:40 Uhr, 5. Juni - 3. Juli, Kadampa Meditationszentrum Schweiz, Mirabellenstrasse 1, 8048 Zürich-Altstetten, 7.50CHF, https://www.kadampa.ch/freitag-morgen-meditation/ Gönn dir eine 40-minütige Atemmeditation mit einfühlsamen Erklärungen, die dir hilft, zur Ruhe zu kommen und neue Energie zu tanken. Spüre, wie dein Geist klarer wird, sich innere Anspannung löst und du dich leichter fühlst. Diese Meditation ist die perfekte Gelegenheit, dich bewusst mit dir selbst zu verbinden und den Übergang ins Wochenende achtsam zu gestalten. Die geführten Meditationen sind Drop-In-Kurse – eine Anmeldung ist nicht erforderlich. Komm einfach vorbei, geniesse die wohltuende Atmosphäre und starte deinen Freitagmorgen voller Gelassenheit.

Liebe Microsoft 365 Community Schweiz Wir haben wieder ein spannendes Event geplant. **Ort & Sprache:** Ort: Isolutions AG, The Circle 38, 8058 Zürich (Hybrid mit Teams) Sprache: DE **Session 1: Excel automatisiert: Office Scripts & Power Automate** Beschreibung: Excel ist ein grossartiges Tool, das fast jeder täglich nutzt – aber manuelle Datenpflege und Copy-Paste kosten unnötig Zeit. In dieser Session zeige ich, wie wir Excel nicht ersetzen, sondern auf das nächste Level heben. Mit der Kombination aus Office Scripts und Power Automate lassen sich Excel-Tabellen dynamisch auslesen, bearbeiten und nahtlos in automatisierte Cloud-Workflows integrieren. Komplett im Hintergrund. Keine graue Theorie, sondern echte Praxisbeispiele, die ihr sofort im Alltag anwenden könnt. Speaker: [MVP Marcel Lehmann](https://www.linkedin.com/in/marcelehmann/) **Session 2: Copilot Cowork under the Hood** Beschreibung: Ein Blick hinter die Kulissen von Copilot Cowork - Was geht heute, wo sind die Grenzen und wie setzen wir es in der Beratung ein inkl. Live-Demos aus dem Consulting-Alltag Speaker: [David Zeiter](https://www.linkedin.com/in/davidzeiter/) **Agenda:** 17:00 Welcome 17:30 Session 1 18:15 Session 2 19:00 Apéro und Community Austausch 20:00 End of Event **Teams Link** [https://teams.microsoft.com/meet/31793337332541?p=rQMt6X4gBOhrgIjWHS](https://teams.microsoft.com/meet/31793337332541?p=rQMt6X4gBOhrgIjWHS "Meeting join")

Unter professioneller Anleitung und individueller Betreuung wird in kleinen Gruppen (ausser während der Schulferien) gearbeitet. Ein Einstieg sowie ein Probeunterricht sind jederzeit möglich. Im Kurs helfe ich dir, deine kreativen Ideen zu verwirklichen und deine künstlerisch-gestalterischen Fähigkeiten weiterzuentwickeln. Ob nach Fantasie, nach einer Bildvorlage oder direkt aus der Realität: Du setzt deine eigenen Motive um und lernst dabei den souveränen Umgang mit verschiedenen Mal- und Zeichentechniken. Egal auf welchem Level du startest – hier bist du richtig: **Anfänger** werden sorgfältig in die Grundlagen eingeführt. **Fortgeschrittene** können ihre Kenntnisse und Erfahrungen vertiefen und erweitern. **Experten** erlernen die Geheimnisse alter Meister und perfektionieren das realistische Zeichnen und Malen. **Auskunft und Anmeldung:** marianas@gmx.ch \* 078 628 78 24 \* [www.marianas.ch](http://www.marianas.ch) **Freitags** und **samstags in Illnau:** von 9:30 bis 12:30 Uhr und von 13:00 bis 12:30 Uhr | **Kurskosten** (inkl. Materialkosten)**:** 4 x 180 Min. = 333Fr. | | -------------------------------------------------------- | |

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. *

Welcome to Drunken Philosophy, a casual, curious, social discussion club. Come grab a drink and a seat at The Oracle. **Optional topic for this meetup: Where is everybody?** In 1950 the physicist Enrico Fermi was talking about aliens over lunch and asked a question that still has not gone away: if the universe is so vast and so old, and even a fraction of those billions of stars have planets, where is everyone? By the numbers the galaxy should be crowded with civilizations. Instead we look up and hear silence. That gap between "they should be everywhere" and "we see no one" is the Fermi Paradox. One of the most unsettling answers is the idea of a **Great Filter**: somewhere on the road from dead chemistry to a galaxy-spanning civilization, there is at least one step that is almost impossible to get past. Maybe the filter is behind us. Maybe life starting at all, or simple cells becoming complex, or intelligence ever evolving, is the freak accident, and we already cleared the hard part. Or maybe the filter is ahead of us, and advanced civilizations reliably wipe themselves out before they spread. Here is the part that messes with people. If we ever found life somewhere else, even pond scum on Mars, most people would call it the greatest discovery in history. But it might be the worst possible news. It would mean life is common, the early steps are easy, and the hard step is still in front of us. So the eerie silence overhead might actually be the best sign we could ask for. **Questions to wrestle with:** * Is it better to be alone? Would you rather we find alien life and learn we are not special, or find nothing and quietly improve our odds of surviving? * Where do you bet the filter sits, behind us or ahead of us, and why? * If it is ahead of us, what is it? Nuclear war, climate collapse, AI, something we cannot even picture yet? And can we do anything about a filter we cannot see coming? * Does any of this change how you live, or how humanity should be spending its time and money right now? As always the prompt is optional. Come for the conversation, stay for the drinks, and bring your own questions.

Sleep in on Sundays. When you've had your fill of pajama-time, roll out and have some tasty brunch with your fellow Humanists!

Join the weight loss in Columbus group at the Scioto Audubon Park for an in person meeting. We'll meet to chat casually, talk about goals and enjoy one of Columbus's wonderful parks. We'll meet at one of the outdoor shelters, which is covered in case of rain, is close to some walking trails, and there's also a climbing gym that people can try out (my favorite past time) if people are interested. Let's meet and see where we can take things!

Main Library, Meeting Room 2B Join us for a welcoming evening of reflection, gentle music, and meaningful conversation. We’ll begin with a short grounding moment, followed by a brief reading from spiritual or philosophical traditions, and an open reflection circle where participants can share (or simply listen). Libera Animae is an interfaith community focused on inner growth, creativity, and authentic connection. All backgrounds are welcome.

Let’s meet and wander the galleries! General admission on Sundays is free.