Past Events (417)

June 22Tuesday

June 3Thursday

June 1Tuesday

May 27Thursday

May 12Wednesday

April 29Thursday

April 21Wednesday

  • Codeslinger Shootout

    April 21, 2010 from 6pm to 8pm – Virtually Cuban On April 21, 2010 you are invited to test your fast thinking and programming skills at the GatorLUG meeting. You could win the coveted title of "Fastest Codeslinger of 2010", a cool mug proclaimin Organized by GatorLUG - The Gainesville Linus Users Group via Clint Collins, organizer | Type: contest

April 17Saturday

April 16Friday

RSS

Popular Event Types

View All

May 2025
SMTWTFS
123
45678910
11121314151617
18192021222324
25262728293031
       
June 2025
SMTWTFS
1234567
891011121314
15161718192021
22232425262728
2930
       

Happy 10th year, JCertif!

Notes

Welcome to Codetown!

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.

When you create a profile for yourself you get a personal page automatically. That's where you can be creative and do your own thing. People who want to get to know you will click on your name or picture and…
Continue

Created by Michael Levin Dec 18, 2008 at 6:56pm. Last updated by Michael Levin May 4, 2018.

Looking for Jobs or Staff?

Check out the Codetown Jobs group.

 

Enjoy the site? Support Codetown with your donation.



InfoQ Reading List

DeepSeek Launches Prover-V2 Open-Source LLM for Formal Math Proofs

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 Goje

QCon London 2025: How to Build a Database Without a Server

Alex 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 Redlich

Android Studio Meerkat Update Enhances Gemini Integration and More

The 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 Simone

Hugging Face to Democratize Robotics with Open-Source Reachy 2 Robot

Hugging 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

Google Cloud Announces Rapid Storage for Millisecond-Latency Workloads

At 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

Badges  |  Report an Issue  |  Terms of Service