Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
RaxcN
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
RaxcN
2y ago
The visible "productivity" as in manager friendly LOC. The actual productivity goes up. Managers don't want that though, for reasons that already Dijkstra has outlined.
2.
▲
by
RaxcN
2y ago
I do not know TLA+, but there is an abundance of other theorem provers that can model C very closely, including overflow, assignments, etc. So closely, that when you transcribe such an algorithm to C, there is very little room for error, ev