Today we introduced Baichuan-M2, a medically-enhanced reasoning model, which surpasses all open-source models including gpt-oss-120b on the #HealthBench Benchmark. Try it here: https://
huggingface.co/baichuan-inc/B
aichuan-M2-32B
…
#AIHealth
OPEN SOURCE
-
Baichuan-M2: Medical Reasoning Model Surpasses Open-Source Competitors
By
–
-
Running Qwen Image Model on Mac with 60GB RAM
By
–
Ivan's qwen-image-mps Python script is excellent – if you have 60GB of RAM to spare (somehow my 64GB M2 just managed to run it) you can generate images using Qwen's Qwen-Image model running on a Mac – my notes here: https://
simonwillison.net/2025/Aug/11/qw
en-image-mps/
… -
LeanDojo Major Update: Lean 4 Code IDE for Verified Math
By
–
Major update of LeanDojo: Lean + LLM for verified math reasoning. https://t.co/yYKUrhx7UG
— Prof. Anima Anandkumar (@AnimaAnandkumar) 11 août 2025
Lean4Code v1.0.0 – A specialized integrated development environment built as a fork of VS Code, designed specifically for Lean theorem proving. The IDE features automatic Lean installation,… pic.twitter.com/PWJEVWMhafMajor update of LeanDojo: Lean + LLM for verified math reasoning.
https://
leandojo.org Lean4Code v1.0.0 – A specialized integrated development environment built as a fork of VS Code, designed specifically for Lean theorem proving. The IDE features automatic Lean installation, -
Rust vs Python: Programming Language Choice Dilemma
By
–
I don’t know. I don’t program in Rust, and the Python code is still running.
-
100+ Free Open Source AI Agents and RAG Tutorials
By
–
Stay tuned for more such interesting posts → @Saboo_Shubham_ I have created 100+ AI Agents and RAG tutorials, 100% free and opensource. P.S: Don't forget to star the repo to show your support
-
AI Agent Creates Website Clones from URLs
By
–
This AI Agent can literally create a website clone from just a URL.
— Shubham Saboo (@Saboo_Shubham_) 11 août 2025
Works with GPT-5, Claude and Qwen 3 Coder.
Lovable but 100% Opensource. pic.twitter.com/27mqRES7fsThis AI Agent can literally create a website clone from just a URL. Works with GPT-5, Claude and Qwen 3 Coder. Lovable but 100% Opensource.
-
JAX Performance Meets Keras 3 Developer Velocity
By
–
JAX = performance & scalability Keras 3 = high velocity development, compact code, best practices by default Both at the same time = pretty killer
-
Building Neo4j-Powered Applications with LLMs and AI Frameworks
By
–
New book from @PacktDataML >> "Building Neo4j-Powered Applications with LLMs: Create LLM-driven search and recommendations applications with Haystack, LangChain4j, and Spring AI" Available at http://
amzn.to/4l9lLKO -
100+ Free Open Source AI Agents RAG Tutorials
By
–
Stay tuned for more such interesting posts → @Saboo_Shubham_ I have created 100+ AI Agents and RAG tutorials, 100% free and opensource. P.S: Don't forget to star the repo to show your support