4 ms·
> programming work in the next decade will be done by logicians using something like TLA+ How is that not software engineering?
by mac01021 5y ago
> programming work in the next decade will be done by logicians using something like TLA+
How is that not software engineering?