Hot Air Ballooning

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.

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

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

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.

Samen sporten, gewoon voor de fun, elke week een divers programma, met allerlei verschillende sporten. Je hoeft niet de beste te zijn, maar wel zin hebben om samen te spelen en te leren. Tijdens een training doen we verschillende spelletjes, basketbal, voetbal. volleybal, spikebal, honkbal. Kom je ook, de bal ligt bij jou!! Eerste keer meedoen is altijd gratis, daarna kan je beslissen of dit voor jou is, of niet!! Dus kom een keer proberen. Kan je niet op deze dag, we sporten ook op andere dagen nl Zondag om 9:30 of Maandag om 20:30 Stuur mij een berichtje als je op die dagen een keer wil proberen! The amount of people rsvp'd to this game doesn't match the real number of people at the event, as Meetup is only used for promotion purposes.

We begin our journey at Arnhem Central Station and will be rolling into the landscapes of the Veluwezoom, combining historic estates, peaceful forests, and one of the most beautiful viewpoints in the Netherlands. We start at Arnhem Central Station, from where we quickly leave the city behind and enter the green oasis of Sonsbeekpark. Here we walk through the beautiful parkland and stop at the Belvedere Toren to enjoy views over the park and surrounding area. From Sonsbeekpark, the route continues to 18th-century Huis Zypendaal, a historic country estate set in a quiet, wooded environment. The hike then leads us deeper into nature as we enter the Waterberg national forest, where forest trails and natural surroundings provide a calm and refreshing atmosphere. We’ll take a short break here (8-9km). We will leave Arnhem behind and make our way to Rozendaal and will visit at Kasteel en Park Rosendael, a beautiful castle estate known for its gardens and water features. This will be our lunch break, with time to relax and enjoy the surroundings. After lunch, the hike continues toward Veluwezoom National Park and pass Rozendaalse Veld and will have a break at the Posbank Paviljoen, one of the highlights of the route. From here, we enjoy a panoramic view over the heathlands and hills of the Veluwezoom—an unforgettable moment and a perfect photo opportunity. The final stretch leads us downhill to Rheden Central Station, where the hike ends and public transport is available for the return journey. Or you can treat yourself to tasty pancake before you leave. This hike offers a varied experience of city parks, historic estates, forests, and open landscapes, making it a rewarding and memorable day outdoors. **📍When and where to meet?** We’ll meet at 11:00 at Arnhem Centraal train station. https://maps.app.goo.gl/W5tuBVNqbJ4zQw9B6 ⏰ We **start walking a few minutes after meeting up** — we don’t wait for latecomers, as the forest calls and daylight is short this time of year. **🚗 Coming by car?** There is a big parking next to the train station **⏸️ Planned Breaks** After 8 km: short break at Waterberg park After 13 km: Lunch break at Kasteel and Park Rosendael https://maps.app.goo.gl/skttJQdakUHrjLAS9 After 19km: break at the Posbank Paviljoen https://maps.app.goo.gl/wowuqj3sRY5hcid37 **💸 Payment** Please pay as soon as you sign up: To keep things fair for everyone, if we don’t receive your payment within 48 hours, we will need to remove you from the participant list. If there’s a waiting list, this will happen sooner (in less than 48 hours). If that happens, no worries — you’re always welcome to sign up again if there’s space. 🌟 Early Bird Deal! Join now for just €4 — available for 3 days (72h). After that, the price will be €5. https://tikkie.me/pay/7flhf3f6erltb3cv5635 **👟 Good to know** * Refund policy: Cancellations are fully refundable up to 1 week before the event (This is Friday 31 January at 23h59). After this period, the fee becomes non-refundable. * Hike difficulty: Our hikes are moderately challenging. Please only join if you’re confident you can keep up with the group’s pace (5 km/ h)— it’s more fun for everyone when we can walk together without long waits. * If the pace is too challenging: We may kindly suggest you continue at your own pace. We’ll give you clear directions to the nearest bus or train so you can return comfortably. * At your own risk: You participate at your own risk, so please make sure you have appropriate insurance coverage for outdoor activities. * Payment note: With Tikkie we only see initials (e.g., J. Doe instead of John Doe). Please include your Meetup name in the payment note so we can match it easily. * Friends joining: If you bring a friend, make sure they also register and pay. * What to bring: Snacks, lunch, and water/ or hot thee/ coffee (depending on the hike distance). * Stay connected: Join our WhatsApp group to be the first to hear about future hikes — ask for the QR code during the hike. * T-shirts: Fairwear-certified organic cotton, eco-friendly inks — €25. Sustainable, odor-resistant, and perfect for hiking. Let us know your size and we’ll bring one for you.

## 🎨**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!🌟☕🍷🍪🍰**

