infoq.com / .infoq-com / Page 7

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 ...

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 ...

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 ...

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.

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 JBang team has introduced JBang Jash, a Java library designed to simplify the execution of external processes and shell commands through a fluent and predictable API, aiming to addresses the common complexities and boilerplate developers face ...

Software development is shifting fast. Senior engineers need real-world insights on AI, platforms, and developer autonomy. InfoQ Dev Summit Boston (June 9-10) offers 2 days with over 27 sessions of curated, technical talks delivered by engineers ...

In this article, author Lakshmithejaswi Narasannagari discusses the sustainable innovations in AI/ML technologies, how to track carbon footprint in all stages of ML systems lifecycle and best practices for model development and deployment.

Temporal's open-source microservices orchestration platform leverages AWS to enhance durable execution, simplifying the development of resilient, fault-tolerant applications. By ensuring seamless recovery from system failures, Temporal helps ...

This report summarizes how the InfoQ Culture and Methods editorial team sees the ongoing and emergent trends in the culture and methods space.