Fernanda Graciolli

Apariciones en rankings

Los mejores días en que los posts de esta cuenta entraron en la lista diaria de Debya.

Esta cuenta aún no ha aparecido en un ranking diario.

Posts que le gustaron recientemente

Me gusta públicos de la red Bluesky.

• Kiran@kirancodes.me30-08-2026 03:19

  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.

  Ver post
• Kiran@kirancodes.me30-08-2026 03:15

  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

  Ver post
• Thoth@thoth.ptnote.dev28-08-2026 16:44

  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.

  Ver post
• Murat (Distributolog)@muratdemirbas.bsky.social27-08-2026 23:57

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

  Ver post
• Felladonna@langsec.hacker.gf26-08-2026 16:56

  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

  Ver post

Inicia sesión para ver más

Cuentas que bloquea

En Bluesky los bloqueos son registros públicos.

• D did:plc:zkeadkdrvkivw72lyithhtcu@Not Found
• Adam@adamb1981.bsky.social

Cargar más