HackerTrans
TopNewTrendsCommentsPastAskShowJobs

bzax

no profile record

comments

bzax
·28 gün önce·discuss
You could observe future random numbers by taking combat actions, and then reset to the start of the fight and play a line which consumes fewer random numbers in order to manipulate your card rewards. Maybe you could generate the card reward at the start of the fight, but what if they play a card which impacts the card reward, e.g. by creating an extra card reward.
bzax
·3 ay önce·discuss
Well, once you've derived unary exp and ln you can get subtraction, which then gets you unary negation and you have addition.
bzax
·7 ay önce·discuss
It doesn't mean anything. The point is that the language of lean, and its proof derivation system, are able to express (and prove) statements that do not correspond to any meaningful mathematics.
bzax
·2 yıl önce·discuss
I feel obliged to mention that this does feature prominently in Kim Stanley Robinson's Red Mars trilogy. The single most important piece of infrastructure on Mars is a space elevator, but not everyone on the planet is happy with how the owners of the space elevator are running things.
bzax
·2 yıl önce·discuss
https://www.osha.gov/hexavalent-chromium
bzax
·2 yıl önce·discuss
It sure would be great if they just owned the supplier outright and could align incentives that way.
bzax
·3 yıl önce·discuss
Not only does Southwest exclusively fly Boeing aircraft, they exclusively fly 737s, which enables their unusual routing style. Essentially every pilot and crew at Southwest can fly any aircraft the company has for them. Presumably this gives Boeing a strong incentive to keep making new 737s that push the engineering envelope, instead of making a new narrowbody aircraft.