Skip to content

Logic

Meet other local people interested in Logic: share experiences, inspire and encourage each other! Join a Logic group.
pin icon
11,002
members
people1 icon
13
groups

Frequently Asked Questions

Yes! Check out logic events happening today here. These are in-person gatherings where you can meet fellow enthusiasts and participate in activities right now.

Discover all the logic events taking place this week here. Plan ahead and join exciting meetups throughout the week.

Absolutely! Find logic events near your location here. Connect with your local community and discover events within your area.

Logic Events Today

Join in-person Logic events happening right now

Observability, Testing, and Trust for Agentic AI with MLflow
Observability, Testing, and Trust for Agentic AI with MLflow
**REGISTER AT THE LUMA EVENT PAGE!!!** https://luma.com/2e6rhzjo **Agenda:** ​​6:00 - 6:30 PM - Welcome and mingle 6:30- 6:45 PM - Introductions 6:45 - 7:30 PM - Talk 7:30 - 8:00 PM - Wrap up ​​**Description:** ​IAI coding agents can now scaffold entire applications from a single prompt. But for mission-critical systems that require compliance, reliability, and auditability, "it works on my machine" isn't enough. When your agent makes fifty tool calls, rewrites three files, and confidently hallucinates a security vulnerability, how do you even begin to debug that? ​This talk introduces a practical, open-source toolkit for injecting observability, control, and systematic testing into agentic AI development. Using MLflow's tracing and evaluation framework, we'll follow a single throughline: building an AI agent with a coding assistant (Claude Code), tracing both the assistant's work **and** the agent it produces, then evaluating quality with LLM judges - closing the loop from development through production monitoring. ​You'll walk away with a concrete workflow for turning the black box of agentic coding into something you can inspect, measure, and trust. No vendor lock-in required. ​**Speaker Bio:** ​Tim Lortz is an AI Product Specialist at Databricks, where he has worked since 2019. He currently serves as the technical lead for Databricks' go-to-market efforts for AI in regulated industries, focusing particularly on enterprise-grade governance for AI platforms. ​ Prior to Databricks, Tim spent many years in various data science practitioner and leadership roles in the Federal contracting space. He holds a PhD in Industrial & Operations Engineering from the University of Michigan (Go Blue!!) and a BS in Industrial Engineering from the University of Pittsburgh.
Magic Draft at Franklin Hall
Magic Draft at Franklin Hall
Weekly Draft night in NW. We currently meet up at Franklin Hall near 14th and Florida. U Street Metro is the closest stop. I'll have packs but feel free to bring packs if you have them. Entry is $17 (you can bring Play Booster packs to lower the cost by $3.50). If it is a special set, it will be more.
Doubles Volleyball, BB+ Level @ Bluemont
Doubles Volleyball, BB+ Level @ Bluemont
Let's get together to play some fun BB level Quads games at Bluemont. **Format**: Doubles **COST**: FREE **Court Type**: Outdoor grass **Minimum Skill Requirements**: Intermediate-BB (click [here](https://docs.google.com/document/d/1PojSi4qdlRsv1msCHhvpQ43iDc4FfzQwpWCc3kafVMY/mobilebasic) for details) \-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\- **Smiley Social documents:** 1. [Group Rules ](https://docs.google.com/document/d/1HrG35p_0M08leRvCp8XWG3CMkr_GL928XFabl5T6Dvg) 2. [Liability Waiver ](https://docs.google.com/document/d/1W2mq-7m99lmvd7gdWYaSUFtvVg4UGnzV6koafAbHmco) 3. [Volleyball Levels](https://docs.google.com/document/d/1PojSi4qdlRsv1msCHhvpQ43iDc4FfzQwpWCc3kafVMY/)
Weekly Commander at Your Hobby Place - Old Town Alexandria
Weekly Commander at Your Hobby Place - Old Town Alexandria
I have been pretty quiet here for a minute, but recently started going to the weekly Commander night at Hobby Place and really enjoy it. The right balance of competitive and chill. They get a sizeable turnout, no entry fee (though I highly encourage buying a pack or two to thank the store for hosting). Format appears to be a range of difficulties, I know a few top tier decks are floating around, but most players seem chill and play say 3-7 range on a 1-10 scale. Its also nice to see a store hosting in this area. Its metro accessible and lots of parking on the block around it. From Braddock Metro: * Simply walk East on Wythe St for 10 minutes, the store is on your left. Driving: * Its at the corner of the N Washington St and Wythe. Get there and drive around the block to find street parking. I'm told they will stay open until after midnight for Commander. I've stayed as late as almost midnight, despite the store closing at 9pm. Big kudos to the store staff for being that cool.
Spec-Driven Development with GitHub Spec-Kit - Barret Blake
Spec-Driven Development with GitHub Spec-Kit - Barret Blake
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.
Classical Nude Model/Long Pose- Model: TBA
Classical Nude Model/Long Pose- Model: TBA
**When**: Tuesdays, 6:00-9:00 pm **Where**: Pyramid Atlantic's Helen Frederick Gallery (2nd Floor) Pyramid Atlantic Art Center\* 4318 Gallatin Street, Hyattsville, MD 20781 Convenient cheap parking in several nearby municipal parking lots including the lot near Franklins. Only 0.50cents/hour until 8pm; please enter through the rear doors. **What**: Each Tuesday session begins with five 5-minute warm-up poses. We then draw from a sustained pose for the remainder of the session. Please bring your own art materials, paper and portable easel (if needed). Chairs and drawing boards provided. **Cost**: $20/session or $75/5-session punch card Walk-ins and late arrivals welcome, no experience necessary! **Etc**.: Age 18+ **Contact**: Milena- hyattsvillefiguredrawing@gmail.com \*Membership to Pyramid Atlantic, though not required, is enthusiastically encouraged! [Pyramid Atlantic Membership](https://pyramidatlanticartcenter.org/support/membership/) *We are not looking for new figure models at this time, no inquiries please. Thank you.*