**🟢🟢 ABOUT OUR WATERCOLOR PAINTING PARTY / AMERSFOORT** 🎨🥳🍷🏢 Amersfoort - Utrecht Province / Center of the City / Easy access from train station. Create your very own **portrait, animals, landscape, or figurative** masterpiece in only **2.5 HOURS using watercolor and our secret mixed media techniques!🧪🧫.** This session is not about perfection; it is about capturing emotions and personal expression. **No experience required** **\- trust us\!** our professional artist will guide you step-by-step through this unique self-portrait journey. You can look forward to a fun and exciting evening with other participants, **so it doesn't matter if you want to come with friends or alone - you are very welcome!** This is the perfect after-work or weekend activity where you'll unleash your creativity while creating something deeply personal. You will create a portrait combining painting, drawing, and creative techniques to bring your unique vision to life. When finished, you'll take home your newly created self-portrait artwork to cherish or share with loved ones. Each participant will have pencils, colored pencils, watercolor, acrylic/gouache paints, and a surface. You'll work from an image we will bring. **🎟️ READY TO HAVE FUN?** Get your Ticket and book your seat **✨[HERE](https://buymeacoffee.com/artloversclub/e/430555) ✨** 🤔 **Questions?** Speak with a member of the team in **[WHATSAPP HERE](https://chat.whatsapp.com/J3Y5yeWUhvbJM98bqty2WP) 💬** .................................... **🟢🟢 WHAT'S INCLUDED?** 🔶 All supplies included 🔶 **2.5-HOUR [TICKET SESSION](https://buymeacoffee.com/artloversclub/e/430555)** 🎟️ 🎁 **EXTRA BONUS:** **FREE TICKET**🎟️ to participate in our Drawing and Painting Cafes in Amersfoort or Our Online Still-Life sessions if you live far away. 🔶 New friendships and Conversations💬 🔶 Freedom to work at your own pace 🔶 **English tutored activity** (And of course, you can speak in your local language with your friends!🍷🥰🥰🍹) ⭐ No experience needed **🎟️ BOOK YOUR SEAT🪑 IN ADVANCE ✨[HERE](https://buymeacoffee.com/artloversclub/e/430555) ✨!** 🤔 **Questions?** Speak with a member of the team in **[WHATSAPP](https://chat.whatsapp.com/J3Y5yeWUhvbJM98bqty2WP) 💬** **🕑 2026 CALENDAR OF UPCOMING EVENTS:** First Sunday or every month from 11.00 AM - 1:30 PM. .................................... **🎟️ ART LOVERS CLUB / ABOUT US** **ART LOVERS CLUB** is a community where art enthusiasts come together to explore their creativity and connect with new buddies through various events and sessions ( In-Person and Online) . Whether you're a seasoned artist or just starting, we have something for everyone!⭐ To share with you more about what we do, you can see here the overall atmosphere of our events in Amersfoort and also follow us if you want⭐: **[https://www.instagram.com/art_lovers_social_club](https://www.instagram.com/art_lovers_social_club)** 🤔 **Questions?** Speak with a member of the team in **[WHATSAPP](https://chat.whatsapp.com/J3Y5yeWUhvbJM98bqty2WP) 💬** **🕑 2025 CALENDAR OF UPCOMING EVENTS:** First Sunday or every month from 11.00 AM - 1:30 PM. **See you soon. We are looking forward to painting and having Fun Together! 🎨👩🏼‍🎨👨🏼‍🎨👩🏼‍🎨🧑🏼‍🎨🎈**

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

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]

Iedereen is welkom op onze open Freedom Friday Bitcoin Turnhout Meetup @ het super gezellige café Sint Pieter - Grote Markt 60, 2300 Turnhout Geen presentaties. Geen workshops. Gewoon 1 onderwerp: bitcoin. **Connect with Like-Minded Minds** Engage with the Bitcoin community and mingle with fellow enthusiasts. This meetup is your chance to discuss the future, share ideas, and network with pioneers in the decentralized money world. 🏢 **Central Location**: café Sint Pieter ligt perfect centraal, een ruim cafe op de grote markt van Turnhout. Mark your calendars and spread the word!

Join us for a casual chat over coffee & tea at Grandview Grind! Come out and meet some new people, enjoy your favorite drink, and make some new friends!

We will have our certified mediums available and you can receive 3 10-minute readings for $20. To keep you safe, we will be following all CDC and Health Dept. guidelines at our psychic fair today. Sitters and readers required to wear a mask. We will maintain a minimum of 6 foot physical distance during readings. Please, if you can, bring your own portable chair to use during your readings. Please note that we are at our wonderful new home at Unity of Columbus, 4211 Maize Road, Columbus, OH

Come check us out! You will have a wonderful time! The music and friendships are life-changing!