Juan de Villeros

Encontrar la verdad, sin importar quién la tenga; desenmascarar la falsedad, sin importar quién la difunda.

haven't met a single person that uses opencode

@llmdevguy I've had mixed results with MiniMax 2.7, as it tends to botch long directory names. It's a problem when it comes to CI/CD operations.

🇨🇳After testing Chinese models over the last few weeks, my coding ranking currently looks like this: 1. Kimi K2.6 2. GLM-5.1 3. MiMo V2.5 Pro 4. MiniMax 2.7 5. DeepSeek V4 Pro 👉But each of them has its own superpowers. Frontend/Design: K2.6 Backend: K2.6 / GLM-5.1 Code review: MiMo All-rounder: M2.7 Reasoning: DeepSeek Now I'm waiting for MiniMax 3.0, which I hope will take the number 1 spot!

The cost of inaction is usually much higher than the cost of making a wrong choice.

@m3mbrillo_ Windows user detected.

Usar MacOS está bien. Usar Linux está bien. Usar Windows está bien. Cualquier SO está bien mientras te haga ir más rápido en tu workflow de trabajo y vaya con tus necesidades.

@mcuban set temperature=0 Problem fixed.

I’m coming to the conclusion that the biggest challenge for Enterprise AI, and AI in general , as of now, is that it’s still impossible to make sure that everyone gets the same answer to the same question, every time. Which is a great response to the doomers. AI doesn’t know the consequences of its output. Judgement and the ability to challenge AI output is becoming increasingly necessary, and valuable. Which makes domain knowledge more valuable by the second. Am I wrong ?

@anibal Tienes que poner ahí también a MiMo v2.5 pro

Cuál es su modelo chino favorito? Para que lo probemos hoy desde cero echando código. En principio tenemos en el radar GLM-5.1 de Z.ai, Kimi K2.6 de Moonshot AI, Qwen3.6 Plus, MiniMax M2.7 y DeepSeek V4 Pro. Vamos a ver qué es lo que es!

@mjovanovictech I exchanged Sonnet 4.6 for MiMo v2.5 pro and never looked back.

I burned through ~33% of my credits in 2 days... Yeah, this isn't gonna be sustainable. That or the cost of using AI for coding will rise significantly. Currently testing out some "cheaper" models to see how they compare versus Opus.

Technical debt accrues fast. Quality is evident in application architecture made by seniors. For coding, AI agents are typewriting helpers, they shouldn't replace creativity.

Brave tiene tesoros escondidos.

@gnukeith I'm thrilled with MiMo v2.5-Pro

Best Chinese model right now? I'm using Kimi K2.6 myself

I'm on Xiaomi MiMo Open Platform — running Xiaomi's flagship MiMo V2.5 and the rest of the lineup. Sign up with my code and you'll instantly get $2 in API credits. Code: 4E2TH7 · platform.xiaomimimo.com/?ref=4E2TH7 (After signup, enter the code at the bottom-left of the console. Credits valid 40 days.)

@_LuoFuli Wonderful run, absolutely marvelous model. My new favourite! Thank you very much to the MiMo team!

Just dropped two open-source models: MiMo-V2.5-Pro (Code Agent, 1T total) and MiMo-V2.5 (Multimodal Agent, 310B total). Oh and one more thing — we're giving devs & creators 100T tokens on us. Go build something cool 🛠️ 🎁 100T Free Token Grant for Builders 100t.xiaomimimo.com

This is her vaginal microbiome report. 100/100 score. Top 1% of all vaginas. Her sample is dominated by the single most protective bacterial species a vagina can host (Lactobacillus crispatus). Only about 25-30% of reproductive age women globally are L. crispatus-dominant, and “dominant” usually means above 50%. Kate is at 98.7%. The lab found nothing bad to report. (no gardnerella, Candida, STIs, opportunistic pathogens, aerobic vaginitis markers, etc.) This is linked to lower risk of BV, UTIs, yeast infections, HPV persistence, HSV-2 and HIV acquisition, preterm birth, and improved IVF outcomes. A vaginal microbiome is downstream of everything: sleep, glucose control, stress, gut health, sexual health, immune function, what you eat, and what you put in it.

