Codetown
Codetown ::: a software developer's community
Michael Levin's Discussions (386)
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
Facebook Survey Reveals Growing Adoption of Typed Python for Improved Code Quality and Flexibility
Conducted among over 1,200 respondents, Facebook's 2025 Typed Python Survey highlights how and why Python developers have increasingly adopted the language's type hinting system. The survey also sheds light on what developers value most, as well as their biggest frustrations and wishes.
By Sergio De SimonePresentation: How to Build a Database Without a Server
Alex Seaton discusses the architecture of ArcticDB, a high-performance Python/C++ library that replaces traditional database servers with a thick-client model. He explains how to achieve atomicity on object storage through bottom-up writes and shares deep insights into conflict-free replicated data types (CRDTs). He also explores the pitfalls of clock drift and distributed locking.
By Alex SeatonMeta Applies Mutation Testing with LLM to Improve Compliance Coverage
Meta applies large language models to mutation testing through its Automated Compliance Hardening system, generating targeted mutants and tests to improve compliance coverage, reduce overhead, and detect privacy and safety risks. The approach supports scalable, LLM-driven test generation and continuous compliance across Meta’s platforms.
By Leela KumiliDeepSeek-V3.2 Outperforms GPT-5 on Reasoning Tasks
DeepSeek released DeepSeek-V3.2, a family of open-source reasoning and agentic AI models. The high compute version, DeepSeek-V3.2-Speciale, performs better than GPT-5 and comparably to Gemini-3.0-Pro on several reasoning benchmarks.
By Anthony AlfordSlack Enhances Chef Infrastructure to Improve Safety and Reduce Blast Radius in Deployments
Slack's engineering team has published an in-depth look at recent improvements to its Chef-based configuration management system, aimed at making deployments safer and more resilient without disrupting existing workflows.
By Craig Risi
© 2026 Created by Michael Levin.
Powered by
