Type Theory
Meet other local people interested in Type Theory: share experiences, inspire and encourage each other! Join a Type Theory group.
2,437
members
8
groups
Largest Type Theory groups
Newest Type Theory groups
Frequently Asked Questions
Yes! Check out type theory 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 theory events taking place this week here. Plan ahead and join exciting meetups throughout the week.
Absolutely! Find type theory events near your location here. Connect with your local community and discover events within your area.
Type Theory Events Today
Join in-person Type Theory events happening right now
Fundamentals: by do Jung Ishu/ the art of fighting
We are a real world Martial arts group. \
Called DO JUNG ISHU (the art of fighting) \
Based off of Jeet kune do we just continued where Bruce Lee left off. \
We have been around a while. \
We are donation based.
Every week we get together and work technical skills and live pressure testing. \
Almost all of the instructors have been in everything from altercations in the real world to the ring and some still compete in the cage. \
If you want to take your skills up, improve your confidence, gain self defense skills, get in better shape, test yourself or just want to kill some time and possibly get hit a bit come on down. \
We will be located at 3923 N High St, Columbus, OH 43214 inside the whetstone rec center in the auditorium, upstairs in classroom B or outside in the grass between the playground and horseshoe area. our instructors are normally in a black and red art of fighting shirt \ if you can not find us call or text me at 6143570295
Saturday 1pm Wednesday 5:30pm
From Age 16 and up. attendees under the age of 18 must have a guardian with them. \
\
You must have a free leisure card for the rec center and must be registered for our class specifically .\
Wear workout clothing \
Bring a MOUTHPIECE! \
WE HAVE GLOVES. \
Hope to see you soon :-).\
We are run off of donations. \
let me know if you have any questions :)
Pickleball.
CHANGED to WEDNESDAYS
COLUMBUS RECREATION CENTERS require membership fee to play. Register & Pay at the desk when you arrive. $5 day pass is available.
I have some extra pickle ball paddles and balls if you don’t have one. Definitely bring your own paddle if you have one and bring some balls if you have them.
Legal Stuff: The event hosts/Organizers are just fellow member volunteers. By participating in any event, you assume all risks of liability and injury inherent in these activities. You are responsible for your own safety and for determining if you are in condition fit to participate. You are also responsible for knowing and abiding by all laws and rules during your participation in any event.
Photos & or Video: by attending these events you acknowledge photos and or video may be taken and used on this and other platforms.
Shut Up & Write! Kingsdale Shopping Center
Greetings writers! Come down and join your fellow wordsmiths for one hour of uninterrupted writing time in the upper level of the Market District Supermarket in Upper Arlington.
The main entrance of the shopping center opens onto stairs/elevator leading up to the 2nd floor cafe section where we will have a table displaying a sign with the Shut Up & Write logo.
Writing is largely a solitary craft. Practicing with others in a community setting may be the thing you need to fire your own routine.
We’ll meet on Wednesday evenings, starting the clock at 6:30, following a brief period of introductions. This is solid writing time and all inclusive. Any project is acceptable, be it fiction, non -fiction, work or homework assignment. All is welcome and will remain private to you.
The market boasts a Starbucks, a full service bar and various affordable food options. Parking is plentiful, free Wifi is provided as well as outlets for charging your devices, though they are somewhat limited, so plan accordingly.
Show up as early as you like, or stay late. This group tends to socialize some, both before and after the alloted time, but this is not mandatory to you. Feel free to come and go as you please and late arrivals are welcome.
The cafe may be noisy on occasion so headphones/ earbuds are reccommended as you see fit.
Please try to RSVP if possible so that we may grab enough seats for all—the venue can be busy at times.
Feel free to message me privately wth any questions and/ or concerns you may have.
Happy writing!
Board games at The Forge
######## NEW LOCATION #######
We are going to be at The Forge on Bethel Rd this week and until further notice!
The Forge does have a full bar and kitchen. There is no cover charge but they do request all attendees to purchase a minimum of ~$20 per person. Soft drink refills are $1 each. Please support our hosts so we can continue to provide great events for the group!
The Forge has a large library of games available for us to enjoy. Hosts and regulars will also provide numerous popular games but please bring any games you would like to teach and/or play.
Doors open at 6, and we expect gaming to be rolling by around 630. Please promptly end your games and clear out the space at 10pm when the bar closes.
We encourage socializing but do not permit disruptive behavior of any kind. Thank you for your continued commitment to providing a fun and welcoming space to veteran, newbie, and rookie gamers in the Columbus area!
Parking can be challenging. There is a parking lot behind the building that is free and easy to walk from but it's a bit hidden.
Type Theory Events This Week
Discover what is happening in the next few days
Humanist Program
Our January program is privileged to have Kristen Tregar as our speaker. Ms. Tregar is the co-author with John de Lancie (the actor who portrayed the character Q on Star Trek next generation) of a radio play depicting the events surrounding the Kitzmiller v. Dover Area School District trial. The trial decided the issue of some of the Dover school district board members attempting to insert creationism disguised as "intelligent design" into the 9th grade biology curriculum. She will discuss the trial and the process of writing the play. (Bob Leonhard has seen the play and it is riveting and tense). Ms. Tregar's bio is below:
Kristen Tregar is a dramaturg, director, playwright, and theatre teacher. She earned her Ph.D. in Drama and Theatre from the UC San Diego and UC Irvine joint program. In addition, she has a MS in Forensic Science from City University of New York- John Jay College of Criminal Justice and a MA in Educational Theatre from New York University- Steinhardt School of Culture, Education, and Human Development. In 2013, in collaboration with Irish colleagues, she founded *The Ireland Project*, an intercontinental devised theatre work with high school students in New York and Tallaght, Ireland. Her original short story "Far From Here" was recently published in *Stay Awhile Longer: More Scenes From Temecula Valley*. She has two rescued dogs (Kira and Harry) and she rides, competes, and foxhunts with her horses, Andromache and Baker Street Irregular.
Food and drinks will be provided at the event. Feel free to show up a little bit early to hang out and talk.
Going forward our meetings will be hybrid. You can meet us in-person or attend online
Join Zoom Meeting
[https://us02web.zoom.us/j/87836564953?pwd=4Mi57ElZkDIFlb1fnlNwOJ0NiOK4tP.1](https://us02web.zoom.us/j/87836564953?pwd=4Mi57ElZkDIFlb1fnlNwOJ0NiOK4tP.1)
Meeting ID: 878 3656 4953
Passcode: 760812
One tap mobile
+19292056099,,87836564953#,,,,\*760812# US (New York)
+13017158592,,87836564953#,,,,\*760812# US (Washington DC)
The formal presentation will start at noon
Fun Friday: IS THIS THING ON at the Drexel Theatre!
Join us for a top-reviewed comedy-drama and the latest from director Bradley Cooper, IS THIS THING ON! The film is based on a true story follows a middle-aged man in a struggling marriage who seeks in purpose as a stand-up comedian. Here’s a description, trailer and plan for this event:
DESCRIPTION: As their marriage quietly unravels, a faces middle age and an impending divorce. He seeks new purpose in the New York comedy scene while trying to navigate co-parenting, identity, and whether or not love can take a new form. The film is directed by Bradley Cooper (A Star Is Born, Maestro) and stars Will Arnett, Laura Dern, Andra Day, Christine Ebersole, Sean Hayes and Bradley Cooper.
TRAILER: [https://www.youtube.com/watch?v=x4jx0Xgc_Pc](https://www.youtube.com/watch?v=x4jx0Xgc_Pc)
BUZZ: The film is earning an 89% positive rating on Rotten Tomatoes, which calls it “another terrific relationship study from Bradley Cooper and an ideal platform for Will Arnett's dramatic chops.” Following its world premiere at the NYFF, critics called it “a warm and hilarious comedy-drama” and “one of the most memorable and heartfelt films you’ll see all year!”
PLAN: Please purchase your ticket for the 7:15pm showing and meet inside the theater lobby between 6:45 and 7:00pm! Advance ticket purchase not required for this theater. When you arrive, let them know you’re with the Movie Group admission and concession discounts! And don’t miss the best part of the night, food and drinks at the nearby Rusty Bucket! Parking Tip: Park in the lot near Brassica, and you’ll be conveniently located between the theater and restaurant.
Look forward to seeing you there, Dan
DoJo (Informal Python Meeting)
**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)
Friday Happy hour for the over 50 crowd at Dublin’s Pint House
**Come anytime during 4-8. Stay as long as you want. No set time***
It’s a chance to meet people in our age group regardless if you’re in your fifties, sixties or seventies! Retired or still working.
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
BeComing Circle Initiates
http://photos2.meetupstatic.com/photos/event/2/a/9/6/600_348310902.jpeg
Instructor - Crow, HPS
Class fee is $30 at the door or approved exchange
RSVP with Advance pay of $25 (discounted) by PayPal on the web or by contacting Enchanted Elements (614) 437-2642.
Reservations made directly to Enchanted Elements will be added to the class list manually not online.
Private Instruction ~ Closed to the Public ~ Initiated Members Only
Please come prepared for ritual.
Blessings ~ Crow
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.
Type Theory Events Near You
Connect with your local Type Theory community
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/
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
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!
Oscar Watch International: NO OTHER CHOICE at the Gateway Film Center!
Join us as we get together to see the winner of the Best International Film at TIFF and a triple Golden Globe nominee: NO OTHER CHOICE! This top-reviewed dark comedy satirical thriller follows a man devises a unique plan to secure a new job: eliminate his competition. Here’s a description, trailer and plan for this event:
DESCRIPTION: The film follows a desperate paper industry expert who decides to kill off his competition to be assured of the job he seeks to maintain his way of life. The film is co-written / produced / directed by Park Chan-wook and is based on The Ax by Donald Westlake. It stars Lee Byung-hun, Son Ye-jin, Park Hee-soon, Lee Sung-min, Yeom Hye-ran, and Cha Seung-won.
TRAILER: https://www.youtube.com/watch?v=gcz-RXMCyco
BUZZ & ACCLAIM: The film premiered to rave reviews as the Venice International Film Festival and later at the Toronto Film Festival where it won the International People’s Choice Award! It just received 3 Golden Globe nominations for Best Picture (Musical or Comedy), Best Foreign Language Film and Best Actor for Lee Byung-hun. It was also selected as the South Korean entry (and likely nominee) for Best International Film at this year’s Academy Awards! It's been a stellar year for International films! We've already seen superb entries SENTIMENTAL VALUE, IT WAS JUST AN ACCIDENT and THE SECRET AGENT! My spidey senses tell me those three and this Korean entry could be 4 of our 5 Best International Films at this year's Oscars!
PARKING: Close, convenient parking is available in the nearby garage (located between 9th and 11th, just off High St). Bring your ticket with you and have it validated at the theater and for $2, you’re covered for the night!
PLAN: Details for the MOVIE portion of this event have been confirmed! Please purchase your ticket for the 2pm 4K showing and meet in the upstairs lobby area between 1:35 and 1:45pm! Tickets $11.25 via the GFC website and includes online ticketing fee. Advance purchase is advised. Once you have yours please list your seat number in the Comments section of this event. We’ll plan for dinner immediately following someplace nearby. The DINNER portion will be confirmed/announced in the next few days.
Look forward to seeing you there, Dan
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!
Columbus PHP: Monthly Meetup
Our monthly PHP meetup.
A virtual shindig courtesy of Zoom. Check back here for the details around 6:15 pm




























