I was surprised to see that I earned a Sci-Fi badge on CS:    I reproduced this on other sites; the drop-down always uses the icons from current site C, not those from the site E the badge was earned on.  Ideally, the icons from E should be used. If that is infeasible, please use the default circles. Using icons from C is definitely confusing.
It's so cool that the notification reminds you of the colour of badge you've earned. But I am a little puzzled by the symbols:      Is it feasible to use the symbol from the earned site? At the moment it uses the symbol from the site I happen to be on (as you can see by looking to the left of the dropdown in each case.)
In my question  I asked about the definition and usage of the word "model", for which I was told the following definition:     A formula of propositional logic is true under an interpretation iff   the interpretation assigns the truth value T to that formula. If a   formula is true under an interpretation, then that interpretation is   called a model of that formula.   An interpetation satisfies a formula φ iff it is a model of the formula. Same for a set $\Gamma$ of formulas, if an interpretation satisfies all the formulas in $\Gamma$ then it is a model of $\Gamma$. Then if we say $\Gamma \vDash \varphi$ then $\varphi$ is a semantic consequence of $\Gamma$ / is satisfied in all "models" of $\Gamma$ (true whenever everything in $\Gamma$ is true).  This also matches the definitions for model as seen on the Wiki for  and .  All good so far. But when I get really confused when I see posts like  where they use "models" as a word meaning "satisfies all the axioms in a theory."  From Asaf's answer:     Models are structures, and structures are models. But when we say   "model" we mean that there is a particular theory which holds in the   structure, and when we say "structure" we are mainly interested in an   arbitrary interpretation of the language.   From Metin's answer:     A structure is a set with some interpretable symbols(constants,   relations and functions) within a fixed language. You do not ask for   more from a structure.      However...      A model (of a theory) is a structure which satisfies the axioms of the   theory. It makes more "structural sense"...   And then from one of Asaf's comments:     When I say "a model of 𝖹𝖥𝖢" they also know, immediately, that I am   talking about a model which satisfies all the axioms of 𝖹𝖥𝖢.   So I am unclear on which definition is correct or if this is the same word being used in two different ways or if this is "logical model" versus "semantic model" or something else entirely.  On the one hand we seem to have "model" meaning "any interpretation that satisfies a formula or set of formulas." On the other hand we have "model" meaning "Interpretation that satisfies all the axioms of a theory".  From the Wiki article on  we see also:     For a given theory in model theory, a structure is called a model, if   it satisfies the defining axioms of that theory.   So which is it exactly? Does "model" have a different meaning in propositional logic compared to model theory or first-order logic or set theory etc? I'd like to update the label of an operator when it's called. But this :  def execute(self,context):     self.bl_label = "good night"   ... apparently doesn't work if the bl_label property has already been defined. Am I wrong ? I was trying to install Linux on my MacBook for class when I bricked my computer, which now in an unbootable state.   I made my partition too small, so I was going to delete and create a larger one. However, Disk Utility did not allow me to delete the small partition. I followed the instructions from   However, not only was I still unable to delete it, but upon restarting I realized my primary partition (located on the same disk) changed into FFFFFFFF-FFFF-FFFF-FFFF-FFFFFFFFFFFF, and I had no options to boot.  (I am sure I performed the command on the correct disk and partition)  I saw some similar threads, but my main bootable drive is the one that got corrupt.   I don't want to lose any data. I'm not the most terminal savvy, so ANY help is appreciated, and I will kindly provide any additional information!  (Disk 0, partition 2 is my main partition, and that only one I care about)  Below are the results of  $ diskutil list and $ gpt -r show disk0.        UPDATE: :  I have followed @klanomath 's instructions. At the last step I received the following error:  Checking prerequisites Checking the partition list Checking for an EFI system partition Checking the EFI system partition's size Checking the EFI system partition's file system Problems were found with the partition map which might prevent booting Error: -69766: The partition map needs to be repaired because there's a problem with the EFI system partition's file system Underlying error: 8: POSIX reports: Exec format error    FINAL UPDATE: SUCCESS!  I just wanted thank @klanomath for helping me through this entire process. He spent 11 hours TeamViewing with me until not only my files were accessible, but until I could access my computer as could before this whole debacle (and this was after 5 hours of email correspondence).   To any future reader with this problem: PLEASE don't give up, it can be fixed! How is the derivative of $\textrm{Trace}\left\{ X^T A X B\right\}$ with respect to $X$ equal to $AXB + A^TXB^T$? I know than an ellipsis can be used to show a broken sentence, the same way an em dash can be used. What I don't know is that if the two are interchangeable and it is writer preference or if different meaning is conveyed by their use.  Are ellipses and em dashes commutable? multi-layer board copper pour I have a 6-layer board where the internal 4 planes are +15,GND,VCC,-15.  I was wondering if there was any advantage to doing a copper pour on the top and bottom layers?  I would probably leave them floating as I don't want to use micro-vias to say tie it to GND?    Is this actually a bad idea?  I.e. floating copper=antenna.  Would it be just as acceptable to have 4 layer board with the top layer having copper pour to VCC and the bottom having a pour to GND and keep the two internals as +-15?  Note that this is for a fairly low speed circuit which has some analog and digital parts. I am using ArcGIS Desktop 10.1.   I am trying to find the location of the highest value pixel in my Direct Solar Radiation Raster. I can see the extent of the data in my raster but don't know where the highest value pertains to.   Is there a way to simply select pixel with highest value or create a point at highest value? Analyze a circuit with two diodes and two voltage rails I want to find \$I\$, \$I_{D2}\$ and \$V\$ in this circuit. The diodes are made of Silicium. I'm a beginner and normally I would assume the Diode bias and then apply KVL to see if it is true. However, I've only encountered circuits where the wire forms a loop.    How am I supposed to apply KVL in this case? If voltage is the difference in potential between two points, how can I find the voltage of V if one point is outside of the circuit, therefore, outside of KVL application? Unfortunately, despite having tried to learn regex at least one time a year for as many years as I can remember, I always forget as I use them so infrequently. This year my new year's resolution is to not try and learn regex again - So this year to save me from tears I'll give it to Stack Overflow. (Last Christmas remix).  I want to pass in a string in this format {getThis}, and be returned the string getThis. Could anyone be of assistance in helping to stick to my new year's resolution?    Related questions on Stack Overflow: Password protecting a page I'm trying to password protect a page but it doesn't seem to be working. I've set the password for the page but when you navigate to it it just loads up like normal and doesn't ask for any passwords.  This is the loop I have on my page:  &lt;?php /**  * @package WordPress  * @subpackage Default_Theme  * Template Name: Page  */  get_header(); ?&gt;  &lt;?php global $post; if ( post_password_required( $post ) ) { ?&gt;  &lt;?php $fields = get_acf(); ?&gt;  &lt;script type="text/javascript"&gt;  (function() {   window.onload = function() {   ...  }} )  &lt;/script&gt;  &lt;div id="map"&gt;&lt;/div&gt;  &lt;?php } else { ?&gt;     Not passworded        &lt;?php if (have_posts()) : ?&gt;         &lt;?php while (have_posts()) : the_post(); ?&gt;          &lt;?php endwhile; ?&gt;     &lt;?php endif; ?&gt;         &lt;?      } // Page isn't password-protected     ?&gt; &lt;?php get_footer(); ?&gt;   I want to password protect everything within the page.  UPDATE:  I have custom content on the page so if possible I need to be able to wrap some code around it all.  Update: I am extremely poor in solving a problem quickly, which leaves me doing badly in olympiads and other contests. But, if I just don’t give up on a problem, no matter how much time it takes, I usually end up solving it. To have a future in mathematics or physics, is it necessary for me to excel at contests, because these days children excelling at contests have an advantage over those who don’t (not complete advantage, but advantage nonetheless)? Is there anyway to modify stat information like mtime or ctime manually in Python or any language at all? The curve $x^3− y^3= 1$ is asymptotic to the line $x = y$. Find the point on the curve farthest from the line $x = y$ (NBHM_2006_PhD Screening Test_Analysis)     The curve $x^3− y^3= 1$ is asymptotic to the line $x = y$. Find the   point on the curve farthest from the line $x = y$   how should i solve this problem Formula Assistance I am creating a formula variable in a Flow but keep getting this error. Crop net Acres is a Number field. IF(     ISBLANK( [Opportunity].Crop_Net_Acres__c),     0,      ( [Opportunity].Crop_Net_Acres__c) )  Error Message:  netAcresFormula (Formula) - The formula expression is invalid: Syntax error. Missing '='  Any thoughts here? What does "static" mean in C? Prove using induction that from a set of $n+1$ numbers from $\{1,2,..2n\}$, at least one number will evenly divide another. Given a set of $n+1$ numbers out of the first $2n$ natural numbers, $\{1,2,\ldots,2n\}$, prove that there are two numbers in the set, one of which divides the other.  I can't tell if I'm reducing the problem in the right way.  Would it be something like:  Induction Hypothesis: A set of $n+1$ numbers from the first $2n$ natural numbers contains two numbers, one of which evenly divides the other.  Base Case: $n=1$, $\{1,2\}$, 2 is divisible by 1.  Consider a set of $n+2$ numbers, $A$, from the first $2n+2$ natural numbers. There are three cases:   Each number in $A$ is less than or equal to $2n$.  The proof follows from the induction hypothesis. One number in $A$ is greater than $2n$.  The remaining set of $n+1$ numbers must each be less than or equal to $2n$.  The proof follows from the induction hypothesis. $A$ contains both $2n+1$ and $2n+2$. I'm not sure how to solve this case.   I'm working through Udi Manber's Introduction To Algorithms: A Creative Approach for personal development, so in keeping with the spirit of the book, I'm trying to use induction.  Without induction, the question is identical to We need to prove that $$\dfrac{\sin\theta - \cos\theta + 1}{\sin\theta + \cos\theta - 1} = \frac 1{\sec\theta - \tan\theta}$$  I have tried and it gets confusing. Get all possible partitions of number Is there a way to get all possible partitions of an integer? Possibly specifying max and/or min summand. I'm interested in partitions themselves, not just partition count. I'm trying to identify a book I read in school, though I can't recall at what grade level; let's say it had to have been published before I graduated high school in 2000. Despite being required reading, it didn't feel much like a classic.  The story took place on Earth, after some catastrophe had caused the air to become poisonous. However, one teenage girl was able to survive because her house was in a valley which was somehow protected from the poisonous winds and was able to sustain its own ecosystem. One day, a man wearing a protective full-body suit and gas mask appears in the valley, and both are rather surprised to find someone else alive. She feeds and shelters the man and shows him how she had come to survive in the valley. Rather abruptly…      the man attempts to rape her, but she overpowers him somehow. She steals his protective suit and starts to leave the valley. He tells her that he had seen birds in a certain direction away from the valley, indicating there might be life there as well, and she leaves.   I believe there was an author's note either at the beginning or end of the book stating that the author had actually died while writing the manuscript, and that their friends or family had finished the book by going off the author's original notes, which I suppose may explain the abruptness of the ending.  In case it wasn't clear from the above, I didn't really like the book. But I'm curious about it regardless. Ubuntu 18: Top bar for all monitors I just installed Ubuntu 18. Since the top bar is only on the primary monitor, I can't use the mouse to grab and move my Chrome window (the top of the screen looks like below). Trying to do so results in grabbing a single tab and opening it in a new window.     Is there a way around this? Ideally, I'd like to have the top bar  across all screens. Another obvious disadvantage of only having the top bar on one screen is that the window menu of any window, not just Chrome, is displayed on the left upper corner of my left screen even when the window is in the lower right corner of the right screen.