Type Theory

Jimmy V's Grill & Pub in Grandview Heights. You are responsible for your own meal/drinks. We usually don't have any agenda other than eat, drink and talk. :) If the weather is nice we will be on the back patio, otherwise we are in the cigar room. This group has been meeting every Tuesday evening for over a decade. Many attendees do not RSVP on meetup. Please don't let the small number here discourage you. Anyone/everyone is welcome to come. We'd love to have you join us. COTA bus #5 comes to W. 5th and Wyandotte Rd. And it's a minute walk to the restaurant.

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

Discover Kiro, AWS’s innovative development environment that adapts to your workflow. Whether you prefer specification-driven development or a more intuitive, vibe-based approach, Kiro empowers you to build applications your way. In this session, speakers will explore Kiro’s core functionality and its evolution through re:Invent 2025, along with demonstrations of prompts used to create APIs, hooks, and steering documents. In the latter part of the session, watch as we build a complete example from scratch, showcasing Kiro’s agentic AI workflow in action for spec-driven development and vibe coding. What You'll Learn - Core Kiro concepts and development philosophy Feature evolution: pre and post re:Invent 2025 Practical examples: API creation, hooks, and steering docs Live coding demonstration with real-time problem solving Who Should Attend - Developers, solutions architects, and technical leaders interested in modern AWS development tools and AI-assisted coding workflows. **Speakers Bio:** Matthew Jorat: Matthew Jorat is a Customer Solutions Manager at AWS with nearly three decades of expertise in AI, cloud transformation, migration, modernization, IT, technology, and business. His career spans infrastructure engineer, solutions architect, security auditor, customer success director, support and services director, and operations officer. He was an early adopter of AWS services as a customer, and his current role at AWS uniquely blends his technical and business skills as he partners with executive teams to translate strategic priorities into measurable business outcomes through cloud adoption, AI implementation, and operational excellence. Matt leads end-to-end AI initiatives for enterprise customers, identifying high-impact use cases and maintaining relentless focus on measurable ROI. He holds eight AWS certifications and serves as Adjunct Professor at Franklin University teaching cloud computing and AWS architecture. His expertise encompasses GenAI, agentic AI systems, migration, modernization, and optimization strategies that drive transformation at scale. [https://www.linkedin.com/in/mattjorat/](https://www.linkedin.com/in/mattjorat/) Girish Bhatia: Girish Bhatia is a seasoned technology delivery leader with deep expertise in cross-domain program management. He holds multiple AWS certifications, including AWS Certified Solutions Architect – Associate, AWS Certified Developer – Associate, and AWS Generative AI Practitioner, and is also an AWS Community Builder. Girish brings over two decades of experience in the information technology industry. Throughout his career, Girish has led major technology-driven business transformation from modernizing on-premises applications to driving large-scale cloud migrations. His work includes API-based integration platforms, data-center and mainframe modernization, and enterprise cloud adoption initiatives. Based in Columbus, Ohio, Girish works at a tech-forward fintech company. He is passionate about AWS serverless architectures, Generative AI and emerging cloud technologies. An avid learner and builder, he continues to explore and apply the latest innovations in AWS to help organizations accelerate their digital transformation. https://www.linkedin.com/in/girishbhatia/[https://www.linkedin.com/in/girishbhatia/](https://www.linkedin.com/in/girishbhatia/) **THANK YOU** *Franklin University* for hosting our meetup! To learn more about *Franklin University*, please visit their website: https://www.franklin.edu/ **DIRECTIONS** Franklin University Fisher Hall 300 E. Main St, Columbus, OH 43215 Map: https://maps.app.goo.gl/jxjBA2hUmS5qrvhq8 Parking is FREE! Please park in Lot C in front of Fisher Hall. See attached map. NOTE: Map the address only. When mapping with Google Maps it may use the Fisher Hall at OSU, which is NOT correct. **Want to sponsor the pizza and/or bar tab?** Please contact me if you would like to sponsor this meetup's pizza and/or bar tab: angelo@mandato.com

ASH is Atheists, Skeptics and Humanists of First Unitarian Universalists of Columbus Ohio TBD Snacks are usually available, and you are welcome to bringing something to share!

