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:34:19)
when do I get to meet Aella? really looking to get waterboarded
---Reply---
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

---Replies---

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