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.
DeepSeek 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 DominguezAt the recent Google Cloud Next 2025, the cloud provider announced Rapid Storage, a new Cloud Storage zonal bucket designed to deliver consistent single-digit millisecond data access for frequently accessed data and latency-sensitive applications. The new storage class provides under 1ms random read and write latency, 20x faster data access, and 6 TB/s of throughput.
By Renato Losio
© 2025 Created by Michael Levin.
Powered by
RSVP for GatorLUG Social Meeting to add comments!
Join Codetown