lodi

41 ms·

211.
by lodi 9y ago
> The more income you report, the less "universal basic income" you receive... What you're describing is welfare, not UBI. The whole point of actual UBI is that you give everyone the same amount, irrespective of income.
212.
by lodi 9y ago
Yes, exactly. Here's the type signature for `cast`: cast : Cast from to => from -> to So if the types `from` and `to` are part of the `Cast` typeclass, then cast will always convert one into the other, without "faili
213.
by lodi 9y ago
`cast` is a lower-level function that isn't really used for parsing strings. Idris has higher level concepts that are more appropriate for that purpose. For that specific case, you could use an Idris "view" over the string t
214.
by lodi 9y ago
If anyone is having trouble understanding the raw code linked above, the official book[1] introduces all three of those concepts gently and intuitively. I highly recommend it! [1] https://www.manning.com/books/type-dri
215.
by lodi 9y ago
> The risk is that you can lose all of your money. It's spelled out in every prospectus... If you buy equity in a single company, you could lose all of your money if they go bankrupt. Likewise, if you buy stock in 500 companies, th
216.
by lodi 9y ago
But... they do? https://en.wikipedia.org/wiki/Tank_steering_systems#Double_d...
217.
by lodi 9y ago
> Both of the investments I referenced were solid until they weren't. No they weren't, not even close. Investing all your money in one company (whether Pets.com, McDonald's, or any other) is not, and has never been, &quot
218.
by lodi 9y ago
It's "memory-like" because it's byte-addressable. Flash forces you to read a whole page to read a single byte.
219.
by lodi 9y ago
$150M is actually pretty cheap compared to some of the most expensive luxury yachts out there.
220.
by lodi 9y ago
Interesting; I hadn't considered that. Thanks for raising this viewpoint.
221.
by lodi 9y ago
Even if you want to keep it finite, it would still be better to have the body of a twenty-five year old for ~sixty years and then die.
222.
by lodi 9y ago
Okay how about Einstein then? My understanding is that he also worked backwards in order to develop his theory of Special Relativity; he was trying to "fit" a theory to a universe that presupposed that the laws of physics are the
223.
by lodi 9y ago
Yes, this was exactly my feeling reading through the Idris book. In the same way that a few lines of elegant Haskell can sometimes describe functionality that takes all kinds of technically-works-but-only-the-author-understands-it C++ tem
224.
by lodi 9y ago
I always thought this kind of thing was abstruse and impractical until I read Type-Driven Development with Idris [0], which made basic dependent type examples--like those demonstrated in the posted article--completely straightforward. Tur
225.
by lodi 9y ago
Understood. But please read the whole link; you don't take a long position in any etf, geared or not, if you're expecting the underlying index to give negative or neutral returns. The whole point of the market is to grow--which
226.
by lodi 9y ago
Nothing wrong with leveraged ETFs in principle. It's just another, slightly sub-linear, point on the risk/reward spectrum (ie. 2x/3x extra risk for slightly less than 2x/3x reward). http://ddnum.com/arti
227.
by lodi 9y ago
Okay, there's two parts to this: "in theory", and reality. --- Yes, you need somebody to listen to the news, crunch numbers, and then actively trade stocks in order to set an accurate price. But what matters here isn'
228.
by lodi 9y ago
We are not "unable" to protect smart TVs. If anyone gave a shit those things would be locked down tighter than a bank vault, but we don't, so they aren't. But, as evidenced by terrorism paranoia, people do care about
229.
by lodi 10y ago
They'll probably restrict where and when you can consume it like they do with alcohol and tobacco (no drinking on the street, no smoking anywhere with a non-smoking sign, etc.)
230.
by lodi 10y ago
Actually lunar orbits are considerably less predictable than that: https://en.wikipedia.org/wiki/Gravitation_of_the_Moon
231.
by lodi 10y ago
Here's the thing: let's say that AI never advances past its current level of sophistication (circa March 2017), but it does continue to get cheaper and more ubiquitous. It seems clear to me at this point that even this may alread
232.
by lodi 10y ago
> Self-driving cars won't start out safer than humans. All data that I've seen so far supports the conclusion that self-driving cars are already much, much safer than humans. http://bigthink.com/ideafeed/go
233.
by lodi 10y ago
Re-read it sarcastically...
234.
by lodi 10y ago
There's three different categories here: 1) People that didn't know there were internment/concentration camps at all. 2) People that knew there were camps, but didn't know about the murder/torture/etc. They ea
235.
by lodi 10y ago
1) I'd like to see a breakdown of that number. 2) By the same simplistic reasoning, Americans killed 20-30 million [1] just by themselves. I'm not sure what the totals would look like after adding in the British, French, Dutch, e
236.
by lodi 10y ago
> I know you can come up really cool sounds music in Ableton within months. There are plugins which make sure you are always playing in key. That's fine. Music is music; do what you enjoy. I'm not saying you need to take pian
237.
by lodi 10y ago
> Polyphony... counterpoint. Yes, sorry, polyphony was a bad choice of words. I'm not even talking about polyphony or counterpoint as musical concepts--you can certainly get the gist of these without years of playing Bach--I mean i
238.
by lodi 10y ago
A few thoughts from a pianist with three professional music teachers in the family: 0) Someone already came up with a classical piano repertoire that perfectly increases in difficulty from "Primary" to Grade 10, in neat, progressi
239.
by lodi 10y ago
Because words are supposed to have their specific, well-understood meaning. By your logic, a guy with one arm and one leg is privileged too; there are certainly people out there that have it much worse than him. My (laymen's) understa
240.
by lodi 10y ago
I think the math doesn't work out with subsonic since those huge delta wings are only efficient for supersonic flight. For subsonic a conventional swept wing (like on a 747) is much more efficient.

More ›