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

Note Detail

Reply to @ariadne@social.treehouse.systems
Ariadne Conill 🐰:therian:@ariadne@social.treehouse.systems (2026-10-23 05:45:45)
its ok: proofs will solve the problems of slop
---Attachments---
image: https://v2.cache.treehouse.systems/media_attachments/files/117/486/509/581/476/875/original/32e4705f611acb34.jpg
---Reply---
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

---Replies---

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