Alex Drl (●ᴗ●)

@mr_mayank Well their is no US troops in France since 1967 so no problem for us

BREAKING : Trump is planning to ‘Punish’ NATO countries for refusing to support against 🇮🇷 Iran 🤣 Trump may soon move out US troops from NATO countries like 🇪🇸 Spain, 🇫🇷 France, 🇬🇧 UK, who didn’t give in to his bullshít Crybaby Trump will isolate the US from the entire Europe. What a loser 😭

@powl_d C’est exactement ce que je suis entrain de faire et c’est super intéressant les scénarios de test que ma fine équipe d’agents produit.

On parle beaucoup de dev avec l’IA… Mais très peu de gens pensent à faire leurs tests E2E, QA et audits UX avec l’IA. Créez des personae, faites-les tester votre app comme de vrais utilisateurs, et récupérez un rapport complet sur tout ce qui casse ou frictionne. C’est probablement l’un des usages les plus sous-côtés de l’IA aujourd’hui.

@TheBTCGame @hasantoxr Fair point @TheBTCGame

I think “self-hosted” is the big benefit here. Uploading all your financial data to a third party possibly means your data is being harvested in some way, and there’s risk that your data will be hacked, as so many huge honeypots of important data are nowadays. Not that I immediately trust some random self-hosted software, but it’s a nice idea.

I've been looking for something like this for two years. TaxHacker is a self-hosted AI accounting app that reads receipts, invoices, and PDFs extracts every field automatically and saves everything into a structured database you actually own. Upload anything. Store receipts, restaurant bills, invoices, bank statements, handwritten notes. Any language. Any currency. The AI handles it. It auto-converts to your base currency using historical exchange rates from the actual transaction date. Supports 170+ currencies and 14 cryptocurrencies. Every prompt the AI uses is editable. Every field is customizable. Your data never leaves your server. github.com/vas3k/TaxHacker Two commands to self-host. MIT License. 100% Open Source.

Allez, 20 likes pour Mistral, faites-moi péter ça. C'est quoi Leanstral? On décortique ça. Lean 4 est à la fois un langage de programmation fonctionnel et un assistant de preuve formelle. Tu écris du code, tu écris la spécification mathématique de ce qu'il doit faire, et le compilateur vérifie mécaniquement que le code respecte la spec. -> Ça passe ou ça casse. Pas de zone grise. Le langage est utilisé pour des objets mathématiques complexes comme pour des spécifications logicielles. C'est puissant, mais la courbe d'apprentissage est raide et le travail de preuve est lent, même pour des experts. Ce que fait Leanstral ⬇️ Les agents de code, le "vibe coding" classiques génèrent du code qui a l'air correct. Tu testes, tu review, tu croises les doigts. Leanstral travaille directement avec le compilateur Lean via le protocole MCP. Il ne devine pas les preuves : il les construit dans une boucle itérative avec le vérificateur. Il propose, le compilateur accepte ou refuse, il corrige, et il converge. Le résultat final est vérifié mécaniquement. Ce n'est pas un bouton magique "preuve automatique", mais ça réduit significativement le travail manuel. Architecture et performances ⬇️ Le modèle est un MoE (Mixture of Experts) de 119B paramètres au total, avec seulement 6 à 6,5B actifs par token. Ça le rend bien plus économique à faire tourner que des modèles généralistes plus gros. Et possible en local.. Mistral a créé un nouveau benchmark, FLTEval, basé sur le projet FLT (formalisation du dernier théorème de Fermat) d'Imperial College London. Mistral a testé Leanstral sur des preuves tirées d'un vrai projet de recherche (la formalisation du dernier théorème de Fermat, Imperial College London). Le principe : on donne des preuves à compléter, on compte combien l'agent en réussit. -> Résultat : Leanstral en résout plus que Claude Sonnet 4.6 , pour 15 fois moins cher (36$ contre 549$ la session). Claude Opus 4.6 reste devant en qualité, mais à 1 650$, c'est 45 fois le prix. Face aux modèles open-source 5 à 10 fois plus gros, Leanstral les bat du premier coup. Nuance importante : c'est Mistral qui a créé ce benchmark. Le projet de recherche derrière est sérieux, mais le choix de quoi tester et comment, c'est eux qui l'ont fait Comment l'utiliser ⬇️ Trois options : Mistral Vibe : taper /leanstall, zéro config. L'agent est prêt. API : endpoint labs-leanstral-2603, gratuit au lancement (mars 2026) pour une durée limitée à vérifier si c'est toujours le cas (Mistral collecte des retours). Self-hosting : poids disponibles sous licence Apache 2.0 sur Hugging Face (mistralai/Leanstral-2603), déployable avec vLLM. Une version GGUF existe aussi (jackcloudman/Leanstral-2603-GGUF) : en Q4, ça pèse ~72 Go ça tourne sur un Mac avec assez de mémoire unifiée, même si ce sera plus lent qu'en datacenter. Ce que ça ne fait pas ⬇️ Leanstral est conçu exclusivement pour Lean 4. Ce n'est pas un remplaçant de Copilot, Claude Code ou Cursor pour écrire du Python, du TypeScript ou du SQL. C'est un outil spécialisé pour la vérification formelle. Il enlève une bonne partie de la friction dans le workflow de preuve : les parties routinières et répétitives sont accélérées, ce qui permet aux experts de se concentrer sur les aspects créatifs. Pourquoi c'est (vraiment) intéressant ⬇️ Le vrai apport est pragmatique : quand le process de vérification est mécanisé, le besoin de review humaine sur les parties critiques diminue. Moins de temps à chasser des bugs subtils, moins d'experts rares mobilisés. Mistral se positionne sur un créneau spécifique (la confiance dans le code généré) plutôt que sur le coding généraliste. C'est un marché de niche, mais défendable : vérification de smart contracts, compilateurs certifiés, librairies cryptographiques, systèmes critiques. Ce n'est pas la fin du review humain. Mais c'est un pas concret vers des garanties formelles accessibles au-delà d'une poignée de spécialistes à prix coutant vs la concurrence. Un autre outil pour l'arsenal local.

