lemonfrostt's latest activity
-
Llemonfrostt reacted to Gavran's post in the thread Undergrad Prove that 1 + NOT (1 + NOT x) = x with
Informative.
We can define the function ## f(x)=1+\text{NOT}x ## and prove that ## f^{-1}(x)=f(x) ##. ## \begin{align} f(x)=1+\text{NOT}x&\implies... -
Llemonfrostt reacted to emillindberg's post in the thread Undergrad Prove that 1 + NOT (1 + NOT x) = x with
Like.
The easiest way to see this is to treat n bit numbers as arithmetic modulo 2^n. For any n bit number b, NOT b changes every 0 to 1 and... -
Llemonfrostt reacted to Roberto Pavani's post in the thread Undergrad Prove that 1 + NOT (1 + NOT x) = x with Like.
-
Llemonfrostt reacted to .Scott's post in the thread Undergrad Prove that 1 + NOT (1 + NOT x) = x with Like.
To be explicit about the order of operations, two's complement is NEG(b) = (NOT b)+1.
-
Llemonfrostt replied to the thread Undergrad Prove that 1 + NOT (1 + NOT x) = x.The schoolwork question was much weaker. I made it somewhat more difficult to entertain myself.
-
LIn binary, the two's complement representation of a negative number is found by NOT b + 1, with the leading bit being a sign bit. In...
-
LIt seems from your post that you've already laid out a plan but you just don't know it. It seems you would like Mathematics, with a...
-
Llemonfrostt replied to the thread Other Committing to a major.My favorite part of this job is staying overtime to avoid my parents, and my least favorite part is being stalked by a parent while I...
-
LAs a programmer at the senior programmer/analyst/team leader level for over 20 years, I can assure you that wherever I worked, the...
-
Llemonfrostt replied to the thread Undergrad Descartes’ Geometry of Square Roots.Euclid constructs the arrangement in Book 6, Prop 13 of Elements. Book 6 Prop 13 To find the (straight-line) in mean proportion to two...
-
-
LThere are definitely companies where robustness and correctness is a priority (e.g. defense, trading). It seems like you might enjoy...
-
LThe recent post in forum cards is now clickable
-
Llemonfrostt replied to the thread Announcement PF Style 2026.+1 for color scheme -1 for activity/promotions on the forum list page (two clicks to see forum list) +1 -1 for text readability...
-
Llemonfrostt replied to the thread Other Committing to a major.E.g. writing compilers, optimizing code, exploiting hardware/API quirks, implementing math functions. The Jane Street puzzle is nice as...
-
L(Apologies if some of this was already said while I was typing it out... had to leave and come back to it...) In most cases when a...
