schwarrrtz

26 ms·

1. 91.▲
   by schwarrrtz 11y ago

   formal proofs of correctness
2. 92.▲
   by schwarrrtz 11y ago

   Take a simple differential equation as an example, like dy/dx = x. To solve this we need to find a function y(x) whose derivative is equal to x. This particular differential equation is well-behaved, and the solution is simply 0.5*x^2,
3. 93.▲
   by schwarrrtz 11y ago

   Yup! And hosting the Node server on Heroku/MongoLab should be a reasonable solution, especially if the open source community takes this and runs with it.
4. 94.▲
   by schwarrrtz 11y ago

   I'm involved in a project that uses Parse, and by this point the client SDKs are so thoroughly embedded into our codebase that changing to another backend system would indeed be a fair bit of work. Apparently modular design is a thing.
5. 95.▲
   by schwarrrtz 11y ago

   Pretty sure they still use WebObjects for iTunesConnect (at least).