OpenClaw, NemoClaw, personal assistants, 24/7 agents. What does it all mean? How does it all work and what should we know about it? Whether you’re deep in the field or just getting curious, come connect with others building and exploring AI in Columbus. Sponsored by [Transform Labs](https://www.transformlabs.com/services)

**Important time note:** Please plan on arriving between 5:30 and 6:00 as the elevators lock after 6 and you'll need to message us and we'll need to come get you. The building address is 4450 Bridge Park The entrance is 6620 Mooney St, Suite 400 **Abstract** Web Forms gave .NET developers a powerful abstraction for building reusable UI controls long before design systems were a thing. Web Components finally bring that same idea to the browser natively. This session explores how the Web Forms mindset translates into Custom Elements, Shadow DOM, and HTML templates. We’ll examine how Web Components enable design systems that work across frameworks, how they differ from server‑driven controls, and why they’re becoming a foundational layer for modern UI. Whether you’re maintaining legacy apps or building greenfield projects, you’ll leave with a practical understanding of how to apply familiar patterns in a modern, standards‑based way. **YouTube Link** TBA

**⚔️ Introduction to Wargaming & Painting Miniature Soldiers at The Arcane Foundry ⚔️** Join me in **The War Room at [The Arcane Foundry](https://share.google/S5i6DYJnJteHWeKtd)** for a laid-back evening of hobby talk and tabletop fun! For just **$25**, you’ll get a **3D-printed regiment of 20 high quality resin models** of your choice to paint — a **$40-70 value!** Bring your creativity, relax, and let’s make something awesome together. This is a limited time promotional offer. All regiments are made to order and require **4-5 hours of production time**, so please give me at least a **5 day notice**, so I can have them ready for you! All miniatures are printed with a commercial license. **Choose one from Below:** * 20 Empire Soldiers * 20 Dwarf Warriors * 20 Elf Spearmen Step into a world where strategy meets artistry — and where every painted figure tells a story of battle, honor, and imagination. Join **Daclaud** at **The Arcane Foundry** for an evening that introduces newcomers and enthusiasts alike to the timeless craft of **tabletop wargaming** and **miniature painting**. My own journey began with a fascination for fantasy — knights in armor, grim and hardened warriors, and monstrous creatures locked in epic battle. That passion led me to **Dungeons & Dragons**, where I painted my first **Basic Heroes set** and felt the spark that comes from bringing a character to life in miniature form. Not long after, I discovered **Warhammer Fantasy** and **Warhammer 40,000**, and I was hooked. The vision of vast armies clashing across the table — each unit meticulously painted, each story unfolding through dice and imagination — became my creative obsession. During this event, we’ll explore the **origins of wargaming**, from its early military simulations to the richly detailed worlds of modern tabletop battle systems. You’ll learn how to **build and customize your own armies**, paint your first figures, and experience the joy of turning strategy and storytelling into a hands-on art form. Whether you’re drawn by the lore, the hobby, or the thrill of commanding miniature legions, this introduction will open the gates to a world that has captivated hobbyists for generations. **🎨 RSVP today and join us at The Arcane Foundry — where every brushstroke and battle tells a story.**

**New 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 topic suggestions and people interested in presenting at our monthly meetings. To this end we've set up a survey form at [https://docs.google.com/forms/d/15eBKF1nQQ2XS5gzD4rvhVRHMBEj7lJtHuA9wXupS3Uc](https://docs.google.com/forms/d/15eBKF1nQQ2XS5gzD4rvhVRHMBEj7lJtHuA9wXupS3Uc)

So this month's prompt is more general. I think we can all agree that we are living in "unique" times that require coping skills. I think that one role and/or purpose of philosophy is to help us deal with our daily lives and our "unique" times. So, let's share our feelings and thoughts about which philosopher/philosophy we turn to in order to deal with our crazy events. Who/what helps you stay focused in your daily life and helps you sleep at night. I find that Stoicism with a little philosophical pessimism mixed in goes a long way in helping me deal with what I see as very destructive, fearful and mean spirited public policies at both the state and federal levels. Hope to see you on March 28th!

Private Group. Closed to the Public Knowing ourselves and understanding our abilities is the first step toward wielding our gifts with control and accuracy. In subsequent classes we will verify and hone our talents with activities and discussion. These are hands-on workshops and participation is expected. The goal of our series will be to develop expertise in areas of particular interest such as mediumship, channeling, divination, healing and, etc.. Our ultimate directions will be determined by class members as we evolve. I look forward to sharing and discovering with you. - Cynthia

A fun way to compare wines from two different countries at a time. House Wine is squaring off two countries' wines against each other each Thursday in March. March 12, March 19, March 26, and the Finals April 2nd. Meet and Greet format....show up after 7pm, pay your $15 at the cash register, get your wine glass, and enjoy. I will get a table reserved for the group. Remember, you may bring in your own food or takeout. Attendance is your agreement to the Group's Waiver of Liability terms. See our Group homepage for details. Parking is tough at House Wine; there is a municipal lot one-half block north of the shop and sometimes parking at the lot behind Jet Pizza, accessed by the lane between the east House Wine parking lot and the residence to the east.

**Improving Office in Franklinton** Physical location: Improving Office 330 Rush Alley Suite #150 Columbus, OH 43215 Schedule: 6:00 p.m.: Socialize, eat, and drink. Improving will be providing pizza and beverages. 6:30 to 8:00 pm. Main meeting and presentation(s). Topic: Type Annotations with John Cassidy We meet on the last Monday of each Month. Presentations are given by members and friends of this group. If you would like to do a presentation (small or large) on a python topic, please contact Central OH Python at centralohpython@gmail.com

Join us as we get together for an Arthouse Movie Friday event to see the A24 dark comedy /romance / psychological-thriller, THE DRAMA! The film stars Zendaya and Robert Pattinson as a happily engaged couple whose relationship is challenged when one discovers unsettling truths about the other. Here are details, a trailer and our plan for this event: DESCRIPTION: The film follows a happily engaged couple whose relationship is put to the test when an unexpected turn sends their wedding week off the rails. The film comes from A24, is written/directed by Kristoffer Borgli stars Zendaya, Robert Pattinson, Mamoudou Athie, Alana Haim, Hailey Gates and Zoë Winters. QUICK WORD OF WARNING: The film hasn’t screened for critics yet and most of the details are being kept tightly under wraps. But, early buzz (possibly promotional) says the film is a brilliant psychological thriller/romance but also provocative, twisty and some contains occasional uncomfortable viewing! I love the cast and trailer, so look forward to seeing for ourselves! ZENDAYA-PATTINSON TRIFECTA CHALLENGE: Robert Pattinson and Zendaya will star in THREE movies together this year, including THE DRAMA, Christopher Nolan’s THE ODYSSEY this Summer and Denis Villeneuve’s DUNE: PART THREE at Christmas! TRAILER: [https://www.youtube.com/watch?v=6zmKcUa4Xxk](https://www.youtube.com/watch?v=6zmKcUa4Xxk) PLAN: We’ll plan for 7pm-ish showing and will meet in the lobby area about 30 minutes before showtime! Advance ticket purchase not required for this theater but early arrival is advised. Possibly post-movie get-together at the nearby Rusty Bucket! Complete details will be confirmed/announced as the date gets closer. Take care and look forward to seeing you there, Dan

**First meetup of the Columbus AI Engineering group.** We’ll kick things off with a practical, beginner-friendly discussion on: **How LLMs like ChatGPT actually work — and how to build real applications with them.** We’ll cover: * what’s actually happening under the hood (at a high level) * why LLMs behave the way they do (hallucinations, prompt sensitivity, etc.) * how people are building real systems with them today * where things break in practice This will be a **short, informal talk (\~15–20 min)** followed by open discussion and Q&A. Whether you’re an engineer, builder, or just curious about how modern AI systems work, you’re welcome to join. No slides, no fluff — just real conversation about real systems. We’ll hang out afterward and get to know each other.

The Humanist Monthly Program is our longest running event and still a community favorite. In the old days it used to be called "Going to HCCO" and we still like to think of it as our flagship event. Food and drinks will be provided at the event. Feel free to show up a little bit early to hang out and talk. Going forward our meetings will be hybrid. You can meet us in-person or attend online Join Zoom Meeting [https://us02web.zoom.us/j/87836564953?pwd=4Mi57ElZkDIFlb1fnlNwOJ0NiOK4tP.1](https://us02web.zoom.us/j/87836564953?pwd=4Mi57ElZkDIFlb1fnlNwOJ0NiOK4tP.1) Meeting ID: 878 3656 4953 Passcode: 760812 One tap mobile +19292056099,,87836564953#,,,,\*760812# US (New York) +13017158592,,87836564953#,,,,\*760812# US (Washington DC) The formal presentation will start at noon

**💞 Beginner-Friendly Speed Dating – Connect Virtually, Feel Right at Home!** **🚨 DON'T SKIP THIS: RSVP Does Not Mean Entry!** To lock in your spot, click the link for your age group below, sign up, and complete the quick personality quiz. **We have limited capacity** – claim your place today! **🎟️ Age Group Sign-Up Links (Click Yours Now):** - **Ages 18-32** → [REGISTER HERE](https://tempodating.com/product?productId=390&productType=onlineSpeedDating&city=Toledo&groupurlname=cobalt-crest-passionate-singles&ar=18-32&face_v=10.0) - **Ages 30-46** → [REGISTER HERE](https://tempodating.com/product?productId=390&productType=onlineSpeedDating&city=Toledo&groupurlname=cobalt-crest-passionate-singles&ar=30-46&face_v=10.0) - **Ages 40-58** → [REGISTER HERE](https://tempodating.com/product?productId=390&productType=onlineSpeedDating&city=Toledo&groupurlname=cobalt-crest-passionate-singles&ar=40-58&face_v=10.0) - **Ages 55+** → [REGISTER HERE](https://tempodating.com/product?productId=390&productType=onlineSpeedDating&city=Toledo&groupurlname=cobalt-crest-passionate-singles&ar=55+&face_v=10.0) --- 😌 **Dating doesn't have to be stressful.** That's exactly why we built this! Our virtual speed dating sessions are thoughtfully crafted with beginners in mind. Every chat is guided, every interaction feels natural, and you never need to step outside your door. 🎯 **Perfect for:** - People wanting to meet local Toledo singles without stepping outside - Singles looking for a secure, comfortable virtual environment - Quiet or reserved singles who open up better in private conversations **Event Details** - **Format:** Virtual on Zoom – organised rounds in a warm, easy-going setting - **Location:** Wherever you’re most relaxed – that’s your date spot tonight - **Host:** Expert moderator who ensures every conversation flows smoothly - **Vibe:** Great energy, honest talk, and genuine connections with Toledo locals **How It Works** 1. **Choose Your Age Range** – Click the link for your age group and complete sign-up. 2. **Complete the Quick Compatibility Quiz** – Helps us match you with like-minded Toledo newcomers. 3. **Join the Zoom Session** – Log in from home and greet your host. We’ll take care of the rest! 4. **Enjoy the Conversations** – Every round is timed and hosted so each chat feels easy and fun. 5. **Match Results** – Find out who you clicked with. If the interest is mutual, we’ll connect you! 💡 **Advice:** Treat each round like chatting with a mate. Keep it light, keep it genuine! ⭐ *"So much better than any dating app. Genuine conversations with real people. Absolutely loved it!"* – Toledo attendee --- ✨ Amazing connections begin with a single conversation. Yours could start this evening! ❤️‍🔥 ✨

Some trained COUNT volunteers work together once a month at RMH (http://www.rmhc-centralohio.org/volunteer.php) as Housewarmers (usually on the 1st Sunday from 1 – 5 PM). Some schedule other shifts at their convenience. You may try this out with less fuss by following a "Fast track" or go through the normal process. Fast track • Arrange a time to shadow a COUNT volunteer. Call Dave Nohle at 614-268-9558 (cell). • Show up and try it out. • Complete application, etc. later. Normal process • Complete an online application (http://rmhc-centralohio.org/volunteer/). • Attend orientation in advance. • At orientation you will complete forms agreeing to keep family/patient info private and allowing a background check and tour the facility. • Complete one training shift. Daily shifts are: morning 9 AM - 1 PM, afternoon 1 - 5 PM and evening 5 - 9 PM. • Schedule shifts online using the on the RMH scheduling system (http://www.volgistics.com/ex/portal.dll/?FROM=32895). The Ronald McDonald House (RMH) provides housing and meals for families with sick children. The Columbus RMH is the largest in the world with 137 rooms. COUNT has been volunteering there since May 2014. Housewarmers work with RMH guests to provide a home-like environment - greet, assist with family needs, answer phones, give tours, assist with checkin/checkout, prepare guest rooms after checkout, clean facility, laundry, restock supplies and staff the front desk. RMH Housewarmers volunteer at least one four-hour shift a month. All Housewarmers must complete an application and agree to a background check before they can be full fledged volunteers.