Mastodon Feed
technomancy@icosahedron.website ("tech? no! man, see...") wrote:
ok sure buddy
Attachments:
- [a woman pushes a button on a console in a futuristic city] By the year 2000 we will be completely dependent upon advanced, intelligent computers to take care of everything from piloting our hovercars to taking care of our finances and health. to make sure that the computers always work correctly and simply can't cause harm, scientists are working on techniques such as "static analysis" to completely eliminate the risk of human error or foul play. In the near future, the job of programming the machines will simply be given to other sophisticated computer programs. The operator will quickly prepare a set of punch cards outlining the requirements for the requested functionality, and the advanced mainframe will do the rest. The correctness of both the specification and the generated program will be determined using an elegant mathematical proof. (remote)
![[a woman pushes a button on a console in a futuristic city] By the year 2000 we will be completely dependent upon advanced, intelligent computers to take care of everything from piloting our hovercars to taking care of our finances and health. to make sure that the computers always work correctly and simply can't cause harm, scientists are working on techniques such as "static analysis" to completely eliminate the risk of human error or foul play. In the near future, the job of programming the machines will simply be given to other sophisticated computer programs. The operator will quickly prepare a set of punch cards outlining the requirements for the requested functionality, and the advanced mainframe will do the rest. The correctness of both the specification and the generated program will be determined using an elegant mathematical proof.](https://files.mastodon.social/cache/media_attachments/files/110/081/001/131/636/426/original/6a919ade364d3836.jpg){kind=link}