@powl_d J’ai l’antenne Starlink toujours dispo dans le coffre de ma tesla, maison de loc, maison de famille perdu dans la pampa en zone blanche… tu captes et tu peux bosser !

Bon c’est confirmé : j’aurai bien un Starlink MINI avec un forfait résidentiel (10€/mois au début puis 29,90€/mois). Et honnêtement je suis très content de ne pas avoir pris l’antenne géante je vous explique pourquoi 👇 Le failover 5G c’est cool. Le failover Starlink c’est déjà beaucoup mieux. Mais comme dirait Juliette : surtout… c’est complètement overkill 😅 Dans mon cas l’idée n’est pas seulement d’avoir un backup internet. Oui, ça va servir de failover propre dans mon infra Ubiquiti, connecté directement à mon réseau via un petit montage PoE / 2.5G. Donc si la fibre tombe : Starlink prend le relais automatiquement. Mais en réalité, le vrai avantage du MINI est ailleurs. Je me déplace souvent chez ma mère, et j’adore aussi prendre des Airbnb perdus au milieu de nulle part en France. Et dans ces endroits… la connexion est souvent catastrophique. Avec l’offre résidentielle, on peut changer l’adresse du service quasiment à volonté (si la zone est disponible, en non prioritaire). Et en général si j’ai besoin de Starlink… c’est justement que la zone est déserte. Du coup mon idée est simple : ➡️ En 5 minutes, je débranche l’antenne ➡️ Je la mets dans un sac à dos ➡️ Je pars avec Le Starlink Mini peut tourner avec un chargeur USB-C 60W+ ou même une batterie il a meme un routeur interne avec du wifi5, donc je peux littéralement avoir internet haut débit n’importe où. Pour l’intégration maison, je vais devoir tricker un peu avec un hairpin VLAN mais juliette va m'aider pour que tout fonctionne parfaitement avec mon réseau. Mais le but est d’avoir un setup ultra propre : > un seul câble RJ45 PoE > direct dans mon switch > failover automatique et antenne plug & play transportable Franchement je suis entrain de me transformer un nerd réseau. fun fact il y a qq jours j'utilisais un google wifi 5 et j'etais content ! Installation semaine prochaine quand j’aurai tout reçu. Là c’est semaine de travail intensif 😅 PS : J'ai un lien de parrainage Starlink si jamais vous voulez test

@powl_d J’ai tout migré sur ubiquiti l’an dernier, zéro regrets. Maintenant je suis en pleine tergiversations pour monter un véritable homelab pour de l’ia local…. Ça me chauffe de plus en plus surtout avec les nouvelles limitations de Claude

