Frédéric Jacobs
Frédéric Jacobs

@fj@mastodon.social

Cryptographic & Security Engineering

Previously: Founding & Lead iOS Engineer

@signalapp
,
@Bellingcat
 #OSINT contributor

Tooting on all things #cryptography, #lithography, #energy, #security, #mobility, #climate, European #aerospace and federalism.

127.0.0.1
|Lausanne, 🇨🇭
Lang
|[“en_us”, “fr_ch”, “de_de”, “nl_be”] (Three dots on profile to choose posts in which language you're subscribed to)
Show Full thread

Really nice vibe-proving model open-sourced by Mistral!

Leanstral is a code agent designed for Lean 4. Leanstral is designed to be highly efficient (with 6B active parameters) and trained for operating in realistic formal repositories.

Mistral also published a new evaluation suite, FLTEval, to move evaluations beyond their focus on competition math. Evaluation shows that Leanstral can translate between Rocq and Lean successfully!

mistral.ai/news/leanstral

Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI - Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI

mistral.ai

Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI

First open-source code agent for Lean 4.

Elk Logo

Elk is in Preview!

Thanks for your interest in trying out Elk, our work-in-progress Mastodon web client!

Expect some bugs and missing features here and there. we are working hard on the development and improving it over time.

Elk is Open Source. If you'd like to help with testing, giving feedback, or contributing, reach out to us on GitHub and get involved.

To boost development, you can sponsor the Team through GitHub Sponsors. We hope you enjoy Elk!

Anthony Fu三咲智子 Kevin DengPatakDaniel Roe

The Elk Team