3 ms·
i think the demand for provability is too high a bar actually. our bar is "can you surface context at the level of a human coworker engineer sitting next to yo
by swyx 1y ago
i think the demand for provability is too high a bar actually. our bar is "can you surface context at the level of a human coworker engineer sitting next to you explaining things"
- measurablefunc 1y agoYour bar seems a lot higher than basic reachability analysis w/ provably correct semantics.