Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: