
Founder of @humancoders • Phoenix, Rails and WebGL developer • Art : @MatthieuArt
Montpellier, France
Joined May 2009
- Tweets2.3K
- Following691
- Followers2.1K
- Likes5.7K
We’re opening a research preview of Claude Duet, a new app where Claude works as a proactive agent.
It comes to you with what needs your attention, completes tasks you ask of it, keeps working when you step away, and checks with you before it acts on your behalf.
Claude Security now keeps up with your code as it changes.
Connect your repositories once. Claude runs a deep first scan, then re-scans as changes land, so findings stay close to the current state of your code.
In public beta on Claude Enterprise.
Aujourd'hui je suis à la conf Dev With AI à Paris.
Au programme 16 talks sur le dev avec l'IA : agents, harness engineering, legacy, facture de tokens…
Si vous y êtes aussi, faites-moi signe, ce sera un plaisir d'échanger ! 👋
devw.ai/conference
Matthieu Segret retweeted
Meet Mistral Large 4, aka Le Chonk.
• 1T parameters, natively multimodal. 49B active.
It is the best open weights model from US or Europe on aggregated benchmarks.
• State-of-the-art on critical workloads, including cyber defense, manufacturing and finance and it surpasses closed frontier models on visual grounding.
• Forged in Europe end-to-end and is deployable from Europe via our own Mistral Cloud infrastructure.
• Available to all via API today. Working with cybersecurity partners privately.
Open weights release end of October.
🤖 Made with AI
Matthieu Segret retweeted
Demandez à une IA de faire de la 3D dans le navigateur : elle vous sortira du @threejs.
15 millions de téléchargements par semaine, et un projet open source qui doit encaisser ça.
On en a parlé avec trois personnes aux premières loges 👇
Matthieu Segret retweeted
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help.
Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written.
Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized.
We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before.
You can read about the process on our Science Blog: anthropic.com/research/forma…
And see the complete proof on GitHub: github.com/anthropics/fermat…
Matthieu Segret retweeted
Cloudflare Wallets introduit des wallets programmables pour agents IA : un wallet principal côté humain, des virtual wallets pour agents avec plafonds et liste d'autorisations, et des paiements via le protocole x402 intégrés aux requêtes HTTP. ⬇️
Matthieu Segret retweeted
🛡️Introducing Shieldstral, Mistral’s 3B open-weights model for content safety that can be deployed on-device 🧵 mistral.ai/news/shieldstral
Matthieu Segret retweeted
Avec @MatthieuSegret, on a fait ce choix dès le premier jour de @HumanCoders : privilégier notre mode de vie plutôt qu'une croissance sans limite, et construire une entreprise qui n'a pas besoin de nous en permanence.
New in Claude Cowork: teach Claude a skill.
Record your screen while you do a task, talk through it as you go, and Claude turns it into a skill it can run again. Find it under Record a skill in the + menu of the Claude desktop app.
Available on Pro, Max, and Team plans.
Matthieu Segret retweeted
As engineering, product, design, DS, etc. melt into a new kind of role, I was reflecting on what roles might look like in the future. For example, when I look at the Claude Code team I see what I think is five archetypes:
1. Prototyper: comes up with brand new ideas; churns out many ideas, most of which don't ship
2. Builder: quickly turns a prototype/idea into production-grade product/infra
3. Sweeper: cleans up the UI, simplifies the code and system, unships, optimizes performance
4. Grower: takes a product that has been built and iterates on it to improve Product-Market Fit
5. Maintainer: owns a mature system to make it secure, reliable, fast, and efficient as it scales
Many people span across 2 roles, and sometimes 3 roles. I also notice that these roles are not really tied to job function -- eg. across Anthropic, some designers match category 1, some 2, some 3; same for engineers, PM, DS.
A healthy team needs a mix of these, depending on the product:
- A product that is new and pre-PMF needs people that are strong at 1+2+3
- A product that is growing and has found PMF needs 2+3+4 and some 5
- A product that has strong PMF needs 3+4+5 and some 2
Maybe product roles of the future will look more like this, and less like the domain-specific roles of today?
Matthieu Segret retweeted
Faire de l'IA en local, ce n'est pas gratuit : on paie en matériel et en électricité plutôt qu'en tokens. Un guide complet pour choisir son setup en 2026 selon son budget. ⬇️
Matthieu Segret retweeted
When Claude is working in a channel with four people, whose credentials does it use?
The answer: its own. When tagging Claude, Claude gets provisioned like any other teammate, with its own credentials.
We call this access model "agent identity". Here's how it works: 🧵
Matthieu Segret retweeted
C'est une tuerie à un point.
Il m'a créé l'identité de marque de Numerama+ / Toujours+ avec un drag n drop de 3 logos, 3 fanions, 3 polices et 3 couleurs.
Et maintenant je peux décliner ça en code, message, présentation, dans les skills...
Matthieu Segret retweeted
☁️ Notre catalogue Cloud s’étoffe avec de nouvelles formations AWS.
Sur notre site, tu peux déjà trouver :
- AWS Certified Cloud Practitioner
- AWS Serverless & Data Pipelines
- Developing on AWS
- Architecting on AWS
- Cloud Practitioner on AWS, mais pas que...👇🧵
Matthieu Segret retweeted
Une explication bien faite du fonctionnement interne des LLMs : tokens, embeddings, positional encoding, attention, feed-forward…
0xkato.xyz/how-llms-actually…
Matthieu Segret retweeted
Bottega, l'outil d'orchestration d'agents de code de Vincent Daubry, est désormais open source — après 1 000 user stories livrées en production.
vdaubry.github.io/bottega-la…
Matthieu Segret retweeted
mlx-vlm v0.6.3 is here 🚀
Day-0 support for TWO new models from our partners we work closely with:
🔥 @GoogleDeepMind DiffusionGemma — a genuinely new architecture. Instead of token-by-token, it generates 256-token blocks in parallel with bi-directional attention and iteratively self-corrects the whole block, image-generator style. 26B MoE, only 3.8B active, fits in 18GB quantized. Day-0 MLX support via our Google DeepMind partnership, with long-context prefill tuned and ready.
🔥 @cohere's North Mini Code 1.0 — a 30B MoE with just 3B active, running ~66 tok/s in BF16 before any compression. Day-0 on MLX thanks to our close collaboration with the Cohere team.
Get started today — install from source:
> uv pip install -U mlx-vlm
Then serve the model and point your favorite agent at it (pi, opencode, hermes, etc.):
uv run mlx_vlm.server --model MODEL-REPO
Model collection 👇🏽
Text Diffusion — une approche de génération de texte par diffusion, présentée par Google DeepMind
youtube.com/watch?si=GEm31rd…























