i think the demand for provability is too high a bar actually. our bar is "can y... | Hacker News

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

		swyx 60 days ago \| parent \| context \| favorite \| on: Syntax highlighting is a waste of an information c... 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 58 days ago [–]

Your bar seems a lot higher than basic reachability analysis w/ provably correct semantics.

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