Submissions from mistral.ai

		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		388 points by Poudlardo 8 hours ago \| past \| 81 comments
		Mistral Small 4 (mistral.ai)
		55 points by pember 8 hours ago \| past \| 4 comments
		Mistral AI partners with Nvidia to accelerate open frontier models (mistral.ai)
		4 points by fidotron 8 hours ago \| past \| discuss
		Mistral.ai Leanstral: open-source model designed for engineering (mistral.ai)
		4 points by james2doyle 11 hours ago \| past \| 3 comments
		Rails Testing on Autopilot: Building an Agent That Writes What Developers Won't (mistral.ai)
		3 points by pember 5 days ago \| past \| discuss
		Mistral Vibe (mistral.ai)
		3 points by tosh 28 days ago \| past
		Mistral AI Worldwide Hackathon 2026 (mistral.ai)
		2 points by pretext 34 days ago \| past
		Voxtral Transcribe 2 (mistral.ai)
		1012 points by meetpateltech 40 days ago \| past \| 242 comments
		Terminally online Mistral Vibe 2.0 (mistral.ai)
		4 points by lis 46 days ago \| past \| 1 comment
		Mistral Vibe 2.0 (mistral.ai)
		5 points by pretext 48 days ago \| past
		Mistral Launches Vibe 2.0 (mistral.ai)
		19 points by pember 48 days ago \| past \| 3 comments
		Heaps do lie: debugging a memory leak in vLLM (mistral.ai)
		7 points by pember 54 days ago \| past \| 1 comment
		Mistral OCR 3 (mistral.ai)
		694 points by pember 88 days ago \| past \| 130 comments
		Mistral Small Creative (mistral.ai)
		5 points by cmoriam 89 days ago \| past \| 4 comments
		Mistral Vibe (mistral.ai)
		1 point by openplatypus 3 months ago \| past
		Mistral releases Devstral2 and Mistral Vibe CLI (mistral.ai)
		745 points by pember 3 months ago \| past \| 349 comments
		Mistral 3 family of models released (mistral.ai)
		826 points by pember 3 months ago \| past \| 236 comments
		Mistral AI Studio (mistral.ai)
		7 points by meetpateltech 4 months ago \| past
		[dupe] Mistral AI raises 1.7B€ (mistral.ai)
		132 points by kgwgk 6 months ago \| past \| 3 comments
		Mistral raises 1.7B€, partners with ASML (mistral.ai)
		802 points by TechTechTech 6 months ago \| past \| 424 comments
		Mistral: Configuring a Custom Connector (mistral.ai)
		2 points by tosh 6 months ago \| past
		Le Chat: Custom MCP Connectors, Memories (mistral.ai)
		398 points by Anon84 6 months ago \| past \| 165 comments
		Mistral adds MCP connectors and memories to Le Chat (mistral.ai)
		9 points by meetpateltech 6 months ago \| past \| 1 comment
		Mistral: Fine-Tuning on Satellite Imagery (mistral.ai)
		1 point by pember 7 months ago \| past
		Codestral 25.08 and the Mistral Coding Stack (mistral.ai)
		1 point by diwank 7 months ago \| past
		Codestral 25.08 (mistral.ai)
		19 points by tosh 7 months ago \| past \| 12 comments
		Codestral 25.08 and the Complete Mistral Coding Stack for Enterprise (mistral.ai)
		3 points by meetpateltech 7 months ago \| past
		Mistral AI submits lifecycle analysis for one of their model (mistral.ai)
		2 points by phtrivier 7 months ago \| past \| 2 comments
		Mistral reports on the environmental impact of LLMs (mistral.ai)
		69 points by Kydlaw 7 months ago \| past \| 57 comments
		Mistral Releases Deep Research, Voice, Projects in Le Chat (mistral.ai)
		664 points by pember 8 months ago \| past \| 147 comments
		More