OCaml Programming

Join us for Moshi Toastmasters Club Meetings (Hybrid) We meet every Saturday! Time: 6:10 PM onwards Online: Zoom Meeting ID: 819 4955 5108 | Passcode: 589358 https://us06web.zoom.us/j/81949555108?pwd=bC0b1au3citt81jU7ae0zhahyYfXjM.1 Offline: Global Achievers School, Near Moshi Toll Plaza, Gaikwad Vasti, Moshi, Pimpri-Chinchwad, Maharashtra 412105 https://maps.app.goo.gl/5gYraevFLmMviVwp9 Get ready for an evening of inspiring speeches and insightful discussions! Contact TM Prashant +91 91455 13682 for more details

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.

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

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.

Whether you've never done improv before, or you've done it for so long you knew Del Close on a personal level, or anywhere in between, come join us! Swing by *Gresso's* for the **Columbus Improv Comedy Meetup** for some fun and games! The idea behind improv is to create entire scenes from scratch based on a suggestion from the audience. This can be done in game form, like *Whose Line Is It Anyway*, *ComedySportz*, or *Wild 'n Out*; it could also be done to tell stories, like *Middleditch and Schwartz*. Our meetup, which is central Ohio's longest running (and free!) weekly comedy event, brings the games (and occasionally different forms) for you to play in a safe, supportive, and compassionate environment. Not only is it a lot of fun, but you get to work on thinking faster on your feet, plus it's an excellent way to meet new people and make friendships that'll last a lifetime! Ask yourself if you want to join the **Columbus Improv Comedy Meetup**, and say "Yes, And" that you'll have fun!

We will show a variety of methods for building agents that run in Microsoft Foundry. This covers the different types of agents: Prompt, Multi, and Hosted, as well as the development lifecycle using evals and traces.

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