dreidMar 15
Lot of LLM users out here thinking they're built different.
Show threaddreidMar 15
CI, unit tests, linters, formatters, code review are imperfect but effective safety and productivity tools because they do not require a state of constant hypervigilance.
Show threadLisPi
@dreid Model checking & other formal verification can also be helpful, particularly for stuff that's hard to wrap one's head around.
Mar 15 at 6:05amWeb