You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is a collection of the things I believe about software development. I have worked for years building backend and data processing systems, so read the below within that context.
I genuinely wish I understood the appeal of unityped languages better.
Can someone who really knows both well-typed and unityped explain?
I think the terms well-typed and unityped are a bit of question-begging here (you might as well say good-typed versus bad-typed), so instead I will say statically-typed and dynamically-typed.
I'm going to approach this article using Scala to stand-in for static typing and Python for dynamic typing. I feel like I am credibly proficient both languages: I don't currently write a lot of Python, but I still have affection for the language, and have probably written hundreds of thousands of lines of Python code over the years.
Propositions in re: Android Programming
(based on recent experience)
The official documentation is less good than programmers deserve.
* In particular, the documentation is tailored to two types of programmers: novices just learning, and people who know a lot and need only reference information (that assumes a great deal of background knowledge). An Android programmer has to struggle a lot to move from the first category to the second - there's nothing systematic for her in the middle.
Searching via Google and landing (most often) on Stack Overflow is inadequate:
* The problems described, and the solutions offered, are narrow.
* Solutions do not give enough context to (easily, successfully) generalize beyond the cases they cover.
* Solutions are partial code, so require too much work to put into practice.
It's hard to tell if a solution from date X applies today.
Due to the fact that I didn't want to expose my Plex server to outside my network, I decided to run the script on a personal machine at home and push the data to my Dashing application.
Gödel's fourteen point outline of his philosophical views.
Gödel left in his papers a fourteen-point outline of his philosophical beliefs, that are dated around 1960. They show his deep belief in the rational structure of the world. Here are his 14 points:
The world is rational.
Human reason can, in principle, be developed more highly (through certain techniques).
There are systematic methods for the solution of all problems (also art, etc.).
There are other worlds and rational beings of a different and higher kind.
The world in which we live is not the only one in which we shall live or have lived.
There is incomparably more knowable a priori than is currently known.
The development of human thought since the Renaissance is thoroughly intelligible (durchaus einsichtige).
Reason in mankind will be developed in every direction.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters