Codetown
Codetown ::: a software developer's community
OJUG ::: Reactive or Cloud Native Mobile (you choose!)
Event Details
Time: January 22, 2019 from 6pm to 8pm
Event Type: jug
Organized By: Michael Levin
Latest Activity: Dec 3, 2018
Guest Lists
Might attend (1)
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.
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.
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 GojeQCon 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 RedlichAndroid 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 SimoneHugging 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 DominguezGoogle 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
