Satsang

Mark your calendars: the next Haskell Utrecht Meetup will be on February 2nd. We will be back in the University Library - room 0.21 - in the City Center. Note that you can park your bicycle under the library if you enter through the central courtyard. We hope to see you there! We have two speakers confirmed, Jaro Reinders and Niek Mulleners. Agenda: * 19:15 Doors open * 19:30 Welcome * 19:35 **Jaro Reinders - Algebraic Effects for Verified Compilers** * Break * 20:30 **Niek Mulleners - Programming with Holes, Types, and Tests** * 21:00-ish Finish * Drinks @ Florin **Algebraic Effects for Verified Compilers - Jaro Reijnders** Algebraic effects are a promising approach to reason about programs with side effects. Recent work on interaction trees has shown that algebraic effects can be used to verify compilers extrinsically. In the hope of avoiding overhead of extrinsic verification, I have researched how to use algebraic effects more directly as the intermediate representation in a verified compiler. I will present this approach and its complications. **Programming with Holes, Types, and Tests - Niek Mulleners** The duty of the compiler is to turn programs into executable code. When a program is incomplete or incorrect, it should tell the programmer exactly why their program cannot be executed and, ideally, how this can be fixed. To do so, the compiler has to understand the programmer's intentions. In this talk, I will explore how programmers can express their intentions through types, tests, and sketches (programs containing holes), and how the compiler might use this information to assist them in writing programs.

Craft night done right at the Krachtcentrale! Looking to activate your imagination? Join us for a night of abstract watercolor painting. Grab a drink at the bar, then head upstairs to the entresol for a playful evening of painting. Bring your own watercolors or use what we have on-hand. No experience needed, just your curiosity and creativity. This is a fun, social evening of painting and chatting while making our own little messy masterpieces. Come solo or with friends. About your host: Michelle is a Huizen based creative, originally from Portland, Oregon. Often crafting with paints, pens, fabric, woodblock, ceramics and more, she has loved playing with color since she was a kid.

