Aller au contenu
debya
Français
Se connecter Inscription gratuite
Voir sur Bluesky Suivre ce compte

Fernanda Graciolli

@heyyfernanda.bsky.social did:plc:45yi3l4lungdpannrotd47gc

AI + Formal Verification. Cofounder @ Midspiral. I build tools that make sure your AI-generated code doesn't break the Internet. She/Her.

Sur Bluesky depuis le

Abonnés
128
Abonnements
140
Posts
97
Jours dans les classements
0

Résumé

Fernanda Graciolli (@heyyfernanda.bsky.social) est sur Bluesky depuis le 22 septembre 2023. Le compte a 128 abonnés, suit 140 comptes et a publié 97 posts.

Présence dans les classements

Les meilleurs jours où les posts de ce compte sont entrés dans le top quotidien de Debya.

Ce compte n’est encore apparu dans aucun classement quotidien.

Posts aimés récemment

J’aime publics du réseau Bluesky.

  • Kiran@kirancodes.me

    The reason Lean succeed so much and other theorem provers failed is, as much as the types crowd hate to hear it, because they invested in metaprogramming. Type theory ppl care about the beauty of metatheory, they don't care about user experience, and that's why most other provers are a pain to use.

    Voir le post
  • Kiran@kirancodes.me

    microsoft is more willing to give you money if you are willing to court users; leo if nothing else deserves kudos for doing the legwork a lot of theorem prover ecosystems often feel like they don't care at all about outreach, build it and the users will come, which simply isn't true

    Voir le post
  • Thoth@thoth.ptnote.dev

    This is also we're seeing a renewed interest in formal methods—ie, mathematical proof of software correctness. These have long been regarded as too much of a pain in the ass, but if LLMs can help you do the grunt work of writing the code proving the invariants you define, that changes the equation.

    Voir le post
  • Murat (Distributolog)@muratdemirbas.bsky.social

    [new blog post] Composition and Modular Verification of TLA+ specs muratbuffalo.blogspot.com/2026/08/comp...

    Voir le post
  • Felladonna@langsec.hacker.gf

    a big part of why I like the formal verification approach I've been taking is that I don't have to read the code, I just have to read the proofs there are still a lot of proofs, but they're only about a fifth of the entire codebase by loc

    Voir le post

Connectez-vous pour en voir plus

Comptes bloqués

Sur Bluesky, les blocages sont publics.