F# Programming

*Talk by Abraham W.* Martin-Löf's meaning explanations provide an approach to understand mathematical statements as statements about functional computer programs. Furthermore, meaning explanations can be used to justify the inference rules of intuitionistic type theory. *As usual, there's mingling at the local bar after the talk.*

**👉Do Not Hesitate To Join the Waitlist — We will try to find room for everyone...👈** **This event is a memorial gathering, a wake** to the planned — but now cancelled [DevOpsDays Copenhagen 2026](https://www.devopsdays.dk/events/drink-up-2026/). **The event is free to participate - SEATS ARE LIMITED TO 40!** **Program (start 17:00 SHARP, arrive and be seated before that!)** * **Welcome** + 1 minute of silence for the deceased DevOpsDays * **Lessons from 10 years of Platform Engineering** by Kris Buytaert * **Table discussions** — "What the heck is going on in the DevOps Community right now?" * **Summary** on table discussions * **Outro** — The current status of the transformed Danish DevOpsDays Association and a glimpse into what the future will bring It ends at the "Workbar" no later than **19:00** but if we're still a decent crowd we will continue onward for a burger or a pizza. **Keynote:** [Kris Buytaert](https://www.devopsdays.dk/profiles/kris-buytaert/) is flying in from Belgium to deliver his planned Keynote [Lessons From 10 years of Platform Engineering ](https://www.devopsdays.dk/talks/lessons-from-10-years-of-platform-engineering/) **Post Mortem:** We had to cancel the planned two-day DevOpsDays conference, simply due to lack of interest from audience. This is the canary in coal mine; DevOps(Days) choked. Let's do a post mortem. Platform Engineering is the new DevOps — so we're told. *"No — that's Ops, not DevOps".* Where did all the *"You Build It You Run It"* hype go? We will kick off discussions on this topic at the tables - while you sip your funeral beer. **Phoenix rising:** — The Danish DevOpsDays Association has a new charter, new bylaws, a new purpose. We, the organizers, will lay out our plans for the future and encourage you to join. **Context:** [DevOps is Broken](https://www.devopsdays.dk/stories/devops-is-broken/)

We’re bringing a different kind of conversation to Copenhagen. Join us for **Career Doubts Nobody Talks About**, an honest and interactive evening where we open up about the thoughts many of us have — but rarely say out loud. “I don’t know what I’m doing.” “I think I want to quit… but I’m scared.” “Am I falling behind?” If any of this resonates, you’re not alone. This event is designed as a safe, judgment-free space to share, reflect, and connect with others who are navigating similar questions. It’s not a panel or a lecture — it’s a real conversation. 🌸 The evening will be guided by our Copenhagen Ambassador, Louise, who will create a welcoming and supportive space for open conversation. **Details:** 📅 **Date:** Tuesday, April 28, 2026 🕕 **Time:** 17:00 – 20:00 📍 **Location:** [Rascal Wine Bar](http://instagram.com/rascal.cph/), H. C. Ørsteds Vej 38, 1879 Frederiksberg **🎟️ Ticket** (80 kr) includes **1 drink** **What to expect:** * ✍️ **Anonymous “Doubt Drop”:** Share 1–2 career doubts that are on your mind — anonymously and openly * 🎤 **Live reactions & real talk:** Honest reflections and discussion (no corporate answers) * 👥 **Small group conversations:** Connect more deeply in an intimate setting * 🤝 **Networking:** Meet like-minded women and expand your circle in a relaxed atmosphere 👉 **Who is this event for?** * You’re in a job or career and have moments of doubt * You’re navigating growth, change, or “what now?” moments * You want honest conversations with others who have navigated similar situations **Agenda:** * **17:00 – 17:30:** Welcome drink & Doubt Drop * **17:30 – 18:00:** Live reactions & short break * **18:15 – 19:00:** Small group conversations & closing * **19:00 – 20:00:** Networking Expect a cozy, supportive atmosphere where you can show up as you are, share what’s on your mind, and realize you’re not figuring it out alone. 👉 **Please note:** The event will be held in **English**. If your plans change, please make sure to **update your RSVP** to allow others to join. **About Femme Palette 🎨** Femme Palette is a[ ](http://%5Bhttps//www.femmepalette.com/mentoring-program%5D(https://www.femmepalette.com/mentoring-program) "\[https://www.femmepalette.com/mentoring-program\](https://www.femmepalette.com/mentoring-program)")[mentoring platform](https://www.femmepalette.com/mentoring-program) and[ ](http://%5Bhttps//www.femmepalette.com/membership%5D(https://www.femmepalette.com/membership) "\[https://www.femmepalette.com/membership\](https://www.femmepalette.com/membership)")[community](https://www.femmepalette.com/membership) helping individuals and companies thrive through mentorship, a personalized approach to career development. Our mentor base consists of 1200+ experienced professionals who support mentees in reaching their goals by sharing experience and providing guidance. On top of that, we have built a worldwide community of 5000+ like-minded members who want to discuss their professional challenges in a safe space. We organize regular online and offline events where attendees can learn and network. Our main hubs are in Prague, Berlin, Barcelona, Amsterdam, Paris and Copenhagen. 👉 Not a member of our community yet? Learn more and[ ](http://%5Bhttps//www.femmepalette.com/membership%5D(https://www.femmepalette.com/membership) "\[https://www.femmepalette.com/membership\](https://www.femmepalette.com/membership)")[join now](https://www.femmepalette.com/membership)! It's free! **Privacy Note** By purchasing a ticket, you agree to Femme Palette’s [Privacy Policy](https://www.femmepalette.com/gdpr) and the processing of your data in line with GDPR. Photos and videos may be taken during the event for communication and promotional purposes. If you prefer not to appear in photos, please let our team know on arrival.

Join us for an hour of writing! We’ve discovered that it’s strikingly helpful to write with other writers. See if it’s true for you at our Copenhagen Shut Up & Write! sessions. Be it a book, blog, script, essay, dissertation, résumé, melody, poem, or just plain work stuff, you are invited to write it with us. No one will see what you've written or give you unsolicited advice. Instead of just thinking about writing, come and get some real writing done. SCHEDULE: - 15 minutes of hellos and getting settled; maybe some quick intros. - Then, the timer starts! : writing for 1 hour. - After the hour is up... chat / take off / keep writing, if you're on a roll. OPTIONAL SOCIALIZING happens once the hour of writing is complete. Writing can be very solitary... connecting (and sometimes even commiserating) with other writers is a cool thing. It's best to be on time, but BEING LATE IS ALSO OKAY: just show up and get settled, then check in with us after the session. (We’ll be the ones with the small Shut Up & Write! sign.) If you were on time, please be willing to make room for the friendly latecomer. What Should I Bring? Whatever you need to be able to write! Bring earbuds/earplugs if you want to block the cafe’s overhead music or the occasional conversation by other patrons.

Booked pitch at Holmen. Pitch is booked until 22.30 💰 **Cost:** 10 kr Mobilepay: 9539SH Revolut: [revolut.me/frederwnn](https://revolut.me/frederwnn) Or bring Cash * Event begins at 20:15 * You must sign out no later than 9:00 same day * Spots are non-transferable (you cannot reserve a spot and send someone else in your place) * Members who follow the rules and attend regularly will be given priority **Be at the pitch at 20.15 sharp!** Minimum 14 players by midnight and we play! Otherwise the game is cancelled. We aim for 8v8. The game is naturally for everyone no matter gender, level or anything. We emphasise on having fun! That also means no risky tackles or foul language. Bring a white and a black t-shirt and a ball if you have one. **Last minute sign-off's** (Later than 9AM on the same day) or no-shows will be banned from the next games and be put in the no-show list. 3 Strikes and you're out for a full year - no exceptions

**Co-working for writers in Amager!** Join us for an hour of 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 the area. We meet in this lovely spacious café, chilled out, usually not very busy at this time, with an on-site bakery of delicious pastries. Once everyone is here and settled, I will lead a quick introduction, and then set the timer for our quiet and focused writing session. After the hour is up feel free to chat / take off / keep writing if you're on a roll. We often talk about our successes and challenges as writers, and it can be a great way to learn from eachother. **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://shutupwrite.com) **Practical Details:** WiFi name / password: Kasada / haveaniceday Travel / Parking info: Kasada is just a few minutes walk from Lergravsparken Metro Station. We've reserved the large round table in the main room, with power outlets if you need one. Venue Guidelines: Please thank our hosts by purchasing something.

**Guests: Registration on email is required before attendance** Guests are most welcome to join our meetings, but attendance must be registered by email to [copenhagen@toastmasters.dk.](http://copenhagen@toastmasters.dk.%2A%2A/) Please come 10 minutes before the meeting start. We start at exactly 18:00. Welcome to ***Copenhagen Toastmasters Club*** Looking to improve your speaking and communication skills? Ignite your career? Gain the confidence to speak up? You’ve come to the right place. **Our meetings for 2026 from April to June:** • Wk 15: 7. april • Wk 17: 21. april • Wk 19: 5. may • Wk 21: 19. may • Wk 23 2. jun. • Wk 25 16. jun. **Our history** The *Copenhagen Toastmasters Club* was established in June 1996 by a group of dedicated people. We are the first Toastmasters club in Denmark. We are part of the Toastmasters International which is a nonprofit organisation that helps people to improve public speaking. **Our goals** *Copenhagen Toastmasters Club* will give you the skills and confidence you need to express yourself effectively in any situation. Toastmasters is the most efficient, enjoyable and affordable way of gaining great communication skills. You'll learn how to: * Formulate and express your ideas effectively * Be more persuasive and confident when giving presentations * Improve your one-on-one dealings with others At *Copenhagen Toastmasters Club*, you'll get to practice your skills by organising and conducting meetings and motivating others to help you. Become a better negotiator. Gain trust. Inspire your team. **Want to know more about *Copenhagen Toastmasters Club*?** [Facebook](https://www.facebook.com/CopenhagenToastmasters) , [LinkedIn](https://www.linkedin.com/company/2480522/admin/dashboard/) [Toastmasters International - global network](https://www.toastmasters.org/)

We are looking forward to welcoming you to Rust meetup #67! This month is currently lacking a food sponsor, but there will be something to eat. RSVPs open a week before the meetup. The agenda for the night is outlined below: 18:05–18:15: Welcome! 18:15–19:00: Gary Coady: **Huskarl: A Modern OAuth2 Ecosystem** 19:00–19:45: Food Break, sponsored by the organizers (and/or you?) 19:50–20:35: Ahmad Sattar Atta & Sebastian Holmgaard: **From camel to crab: Compiling Async RaTT to WebAssembly with ComRaTT** 20:35-21:00: Closing and Cleanup. 21:00-???: Bar Make sure to bring your best energy for a cozy evening in great with other Rust enthusiasts, professionals and amateurs alike! We look forward to seeing you all! 🦀

Viviane and Xavier are visiting from the Unity Montreal office, and they have kindly offered to give a talk about using machine learning inference in Unity games (actually same talk which will also be given internally) **Xavier Désilets** \- Senior Software Developer\, Unity **Viviane Rochon Montplaisir** \- Senior Software Developer\, Unity Are you a game dev who keeps hearing words like "tensors" and "logits" and quietly alt-tabs back to your prefab folder? This session is for you. In the first half, we'll do a fast, practical ML 101 specifically for game developers. We'll cover what tensors actually are (in human language), quantization, how model graphs work, and what to make of different model formats. In the second half, we'll focus on the decisions you have to make to ship something: how to pick a model size that won't set your players' fans on fire, what formats and hardware are supported, and how to think about speed vs. quality. We'll walk through real-world input and output pipelines. We'll ground this with currently available Unity Sentis samples. By the end, you won't be a data scientist, but you will know how to choose, run, and wire up ML models at runtime in Unity without breaking your frame budget or your brain. **Program:** 17:30 - Sandwiches, sodas and mingling 18:00 - Welcome 18:10 - Presentation 19.15 (approx.) - Mingling continues 21:30 - Venue closing

Welcome for some fun improv games together :) About us: We are a bunch of people of all ages and backgrounds, gathering to share the common passion for improv. Improvisation, or Improv for short, is a form of live theatre in which the story, characters and scenes are without a script and made up in the moment, completely different every time. The actors are acting, directing themselves, writing the plot and interacting with each other all at the same time without previous planning. Improvisation can help you with your social and business skills by training your mind to think quickly and react to unexpected situations. In Improvisation, there are no lines to memorize and you play off other creatively challenged fun-loving, global-minded people who loves laughing at themselves. It’s a great way to socialize and make new friends. It’s a welcoming atmosphere, we want you to join in the fun, whether you are a complete beginner or an experienced improviser – come and lets enjoy together! We usually start with some warm-ups that help us relax, listen and focus. Then we move on to doing different kinds of short scene fun games with each other, making characters, stories and our small worlds. In improv mistakes are welcome and you will have goooood times! We charge 50 kr in advance in order to cover our expenses. Swish is king! See you very soon ;) Please come only if you are in good health! P.S. You can also follow us on Facebook: https://www.facebook.com/themiip

​AI x Design Copenhagen - 4th Edition **Cursor In Practice (Deep Dive): From Figma To Working Website - Making Interfaces Actually Behave** **[Please register on Luma to receive details about the event: https://luma.com/ph7xqr4m](https://luma.com/ph7xqr4m)** ​It’s never been easier to generate an interface and still surprisingly hard to make one behave properly. This session sits exactly in that tension. We’ll take a real Figma design and use Cursor to turn it into a working website - not as a demo, but as a hands-on session where you’ll work through it yourself. Where it’s smooth, you’ll feel it. Where it’s messy, you’ll understand why. ## You'll need: ​​ • A laptop (fully charged) ​​ • Cursor installed ​​ • A Cursor account (free/hobby is fine) ​​ • A Figma account (free is fine) ​​*If you arrive without setup, you won’t get much out of the session.* ## **Light Pre-Work:** ​**👉 There will be light pre-work shared ahead of time with everyone registered in Luma - keep an eye on your e-mail closer to the workshop.** Find all information here: [https://luma.com/ph7xqr4m](https://luma.com/ph7xqr4m) ## ​**About the speaker** > ​Justin Waugh (he/him) loves good UX and doesn't like to give in easily. When he's not running front-end & UX workshops, he leads development and design teams as a UX Strategist within the UN or writes about good UX. With over 30 years of hybrid design/developer experience, he's always been fascinated by the intersection of technology and human behaviour. With an MA from Hyper Island under his belt, Justin specializes in user-centric design, effective IT leadership, and innovative UX strategies and has a sharpened sense of how to think about users, systems, and the subtle art of making technology feel human. > ​In sessions, Justin brings his trademark mix of practical insight and creative curiosity. Expect an honest look at what makes interfaces work and why they often don’t. His sessions are known for being hands-on, combining design thinking with real-world technical grounding. ​**Host:** l x l - learning experience lab ​**Co-Host:** IxDF - Interaction Design Foundation, Copenhagen **Location:** Station, Howitzvej 30, 2000 Frederiksberg, Denmark ​🎟 **Places are limited. Please register on [Luma](https://luma.com/ph7xqr4m) to secure your spot.** All donations go toward covering expenses and making it possible for us to keep hosting similar events.

Please Note: only registered guests will be allowed to attend our meetings. 🎤 Looking to overcome your fear of public speaking and gain confidence in your leadership abilities?\*\* Look no further than Frederiksberg Toastmasters, a chartered club of Toastmasters International - the leading non-profit organization in public speaking and leadership development. 🌟 Practice your public speaking, communication, and leadership skills in a supportive and inclusive environment, guided by experienced mentors and utilizing the Basecamp curriculum. 🌱 Develop your ability to persuade, gain stakeholder buy-in, and negotiate with ease through regular speeches, evaluations, and leadership opportunities. 🤝 As a member of Frederiksberg Toastmasters, you'll join a community of like-minded individuals working towards the same goal: to become world-class communicators and leaders. 🗓️ We invite you to join us at our weekly meetings, held every Saturday from 11:00 to 13:00. We start on time. 🔍 A typical Toastmasters meeting is run like this: [Watch Video](https://www.youtube.com/watch?v=383gehepo8M) 📌 Meeting location: Please check our LinkedIn page: [Frederiksberg Toastmasters LinkedIn](https://www.linkedin.com/company/frederiksberg-toastmasters) 😊 As a guest, you'll have the opportunity to observe and participate in our meetings (voluntarily). Note that you will not be forced to speak if you don't want to. Typically, there will be around 20-30 people. 🗣️ You will witness the power of superior communication manifesting in the form of inspiring oratory and elevated storytelling that underpins world-class leadership. ✍️ Step out of your comfort zone and become the best version of yourself 🚀 Frederiksberg Toastmasters \| Home of Leadership and Public Speaking Toastmasters \| Where Leaders are Made 📮 frederiksberg@toastmasters.dk 🌐 Facebook: [Frederiksberg Toastmasters Facebook](https://www.facebook.com/FrederiksbergTM) 🌐 LinkedIn: [Frederiksberg Toastmasters LinkedIn](https://www.linkedin.com/company/frederiksberg-toastmasters)

\#\# 🔐 **Registration** **IMPORTANT:** This event is free, but please register on the UXDX site so we can confirm numbers and manage access to the venue: [https://uxdx.com/community/community-copenhagen-2026-04-29/](https://uxdx.com/community/community-copenhagen-2026-04-29/) Join the **Copenhagen UXDX Community** for an evening exploring how teams can scale products more effectively while rethinking the role of UX in a changing landscape. This is a practical meetup for people across **Product, UX, Design,** and **Dev** who want to learn from real examples, challenge assumptions, and connect with others building digital products today. \*\*\* \#\# 📅 Agenda **16:45 to 17:00** \- Registration and networking **17:00 to 17:15** \- Welcome by UXDX Ambassador Hosted by Tasha Melchior, VP Product at Everway **17:15 to 17:45** \- Scaling Product Methodology from Startup to Scaleup\, Anneli Bartholdy **17:45 to 18:15** \- Networking and snacks **18:15 to 18:45** \- Will AI Kill UX? Tobias Jensen **18:45 to 19:00** \- Closing and networking \*\*\* \#\# ✨ **Talk 1:** Scaling Product Methodology from Startup to Scaleup **Anneli Bartholdy,** Head of Product, UBsend Most companies fail during the scaleup transition. For businesses whose success depends on digital products, the way Product works through discovery, design, development, and launch can make all the difference. In this talk, Anneli will walk through the key components of working with Product as a company grows, highlighting the questions, decisions, and actions that need to evolve at each phase. Drawing on case stories from European businesses, she will share where teams often get stuck, and what helps them scale more successfully. She’ll cover: How product ways of working need to evolve from startup to scaleup What changes across discovery, design, development, and launch The common risks that can derail product growth What successful teams do differently during the transition \*\*\* \#\# ✨ **Talk 2:** Will AI Kill UX? **Tobias Jensen,** UX Design Manager, Visma AI is changing the craft of design at speed, raising big questions about which skills will remain essential and what the future of UX will actually look like. In this talk, Tobias will tackle those questions head-on, using real-life examples from Visma e-conomic, Denmark’s largest accounting platform serving more than 270,000 customers. It is an honest look at what is changing, what still matters, and what designers should be thinking about now. He’ll cover: Which parts of UX are most under pressure from AI What skills and practices will continue to matter How AI is changing the day-to-day reality of design work What teams can take back into their own organisation \*\*\* \#\# About UXDX UXDX helps teams move from project delivery to empowered, autonomous product teams. We host global conferences and free community events that bring together UX, Product, Design, and Engineering to share how real teams build better products, faster together.

Come out to Improving for our monthly iOS and Mac meetings. This Month's Presentation: Nothing yet. (You should volunteer). What is Cocoaheads (http://cocoaheads.org/)? CocoaHeads is a group devoted to discussion of Apple Computer's Cocoa Framework for programming on MacOS X and iOS (including the iPhone, iPad and Apple Watch). During monthly meetings, members present on their projects and offer tutorials on various programming topics. What is BuckeyeCocoa (http://buckeyecocoa.org/)? BuckeyeCocoa is a group of Objective-C/Swift developers/enthusiasts. We host monthly Cocoaheads and near-weekly NSCoder meetings in Columbus, Ohio. The meetings are free to attend. Presentations! Presenters welcome! We are always in need of people willing to present material. Any Swift and/or Objective-C related topic is welcome. Times can be 5 minutes (i.e. lightning talks) to a maximum of 2 hours. Interested? Contact info is on the BuckeyeCocoa website. To volunteer for a presentation contact us at @BuckeyeCocoa on Twitter. Follow us on Twitter! @BuckeyeCocoa (https://twitter.com/#!/Buckeyecocoa/) For more information: http://buckeyecocoa.org/

Bring your work or your hobby, hang out, and code with us. Follow @buckeyecocoa for more information.

It feels like we just saw each other 🤷. Join members of the local design and UX community for our monthly breakfast. For May we’re stopping in for Rooh’s popup breakfast/cafe concept. You know someone is getting the lobster yuzu croissant, and that’s not even the prettiest thing on the menu!.

We connect you with up to 30 Men or Women tennis partners close to your PLAYING REGION and skill level. This program is less competitive, no champions crowned, no league standings just dedicated tennis partners who want to meet up with you on the courts. Players will meet up to play a tennis match or just to hit around. Just go through the [Join Page](https://www.tenniscolumbus.com/partner-program) to enter this program. [https://www.tenniscolumbus.com/partner-program](https://www.tenniscolumbus.com/partner-program)

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!

Bring your Raspberry Pi, Arduino, microcontroller, or any other electronic project and join fellow electronics makers for a night of creativity and collaboration! This session is open forum to share your current projects—whether complete or in progress, it’s all interesting! Whether you’re deep into embedded systems, exploring new ideas, or just getting started, you’ll find a welcoming space to collaborate, share, and get inspired. **New to electronics or curious about tinkering?** You’re absolutely welcome. If you’re a beginner and want to experiment, I’ll have a couple of starter kits available so you can try things out—whether that’s blinking your first LED, putting something on a display, or experimenting with simple sensors. No pressure and no experience required—just an interest in learning and building. While we continue to pursue a more permanent venue for this Meetup, we’ll be using public library facilities based on availability. This session will be at the Worthington Park Library in the Olentangy Meeting Room.

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