top | item 30733457 (no title) mac01021 | 4 years ago > programming work in the next decade will be done by logicians using something like TLA+How is that not software engineering? discuss order hn newest No comments yet.
No comments yet.