Kom naar het HaHaHo Makers Lab Utrecht voor een avond vol kennis & ervaringsdelen en maken, met de focus op elektronica met microprocessoren zoals Arduino & Raspberry Pi, LED’s en meetapparatuur. 19:00 Inloop + opzetten apparatuur 19:45 Standup: wat wil iedereen doen en/of leren deze avond? 20:00 Parallelle activiteiten: – startactiviteiten voor nieuwe deelnemers (Arduino, soldering, meetapparatuur, etc.) – onderlinge kennisuitwisseling adhv de wensen uit de standup – werken aan het gezamenlijke [PraatPaal-project](https://github.com/hadoopmarc/hahaho-interactive-pole) – werken aan je eigen project – ordenen/markeren van de ladenkasten met elektronisch componenten 21:30 Start met opruimen 21:45 Einde en verlaten van de Bibliotheek Een laptop is niet noodzakelijk maar komt vaak van pas! We vragen een vrijwillige donatie van €5 per avond om de inventaris met apparatuur en elektronische componenten op peil te kunnen houden. English 19:00 Room available for setting up equipment 19:45 Standup: what are the participant’s plans and wishes for the evening? 20:00 Parallel activities: – starter activities for new participants (Arduino, soldering, measuring equipment, etc.) – sharing knowledge as follow-up on the plans and wishes expressed during the standup – working on the community [Interactive Pole project](https://github.com/hadoopmarc/hahaho-interactive-pole) – working on your individual project – sorting the chest of drawers with electrical components 21:30 Start decluttering the room 21:45 End: leave the Public Library Bring your laptop if you want to program microcontrollers! We ask for a voluntary donation of €5 per evening to maintain the inventory with equipment and electrical components.

**Ursula Blythe - The Philosophy of Grief: Love, loss, and the so-called human condition** ATTEND IN PERSON OR ON ZOOM Can Philosophy Inform Grief? Death is part of the human condition, yet we tend to avoid the subject in everyday conversations and philosophical discourse. Engaging with Grief reminds people of their own inevitable losses and demise during their life-cycle. However, death remains a curious mystery where our sense of loss and confusion is somehow out of our control. This phenomena generates the concept and real-life experience of Grief itself. As a starting point, it is important to understand or appreciate: Why we avoid the topic of Grief, particularly across Western cultures? Indeed, there are many social, psychological, and philosophical reasons for avoiding the discussion of Grief. As a prelude to my talk, I have signposted some significant examples of why we may avert discussions of Grief, as follows: Emotional Discomfort: Grief is an intensely painful and overwhelming emotion. Discussing it openly can make both the grieving person and others feel uncomfortable, as it forces an acknowledgment of vulnerability and mortality. Fear of Saying the Wrong Thing: Many folks are unsure of what to say or how to support someone who is grieving. They fear causing further pain or appearing insensitive which often leads them to avoid the elephant in the room! Social Norms and Stigma: Western culture often emphasises resilience and “moving on” quickly. So, open displays of intense emotions, especially prolonged sadness can be seen as a sign of weakness or an inability to cope, leading to avoidance of the subject. Lack of Personal Experience: If an individual has not experienced a significant loss themselves, they may struggle to empathise or appreciate the depth of another’s pain. Pace of Modern Life: Everyday life moves quickly, and there is often little time or space for the extended period of mourning that Grief requires. People may feel pressure to maintain normalcy and avoid “bringing down the mood” in social interactions. In Philosophical Terms: Traditional philosophy, particularly from the Stoics onward, has often focused on how to overcome or control emotions like ‘Grief’ through reason, rather than exploring its inherent value or meaning. The goal was often ataraxia (a state of freedom from emotional disturbance) which positions Grief as something to be managed, rather than discussed openly. Solomon (2007) states that the avoidance of Grief stems from a human disposition to: Shield ourselves and others from intense pain and the profound existential challenges that Grief presents. On reflection, normative definitions explain Loss as the event of losing something or someone. However, death remains a curious mystery here a sense of loss and bewilderment is out of our control known as the ‘process’ or ‘stages’ of Grief, which I will strongly argue against. For me, Grief is nether inherently rational or irrational, as it a natural emotional, mental, and physical response to the loss of a loved one. However, everyone’s experience of Grief is different, both culturally and individually. When endeavouring to “draw out meaning” from Grief. Perhaps it is very subjective in the early stages, and more objective in the later stages, which may generate a new understanding of Grief as a philosophical concept. In this talk, I will be drawing on the work of C.S. Lewis (1963), Robert C. Solomon (2007) and Michael Cholbi (2022), in order to assess if philosophy can actually inform our understanding and meaning of Grief. **Ursula Mary Blythe** is a public philosopher, essayist, researcher, and someone who has experienced profound loss and grief in recent years. This event is sponsored by the Royal institute of Philosophy. Lecture and discussion! See you there? For the full programme of events pls see [pfalondon.org](http://pfalondon.org)

ATTEND IN PERSON OR ONLINE This event is sponsored by the Royal institute of Philosophy. Lecture and discussion! See you there? For the full programme of events pls see pfalondon.org

If you are living in The Netherlands, by now, you may well have noticed the amount of open water. If you enjoy cycling in the city, you may wish to feel safer as you navigate the bridges and canals. And you may also want to get ready for visiting the beach, pools or the many lakes this summer. Learning how to swim takes approx 1 year and it all starts with the very first lesson. New comers enroll via our website and pay € 30,50, this is the first lesson and a goody bag. After the class you agree with the personal swim coach how to continue to obtain your final objectives. Enrolling is only possible via [www.your-personal-swim-coach.nl ](https://www.your-personal-swim-coach.nl/)hence a rvsp via meetup is not enough.

🗓Every Monday evening from 19.00-19.45 hrs both at our center in Amsterdam and online. 🧘Start your week with calm and clarity. Join us every Monday evening for a 45-minute guided meditation in Amsterdam-Oost or online. No registration is needed—just walk in, relax, and let go. 🕊🌳Starting the week with a moment of stillness and contemplation can transform your mindset. Meditation can help reduce stress, increase focus, and cultivate a deep sense of peace. Practicing in a group enhances the experience, connecting you with a community and amplifying the collective calm. Whether you’re new to meditation or experienced, this is your time to reset, recharge, and set the tone for the week ahead. 📍Zoomlink on the website - www.maitreya.nl

I'm excited to host the 16th edition of *Strangers to Friends*! Every event so far has been warm, fun and full of great connections. So we’re doing it again! Curious about our previous events? Check out our photo albums (only visible on the laptop version of Meetup). **What to expect** * A safe, relaxed environment to meet both locals and expats, whether you want to meet new people, experience an international atmosphere or talk about business, it’s all possible. * Start the evening with a few rounds of conversation cards: pair up with someone you don’t know, answer meaningful questions and rotate every 10 minutes. Within just one hour, you’ll get to know several people really well and enjoy meaningful conversations. * Everyone comes on their own, so it’s easy to connect. **Practical details** * Doors open at 20:00, after 30 minutes we start with conversation cards * Venue: Boekencafé Libertas, Klarendalseweg 477-1, Arnhem * 20 min walk from Arnhem Central * 7 min walk from Arnhem Velperpoort * You’ll receive 2 drink tokens for (beer/wine/soft drinks) and snacks all night! * Find us on the right side of the café at the bar, by the window and garden Bring a smile and join us for an evening where friendships grow, business ideas spark and real-life connections happen. Back to basics, away from screens, meeting face-to-face. Warm regards, Julia

This is an invitation for anyone who could use a listening ear, whether you are going through a difficult time, in transition, or simply looking for connection. This support circle welcomes you as you are, without judgement. The idea is simple, we meet, sit in a circle, and share how we are doing. We speak without interruption, listen without fixing, and allow ourselves to feel a little less alone on this journey. No therapy - just presence and connection. Coffee and tea will be provided by our ASOP cafe friends. Sessions will be held every two weeks, to create a regular and safe space to talk, listen, and connect over time. Attendance is limited to a small group. \*\* A small fee is required to become a member, this money is used to pay for the initial space. This initiative is not intended to generate any sort of revenue. Mental support should be free, always.\*\* SUPPORT CIRCLE CORE VALUES 1. Voluntary sharing: no one is obliged to speak. Listening is a full and valid form of participation. 2. No judgmental listening: members listen without interrupting, fixing, giving advice, sharing personal opinions. Advice or responses are offered only if explicitly requested by the speaker. 3. Acknowledge courage to share: After a member shares, the group briefly acknowledges their courage in speaking their mind. No analysis, no debate- just recognition. 4. Confidentiality: what is shared in the circle, it stays in the circle. No stories leave the room without permission. 5. Equal time: Each member who wishes to speak gets roughly equal time. No one dominates, no one is rushed. 6. Presence over problem solving: the purpose of this circle is connection, not therapy not fixing. Members are here to be heard, not to be changed.

Join us for an evening of good vibes! Whether you’re a local or an expat, Mingle Mania is the perfect place to socialize and make friends or even to practice languages. 🤝🤼‍♂️💬🙋‍♂️🫂 👉 Join [https://chat.whatsapp.com/GopSuzuFKRBKeYVKQrX4pE](https://chat.whatsapp.com/GopSuzuFKRBKeYVKQrX4pE) The group has many regular members, we intend to do various type of events, the goal is to build a strong community for all sorts of activities. If you have an event idea that you would like to see happen, let us know. We generally have about 20 participants, the age is between 20 and 60 averaging somewhere around 30, language exchange is not strictly enforced, culture exchange happens naturally. **mingle** (verb, intransitive): to move among people and talk to them, especially at a social event. 📍 **What We Are:** * A diverse group of locals and expats * ...going out at least every Tuesday 😊 🆓 **Event Details:** * It is free to join and operated on a voluntary basis! * Please honor the bar by ordering at least one drink.

## 🎨**Activity for EXPATS & English Speakers** ☕ Are you an art enthusiast living in or around **Amersfoort, Hilversum, Utrecht, Nieuwegein, IJsseltein, De Bilt and the rest of cities of the Utrecht's province** who love painting or drawing? Maybe you've felt the joy of creating but struggled to find others who share your passion and speak **ENGLISH**? **You're not alone! 😉** ✨✨✨✨✨✨✨ ## 🖌️**About this event** You will meet other Art Lovers like you to Draw, Paint and have some drinks Together ! Our events are not just about sketching or creating art—they’re about building connections. Every two weeks, we meet at a café to have a relaxing time drawing a painting. Please keep on mind that **ENGLISH i**s the official language we will use to integrate everyone in our conversations. ⭕⭕⭕➡️ **IMPORTANT ⬅️** ⭕⭕⭕⭕ ### 👩🏻‍🎨**Book formally your Seat 🪑via [WHATSAPP](https://bit.ly/3BXXE0f)** **If you want to confirm officially your attendance and separate your seat🪑. Book your seat in meet-up, and contact us via [WHATSAPP HERE](https://bit.ly/3BXXE0f) to receive more information on the address of our activities.** **Thanks a lot for your understanding!** 💐🥰 ✨✨✨✨✨✨✨ ### 👩🏻‍🎨**How Does It Work?** This event is simple, this initiative takes 2 Hours. Most of the participants use pencils, water pencils or watercolours. Main aim is to socialize while we draw. There will be plenty of time to talk and get to know each other. We have to mention that this event is suitable for all levels. Many have started to draw in our event actually. Also it is very important that you **[JOIN US AT OUR WHATSAPP COMMUNITY](https://bit.ly/3BXXE0f),** to stay up to date on our upcoming events and participate in our Drawing and Painting Contests! **👉: [https://bit.ly/3BXXE0f](https://bit.ly/3BXXE0f)** 🍀 ✨✨✨✨✨✨✨ ### ☕**Where?** We will meet in different cafes mainly in the *center of Amersfoort ( and some occasions in other cities around)*. I will inform you of the exact place some days in advance this event. The place will depend on the number of attendees. ✨✨✨✨✨✨✨ ### **🎟️ What is included?** 🟢 **2 HOURS TO HAVE FUN!** 🟢 **15 mins warming-up creative activity and paper material**🖌️🎨 🟢 New friendships and **conversations in ENGLISH** in a relaxed atmosphere 🟢 **Souvenir picture** with you and the rest of Art Lovers 📷 🟢 Exclusive **access to our Art Lovers Community** on which you will receive: ***\~\~\~ Drawing challenges,*** ***\~\~\~ Training content,*** ***\~\~\~ FREE Entries only to members*** ***\~\~\~ Drawing Competitions*** 🟢 Time to **create alongside fellow artists and amateurs** 🟢 The freedom to **work at your own pace** 💃🕺🎈 ✨✨✨✨✨✨✨ ### 🖼️**Art Materials?** Bring your own practical art materials to be adaptable to sketch on a coffee table. Like your sketchbook, pencils, watercolor, markets, pencils, your Tablet..etc ✨✨✨✨✨✨✨ ## **See you to Paint, Draw, and drink together!🌟☕🍷🍪🍰**

Join us for some focused writing time. All writers and all experience levels are welcome and don’t worry, no one will see what you've written. This session is about getting your writing done and meeting other writers in your area. When you show up, say hello to everyone, grab a drink, and get your writing tools ready. Once you’re all settled, take some time to chat with your fellow writers. Once everyone’s arrived, I will lead quick introductions and then set the timer for our quiet and focused writing session. Afterward, we’ll have time to chat and get to know each other. We often talk about our successes and challenges as writers. If you don’t have time to stick around, no worries! **A note about the format** We don’t host critiques or readings. These events are a safe space for writers of all skill levels and genres to work on their craft, so no one will read or critique your writing. For our full event schedule, visit [https://shutupwrite.com](https://www.shutupwrite.com). **Other Important Details:** WiFi name/password: [PLEASE INCLUDE DETAILS] Travel / Parking info: [PLEASE INCLUDE DETAILS]

'THE THURSDAY MURDER CLUB' by Richard Osman 'Smart, compassionate, warm, moving and so VERY funny' Marian Keyes 'So smart and funny. Deplorably good' Ian Rankin 'Thrilling, moving, laugh-out-loud funny' - Mark Billingham In a peaceful retirement village, four unlikely friends meet up once a week to investigate unsolved murders. But when a brutal killing takes place on their very doorstep, the Thursday Murder Club find themselves in the middle of their first live case. Elizabeth, Joyce, Ibrahim and Ron might be pushing eighty but they still have a few tricks up their sleeves. Can our unorthodox but brilliant gang catch the killer before it's too late? The Times Crime Book of the Month Guardian Best Crime and Thrillers. ***Please read the book and join us for a lively discussion (in English) about the contents during our afternoon book club meeting.*** \-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\- **PLEASE NOTE:** This is an IN-PERSON event in Amersfoort, The Netherlands. Please cancel your attendance in advance if you are unable to join, so that those on the waitlist can participate. Looking forward to seeing you all IN REAL LIFE then! Best regards, Sandra

It's time for a new Dutch PowerShell User Group in-person edition. This continues our community events, bringing people together around DevOps, PowerShell scripting, and automation in the Netherlands. Hosted at Info Support in Veenendaal, the evening will be a chance not only to learn but also to reconnect with fellow community members. **Speakers** As part of this restart, we have opened a [Call for Papers](https://sessionize.com/dupsug/) to give both new and experienced speakers the opportunity to contribute. The full program will be announced soon. **Agenda** The event will take place on the 4th of February, 2026. All times are listed in CET. * 17:30 – 18:00 Arrival * 18:00 – 18:45 Dinner * 18:45 – 19:00 Welcome from Info Support / Organizers * 19:00 – 19:45 Keep secrets away from AI Assistants: Secure Secrets Management with PowerShell by Jev Suchoi * 19:45 – 20:15 Break * 20:15 – 21:00 Show and tell: Show, in a short 5-10 minute session, PowerShell things that you are proud of. This could be something you made or improved, or a cool VSCode extension that everybody should start using immediately! Or a way of working with scripts that makes things easier and more efficient, etc. Sharing is caring! * 21:00 – 21:30 Networking **Speaker Information** With the restart of DuPSUG, we are opening the stage for both familiar names and new voices. The [CFP](https://sessionize.com/dupsug/) is currently live, and speakers will be announced shortly. **Sessions** As we restart our events, sessions will continue to focus on advanced topics in automation, scripting, and DevOps. **Location** We are in-person at: Info Support Kruisboog 42 3905 TG Veenendaal Participation is free, and you are encouraged to attend in person. **Tickets** We kindly ask you to register your attendance through Meetup. Our events are made possible through sponsorship, and accurate attendance numbers help us secure continued support. Please register if you plan to attend, and update your RSVP if your plans change.

We are excited to host Guided Meditations on Sundays at 6 pm in our Ashram/Gallery/Home! !! !! Everyone wants to know what kind of God we worship and what kind of meditation we do. We worship the GOD that LOVES US! We understand that god is an energy and it lives in us as us. Our meditations guide others to actually experience that energy! xoxo We don't just talk about peace, love and affection, we experience it :) Also we are a home not a business, so we enjoy building community one friend at a time. We always build in time for people to mingle & develop friendships! xoxo Much Love, Frank Tennyson Namaste, Frank Tennyson http://photos3.meetupstatic.com/photos/event/a/f/9/9/600_447824953.jpeg

Let's grab some coffee/food and share a morning chat! The East Market has an ample parking lot and outdoor and indoor seating. Grab a cup of coffee from Winston's Coffee & Waffles or on your way to East Market and meet us on the second floor - table behind or east of the elevator. If the weather cooperates we will be meeting in the patio. Per what this group is about: "Everyone is welcome! International transplants to Columbus who want to improve language skills, Columbus residents who want to discuss international travel and culture, and anyone who enjoys getting together for good conversations."

Join Sacred Sound Alchemy Columbus for a transformative Sound Bath experience that will take you on a journey of self-discovery and healing. Immerse yourself in the powerful vibrations of various sound instruments like crystal singing bowls and rain drums, carefully orchestrated to balance your chakras and uplift your spirit. The soothing sounds will help you release negative energy, reduce stress, and promote deep relaxation. This event is perfect for those seeking a moment of tranquility and a chance to connect with their inner selves. Whether you are new to sound healing or a seasoned practitioner, you will benefit from the harmonious frequencies that will resonate with your body and soul. Come and allow yourself to be enveloped in a wave of healing energy, leaving you refreshed, rejuvenated, and ready for life's next chapter. Please bring something comfortable to lay on like a yoga mat. Being a pillow for your head or for under your knees and a blanket to cover over yourou. The library can get cold. Bring some water to help flush your body for after the session.

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