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.
After months of reviews our humble contribution just landed in the Bitcoin Core main branch: https://t.co/b5nnstjDKo
Thanks a lot @macrohead7 for the commitment to get it merged ����
The dragon has a VM. Of course it does. Our latest blog walks through the analysis of a complex C++ binary hiding behind a virtual machine, themed as a classic RPG fight. QBDI & TritonDSE are your weapons of choice. The dragon doesn't stand a chance. 🐉
https://t.co/59TX9v5Msq
Join us next Wednesday at 11AM CST for an OSTIF meetup with Robin David, Software Security Researcher and Research Lead at Quarkslab, presenting "Bitcoin Core Audit: From Static Review to Fuzzing — Inside Bitcoin’s Testing Infrastructure".
Link in 🧵👇
#OSTIF#bitcoin
🎓 New PhD at Quarkslab on: "Analyzing binary programs and obfuscation with
graph-based representations and machine learning". I am overjoyed having supervised Roxane's PhD
and I have rarely seen such a committed, talented PhD researcher congrats 🎉!
Months of relentless work finally out: our Bitcoin Core security audit!
Both a bless by the code maturity, security culture -- and a curse by the challenge it represents!
Glad to have crossed paths with such a great dev team, @dergoegge@darosior@fanquake.
Keep up the great job!
Quarkslab engineers @RobinDavid1, @MihailKirov1 and Kaname just completed the first public security audit of Bitcoin Core, led by @OSTIFofficial and funded by @bitcoinbrink. Details on the blog post: https://t.co/xPkDEV7LDy Congrats to developers for such software masterpiece !
Great talk by @JohnLaTwC on ways you can turn security data into graphs: https://t.co/Y9sNNO0i59. Especially the vector part is great: so many tools have built in support for embeddings (e.g. BigQuery ML.GENERATE_EMBEDDING and VECTOR_SEARCH), defenders should be using them more!
It has been a pleasure to be the 2nd talk of 20th Recon edition! Teaming up with Riccardo about EV charger security we show vulnerabilities found and a side step-by-step firmware cryptanalysis.
Outline: https://t.co/M8fw1SCvjR
(slides published soon..)