Past Events (417)

April 15Thursday

April 14Wednesday

April 10Saturday

April 3Saturday

March 27Saturday

March 25Thursday

March 24Wednesday

March 23Tuesday

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

Podcast: How to Build Effective LLMs When Both Basic Infrastructure and Model Training Data Are Lacking

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 Abbott

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

© 2025   Created by Michael Levin.   Powered by

Badges  |  Report an Issue  |  Terms of Service