Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @ariadne@social.treehouse.systems
Ignas Kiela@ignaloidas@not.acu.lt (2026-10-23 06:59:42)
@ariadne@social.treehouse.systems the funniest thing to me is that you could do program synthesis from formal specifications with zero LLMs - the problem was that you needed a ton of compute, which is ironically needed for the LLMs as well
---Reply---
Blurry Moon@sun@shitposter.world (2026-10-23 07:01:54)
@ignaloidas @ariadne I believe that AI and crypto is accelerating the requests for formal verification and automatic generation of software