Comment by swyx
4 months 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"
4 months 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"
Your bar seems a lot higher than basic reachability analysis w/ provably correct semantics.