Type Systems
Meet other local people interested in Type Systems: share experiences, inspire and encourage each other! Join a Type Systems group.
5,246
members
11
groups
Related topics
Largest Type Systems groups
Newest Type Systems 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
CMG Gives Back: Food Distribution at CHAMPION FOOD PANTRY!
Start the New Year off right! Join us as we get together to help those in need at this CMG Gives Back event to distribute food at the Champion Food Pantry! We’ve created a great little community of Movie Group friends! Rather than see a movie this time, we’ll help “Create a better world” by helping serve people in need. Here are complete details and our plan for this event:
CHAMPION FOOD PANTRY: The Champion Food Pantry provides needed food to neighbors experiencing food insecurity. For this event, we’ll be volunteering to help with Food Distribution during client pick up times. Our group will receive on-the-spot training from some of their seasoned regular volunteers.
PLAN FOR CHAMPION FOOD PANTRY: Please arrive by 2:45pm. Our volunteer time will be from 3:00 to 6:00pm.
LOCATION & PARKING: The Champion Food Pantry is located at 1460 S. Champion Ave in Columbus. Parking is located in the lot on Frebis across from the pantry. Please enter through the door marked "Volunteers enter here” on Frebis Ave. A map has been uploaded to the photos.
IMPORTANT REMINDER: Our group will be providing the majority of the volunteers on this day so a firm RSVP count is essential. Please only sign up if you are certain you’ll be able to attend. If something unavoidable comes up, please update your RSVP no later than one week prior to the event. No shows or cancelations within 1 week of the event will mak you ineligible for future CMG Gives Back events. I appreciate your understanding as we try to ensure the agencies have the volunteers needed to provide the essential services they provide to the vulnerable population they serve.
LINKS & INFO: Below are some links / attachments with additional info/details:
• Champion Food Pantry Civil Rights Training: Attached file.
• Champion Food Pantry Parking and Entrance: Attached file.
• Champion Food Pantry Orientation Video: https://www.youtube.com/watch?v=_0wI-AwOYLY
• Link with Additional Details / Info: https://lss.vomo.org/opportunity/foodpantrieschampion
THANK YOU: This CMG Gives Back event provides an opportunity for YOU to get involved in helping others in our community! But the benefits go well beyond the help we give to others. Volunteering can provide a wide range of personal benefits, including positive effects on mental and physical health, reduced stress/depression/anxiety, increased happiness and improved purpose, life-satisfaction and personal well-being! Plus, the opportunity to get involved, connect with others and help those in need.
PARTNER AGENCY: This event is hosted by Lutheran Social Services (LSS), which serves thousands of people in need each day in 27 Ohio counties by addressing the four core societal issues of food, shelter, safety and healing. LSS offers food through the LSS Food Pantries, housing and supportive services through LSS Faith Mission and LSS Faith Mission of Fairfield County homeless shelters, domestic violence services through LSS CHOICES for Victims of Domestic Violence, senior living and health care, affordable housing communities, and other services that uplift families and strengthen communities.
Thanks for your help and look forward to seeing you there, Dan
Type Systems Events This Week
Discover what is happening in the next few days
Cocoaheads
Come out to Improving for our monthly iOS and Mac meetings.
This Month's Presentation:
**Use AI to convert an old game into an iOS App**
**John Endres**
How I decided to learn AI tools in Xcode (Claude and ChatGPT)
John is a long time iOS Developer.
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/
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 82 @ 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!
Columbus Arduino Raspberry Pi Enthusiasts (CARPE) (Check Location)
Bring your Raspberry Pi, Arduino, microcontroller, or any other electronic project and join fellow electronics makers for a night of creativity and collaboration!
This session is open forum to share your current projects—whether complete or in progress, it’s all interesting! Whether you’re deep into embedded systems, exploring new ideas, or just getting started, you’ll find a welcoming space to collaborate, share, and get inspired.
I've been hardware hacking a See N Say to make it say whatever I want - while the project is in progress still, it should be working by this meetup! I'll bring it for demo. [See N Say Project](https://github.com/cdeever/esp32-see-n-say)
While we continue to pursue a more permanent venue for this Meetup, we’ll be using public library facilities based on availability.
This session will be at the Worthington Park Library in the Olentangy Meeting Room.
Care Packages for Unhoused Folks- Volunteer Gathering
Volunteer with Westerville Queer Collective and the Neurospicy Meetup to build care packages for local unhoused folks, which will be distributed throughout local camps and neighborhoods via Heer2Serve (501c3).
Will you donate any items? If so, comment what will you bring Please make sure clothing items are clean and if you’re donating food, ready to be eaten without a stove or microwave.
We expect to assemble around 50-100 packages, so if you’ll purchase items, please consider that amount (ie bulk individually packaged candies etc.). Fun and interesting book or entertainment item donation also welcome!
Package assembly will take place on January 17th from 10-12 am. Location TBA but will be in Westerville, Ohio.
Columbus PHP: Monthly Meetup
Our monthly PHP meetup.
A virtual shindig courtesy of Zoom. Check back here for the details around 6:15 pm
Type Systems Events Near You
Connect with your local Type Systems community
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.
Intro to GitHub Copilot: Your AI Pair Programmer - Chris Steele
**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
**Abstract**
GitHub Copilot is rapidly changing how developers write, understand, and maintain code. Powered by generative AI and deeply integrated into modern development environments, Copilot acts as an intelligent coding assistant, helping developers move faster while maintaining quality and focus.
In this session, we’ll explore what GitHub Copilot is, how it works, and where it fits into a real-world developer workflow. We’ll break down what Copilot can (and cannot) do, where it can be used, and how licensing differs for individuals and organizations. Most importantly, this talk goes beyond theory with a live, hands-on demo showcasing Copilot inside the IDE and on GitHub, demonstrating how it can assist with code generation, refactoring, learning new APIs, and accelerating day-to-day development tasks.
Designed for developers, technical leads, and engineering managers, this session provides a practical introduction to AI-assisted development, highlights best practices for getting value from Copilot, and closes with guidance on how to continue learning and evolving alongside this rapidly advancing tool.
Attendees will leave with a clear understanding of how GitHub Copilot can enhance productivity, improve developer experience, and fit into modern software teams today, not someday.
**YouTube Link**
TBA
HTML5 Master Series (Class 01 of 04) (SPECIAL OFFERING)
**PLEASE READ THE FOLLOWING IMPORTANT NOTES:**
1. The dates listed for this series are about 95% reliable. We are completing our 2026 schedule as we speak, so minor adjustments are still occurring.
2. Each class in this series has an attendance fee, though this first offering is free on a first-come, first-served basis.
3. Each class, from BOTH a sign-up and fee perspective, is a separate entity.
**Introduction:**
HTML5 is the foundational technology for modern web development, serving as the standard markup language for structuring and presenting content on the World Wide Web. Developed through a collaboration between the World Wide Web Consortium (W3C) and the Web Hypertext Application Technology Working Group (WHATWG), HTML5 provides a robust system of elements (tags) that tell a browser how to display text, images, and multimedia in a clear and meaningful way. It works in concert with Cascading Style Sheets (CSS) for presentation and JavaScript for interactivity, forming the core technology stack for virtually all websites and many web applications today.
One of the significant advancements of HTML5 is the introduction of powerful new features and elements designed to improve functionality and simplify development. Key additions include native multimedia support via the \ and \ tags, allowing developers to embed media without third-party plugins. It also offers new form controls for better user input, such as date and email types, and introduces web storage capabilities to store data offline for enhanced performance. These features streamline the process of building rich, interactive web experiences.
A significant focus of HTML5 is enhanced semantics and better structural organization of content. New semantic elements like , , , , and \ provide meaningful structure to documents, which aids in search engine optimization (SEO) and improves accessibility for assistive technologies. These elements define different parts of a webpage (e.g., a header for the top, a nav for navigation links, a footer for the bottom), making the code more readable and understandable for both developers and machines. This emphasis on clear structure helps in creating more logical and maintainable websites.
Developing websites in today's competitive environment requires taking advantage of every technique you can to get the maximum exposure possible. Our HTML5 class will not only show you what's new in the HTML specification, but also the best way to develop optimized web pages that get the attention your client and/or company requires.
**The breakdown of the four-class series is as follows:**
**Class 1: Introduction to Web Structure and Basic HTML5**
This class introduces the core concepts of web development, the history of HTML, and the fundamental structure of an HTML5 document.
* **Topics**:
* **Web Architecture Overview**: How browsers, servers, and web pages interact.
* **HTML Fundamentals**: Understanding elements, tags, and attributes.
* **Basic Document Structure**: Using !DOCTYPE html, html, head, and body.
* **Text Formatting**: Headings (h1 to h6), paragraphs (p), and text-level semantics (e.g., strong, em, br).
* **Lists and Links**: Creating ordered (ol) and unordered (ul) lists, and linking between pages using anchor tags (a).
* **Activity**: Students create a basic personal webpage containing text, a list of hobbies, and a link to an external website.
**Class 2: Semantic HTML5 and Multimedia Integration**
Class 2 focuses on modern HTML5 elements that provide meaning (semantics) to content, improving accessibility and search engine optimization. It also covers adding images and multimedia.
* **Topics**:
* **Semantic Elements**: Understanding and implementing elements like header, footer, nav, section, and article.
* **Images**: Adding images using the img tag and attributes like src, alt, width, and height.
* **Multimedia**: Embedding audio and video content using the audio and video tags.
* **File and Folder Structure**: Best practices for organizing project files and managing file paths.
* **Activity**: Students refactor their Class 1 project to use a proper semantic layout and add an image and a link to a video file.
**Class 3: Forms and User Input**
This session is dedicated to building interactive HTML5 forms, which are essential for capturing user data and input.
* **Topics**:
* **Form Basics**: Using the form element, action and method attributes.
* **Input Types**: Exploring various input types (e.g., text, password, checkbox, radio, date, submit).
* **Form Elements**: Utilizing label, textarea, select, option, and button.
* **Client-side Validation**: Implementing HTML5 validation attributes like required, minlength, and pattern.
* **Activity**: Students build a complete contact form with different input fields, radio buttons, and basic HTML5 validation.
**Class 4: Introduction to CSS3 and Basic Styling**
The final class introduces Cascading Style Sheets (CSS) to style the HTML content and make the web pages visually appealing and accessible.
* **Topics**:
* **CSS Fundamentals**: The role of CSS, selectors, properties, and values.
* **Integrating CSS**: Using inline, internal, and external style sheets.
* **The Box Model**: Understanding margin, padding, border, and content for basic layout.
* **Basic Styling**: Changing colors, fonts, and text alignment.
* **Accessibility Basics**: Identifying principles of web design usability and accessibility, including ARIA labels.
* **Activity**: Students apply an external CSS file to their Class 3 form project to style the layout, colors, and fonts, culminating in a well-structured and styled webpage.
COhPy Monthly Meeting
**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).
For this first meeting of the year, we will be reviewing submissions for the
Your Program is Hideous and Obfuscated Challenge (YPHOC). Submissions for this challenge are due by January 12th, 2026. The details can be found here:
https://docs.google.com/document/d/13zbxwElpJqPMuAN4Ele2hUgsqtFKzH3OCTL5NEeiLKQ
or on our website
http://www.cohpy.org
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
HTML5 Master Series (Class 02 of 04) (SPECIAL OFFERING)
**PLEASE READ THE FOLLOWING IMPORTANT NOTES:**
1. The dates listed for this series are about 95% reliable. We are completing our 2026 schedule as we speak, so minor adjustments are still occurring.
2. Each class in this series has an attendance fee, though this first offering is free on a first-come, first-served basis.
3. Each class, from BOTH a sign-up and fee perspective, is a separate entity.
**Introduction:**
HTML5 is the foundational technology for modern web development, serving as the standard markup language for structuring and presenting content on the World Wide Web. Developed through a collaboration between the World Wide Web Consortium (W3C) and the Web Hypertext Application Technology Working Group (WHATWG), HTML5 provides a robust system of elements (tags) that tell a browser how to display text, images, and multimedia in a clear and meaningful way. It works in concert with Cascading Style Sheets (CSS) for presentation and JavaScript for interactivity, forming the core technology stack for virtually all websites and many web applications today.
One of the significant advancements of HTML5 is the introduction of powerful new features and elements designed to improve functionality and simplify development. Key additions include native multimedia support via the \ and \ tags, allowing developers to embed media without third-party plugins. It also offers new form controls for better user input, such as date and email types, and introduces web storage capabilities to store data offline for enhanced performance. These features streamline the process of building rich, interactive web experiences.
A significant focus of HTML5 is enhanced semantics and better structural organization of content. New semantic elements like , , , , and \ provide meaningful structure to documents, which aids in search engine optimization (SEO) and improves accessibility for assistive technologies. These elements define different parts of a webpage (e.g., a header for the top, a nav for navigation links, a footer for the bottom), making the code more readable and understandable for both developers and machines. This emphasis on clear structure helps in creating more logical and maintainable websites.
Developing websites in today's competitive environment requires taking advantage of every technique you can to get the maximum exposure possible. Our HTML5 class will not only show you what's new in the HTML specification, but also the best way to develop optimized web pages that get the attention your client and/or company requires.
**The breakdown of the four-class series is as follows:**
**Class 1: Introduction to Web Structure and Basic HTML5**
This class introduces the core concepts of web development, the history of HTML, and the fundamental structure of an HTML5 document.
* **Topics**:
* **Web Architecture Overview**: How browsers, servers, and web pages interact.
* **HTML Fundamentals**: Understanding elements, tags, and attributes.
* **Basic Document Structure**: Using !DOCTYPE html, html, head, and body.
* **Text Formatting**: Headings (h1 to h6), paragraphs (p), and text-level semantics (e.g., strong, em, br).
* **Lists and Links**: Creating ordered (ol) and unordered (ul) lists, and linking between pages using anchor tags (a).
* **Activity**: Students create a basic personal webpage containing text, a list of hobbies, and a link to an external website.
**Class 2: Semantic HTML5 and Multimedia Integration**
Class 2 focuses on modern HTML5 elements that provide meaning (semantics) to content, improving accessibility and search engine optimization. It also covers adding images and multimedia.
* **Topics**:
* **Semantic Elements**: Understanding and implementing elements like header, footer, nav, section, and article.
* **Images**: Adding images using the img tag and attributes like src, alt, width, and height.
* **Multimedia**: Embedding audio and video content using the audio and video tags.
* **File and Folder Structure**: Best practices for organizing project files and managing file paths.
* **Activity**: Students refactor their Class 1 project to use a proper semantic layout and add an image and a link to a video file.
**Class 3: Forms and User Input**
This session is dedicated to building interactive HTML5 forms, which are essential for capturing user data and input.
* **Topics**:
* **Form Basics**: Using the form element, action and method attributes.
* **Input Types**: Exploring various input types (e.g., text, password, checkbox, radio, date, submit).
* **Form Elements**: Utilizing label, textarea, select, option, and button.
* **Client-side Validation**: Implementing HTML5 validation attributes like required, minlength, and pattern.
* **Activity**: Students build a complete contact form with different input fields, radio buttons, and basic HTML5 validation.
**Class 4: Introduction to CSS3 and Basic Styling**
The final class introduces Cascading Style Sheets (CSS) to style the HTML content and make the web pages visually appealing and accessible.
* **Topics**:
* **CSS Fundamentals**: The role of CSS, selectors, properties, and values.
* **Integrating CSS**: Using inline, internal, and external style sheets.
* **The Box Model**: Understanding margin, padding, border, and content for basic layout.
* **Basic Styling**: Changing colors, fonts, and text alignment.
* **Accessibility Basics**: Identifying principles of web design usability and accessibility, including ARIA labels.
* **Activity**: Students apply an external CSS file to their Class 3 form project to style the layout, colors, and fonts, culminating in a well-structured and styled webpage.
Software ate the world, Agents are eating Software Engineering
2026 may be the last year many developers write code by hand. We need coding agents to solve complex problems in production codebases, but vibe coding alone won’t get us there. Vibe coding is all gas, no brakes. It burns up the context window until the agent slips on its own slop. You can go fast at first, but the more you stuff into the context window, the more tangled its outputs get. While the industry is rapidly increasing code generation speed, we still have to understand, review, merge, and maintain what gets shipped.
This talk featuring Michael Geiger will outline how coding agents (Claude Code + Gas Town) work and a framework for orchestrating them to solve complicated problems in complex codebases. It’s about steering the model: doing the research to align intent, planning the approach up front, implementing in parallel steps, and breaking early. Human judgment still matters, but it should be spent on high-leverage decisions: what to build, what to forbid, and “what is quality?”, not cleaning up slop. Attendees will leave with a checklist to identify workflow and environment gaps that hold agents back, so you and your team can ship higher-quality software starting tomorrow.
NSCoder Night
Bring your work or your hobby, hang out, and code with us.
Follow @buckeyecocoa for more information.























