Lean is a functional programming language with a highly expressive type system. It can be used to produce performant programs that are guaranteed to meet their specifications, which proves that a large class of bugs cannot exist in your program. It can also be used to interactively prove theorems in mathematics. This meetup is for enthusiasts to join together to learn, code, and share their experiences with Lean.

The Charleston RiverDogs are excited to host Charleston's Technology Community at the Joe! Enjoy a fun night of baseball with friends, family, and those in your local tech community. Get tickets HERE. 

ChatGPT won't be replacing any software developers any time soon. It's not always correct, and it doesn't do a great job at understanding larger codebases. So should you be using it to help you write code? Absolutely! With the right guidance from a developer, ChatGPT can eliminate large amounts of time in creating boilerplate code, refactoring, adding new functionality and working across different languages. Know how to write some code in Java but not Python? Want to quickly add a unit test to some new functionality? Want to spin up a new API in Go but don't know where to start? All of these are great use cases, and if you can learn to use GPT effectively in your coding process you can move much faster and solve larger and more complex problems every day. Whether you are a seasoned coder or just starting out, this class should leave you with new tricks and faster process to build the things you're excited to build.

The "Introduction to ChatGPT" class offers an insightful journey into the capabilities, applications, and underlying principles of ChatGPT, a cutting-edge large language model (LLM) developed by OpenAI. This course provides participants with a foundational understanding of how ChatGPT works and equips them with practical knowledge to interact effectively with the model.

Join us for GCM's AI for SMBs Conference, a unique and practical event designed specifically for small and medium-sized businesses (SMBs). This AI bootcamp-style conference is the only one of its kind in the country, offering hands-on training and expert guidance to help you learn how to harness the power of AI to save time, boost efficiency, and grow revenue. Learn more and register HERE.

Interested in learning how to make money in tech stocks? Technology stocks comprise 43% of the weight of the S&P 500. 8 of America's 10 largest companies by market cap are tech firms.

There is a saying in business - plan for the best but prepare for the worst. Failing to properly plan for business growth can could be very expensive to address later. This class taught by a vetted legal professional is designed to help entrepreneurs avoid the legal pitfalls that so many start-ups and growing businesses encounter.

The Secure Carolinas Conference hosted by CyberSC will bring together experts to provide timely content and address a variety of cybersecurity issues impacting both, North Carolina & South Carolina. The two event is scheduled to take place in-person at the R2i2 Conference Center in Columbia, South Carolina.

Raising capital? Passionate about emerging technology? Interested in supporting startups? Looking for startup networking opportunities? Venture Atlanta is the place to be for entrepreneurs, founders, investors, VCs, students, and vendors. Learn more and register HERE.

ChatGPT is ever evolving. The ChatGPT Lunch & Learn session will introduce the latest new features that have developed and explore how these developments can enhance your professional and personal interactions. The second half is dedicated to addressing your questions, providing a hands-on opportunity to apply ChatGPT to your unique needs. Lunch/drink is provided.