Logic Events This Week

Discover what is happening in the next few days

Humanist Happy Hour at Madhatter
Humanist Happy Hour at Madhatter
Falls Church, VA. AI at Work: Productivity vs. Replacement Anxiety
Falls Church, VA. AI at Work: Productivity vs. Replacement Anxiety
**IMPORTANT! Please register on [Luma page](https://luma.com/klm98cuc)** *Ignore the displayed time — it’s 5:30pm VA time.* AI is making us faster than ever — and at the same time, quietly questioning our place at work. ​We’re all feeling it: tools that boost output in minutes, automate entire workflows, and sometimes… do the job better. So where does that leave the human? ​This conversation dives straight into that tension — no sugarcoating, no generic optimism. Just real perspectives from people working inside the shift. ​ **Speakers:** [Nina Borysova, MBA ](https://www.linkedin.com/in/nborysova/?utm_source=luma)**Director, Product Management Technical (PMT), Data Analytics and AI Solutions, Mastercard** **​**[Dr. Volodymyr Tkach ](https://www.linkedin.com/in/volodymyr-tkach/?utm_source=luma) CEO \| Ph\.D\, Associate Professor \| MIT Research Fellow \| Cybersecurity\, Threat Intelligence\, Anomaly Detection\, Artificial **​We’ll unpack:** ​– where AI actually boosts productivity vs. where it replaces thinking ​– which roles are evolving — and which are quietly disappearing ​– how teams are restructuring around AI (and what that means for individuals) ​– how to stay valuable when execution becomes automated ​– what “creative work” even means when AI can generate ideas on demand ​– the psychological side: anxiety, denial, adaptation ​If you’re feeling both excited *and* uneasy about AI — you’re not alone. And you probably shouldn’t ignore either feeling. ​Come for clarity. Leave with a more honest map of what’s ahead.
Real Connection-Real Theology
Real Connection-Real Theology
**Real connection with fellow Catholics who are eager to grow in Faith and friendship!** This 3 year--- 45min deep dive into the Catholic faith is a great way to spend your Sunday rest day. When you are ready to dig deeper and live the faith more fully this is an optimal opportunity. Talk yourself into this! You may start whenever and can come as often or as little as you desire. Coffee is served w/ small donation. It is taught by the priest and/or OCIA director at St Louis Parish who are ALL fabulous- faithful educators filled with theologically inspired knowledge. You can ask questions at the end, which I love. It is just a wonderful experience to grow. Afterwards if you wish, you can also find your way over to the Little Way Cafe Coffee shop across the parking lot to stay for more community time or read some of the excellent books that line the shelves throughout. If you are new to the community of Alexandria and want to meet like minded folks or a veteran of it, this is a special and unique opportunity and did I mention it is free? :) Hard to believe! Please join me every Sunday at 945 am.
Doubles Volleyball - A level @Bluemont Park - 10 People Max
Doubles Volleyball - A level @Bluemont Park - 10 People Max
Doubles Volleyball - A level @Bluemont Park Let's get together to play some fun A level Doubles games at Bluemont. Format: Doubles COST: FREE Court Type: Outdoor grass Minimum Skill Requirements: A level (click [here](https://docs.google.com/document/u/2/d/1PojSi4qdlRsv1msCHhvpQ43iDc4FfzQwpWCc3kafVMY/mobilebasic) for details) Attention: 1. This event is not always on a first come, first served basis. Those who can bring a net and ball, may get priority over others on the waitlist. 1. Since skill levels are self-reported, some attendees may not meet the expected level in reality, so we encourage you to choose a partner you can enjoy the game with, and since this is a competitive event, it is okay if you make a strong team and win all the games. 1. Since people arrive at different times, each group of 4. Players will set up and claim a net as they arrive, and may continue playing without rotating until all nets are set. ——— Smiley Social documents: [Group Rules](https://docs.google.com/document/u/2/d/1HrG35p_0M08leRvCp8XWG3CMkr_GL928XFabl5T6Dvg/mobilebasic) [Liability Waiver](https://docs.google.com/document/u/2/d/1W2mq-7m99lmvd7gdWYaSUFtvVg4UGnzV6koafAbHmco/mobilebasic) [Volleyball Levels](https://docs.google.com/document/u/2/d/1PojSi4qdlRsv1msCHhvpQ43iDc4FfzQwpWCc3kafVMY/mobilebasic)
Friday Night Magic
Friday Night Magic
Competitive Commander @ 5 pm $5 Standard and Modern @ 7:30 pm $5 entry Draft @ 7:30 pm $15 entry We suggest arriving at least 30 minutes early to register for the event.
WOMEN'S Online Support Group [AUS based time zone]
WOMEN'S Online Support Group [AUS based time zone]
\*NOTE: This meeting is solely for individuals who identify as women, female, non-binary, trans women, AFAB, and gender-fluid. ***Please check the main RfR support group calendar for the link, which displays automatically in your computer's local time***. The calendar is displayed here: [https://www.recoveringfromreligion.org/sg-calendar](https://www.recoveringfromreligion.org/sg-calendar) The Recovering from Religion WOMEN'S VIRTUAL support group will meet the 2nd Sunday of each month @ 10am (Australian Eastern Time - Melbourne), unless the date falls on a holiday. A note for people in the US: this will usually fall on the second Saturday, but sometimes with calendar mechanics this may result in the meeting falling in the US on the first Saturday of the month. What Recovering from Religion is About: The primary focus of a Recovering From Religion support group is to provide ongoing and personal support to individuals as they let go of their religious beliefs. This transitional period is an ongoing process that can result in a range of emotions, as well as a ripple effect of consequences throughout an individual’s life. As such, the support meetings are safe and anonymous places to express these doubts, fears, and experiences without biased feedback or proselytizing. We are here to help each other through this journey. There is no cost to attend this support group but, if you feel so inclined, donations can be made at www.recoveringfromreligion.org/donate If you find you need to talk with someone before the next support meeting, RfR has a hotline and online chat for that express purpose. Go to www.recoveringfromreligion.org and click on the green chat bubble in the lower left corner of the site to chat online. If you are in need of professional help, we can offer the Secular Therapy Project to provide options to connect with a professional therapist. All therapists have been thoroughly vetted by our organization and offer only evidence-based and non-religious treatment. Connect with them at www.seculartherapy.org. Like what RfR does? Why not volunteer! There are quite a few options. Head over to www.recoveringfromreligion.org/volunteer for more info.
Sat Soccer - RSVP by 8AM Friday
Sat Soccer - RSVP by 8AM Friday

