/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.hillelwayne.com
Why Don't People Use Formal Methods?
| | kuruczgy.com
A formally verified R-tree implementation
5.2 parsecs away

Travel
| |
| | rjlipton.com
Surely You Are Joking? | Gödel's Lost Letter and P=NP
4.5 parsecs away

Travel
| | A new way to write mathematics Vladimir Voevodsky won the Fields Medal in 2002 for his work on homotopy theory of algebraic varieties. Using his pioneering methods he proved, among many other things, a deep conjecture of John Milnor, that had been open for decades. Today I want to talk about, no, rant about, a...
| | buttondown.com
What makes concurrency so hard? Buttondown
6.1 parsecs away

Travel
| | Is it something about human brains, or something about the problem domain?
| | builtin.com
What Is Software Engineering? Definition and Job Outlook | Built In
15.6 parsecs away

Travel
| What is software engineering? It is a field directly related to computer science, where engineers apply systematic and disciplined methods to the development, operation and maintenance of software.