F# Programming

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.

Improve your speaking skills in a friendly, relaxed atmosphere where speakers of all languages are welcome. This program is supported by library volunteers and requires a basic working knowledge of English. Registration required. Registration is required. RSVPing on Meetup does not register you for the program. [To register and see more details, visit our events calendar. ](https://pwcgov.libnet.info/events?start=today&end=2023-2-28&term=english)

DC iOS returns to the Capital One campus for another meetup! And not only just DC iOS, we are collaborating with [iOSoHo](https://www.meetup.com/iosoho/), [DC Android](https://www.meetup.com/dcandroid/), [New York Android](https://www.meetup.com/new-york-android-engineers/) and the Dallas iOS Developers Group for a big combined meetup! Come and meet with fellow Apple AND Android developers in the DC Area, enjoy some food, networking, and a great tech talk! PLEASE INDICATE IF YOU WILL BE ATTENDING IN PERSON OR OVER ZOOM. **Agenda (NOTE THE LATER START TIME):** • 6:00 PM - Doors Open (in-person attendees). **Don't forget your ID!** • 6:30 PM - Welcome (in-person and Zoom attendees) • 6:35 PM - **First Talk: From Shared Logic to Shared Pixels: A KMP & CMP Deep Dive** (Live from DC) • 7:05 PM - Community Announcements • 7:15 PM - **Second Talk: Swift on Android** (Virtually from NYC) • 7:45 PM - Networking **First Talk Description:** • From Shared Logic to Shared Pixels: A KMP & CMP Deep Dive Clinton Teegarden Explore the complete lifecycle of Kotlin and Compose Multiplatform, tracing the journey from compiler mechanics down to the practical day-to-day developer experience. By building a Flappy Bird-style game, we'll unpack how shared UI rendering actually works while navigating the realities of iOS interoperability and common architectural gotchas. You'll leave with a clear roadmap for seamlessly translating shared business logic into performant, cross-platform pixels. Clinton is a Distinguished Engineer at Capital One with a focus on Mobile and AI core platforms **Second Talk Description:** • Swift on Android Marc Prud'hommeaux The release of Swift 6.3 features official support for the Android platform. This is the culmination of over 10 years of effort to bring the Swift language to Android, first through a series of independent and uncoordinated projects and then eventually coalescing into an official Android Workgroup under the umbrella of the Swift project. The result is the Swift SDK for Android, a cross-compilation Swift SDK that can be used on macOS and Linux to compile Swift code into the various Android architectures as a native library. But what can you actually do with Swift on Android? Far from being limited to just libraries for sharing business logic between Android and iOS, you can, in fact, use it to build and distribute entire apps. This talk will discuss the various ways in which the Swift SDK for Android can be used to create applications, from the lowest-level manual native interaction with the Android NDK and SDK, to synthesizing Java bindings generated with the nascent swift-java project, all the way up to creating full Jetpack Compose powered apps using [Skip.dev.](http://Skip.dev.) Swift is now a contender among the languages that can be used to build applications for both iOS and Android. While it is a newer entrant compared to the established players like Dart, JavaScript, and Kotlin, it features some distinct advantages that make it worth considering for your next app project. Marc Prud'hommeaux has been developing apps for iOS and Android since 2008, and was the author of the very first ebook reader for the iPhone: Stanza. He has worked in a variety of roles over the years, designing and building apps for giants like Amazon, Bose, and the New York Times. In 2022 he started [Skip.dev](http://Skip.dev) ([https://skip.dev](https://skip.dev/)) with the vision of bringing Swift and SwiftUI application development to Android, and is one of the founding members of the Swift Android Workgroup. He is also the founder of the non-profit App Fair Project ([https://appfair.org](https://appfair.org/)) and an advocate for software freedom. Zoom Link: [https://us06web.zoom.us/j/86441046804?pwd=l2Thmnyi92YAQmCd1iqbUuo9GRRl1R.1](https://us06web.zoom.us/j/86441046804?pwd=l2Thmnyi92YAQmCd1iqbUuo9GRRl1R.1) **Location:** Capital One, C2 Building 1680 Capital One Drive, Mclean VA, 22102 100A Visitor parking is either in the garage attached to 1680 Capital One Drive, or the open lot next to 1600 Capital One Drive. After that you will walk over to the main entrance of 1680 Capital One drive, and then walk around the right to the corner to room 100A For the metro, take the Silver Line to the McLean metro stop, then walk into main campus (about a 5 minute walk). From there, walk to the main entrance of 1680 and then go to room 100A **What you need to bring:** ID **When to arrive (NOTE LATER THAN USUAL START TIME):** Doors open at 6:00pm ET Event will start at 6:30 pm ET **Will food and drinks be provided?** Yep! **Will there be rapid testing provided?** No **Will masks be required?** No

Join Virginia Cooperative Extension Master Gardeners and the Little Seed Library Coalition to learn all about native plants. Identify native plants and understand the beneficial science behind them. Registration required. RSVPing on Meetup does not register you for the program. To register, please [click here](https://pwcgov.libnet.info/events?term=get+growing&r=range&start=2026-04-09&end=2030-12-31).

NOVA Code and Coffee is an inclusive, informal, co-working session. People of all skill levels are invited. The concept is simple, bring a laptop and ideas, we'll provide the coffee and donuts! Here's how it works: 1. At 10:15 everyone introduces themselves and briefly describes what brought them to Code & Coffee today (project, homework, networking, etc) 2. For the rest of the day, folks work in the communal space on their projects providing one another help and conversation as needed. Oh and they usually drink coffee and tea too! That's it! Hope to see you there! **Location** Our hosts are the Fairfax City Economic Development Building: [10300 Eaton Pl, Fairfax, VA 22030](https://www.bing.com/ck/a?!&&p=d7298231ca2df594df822003f9a93517c788fceefe1fcbb79c8976696e341bc6JmltdHM9MTc1MzIyODgwMA&ptn=3&ver=2&hsh=4&fclid=180d0745-3b7f-69a1-23a2-11433a7868e5&u=a1L21hcHM_Jm1lcGk9MTA5fn5Ub3BPZlBhZ2V-QWRkcmVzc19MaW5rJnR5PTE4JnE9RmFpcmZheCUyMENpdHklMjBFY29ub21pYyUyMERldmVsb3BtZW50JnNzPXlwaWQuWU44NzN4ODI4MTk2Mjg0NTk5MDM4MTU0MiZwcG9pcz0zOC44NjE0NDYzODA2MTUyMzRfLTc3LjMwMjE3NzQyOTE5OTIyX0ZhaXJmYXglMjBDaXR5JTIwRWNvbm9taWMlMjBEZXZlbG9wbWVudF9ZTjg3M3g4MjgxOTYyODQ1OTkwMzgxNTQyfiZjcD0zOC44NjE0NDZ-LTc3LjMwMjE3NyZ2PTImc1Y9MSZGT1JNPU1QU1JQTA&ntb=1) Conference Room A- Large, Floor 1 This is a new venue for us, so give us some time to get more details about it. Driving is the best option. There is plenty of free on-site parking. Otherwise, we are a 22 minute bus from the Vienna Metro Station. Bicycling from Vienna is possible but difficult, though once you are here, there's a bike rack in the garage behind the building, and there's also a Capital Bikeshare dock 15 min walk away. **Sponsored by:** Thank you [Fairfax City Economic Development](https://gofairfaxcity.com/) and [Mason Enterprise Center](https://enterprise.gmu.edu/) for making this event possible! **Thank you so much to our wonderful sponsors!** Organized by [DMV Petri Dish](https://www.dmvpetridish.com/) **[Code of Conduct](https://github.com/NoVACodeCoffee/admin/blob/master/code-of-conduct.md):** We value the participation of each member of the community and want all attendees to have an enjoyable and fulfilling experience. To make clear what is expected, all delegates/attendees, organizers, and volunteers at any Nova Code & Coffee events are required to conform to our [Code of Conduct](https://github.com/NoVACodeCoffee/admin/blob/master/code-of-conduct.md).

Join the Mahjong Game Club—a warm, welcoming space for new and experienced players. Discover the excitement of Cantonese mahjong and learn together at every level. Come for the tiles, stay for the community. Registration required. RSVPing on Meetup does not register you for the program. To register, please [click here](https://pwcgov.libnet.info/events?term=mahjong&r=range&start=today&end=2030-12-31).

Join us for another session of our study group as we continue our coverage of the book Domain-Specific Small Language Models. In this session, we will attempt to cover Chapters 9 on "Advanced Quantization Techniques" and Chapter 10, on "Profiling Insights" to understand resource utilization by an SLM. This isn't just a lecture! Come ready to ask questions, share insights, and code along. Whether you're a beginner or have some experience, this is the perfect opportunity to continue to learn together. If you plan to work with the code on your own laptop during the session, try and download the code from here https://github.com/virtualramblas/Domain-Specific-Small-Language-Models ahead of time.