Home
Explore
mastodon.social
mstdn.social
infosec.exchange
mstdn.jp
social.vivaldi.net
piaille.fr
hachyderm.io
mastodon.world
troet.cafe
m.cmx.im
mastodon.uno
mastodon.gamedev.place
techhub.social
social.tchncs.de
mastodon.nl
norden.social
kolektiva.social
mathstodon.xyz
flipboard.social
mastoturk.org
nrw.social
tech.lgbt
occm.cc
mastodonapp.uk
universeodon.com
mstdn.ca
defcon.social
c.im
masto.es
toot.community
sueden.social
mstdn.party
det.social
sfba.social
mastodon.scot
ohai.social
ruhr.social
mastodon.ie
hessen.social
tkz.one
mastodontech.de
mastodon.nu
livellosegreto.it
pouet.chapril.org
ioc.exchange
social.linux.pizza
mastodont.cat
social.cologne
mastodon.eus
indieweb.social
mastodon.bida.im
feuerwehr.social
social.anoxinon.de
mastodon.green
mastodon.au
wehavecookies.social
muenchen.social
nerdculture.de
masto.nu
cyberplace.social
mindly.social
ruby.social
mastodon.ml
metalhead.club
phpc.social
mastodontti.fi
m.otter.homes
uri.life
dresden.network
toot.wales
sunny.garden
climatejustice.social
noc.social
sciences.social
bark.lgbt
mstdn.plus
furry.engineer
woof.tech
privacysafe.social
mastouille.fr
tooting.ch
freiburg.social
rollenspiel.social
mastodon.me.uk
hostux.social
rivals.space
blorbo.social
mastodon.com.pl
bonn.social
mast.lat
rheinneckar.social
mastorol.es
urbanists.social
mastoart.social
wien.rocks
mastodon-belgium.be
ursal.zone
discuss.systems
expressional.social
gaygeek.social
todon.nl
masto.pt
mstdn.games
mapstodon.space
h4.io
hcommons.social
snabelen.no
sakurajima.moe
glasgow.social
lgbtqia.space
cupoftea.social
darmstadt.social
shelter.moe
tilde.zone
mastodon.gal
retro.pizza
urusai.social
ludosphere.fr
qdon.space
muenster.im
fairy.id
bookstodon.com
peoplemaking.games
pawb.fun
toot.aquilenet.fr
mastodon.berlin
mast.dragon-fly.club
freeradical.zone
famichiki.jp
veganism.social
kanoa.de
socel.net
mstdn.dk
vmst.io
machteburch.social
toad.social
theblower.au
union.place
mastodon.uy
mastodon.sdf.org
witter.cz
xarxa.cloud
eupolicy.social
oslo.town
tooot.im
burningboard.net
musicworld.social
fandom.ink
stranger.social
mstdn.business
tea.codes
qaf.men
4bear.com
disabled.social
mountains.social
graphics.social
cultur.social
fedi.at
masto.nyc
furries.club
pnw.zone
hear-me.social
mastodon.pnpde.social
bahn.social
mustard.blog
gardenstate.social
toot.re
musician.social
musicians.today
thecanadian.social
toot.kif.rocks
dizl.de
babka.social
archaeo.social
libretooth.gr
tyrol.social
ciberlandia.pt
ani.work
dmv.community
tuiter.rocks
vkl.world
frikiverse.zone
masto.nobigtech.es
mastodon.energy
gamepad.club
social.silicon.moe
social.seattle.wa.us
lou.lt
drupal.community
donphan.social
tchafia.be
is.nota.live
fulda.social
mast.hpc.social
bzh.social
puntarella.party
muri.network
lsbt.me
hometech.social
toot.si
mastodon.vlaanderen
mograph.social
social.politicaconciencia.org
toot.funami.tech
norcal.social
wargamers.social
datasci.social
devianze.city
theatl.social
genealysis.social
mastodon.africa
opencoaster.net
est.social
hispagatos.space
epicure.social
toot.garden
drumstodon.net
colorid.es
elekk.xyz
indieauthors.social
mastodon.london
mastodon.pirateparty.be
hoosier.social
friendsofdesoto.social
mastodon.cr
apobangpo.space
mastodon.education
mstdn.animexx.de
kurry.social
planetearth.social
lewacki.space
burma.social
frontrange.co
techtoots.com
esq.social
ruhrpott.social
leipzig.town
khiar.net
fikaverse.club
library.love
raphus.social
fairmove.net
mastodon.bot
toots.nu
rheinhessen.social
mastodon-swiss.org
mastodon.wien
h-net.social
cwb.social
rail.chat
arvr.social
fribygda.no
seocommunity.social
opalstack.social
mastodon.free-solutions.org
mastodon.sg
poweredbygay.social
bologna.one
growers.social
camp.smolnet.org
k8s.social
epsilon.social
okla.social
birdon.social
masto.yttrx.com
mastodon.hosnet.fr
elizur.me
stereodon.social
mastodon.cipherbliss.com
paktodon.asia
skastodon.com
episcodon.net
biplus.social
squawk.mytransponder.com
mastodon.babb.no
balkan.fedive.rs
mastodon.frl
lounge.town
cville.online
mastodon.ph
mastodon.iow.social
23.illuminati.org
silversword.online
synapse.cafe
kzoo.to
mastodon.bachgau.social
mcr.wtf
mastodon.ee
social.ferrocarril.net
kcmo.social
social.diva.exchange
troet.fediverse.at
voi.social
nfld.me
darticulate.com
nautical.social
mastodon.bahia.no
mastodon.mg
fpl.social
nomanssky.social
ms.maritime.social
dariox.club
polsci.social
kjas.no
mikumikudance.cloud
social.sndevs.com
nwb.social
bvb.social
ceilidh.online
netsphere.one
nutmeg.social
wxw.moe
computerfairi.es
learningdisability.social
Log In
Adolfo Neto
Leanstral: Open-Source foundation for trustworthy vibe-coding
by Mistral AI
#LeanLang
https://
mistral.ai/news/leanstral
Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI
First open-source code agent for Lean 4.
1
0
0
Show thread
pibert π
2d ago
@adolfoneto
a Mistral deveria ter muito mais reconhecimento. O problema é que não tem pessoas falando em "vibes" o tempo todo com ela. Mas tem produtos interessantes.
0
0
0
Adolfo Neto
pibert π