Codetown ::: a software developer's community
Time: December 16, 2015 from 6pm to 8pm
Location: Swamphead Brewery
Street: 3650 SW 42nd Ave
City/Town: Gainesville, FL
Website or Map: http://www.gatorlug.org/node/…
Event Type: meeting
Organized By: Clinton Collins
Latest Activity: Dec 8, 2015
Come join us & talk about Linux & Open Source for the December social meeting at the Swamp Head brewery on SW Archer Road.
About GatorLUG
GatorLUG is a Linux User Group located in Gainesville, Florida. The purpose of the group is education, support and advocacy for open source, open data formats, and open communication standards.
We meet the third Wednesday of each month. Most meetings are held at a place where food and drinks are available. The meeting announcement will always list the physical location of the meeting. If we have to cancel or change a meeting time it will be announced in advance on this website and posted to LINUX-L@LISTS.UFL.EDU.
The meeting time will be 6pm unless we have announced a change. We'll do our best to keep the meeting time and place as consistent as possible. All regular monthly meetings will have an agenda posted to this website and announced on the LINUX-L list. You are welcome to come early, get a bite to eat and socialize before the presentation starts. Meetings will officially finish by 8pm - that's the goal anyway.
You can often find some of us hanging out on our official IRC channel: irc.freenode.net #gatorlug
Meetings are free and open to the public.
Codetown is a social network. It's got blogs, forums, groups, personal pages and more! You might think of Codetown as a funky camper van with lots of compartments for your stuff and a great multimedia system, too! Best of all, Codetown has room for all of your friends.
Created by Michael Levin Dec 18, 2008 at 6:56pm. Last updated by Michael Levin May 4, 2018.
Check out the Codetown Jobs group.
Olimpiu Pop discusses with Jade Abbott, CTO and co-founder of Lelapa AI, how basic infrastructure scarcities found on the African continent can ignite innovation and help push forward the AI space. Particularly when dealing with never-written languages, you need to be innovative to generate proper data and divide the problem into minor problems that can be solved with fewer intensive resources.
By Jade AbbottDeepSeek has released DeepSeek-Prover-V2 a new open-source large language model specifically designed for formal theorem proving in Lean 4. The model builds on a recursive theorem proving pipeline powered by the company's DeepSeek-V3 foundation model.
By Vinod GojeAlex Seaton, Staff Engineer at Man Group, presented “How to Build a Database Without a Server” at QCon London 2025. Seaton demonstrated how they migrated an older hedge fund trading system application using a cluster farm that was difficult to maintain to an application using a serverless database and Conflict-Free Replicated Data Types (CRDTs).
By Michael RedlichThe latest feature drop for Android Studio Meerkat brings a range of updates aimed at boosting developer productivity, including extended Gemini integration for crash analysis and unit testing, enhanced Jetpack Compose previews, better Kotlin Multiplatform (KMP) integration, and more.
By Sergio De SimoneHugging Face has acquired Pollen Robotics, a French startup that developed the humanoid robot Reachy 2. The acquisition aims to make robotics more accessible by open-sourcing the robot’s design and allowing developers to modify and improve its code.
By Daniel Dominguez
© 2025 Created by Michael Levin.
Powered by
RSVP for GatorLUG Social Meeting to add comments!
Join Codetown