larrytheliquid
larrytheliquid.bsky.social
larrytheliquid
@larrytheliquid.bsky.social
Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Pinned
Hi everyone, I'm making a low-key version of this post here on bsky first: my startup @colimit.bsky.social recently pivoted from being a bug-finding service to a bug-fixing service for failed CI builds (initially GitHub Actions): colimit.io.
🧵 on why and sharing appreciated! 1/9
Colimit - Autofix Failed Builds
AI Assistance to help your GitHub Actions go from ❌ to ✅
colimit.io
I’ll be available in SF this Tuesday evening and any time Thursday. Would be great to meetup with formal verification minded folks there :) DMs open
September 13, 2025 at 3:57 PM
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
Now when Colimit autofixes a failed GitHub action, but you want the fix done slightly differently, you can give it feedback and regenerate 🚀
We just shipped a frequently requested feature, being able to add additional context about the bug found or extra instructions for how to fix it, and regenerate the fix 😄

And if you haven't seen it, here's a demo of how Colimit works more generally: www.loom.com/share/23aad3...
December 9, 2024 at 2:30 PM
I recently got colimit.io to support GitHub personal/user accounts with the same level of feature parity as organization accounts, so feel free to give it a spin on personal projects :)

There's also a discord channel for feedback or casual talk about auto-formalization: discord.gg/2jkP3m3Rhv
Colimit - Autofix Failed Builds
AI Assistance to help your GitHub Actions go from ❌ to ✅
colimit.io
December 4, 2024 at 3:23 PM
Hi everyone, I'm making a low-key version of this post here on bsky first: my startup @colimit.bsky.social recently pivoted from being a bug-finding service to a bug-fixing service for failed CI builds (initially GitHub Actions): colimit.io.
🧵 on why and sharing appreciated! 1/9
Colimit - Autofix Failed Builds
AI Assistance to help your GitHub Actions go from ❌ to ✅
colimit.io
November 21, 2024 at 6:49 PM