Logic Events Near You

Connect with your local Logic community

Duty vs. Results: What Makes an Action Moral?
Duty vs. Results: What Makes an Action Moral?
When judging morality, should we prioritize **intentions/duty** or **outcomes/results**? It introduces two influential philosophers as representatives of these approaches. * **Immanuel Kant (deontology):** An action is moral when it is done from **duty** and follows rational, universal principles (the **categorical imperative**). Certain acts—like lying—are wrong regardless of the consequences; you can’t do a wrong thing for a right reason. * **John Stuart Mill (utilitarian consequentialism):** The morality of an action is determined by its **effects**, specifically how much **happiness/well-being** it produces. Mill argues that some pleasures are “higher” than others, and that good intentions don’t redeem harmful outcomes. ## Discussion Questions 1. **The lying dilemma:** A murderer comes to your door and asks if your friend is hiding inside. Kant would say you must not lie. 2. **Can good intentions rescue a bad outcome?** 3. **The organ harvest problem:** A surgeon has five patients dying of organ failure and one healthy patient in for a checkup. Killing the one to harvest organs would save five lives, and the math works out for the utilitarian. Why does this feel so deeply wrong? Is that feeling a point in Kant's favor, or just a bias we should overcome? 4. **Do rules need exceptions?** Kant insists moral rules must be universal, with no exceptions. But most of us can imagine extreme scenarios where any rule seems like it should bend. Does the need for exceptions fatally undermine deontology, or is the strength of the system precisely that it refuses to bend? 5. **Who gets to calculate the consequences?** Utilitarianism asks us to maximize good outcomes, but we're notoriously bad at predicting consequences. If we can't reliably know the results of our actions, is it practical to base our entire moral system on outcomes? Does this uncertainty push us back toward rules and principles? 6. **Everyday morality:** Think about a real moral decision you've made recently, even a small one. Did you reason more like a Kantian (what's the right thing to do in principle?) or more like a utilitarian (what will produce the best result?)? Do most people naturally lean one way? 7. **Justice vs. the greater good:** A town can prevent a deadly plague by sacrificing one innocent person. The greater good is clearly served. But is it just? Can an action be morally right and deeply unjust at the same time? 8. **The big synthesis question:** Are these two systems actually opposed, or do they often arrive at the same answers by different paths? Is it possible that we need both: rules to guide us in the moment and consequences to evaluate systems and policies over time?
Sunday Brunch
Sunday Brunch
Sleep in on Sundays. When you've had your fill of pajama-time, roll out and have some tasty brunch with your fellow Humanists!
CBusData - Practical AI for Power BI Developers
CBusData - Practical AI for Power BI Developers
Practical AI for Power BI Developers A year ago, “agentic AI” was mostly hype for Power BI teams. Today, it deserves your undivided attention. For Power BI pros, there is now a real opportunity to reduce repetitive development work, accelerate delivery, and help developers do more, but only when strong DataOps practices are in place to make AI workflows effective. This session is a no-nonsense introduction to effective AI patterns for Power BI and Fabric development. Along the way, we will make sense of the growing pile of terminology, including skills, plugins, hooks, and MCP. You will see examples of how modern AI tooling can help with development tasks across Power BI and Fabric, along with the prerequisites, guardrails, and DataOps principles needed to use it responsibly. Whether you're burned out on AI hype or already using Copilot CLI daily, this session will show you the foundations that are finally making AI-assisted development genuinely useful.
Cocoaheads
Cocoaheads
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/
COUNT monthly event: Kitchen service at Van Buren Center's shelter
COUNT monthly event: Kitchen service at Van Buren Center's shelter
Come assist Van Buren Shelter (https://ymcacolumbus.org/locations/vanburen) staff in serving dinners and cleaning up on the 3rd Tuesday of each month. Dinner for the women is 5-6 pm and for the families is 6:15-7:15 pm. There is ample free parking available in the shelter's lot. The recommended area to park is in green in the image above. There will be a new entrance for the time being. We are asking all volunteers to enter through the Donation Dock door, the orange mark on the image above. This door is located between the Single Adults and Family Shelter. You will see 2 large garage doors with a large green trash compactor in the center. Please head to the closest garage door to the building wall, with a ramp leading up. There, you will see a door with a sign stating instructions on how to enter the building. Please ring the doorbell, and a staff member will come and escort you into the building. If a staff member takes longer than 5 minutes, please call the front desk at 614-689-2020. This is a new process for us, and we do not want to keep you waiting! We appreciate your patience as we navigate this temporary change. The shelter needs a volunteer count the day before the event so sign-up ends Monday at 4:50 PM. Afterwards some of us go to the Omnipresent Atheists Weekly Meetup in progress to have a bit to eat or drink (http://www.meetup.com/omnipresentatheists/). Volunteers must be 14 or older. Since we will be working around families, the YMCA does not permit volunteering by individuals with convictions for violent or sexual crimes. The YMCA reserves the right to run background checks on volunteers. For questions, comment on this page or contact: Andrew, awhit12@yahoo.com, (614)937-5802 (cell). Please let Andrew know if you volunteer anytime other than our COUNT events so that he can count your hours toward our service record.
COUNT Discussion Meeting: Topic: Current Events
COUNT Discussion Meeting: Topic: Current Events
We may pick a specific topic and post in advance or may discuss current events and various ad hoc topics . We would love to spend time hanging out and getting to know one another. Atheist, agnostics, other non-theists, and atheist-friendly people are welcome to join us. Note: COUNT operates a Facebook page at www.facebook.com/groups/COUNT.discussions (http://www.facebook.com/groups/COUNT.discussions/) to promote discussions among members and visitors.
LLM Showdown: ChatGPT vs Claude vs Gemini vs Local Models
LLM Showdown: ChatGPT vs Claude vs Gemini vs Local Models
Join us for a practical, beginner-friendly guide to choosing the right large language model. We’ll compare major models like ChatGPT, Claude, Gemini, and Llama, talk about when to use hosted APIs versus local models, and break down the tradeoffs around cost, speed, quality, privacy, context windows, coding ability, and reliability. You’ll leave with a clearer mental model for picking an LLM based on your actual use case instead of hype, benchmarks, or brand names. No deep AI background required. LOGISTICS AND PARKING: The talk starts at 7:00 PM. The first half hour is reserved for everyone to get set up and mingle. Free pizza and drinks! The cheapest parking option is to find street parking, which will only cost you a few bucks. Otherwise, park in the nearby veteran's museum lot for $8. It's highly recommended you avoid the nearby $15 garage parking.