Microsoft Launches MAI-Thinking-1 Reasoning Model in Azure Foundry Public Preview

·3 views

Microsoft has released MAI-Thinking-1, its first dedicated reasoning model, into public preview via Microsoft Azure Foundry. Unlike standard chat models, it was built from scratch using a Mixture-of-Experts architecture designed for multi-step planning, tool use, and extended context reasoning. The model is competitively priced at $2 per million input tokens and $8 per million output tokens, making it viable for production agent workloads. It benchmarks well on SWE-Bench Pro against higher-cost models in its class, and Microsoft confirms it was trained on clean data without distillation from third-party models. Developers using C# can integrate it through the Microsoft.Extensions.AI IChatClient interface, requiring only a configuration change to swap it in alongside existing Foundry models like GPT-4o.

Read the full story at DEV Community

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

PrivaMesh routes encrypted messages via Solana blockchain with no account needed

PrivaMesh is a messaging app that requires no phone number, email, or account registration, using cryptographic keys as the sole form of identity. Unlike conventional platforms, it operates without a central message server, instead transmitting encrypted messages through Solana blockchain transactions. The app employs end-to-end encryption alongside established protocols such as X3DH and the Double Ratchet algorithm to secure communications. It collects no analytics, serves no ads, and does not request access to a user's contact list. The project is positioned as a privacy-first alternative for users seeking self-custody and decentralized messaging.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

How One User Secures Home Windows PCs With Layered Passwords and Encryption

A home user has detailed their multi-layered cybersecurity approach for two Windows 11 computers shared with family. The setup uses four distinct password types — BIOS Admin, BIOS User, Windows User, and Windows Hello PIN — to control access at different stages of the boot and login process. Sensitive files containing financial and legal documents are protected using VeraCrypt, an open-source encryption tool that creates an AES-256 encrypted virtual disk volume. The user opted against Windows 11 Home's Device Encryption due to concerns that file backups to an external USB drive would be stored unencrypted. All devices on the home network, including Android and Apple phones and tablets, are kept up to date with the latest security patches.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Engineer Argues True Universality in Software Lies in Structural Mathematics

A software engineer contends that generality in software is time-bound and shifts with technological eras, citing the decline of Flash as an example. Rather than expanding use cases, the author proposes reframing the conditions of observation to reveal what remains constant. Drawing parallels with Buddhism's 2,500-year persistence and lessons from the Lehman collapse, the piece argues that enduring value lies in questions and structure, not surface-level solutions. The author introduces Architectural Analysis Theory (AAT), a framework using algebraic geometry to formalize universal software architecture principles. A recently proved result called the Atlas Theorem is presented as formal evidence that such universality can be rigorously established.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Five Kubernetes consulting models explained: how to pick the right one

A guide published on DEV Community by cloud-native consultancy Edixos breaks down five distinct delivery models that all market themselves under the term 'Kubernetes expertise.' The key differentiator, the guide argues, is not day rate or firm size but who actually writes the code on your cluster and whether that person was present during pre-sales. Large consultancies offer capacity and contractual coverage but rely on pyramid staffing, while managed service providers remove operational burden at the cost of incentive misalignment. Specialist boutiques offer deeper technical skill but lack the headcount for large-scale engagements, and independent contractors provide precise, immediate expertise with single-person risk. The guide recommends asking any prospective partner what happens contractually and technically if the client wants to take operations back in two years, as the answer reveals true incentive alignment.

0 comments Read more at DEV Community