augusto-moura

29 ms·

421.
by augusto-moura 7y ago
Damn I didn't read the troll part in time
422.
by augusto-moura 7y ago
I think this a biased point, speaking specifically about startupish business models, there's a lot of different models around the world in a lot of places. There's work to be done with critical applications or slow paced startups,
423.
by augusto-moura 7y ago
You are right, you don't need to know it in a small blog or site But metrics and statistics are the very foundation of science, and the graal of software engineering. I can't resist the temptation of knowing which browsers and the
424.
by augusto-moura 7y ago
Websites can be embellished and misleading, also don't give a real sense of popularity and community support. I think a github repo is a thousand times better than a well "designed" landing page
425.
by augusto-moura 7y ago
Java people problems
426.
by augusto-moura 7y ago
I imagine that whole-program correctness can be represented, but is not enforced in the case of ZZ. Developers are not obligated to declare typesets for their own code or can rely on other libraries being fully typed
427.
by augusto-moura 7y ago
Well Type Theory is actually one of the definitions of mathematics and computation[1]. Wikipedia gives a basic definition of it [2][3] [1] https://en.wikipedia.org/wiki/Typed_lambda_calculus [2] https://en
428.
by augusto-moura 7y ago
In the README there's a example of proving a simple state machine open > read > close [1] Just read the docs™ [1] https://github.com/aep/zz#theory
429.
by augusto-moura 7y ago
Guess everyone can dream
430.
by augusto-moura 7y ago
Well, at least a moon base is on the way. Just not like how we thinked of. More like a ISS on moon ground than a grand hotel
431.
by augusto-moura 7y ago
Of course it has, the other implementation that comes to mind now is JGit [1], a git implementation in Java. A lot of IDEs, build plugins are using it for interfacing with git without the mess that is JNI [1]: https://www.eclipse
432.
by augusto-moura 7y ago
The checklist isn't saying that all the points apply to all languages. It's a framework to evaluate other people languages (or your own)
433.
by augusto-moura 7y ago
There's a project focused on backuping this kind of information[1]. It's actually a distributed and communitary way of doing it, anyone can run a "warrior" instance and help the project. Modern problems require modern so
434.
by augusto-moura 7y ago
Set theory is magnificent
435.
by augusto-moura 7y ago
But it's to supposed to be written by humans
436.
by augusto-moura 7y ago
There's also aboynamed.su, that is a reference to the Jhonny Cash song [1] The domain description is actually some part of the lyrics of the song [2] [1]: https://www.youtube.com/watch?v=WOHPuY88Ry4 [2]: https:/&
437.
by augusto-moura 7y ago
see http://conal.net/blog/posts/the-c-language-is-purely-functio... old but gold
438.
by augusto-moura 7y ago
Any language forcing concepts or not , will never be all that great. Just look at PERL and C++, in my opnion they have a much more bad language design than Java and Haskell Not be that great is in the very nature of anything that can be &q
439.
by augusto-moura 7y ago
In my opinion the only use case that is difficult to functions replicate are meta-information about the code (line numbers for errors, code file names, etc.). Not saying that it should be a feature to every language though But yeah function
440.
by augusto-moura 7y ago
I agree that DSLs are the future for defining useful declarative code, and most languages/frameworks see turning to this direction (React JSX, Flutter Widgets and the other 100 HTML-like frameworks for example) Also DSLs still can be w
441.
by augusto-moura 8y ago
Does any clock implement it correctly?
442.
by augusto-moura 8y ago
Just forked it Pun intended
443.
by augusto-moura 8y ago
Just forked it No pun intended