Bon on n’a pas encore finito… Vous connaissez les heures de conduite en auto-école ? Là c’est pareil mais en cours d’Ubiquiti supervisé. J’ai le clavier ⌨️… et à tout moment je peux Alt+F4 la prod. 😬

My weekly limits was reset this morning, as I use my max account only for personal project I was waiting for off peak hours to start working on my code. Surprise, I’m already at 3% weekly limits on my shut down Mac…

Hey @dotta do you have some tips on how to run agents in the most token efficient way? Couldn’t find anything about this in the paperclip documentation. Any tips? Looking for a token efficient way to run my zero employee company while I’m building it. And more importantly thanks for the tool you built, it’s great and I love it!

@constantout I just spin up my paperclip ceo and just like that hit the rate limit.

I feel like the whole Claude Clode limits drama is turning into a meme. I’m on $100/mo Max and have never hit limits in 2 prompts. How tf are people doing it?

@MistralAI how good is mistral vibe 2.0 compared to Claude code and opus ?

Sorry but you’re explanation on how to use Claude is just pure BS. Why offer features that you don’t recommend your users to use when some are set as default in Claude code? Your tips defeat the purpose of using Claude for agentic tasks… start fresh, don’t use opus on a pro plan, etc… feel like nothing is fixed and your team don’t know what’s happening. Better to acknowledge the issue than dissimulate it.

Digging into reports, most of the fastest burn came down to a few token-heavy patterns. Some tips: • Sonnet 4.6 is the better default on Pro. Opus burns roughly twice as fast. Switch at session start. • Lower the effort level or turn off extended thinking when you don't need deep reasoning. Switch at session start. • Start fresh instead of resuming large sessions that have been idle ~1h • Cap your context window, long sessions cost more CLAUDE_CODE_AUTO_COMPACT_WINDOW=200000 We're rolling out more efficiency improvements, make sure you're on the latest version. If a small session is still eating a huge chunk of your limit in a way that seems unreasonable, run /feedback and we'll investigate

Thank you to everyone who spent time sending us feedback and reports. We've investigated and we're sorry this has been a bad experience. Here's what we found:

@trq212 what’s going on with usage limit? Claude code is just purely not usable anymore. 5h/session is ok. 5min is not!! Hope @AnthropicAI will issue massive refund or offer free credits. Submitted ticket but no feedbacks yet, no proper solution

Same same, I have a dedicated max plan that I use for a paperclip project. I started paperclip this morning knowing that yesterday I topped up extra credit to my account, ceo agent woke up. End of session after 3 prompts. Just unusable and I am considering switching model to something else, that I can actually use.

Hey @bcherny @claudeai I'm on the $200/mo plan and blowing through usage instantly. Doesn't feel right. Is there any way to audit my account? Unfortunately I have experienced several bugs with the Claude product and I fear my plan configuration is not correct. Thanks

@powl_d C’est tellement le feu @Ubiquiti, c’est mon meilleur investissement de l’année dernière

J’ai reçu tous les cadeaux de Noël. Plus que deux nuits avant de pouvoir tout setup samedi… j’ai trop hâte. Dommage qu’il manque juste un détail : la connexion internet. #Free (la Freebox n’arrivera que la semaine prochaine 😅)

@rezoundous @AnthropicAI Added that to my Max account at 100€

@rezoundous I added 60$ for extra usage, did less than 20min session and it was gone. Felt like a robbery @AnthropicAI

Dear Anthropic, please fix the Claude Code usage limit bug asap. My $100 plan feels like a $20 plan for almost a week now.

@bcherny @stevekrouse clearly one of my fav feature ;)

@stevekrouse 🫶I came up with the initial list, then a bunch of others contributed words also. This list has gone through many iterations!

can someone at anthropic tell us who designed this / came up with these? it's very subtle and delightful and i want to give credit where it's due

@KNDS_France 🐟

KNDS annonce le lancement du #CAESAR chenillé. Plus d'informations sur : knds.com/fr/actualites/… #WeAreKNDS

Hello @trq212 did you fix the issue with Claude code? i have a Max account that I pay 100€/mo on which apparently I hit my weekly limits with less than 10 prompts yesterday. Today I added extra credit to move forward my limitation, paid $48. But still can't use claude code. here is my feedback id: 65572c1e-4301-413e-b061-1c6e03979850