Skip to content

Type Systems

Meet other local people interested in Type Systems: share experiences, inspire and encourage each other! Join a Type Systems group.
pin icon
4,920
members
people1 icon
11
groups

Frequently Asked Questions

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

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

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

Type Systems Events Today

Join in-person Type Systems events happening right now

Franklinton Arts District Second Fridays Meet @ One Line Coffee, 471 W. Rich St.
Franklinton Arts District Second Fridays Meet @ One Line Coffee, 471 W. Rich St.
Let’s meet, wander the exhibits and open galleries, and enjoy an evening out in the Franklinton Arts District. (Nearby pay parking is available in the garage on McDowell, right around the corner from One Line Coffee, and, past it along the curb as McDowell dead ends.)
Music BINGO
Music BINGO
Ready for a night of music, laughter, and fun? Join us at Thunderwing Brewery for Music Bingo — a lively twist on classic bingo where songs replace numbers and good vibes are guaranteed! RSVP to secure your spot. Text Renee (614-257-9389). (Headcount needed to make sure staffing can accommodate the group) Arrive early to get a seat - **bring a camping chair for extra seating.** Often the brewery has food trucks or you can bring in your own food. Bonus - You can bring your dog!

Type Systems Events This Week

Discover what is happening in the next few days

Detroit Interactive Virtual Speed Dating Locals
Detroit Interactive Virtual Speed Dating Locals
💌 **Online Speed Dating for Detroit Singles — Real Connections, Long-Term Thinking** This is for singles who are done with apps that go nowhere. Done with casual. Ready for a genuine conversation with someone who might actually matter. Live on Zoom. Personality matched. Built for people who want something that lasts. **Choose your age group to register:** - Ages 18-32: [Register Here](https://tempodating.com/product?productId=476.0&productType=onlineSpeedDating&city=Detroit&groupurlname=foster-meaningful-relationships-through-outdoor-exploration&ar=18-32&face_v=2.0) - Ages 30-46: [Register Here](https://tempodating.com/product?productId=476.0&productType=onlineSpeedDating&city=Detroit&groupurlname=foster-meaningful-relationships-through-outdoor-exploration&ar=30-46&face_v=2.0) - Ages 40-58: [Register Here](https://tempodating.com/product?productId=476.0&productType=onlineSpeedDating&city=Detroit&groupurlname=foster-meaningful-relationships-through-outdoor-exploration&ar=40-58&face_v=2.0) - Ages 55+: [Register Here](https://tempodating.com/product?productId=476.0&productType=onlineSpeedDating&city=Detroit&groupurlname=foster-meaningful-relationships-through-outdoor-exploration&ar=55+&face_v=2.0) 🌿 RSVP here alone does not hold your place. Complete your registration through the link above and finish the short personality quiz. --- **How it works:** 1. Register via your age group link and complete the personality quiz. 2. Join Zoom at the event time — works on any device, no downloads needed. 3. Meet Detroit singles in short one-on-one rounds matched by age and personality. 4. Mutual matches are shared after — take it forward at your own pace. 🤍 Spots are kept small to keep things personal. If you are serious about finding the right person, this is where it starts.
Queer Quills
Queer Quills
**We are expanding our creative programming opportunities with Queer Quills, a writing and sharing space. Queer Quills features some prompts, supplies and friendly faces to help get some inspiration or feedback for your writing. Hope to see you there!**
Psychic Development Series  II - Pueo Group
Psychic Development Series II - Pueo Group
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
Creativity Circle: Paper Flowers & Flower Crowns
Creativity Circle: Paper Flowers & Flower Crowns
**This month’s Creativity Circle is very timely. We will be making our own craft flowers out of paper, coffee filters, popsicle sticks, sparkles, cupcake liners, pipe cleaners and more! All ages welcome, show up as you can, bring a friend or a few if you would like to! Excited to see you there! Seats Limited. Held at the Westerville Public Library Meeting Room B.**
Columbus Authentic Singles Virtual Speed Dating
Columbus Authentic Singles Virtual Speed Dating
💌 **Online Speed Dating for Columbus Singles — Real Connections, Long-Term Thinking** This is for singles who are done with apps that go nowhere. Done with casual. Ready for a genuine conversation with someone who might actually matter. Live on Zoom. Personality matched. Built for people who want something that lasts. **Choose your age group to register:** - Ages 18-32: [Register Here](https://tempodating.com/product?productId=476.0&productType=onlineSpeedDating&city=Columbus&groupurlname=foster-meaningful-relationships-through-outdoor-exploration&ar=18-32&face_v=2.0) - Ages 30-46: [Register Here](https://tempodating.com/product?productId=476.0&productType=onlineSpeedDating&city=Columbus&groupurlname=foster-meaningful-relationships-through-outdoor-exploration&ar=30-46&face_v=2.0) - Ages 40-58: [Register Here](https://tempodating.com/product?productId=476.0&productType=onlineSpeedDating&city=Columbus&groupurlname=foster-meaningful-relationships-through-outdoor-exploration&ar=40-58&face_v=2.0) - Ages 55+: [Register Here](https://tempodating.com/product?productId=476.0&productType=onlineSpeedDating&city=Columbus&groupurlname=foster-meaningful-relationships-through-outdoor-exploration&ar=55+&face_v=2.0) 🌿 RSVP here alone does not hold your place. Complete your registration through the link above and finish the short personality quiz. --- **How it works:** 1. Register via your age group link and complete the personality quiz. 2. Join Zoom at the event time — works on any device, no downloads needed. 3. Meet Columbus singles in short one-on-one rounds matched by age and personality. 4. Mutual matches are shared after — take it forward at your own pace. 🤍 Spots are kept small to keep things personal. If you are serious about finding the right person, this is where it starts.
Fort Wayne Personality Matched Professional Speed Dating
Fort Wayne Personality Matched Professional Speed Dating
💌 **Online Speed Dating for Fort Wayne Singles — Real Connections, Long-Term Thinking** This is for singles who are done with apps that go nowhere. Done with casual. Ready for a genuine conversation with someone who might actually matter. Live on Zoom. Personality matched. Built for people who want something that lasts. **Choose your age group to register:** - Ages 18-32: [Register Here](https://tempodating.com/product?productId=476.0&productType=onlineSpeedDating&city=Fort%20Wayne&groupurlname=foster-meaningful-relationships-through-outdoor-exploration&ar=18-32&face_v=2.0) - Ages 30-46: [Register Here](https://tempodating.com/product?productId=476.0&productType=onlineSpeedDating&city=Fort%20Wayne&groupurlname=foster-meaningful-relationships-through-outdoor-exploration&ar=30-46&face_v=2.0) - Ages 40-58: [Register Here](https://tempodating.com/product?productId=476.0&productType=onlineSpeedDating&city=Fort%20Wayne&groupurlname=foster-meaningful-relationships-through-outdoor-exploration&ar=40-58&face_v=2.0) - Ages 55+: [Register Here](https://tempodating.com/product?productId=476.0&productType=onlineSpeedDating&city=Fort%20Wayne&groupurlname=foster-meaningful-relationships-through-outdoor-exploration&ar=55+&face_v=2.0) 🌿 RSVP here alone does not hold your place. Complete your registration through the link above and finish the short personality quiz. --- **How it works:** 1. Register via your age group link and complete the personality quiz. 2. Join Zoom at the event time — works on any device, no downloads needed. 3. Meet Fort Wayne singles in short one-on-one rounds matched by age and personality. 4. Mutual matches are shared after — take it forward at your own pace. 🤍 Spots are kept small to keep things personal. If you are serious about finding the right person, this is where it starts.
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?

Type Systems Events Near You

Connect with your local Type Systems community

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/
CONNECTED Westerville Mastermind Group
CONNECTED Westerville Mastermind Group
Join the CONNECTED Westerville Mastermind Group for a dynamic afternoon of B2B networking! This event is perfect for professionals looking to expand their business connections, share insights, and foster collaboration within the community. Whether you are a seasoned entrepreneur or just starting out, this event offers a valuable opportunity to exchange ideas, build relationships, and grow your network in a supportive environment. Connect with like-minded individuals, explore potential partnerships, and discover new opportunities for professional growth. Don't miss out on this chance to enhance your business network and take your career to the next level with CONNECTED Westerville Mastermind Group! We meet the 4th Monday of every month from 11am-1pm. Welcome and general networking from 11am - 11:30am with core meeting 11;30 - 12:30 and a final round of networking from 12:30 - 1pm.
Building Scalable Customer Identity Resolution Pipelines on AWS Using AI
Building Scalable Customer Identity Resolution Pipelines on AWS Using AI
Customer identity resolution becomes increasingly complex as organizations scale across multiple systems, regions, and data formats. Traditional rule-based approaches often fail to keep up with data variability, require constant manual tuning, and struggle with real-time processing needs. This session presents a practical approach to building a scalable identity resolution pipeline using AWS services and modern AI techniques. The architecture combines data ingestion through Amazon S3 and AWS Glue, transformation pipelines using Spark on EMR, and machine learning models deployed via SageMaker for entity matching and standardization. Graph-based relationship modeling is implemented using Amazon Neptune to improve resolution accuracy by incorporating household and shared attribute context. We will walk through how machine learning models can be used for name and address normalization, how intelligent blocking strategies improve matching efficiency, and how feedback loops can be introduced to continuously improve accuracy. The session also highlights how serverless components such as AWS Lambda can be used for orchestration and real-time processing. **SPEAKER BIO** Mosaic Syed is a Senior Data Engineering and Cloud Solutions Architect with over 20 years of experience designing and delivering scalable, secure, and high-performance data solutions across global enterprise environments. https://www.linkedin.com/in/mosaic-basha-syed-92300856 **CALL FOR SPEAKERS** Learn more: [https://www.awscolumbus.com/get-involved/](https://www.awscolumbus.com/get-involved/) **THANK YOU** *VEEAM* for hosting our meetup! To learn more about *Veeam*, please visit their website: [https://www.veeam.com/](https://www.veeam.com/) **DIRECTIONS** 8800 Lyra Dr #450 · Columbus, OH go to 4th floor. **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
Westerville Queer Coffee Meetup
Westerville Queer Coffee Meetup
WQC has weekly Thursday night social nights at the Westerville Java Central. Come and grab a coffee and connect with the community: low stakes, chill environment, and tasty drinks. No registration is required; come as you are.
Columbus Code & Coffee 86 @ Improving
Columbus Code & Coffee 86 @ Improving
Columbus Code & Coffee is an inclusive, informal co-working session. People of all skill levels attend, and we love it that way. Many people (optionally) bring projects to work on, and many other people (optionally) socialize the entire time. It's entirely up to you! **What to Expect at the Intro Circle** \~\~\~\~\~\~\~\~\~\~\~\~\~ Near the beginning of the event (1:30 pm), we do a standup: * Organizer announcements, updates, and logistics Round 1 - (7 secs max): * Your name * What you're working on * What you can help others with Round 2: * Community events you wanna plug. If none, that's cool too. Round 3: * Job opportunities you're hiring for OR announce that you are looking for one. If none, that's cool. After the introduction circle, everything is self-organized! Feel free to work alone, pair up, attend one of our workshops/presentations, or mingle!
Connected Westerville Night of Networking!
Connected Westerville Night of Networking!
Connected Westerville Night of Networking flips the script on networking, with surprises and connections that'll make you say, "Who knew networking could be this much fun?!"
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.