Codetown ::: a software developer's community
Time: November 18, 2015 from 6pm to 8pm
Location: Mobiquity
City/Town: Gainesville
Website or Map: http://www.gatorlug.org/meeti…
Event Type: meeting
Organized By: Clint Collins
Latest Activity: Nov 18, 2015
Did you know there's a GatorLUG meeting tonight at Mobiquity? Info at http://www.gatorlug.org/meetings/2015/11. Since we don't usually have meetings during the holidays, this will be a great chance to a) get together and b) check out the coolest new software house in town. Be there!
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 Tonight at Mobiquity 6PM to add comments!
Join Codetown