Type Theory

Tickets now on sale Cinemark Stoneridge Plaza ,Gahanna

CABS Friday of our 1st Quarter Double Header 2/20 (We do one double header a quarter)

At Evolve Synergy Sessions, you'll be part of a supportive mastermind where we share challenges, brainstorm solutions, and inspire one another to take bold steps in our businesses. Grow your network, gain fresh perspectives, and build meaningful relationships with like-minded women who are committed to success. Whether you’re looking to move the needle in your business or simply need a space to connect and recharge, this is the perfect place to fuel your entrepreneurial journey. [Add Event to Calendar](https://evolvecolumbus.eventcalendarapp.com/) \*\* Please note, we will be arriving around 8:15a for open networking! Get there early and get connected! Contact Alexis Morley at [alexis.morley@edwardjones.com](mailto:alexis.morley@edwardjones.com) or Terri Lawson at [terri.lawson@e-merge.com](mailto:terri.lawson@e-merge.com) for more information.

Your Friday night just got better! Join us at select [#MarketDistrict](https://www.facebook.com/hashtag/marketdistrict?__eep__=6&__cft__%5B0%5D=AZXglupYTNnuPXhU3gU2DI9GInOg8OWWSvEJTry0VDGnMwh3tC6LxAkyc13s7j-hzoCa7zpemBLJbwdOAIfL-4l-h-eX3x7UFBl6CgHm1ijsL9C9hR_jWvIa_CNOjxBCQzMpVcaRfKr1LrRukr4nY0KHoqN2w3gXLadSqHBf6hPcBx13ltDk2suI8GhnjfjDOUs&__tn__=*NK-R) (we are meeting at Grandview Yard) locations for Flights & Bites on the third Friday of the month from 5-8pm. We'll meet about 5:30pm til 7:00pm. Feel free to join us anytime before 6:45pm. **Cost: $15.00 per person *(covers 4 wine or beer samples paired with gourmet appetizers)*** **Meet**: The staff will set aside tables for our group, just behind the bar. Feel free to brings cards if you want to play after your tasting. Sometimes, we head to a venue to hear live music afterwards.

As you may or may not know--I didn't until late last year--Aristotle wrote extensively on "friendship" in the Nicomachean Ethics. After 69 years the concept of friendship still creates questions and uncertainty. I had close friends in high school and for a few years after high school but our interests diverged and people moved all over the country so it was hard to maintain connections. * So if I/you haven't talked with a friend for several years, are you still friends? Are we friends who meet at Drunken Philosophy or Omnipresent Atheists? * Can you be friends with someone with whom you have virulently divergent political views? Sartre and Camus could not. * Aristotle regarded friendship as essential to a good life, not merely an added "bonus." Do you agree? * In the Nicomachean Ethics (Books VIII and IX), he claims that wealth and power are meaningless without friends. Trump has wealth and power but seems to have no real friends, but wealth and power seem meaningful to him in perverted ways. Can you have meaning in your life without friends? * Do men and women view and maintain friendships in different ways? * Aristotle categorizes friendship into three types, based on what forms the bond: * **Utility**: Based on mutual benefit, but this type is fragile and ends when the usefulness ceases. * **Pleasure**: Based on shared enjoyment (e.g., humor, hobbies). Common among youth but fades as interests change. * **Virtue (The "Complete" Friendship)**: Based on mutual respect for each other's character and goodness. You wish good for the other for their sake, not yours. * **Key Principles of "True" (Virtuous) Friendship:** * **Permanence**: Virtuous friendships last a lifetime whereas those based on utility and pleasure are fleeting. * **Reciprocity**: Requires mutual goodwill; secret or unreciprocated affection does not qualify. * **The "Second Self"**: A true friend is "another self"—their virtue helps you understand and improve yourself. * **Time and Intimacy**: Deep ("complete") friendships are few, built on time and shared experiences. * **Self-Love and Friendship:** * Good friendship starts with being a friend to yourself. * They distinguish shallow egoism (chasing honors) from real self-love (pursuing virtue). * A virtuous person’s pleasant self-company allows them to be a stable, good friend to others. * Aristotle argues that one's social circle ultimately reflects one's character—a view with striking relevance today. Well--the Drunken Philosophy social circle certainly reflects good character!

Christians in Tech is a community at the intersection of faith and technology. Our meetups are designed to spark meaningful conversations, promote knowledge sharing, and encourage growth—both in your career and your spiritual walk with God. Whether you're an experienced professional or just starting your tech journey, CIT welcomes you. Our Website [https://linktr.ee/citcbus](https://linktr.ee/citcbus) Sponsors and Partners * Improving (Venue Sponsor) * Bethel World Prayer Center (Fiscal Sponsor) * Fruits & Roots (Coffee Partner)

We'll meet at The Capital One Café, 167 Easton Town Center, Space A-103. This is in the main mall where the Microsoft store used to be, on your left if you're standing at the bottom of the AMC Theater escalator. Join us on Saturday for an hour of uninterrupted wordmaking! • What we'll do 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 10AM on Saturday mornings. Be it a book, blog, script, essay, dissertation, resume, 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: 10:00 - SESSION 1: quick intros. 10:10 - timer starts: write for 1 hour. 11:10 - chat / take off / keep writing. OPTIONAL SOCIALIZING happens at 11A-11:30ish. Writing is very solitary. Connecting (and sometimes even commiserating) with other writers is a cool thing. BEING LATE IS OKAY: just show up and get settled, then check-in with me after the session. (I’ll be the person with the Shut Up & Write! sign.) If you were on time, please be willing to make room for the friendly latecomer. Happy writing and I look forward to seeing you! • What to bring Whatever you need to be able to write! Bring earbuds/earplugs if you want to block noise or the occasional conversation by other patrons. Electrical outlets are limited, so charge your devices before whenever possible. See you at The Café on Saturday!

Early-bird coffee and conversation at [Good Cafe](https://goodcafeeaston.com/)!

Join Neurospicy Columbus at the Stauff's for coffee and then a stroll through the Book Loft nearby! This will be a friendly chat for like minded individuals with Autism and/or ADHD (or somewhere on the Neurodiverse Spectra).

**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 You will need to scan your ID at the door to get a visitor badge. **Abstract** *Spec-Driven Development with GitHub Spec-Kit: From Intent to Implementation* Spec-driven development flips the traditional workflow on its head: instead of code being the source of truth, the specification becomes the backbone of design, collaboration, and delivery. In this session, we’ll explore how GitHub Spec-Kit enables teams to treat specifications as first-class artifacts—living documents that drive architecture, implementation, and verification. You’ll learn how Spec-Kit helps teams clearly express intent using structured, version-controlled specs that live alongside code. We’ll walk through a practical workflow that starts with defining system behavior and constraints, then progressively refines those specs into testable, automatable outcomes. Along the way, we’ll show how specs can reduce ambiguity, improve cross-functional collaboration, and make design decisions explicit before a single line of production code is written. This talk will cover: --What spec-driven development is (and what it isn’t) --How GitHub Spec-Kit fits into modern developer workflows --Using specs to align product, engineering, and AI-assisted development --Real-world examples of turning specs into implementations with confidence Whether you’re building greenfield systems, integrating AI into your stack, or trying to reduce costly rework, spec-driven development offers a scalable way to move faster without sacrificing clarity. Attendees will leave with concrete patterns and a clear mental model for adopting GitHub Spec-Kit in their own projects. **YouTube Link** TBA

**NEW LOCATION: 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). See the handy Parking Map - we recommend street parking. [Street Parking Map](https://docs.google.com/presentation/d/1u2A4fLNlxwLJn0KA_hKc8bnFlFHLvsHBDh-_8wzX_tk/edit?usp=sharing) 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 centralohpython@gmail.com

On Thursday, March 12, 2026, we will meet at the TEKSystems offices at 700 N Hurstbourne Pkwy. Doors will open at 6:00 p.m., and the presentations will begin sharply at 6:30 p.m. Along with an excellent presentation, TEKsystems will provide food. Please RSVP so we know how much food to order. Afterward, we will go to Brick House Tavern for drinks and food to continue the conversation. The session will also be broadcast at https://twitch.tv/TaleLearnCode. ### Much Ado About Nullable - C# Nullable Reference Types Explained In 2019 (C# 8.0) Microsoft introduced a feature that has generated a lot of confusion, debate and outright dissent. I'm talking about Nullable Reference Types. In this presentation, I we dig into this feature, explore why it exists, what problem it tries to solve, how it works, and how people have critiqued it, so that you as a programmer can decide if and how you want to use it.

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

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/

Meeting @ Improving's office in Downtown Columbus, near Cosi. Parking is paid, food & drink are free! This time we're hanging out after the long winter break. We are going to look at a group-member's project used to help learn the fundamentals of Go, and if time allows, we can take a look at how we like to build Go projects using AI.

**New Dojo Location!** **Draft Day Columbus** 1130 Dublin Road Columbus, OH 43215 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)