1Turning Dafny Sets into Sequences [video] (opens in new tab)(youtube.com)Video2larrytheliquid6mo ago1Save
2Git-Inspired File Context Management for LLMs (opens in new tab)(colimit.io)1larrytheliquid1y ago0Save
3Developing micro-architectures in web apps and services (opens in new tab)(larrytheliquid.com)1larrytheliquid16y ago0Save
5Presenting Clojure with a Gitorial (opens in new tab)(larrytheliquid.com)2larrytheliquid17y ago0Save
