larrytheliquid
larrytheliquid.bsky.social
larrytheliquid
@larrytheliquid.bsky.social
Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
In the age of LLM's program synthesis is now mainstream. Currently everyone is cowboy-coding straight from natural language directly to implementations. But, to get consistency and a lack of bugs what you really want is:
March 19, 2025 at 3:06 PM