lodi

27 ms·

181.
by lodi 9y ago
Derivatives are not exactly zero-sum. a) Imagine a coin tossing game. We both put in a dollar and flip a coin; heads you win both dollars, tails I win both dollars. Truly zero sum. b) Consider a vendor selling me a $5 hamburger for $5. T
182.
by lodi 9y ago
Type-Driven Development with Idris https://www.manning.com/books/type-driven-development-with-i...
183.
by lodi 9y ago
It's the other way around... market efficiency is caused by things like this (not only arbitrage, but that's one important factor).
184.
by lodi 9y ago
Thanks for the intro. Very interesting!
185.
by lodi 9y ago
I have a 40" 4k curved monitor at home (AOC C4008VU8, ~$1000 CAD, off-brand version of the Phillips one), and a pair of 24" monitors at work that I use in portrait mode. xmonad (tiling window manager) in both environments. No que
186.
by lodi 9y ago
I don't think he means constructing new highways for autonomous cars; just making sure the tech works flawlessly with a few existing, high-traffic, morning/evening rush routes. Would save a lot of stress from the daily commute an
187.
by lodi 9y ago
Also could be that Obi-wan is secretly a Sith himself.
188.
by lodi 9y ago
Or, for that matter, Japanese-American citizens...
189.
by lodi 9y ago
> Remember Google's original premise was to do something about 'ads that were destroying the internet' and to 'do no evil'. Well, during that time they did replace the obnoxious flash/gif ads of the day wi
190.
by lodi 9y ago
I don't have anything to contribute regarding UBI or blockchain, but I just wanted to compliment the author on creating an extremely well-written readme. This is exactly what I want to see from a github project: "what", &quo
191.
by lodi 9y ago
This is addressed in the article: "But there are situations where the approximation isn’t very good, such as when it’s the 9th inning and the game is tied. In that case, a decision that increases the probability of scoring 1 run but de
192.
by lodi 9y ago
He briefly addressed this in one of the appendices: "Another reason to sac bunt (or bunt in general) is that the tendency to sometimes do this induces changes in defense which make non-bunt plays work better." It apparently change
193.
by lodi 9y ago
I think there are two concepts being conflated here, but I'm not sure what to call them. Let's call them X and Y. --- 1) Saving whatever% off your car insurance makes you X. 2) Having sex makes you X. 3) Scoring the winning point
194.
by lodi 9y ago
My rule of thumb: will your customers regret their purchase in hindsight? If you suspect most of them will, then yes, it's unethical to collect their money now. Elsewhere in this thread people have compared casinos to video games, tob
195.
by lodi 9y ago
That's suboptimal; a fully realized human would suffer less than a lobotomized human. Also, we don't need an AI that's ethically perfect, just equal or better to an average human.
196.
by lodi 9y ago
You need to try iRacing in VR. It covers about a third of the stuff on your list. > no track surface bumpiness... none of them even manages to really reflect the track width. iRacing laser-scans real-world tracks. You feel the bumps th
197.
by lodi 9y ago
My thoughts exactly. The author is concluding that since we've never seen supersonic wing-flapping in nature, we'll never see supersonic flight. Not only is that an unwarranted implication, in a mathematical sense, but it also d
198.
by lodi 9y ago
Maximize human population divided by the time integral of all human suffering (taken from now to the heat death of the universe.)
199.
by lodi 9y ago
Yeah, my thoughts exactly. > A chord is 3 notes played at the same time. It's not like you have to dig too deep to discover four-note 7th chords, diminished/augmented, inversions, etc...
200.
by lodi 9y ago
By that definition Haskell is a systems programming language: https://en.wikipedia.org/wiki/House_(operating_system)
201.
by lodi 9y ago
How did they resist comparing it to the Saturn V? Falcon Heavy: 100,000lb to LEO. Saturn V: 310,000lb to LEO. 107,100lb to Moon!
202.
by lodi 9y ago
Okay, how about Microsoft and the original Xbox. They lost $4B+ muscling their way in, and now have the market-leading console. https://www.engadget.com/2005/09/26/forbes-xbox-lost-microso...
203.
by lodi 9y ago
Doesn't have to be carbon neutral; just has to be better, or not much worse, than whatever alternative transportation you'd use to get to your destination.
204.
by lodi 9y ago
Do you believe that human intelligence, given an algorithm and a set of inputs, is capable of deciding whether the algorithm halts or not?
205.
by lodi 9y ago
NASA must be well aware of the triple redundancy logic you're describing since they themselves used it on the Saturn V in the 60's. https://en.wikipedia.org/wiki/Saturn_Launch_Vehicle_Digital_...
206.
by lodi 9y ago
My understanding is that the gesture began as a kind of pat-down to show that neither party was hiding weapons in their sleeves (think "roman" handshake -- clasped at the forearms), and gradually evolved to what we have now. Simil
207.
by lodi 9y ago
TIS and Shenzen superficially look like assembly programming, but in reality they're very sophisticated puzzle games. You basically create these networks of routines, each of which is limited to something like 9 lines of code (and lab
208.
by lodi 9y ago
First result for "rockefeller net worth": https://www.forbes.com/sites/carlodonnell/2014/07/11/the-roc... ($340B in 2017 USD)
209.
by lodi 9y ago
His point is fair though; just replace "road" with "railroad".
210.
by lodi 9y ago
Except that without government, the "obscenely rich" would be the ones with all the guns and guards and such; the poor and hungry would be still more poor and more hungry.

More ›