andi999

85 ms·

931.
by andi999 5y ago
Do you sit in front of the screen the whole day at your faang job? Forget software side projects then. Turn off all screens when coming home, pick up hiking as a hobby, or start side project with wood working, painting or so.
932.
by andi999 5y ago
"didn't you attend the project meeting? We said we dismiss the motion part but of course not the perpetual part."
933.
by andi999 5y ago
"OK, understood, these perpetual motion machines don't work. So once and for all let's do away with the motion. Luckily we have a new project which doesn't involve motion: we just have to ship a device which produces mor
934.
by andi999 5y ago
True... But it makes you suspicious...
935.
by andi999 5y ago
Let's see how this plays out. They say volume is a key factor, and the test vehicle is very small, while the plane later will be much larger.
936.
by andi999 5y ago
this could turn out mega-embarrassing for NZ.
937.
by andi999 5y ago
They could stick to ANSI C.
938.
by andi999 5y ago
Why not go for the full C language. C was made to make compilers easy to build. Also it might expose/help to see difficulties in the chosen approach.
939.
by andi999 5y ago
I am in the camp believing that there are actually at least 2 full time positions just for compiling/maintaining these excel files.
940.
by andi999 5y ago
Just take your excel sheet of funded project, filter by country then filter by city....
941.
by andi999 5y ago
if you assume ZF, then 1={0} and existence follows from existence of empty set.
942.
by andi999 5y ago
Thanks! Also, you never heard back from the Dtrace expert? (silly question, ok)
943.
by andi999 5y ago
Can you explain? Is "little guy punching aboce his weight" applied to the country level? It is the first time I hear it in connection to NZ or AUS.
944.
by andi999 5y ago
Was there actually no follow-up? Change of header?
945.
by andi999 5y ago
Yes, but the reals (or the power set of the reals) are really a bit dodgy. The Nana h tarski paradox shows a big disconnect with reality. There is other axiom models without AOC, which allow for every subset to be measurable, but they seem
946.
by andi999 5y ago
Very cool, thank you. Do you know what happens to measure theory in the hyperreals? Or integration in general?
947.
by andi999 5y ago
I do not see how 1E shows existence. The definition of the natural extension needs the hyperreals in the first place. (reading on mobile, maybe I am missing something here)
948.
by andi999 5y ago
So what are the other 497+ possible routes (new York Paris also works) ? I read somewhere that after a Concorde test flight to Singapore, India complaint strongly and stopped the airway.
949.
by andi999 5y ago
Even if they get an excemption, affected people will probably come with pitchforks and torches to the headquarter. These supersonic booms are really loud.
950.
by andi999 5y ago
Thanks! Do you know of any source (textbook/paper) about this construction.
951.
by andi999 5y ago
Only finite amount of integers like 10^91 (or so, number of protons in the universe) exist in this sense.
952.
by andi999 5y ago
Anumeric cultures might not really have existed (not conclusive evidence, but some evidence: https://www.jstor.org/stable/10.1086/667452?seq=1 )
953.
by andi999 5y ago
Ah yes. But then if I think of infinitesimal als functions going to 0 at 0, I can have two infinitesimals (first one is constant zero for negative values other one constant zero for positive values), which multiplied give the constant zero
954.
by andi999 5y ago
Cool link. I know some construction of the real and complex numbers, I was asking about the construction of the hyperreals used in the textbook. I couldnt find info about that on the page.
955.
by andi999 5y ago
Yes, there are of course axioms, but if you have a rich enough set of axioms like zfc, then one should stop piling more axioms (if not absolutely necessary). So of course the question is existence in zfc
956.
by andi999 5y ago
Thanks! I know about axiom of choice (and I am fine with it), so how do you do the field construction? I am also a bit worried, if you have a field it is also a division algebra. And I thought we know that the only divisions algebras are R,
957.
by andi999 5y ago
They are not all build from axioms but from definition (apart from some models of natural numbers, or you go back to ZFC). Like C is build from R^2, R from the powerset of Q, Q from integer^2, integer from natural numbers. Otherwise you do
958.
by andi999 5y ago
How to show such numbers exist? Chapter 1 states they can be constructed from the real numbers and this construction is discussed in the epilog, but (I dont have enough time probably) there seem to be only some axioms in the epilogue but no
959.
by andi999 5y ago
Do you know any peer reviewed scientific paper which confirms the lobster shared neural mechanism? Was looking for evidence for this claim a while back, couldn't find it.
960.
by andi999 5y ago
True. Old cars has real bumpers though.

More ›