Just gave Kate oral sex. Goodnight everyone.

@TheGingerBill Years of old habits make me want to change that to af_repren()

I'm seeing people complaining about the naming of this procedure but I honestly don't see what is wrong with it. It says what it does.

@BenjDicken Elegante pero me quedo con Kotlin:

Zig is so cool and comptime is blowing my mind. Love how elegantly this wraps up a bunch of disjoint features of a language like C++. The "what language I'm learning next" debate might be settled.

Este uso del Machine Learning no lo vi venir.

@jun_song @XiaomiMiMo Same here. I've been using it all day, spent 30% credits already. Hermes and Opencode work flawlessly with MiMo v2.5 pro.

방금 @XiaomiMiMo 의 무료 100T 토큰제공에 선정되었습니다. 새로운 모델을 마음껏 테스트해볼 수 있다니 정말 좋네요. 여러분도 신청해보세요. 🔗⬇️

Juan, range ta guillotine version Wish et retourne bosser tes cours d'économie que tu as manifestement séchés à l'ENS. Parce que le monde dans lequel ta posture marchait vient de mourir hier. Laisse-moi t'expliquer pourquoi. La loi de Brandolini est morte. Elle ne le sait pas encore. Pour ceux qui ne connaissent pas : la loi de Brandolini, formulée en 2013, énonçait que "la quantité d'énergie nécessaire pour réfuter une connerie est d'un ordre de grandeur supérieure à celle nécessaire pour la produire". Pendant 40 ans, c'est cette asymétrie qui a permis aux théories fausses, idéologiques, séduisantes, de dominer le débat public. Marx, Bourdieu, Piketty, Foucault, toute l'école de Francfort. Produire une thèse fausse mais bien tournée prend trois pages. La démonter sérieusement en prend trois cents. Donc personne ne le faisait, et la fausseté gagnait par épuisement de l'adversaire. Les libéraux ont perdu la bataille culturelle pendant 50 ans à cause de cette asymétrie. Pas parce qu'ils avaient tort. Parce qu'ils n'avaient pas le temps. Pendant qu'un Bourdieu écrivait La Distinction, il aurait fallu cinq économistes et dix mille heures pour répondre point par point. Aucun ne l'a fait. Pendant qu'un Piketty publiait Le Capital au XXIe siècle, il aurait fallu un livre entier rien que pour démonter ses biais méthodologiques. Quelques universitaires l'ont tenté, personne ne les a lus. L'IA vient de tuer cette asymétrie. Pour de bon. Aujourd'hui, n'importe quel individu, équipé d'un modèle de langage moderne, peut en quinze minutes produire une réfutation point par point d'une théorie qui aurait pris six mois à un universitaire isolé. La loi de Brandolini n'est pas seulement neutralisée. Elle est inversée. La connerie devient la chose la plus coûteuse à produire, parce qu'elle se fait démonter en temps réel devant un million de spectateurs. C'est en train de se passer sous nos yeux et la plupart des gens ne l'ont pas encore compris. Le théoricien qui pose une thèse non connectée au réel se faisait, hier, applaudir poliment dans une salle de Sciences Po. Aujourd'hui, sa thèse atterrit sur X, croise dix réfutations factuelles, sourcées, claires, écrites en quelques heures par des gens qui n'ont pas son titre mais qui ont la donnée et la rigueur. Et le verdict tombe en 24 heures devant 500 000 personnes. Le diplôme ne protège plus. Le titre ne protège plus. La rhétorique ne protège plus. Seule la connexion au réel protège. Ça change tout. Les conséquences sont immenses et elles arrivent vite. Le théoricien hors-sol, espèce dominante du débat public français pendant un demi-siècle, est en voie d'extinction. Pas parce qu'on l'a interdit. Parce qu'il n'a plus de monopole sur la production de discours autorisé. N'importe qui, équipé d'un LLM et d'une volonté de chercher, peut le contredire avec autant de force argumentative que lui, plus la donnée empirique en bonus. Le virtue signaling meurt aussi. Pendant 20 ans, signaler ses bonnes intentions était une stratégie sociale gagnante : dire les bonnes choses, citer les bons auteurs, afficher les bons drapeaux. Personne n'avait l'énergie de vérifier la cohérence entre les positions affichées et leurs conséquences réelles. Maintenant, l'IA peut produire en cinq minutes une analyse exhaustive des contradictions internes d'un discours, des conséquences empiriques de ses recommandations dans les pays qui les ont appliquées, des intérêts personnels de celui qui les porte. Le signaling devient transparent. L'hypocrisie meurt. Tous ceux qui prêchent une morale dans laquelle ils ne vivent pas vont être démasqués. Le marxiste qui possède trois appartements à Paris. L'écologiste qui prend l'avion 40 fois par an. Le pourfendeur des inégalités qui a ses enfants dans le privé. Tout cela était caché derrière l'asymétrie de Brandolini. Personne n'avait le temps d'enquêter sur chaque cas. L'IA enquête en temps réel. La lâcheté intellectuelle meurt. Pendant des décennies, les universitaires qui voyaient les failles d'un raisonnement dominant restaient silencieux par calcul de carrière. Réfuter Bourdieu en France, c'était se condamner à rester maître de conférences à perpétuité. Aujourd'hui, n'importe qui peut publier la réfutation, et si elle est solide, elle se diffuse. La lâcheté n'est plus protégée par le coût de l'audace. Les victimes collatérales seront nombreuses. Beaucoup de gens qui ont construit leur identité, leur carrière, leur statut social sur des théories séduisantes mais fausses vont voir leur capital symbolique s'effondrer en quelques années. C'est brutal. Mais c'est juste, parce que ce capital symbolique a été accumulé en exploitant l'asymétrie de Brandolini, c'est-à-dire au détriment de la vérité. Je n'ai jamais été aussi bullish sur le monde qui arrive. Pour la première fois depuis Gutenberg, on a un saut de qualité dans la capacité humaine à séparer le vrai du faux dans le débat public. Pas parce que l'IA dit toujours la vérité (elle se trompe encore parfois), mais parce qu'elle réduit à zéro le coût marginal de la réfutation. Et dans un débat public où réfuter ne coûte plus rien, ce sont les théories vraies qui gagnent. Toujours. Mécaniquement. Donc Juan, et tous ceux qui partagent ton logiciel : la posture du sage qui méprise sans répondre ne marche plus. Le "lisez" condescendant ne marche plus. Le "tu n'es qu'un perroquet d'IA" ne marche plus. Tout ça, c'étaient des stratégies d'évitement qui ne tenaient que parce que personne n'avait l'énergie de te coincer. Maintenant tout le monde a cette énergie, à coût zéro, en parallèle, en permanence. Bienvenue dans le monde où la rigueur intellectuelle redevient le seul actif qui compte. Le monde est brillant. Il est en train de devenir radicalement plus juste. Et ceux qui s'accrochent aux anciennes asymétries vont se faire balayer. Je l'attendais depuis 15 ans. Il est là.

Xiaomi MiMo-V2.5 is now officially open-sourced！ MIT License, supporting commercial deployment, continued training, and fine-tuning - no additional authorization required. Two models, both supporting a 1M-token context window : • MiMo-V2.5-Pro: built for complex agent and coding tasks, ranking No.1 among open-source models on GDPVal-AA and ClawEval • MiMo-V2.5: a native omni-modal model with strong agent capabilities A model's value isn't measured by rankings alone — it's measured by the problems it solves. Let's build with MiMo now! 🤗 Weights: huggingface.co/collections/Xi… 📄 Blog: #blog" target="_blank" rel="nofollow noopener">mimo.xiaomi.com/index#blog

@_LuoFuli You're invited to the Xiaomi MiMo Orbit: 100T Token Grant for Builders — 100T credits, open worldwide for a limited time. 100t.xiaomimimo.com