imh

52 ms·

451.
by imh 10y ago
You're 100% right about debugability. It's the main reason I don't push to use haskell every day. That said, I think we really need to get clever and think of good tools to debug in spite of these difficulties. Most complex
452.
by imh 10y ago
I like all the constant bubble talk. As I see it, the more wary people are, the less likely we are to collectively make dumb decisions that lead to an actual bubble. It's not like any of this talk goes around with total certainty.
453.
by imh 10y ago
I often find myself writing something long, so I have to close it with a kind of wrap-up, "this is the point" statement. Then I immediately delete everything except for the wrap-up statement.
454.
by imh 10y ago
Maybe the word "can't" was a poor choice. My point remains that people pretty much always drive in ways that would fail a DMV driving test. Plus, I know I sure drive differently when cops are around too.
455.
by imh 10y ago
I want the DMV to only license drivers when they are safe, alert, and driving defensively, so I want the DMV to only license autonomous systems when they can meet or exceed the bar of safe, alert, and defensive drivers. We can't enforc
456.
by imh 10y ago
I don't know what the drum machine one is doing, but my computer can't keep up. It can't even keep time because of the lag.
457.
by imh 10y ago
Let's put quantum mechanics aside and suppose we live in a universe that is 100% deterministic. In that universe, we still can't predict chaotic and overly complex things very well, like rolling a die or shuffling a deck of cards,
458.
by imh 10y ago
It depends on whether you want randomness to be a mathematical or a physical concept. If you want randomness to be a physical concept, then it depends on interpretations of quantum mechanics and physics in general. If you let it be a mathem
459.
by imh 10y ago
If you yell at me, I'll pay attention, but I'd still rather you didn't. The argument that we watch them more is the same thing. Bright, shiny, loud, moving things will draw my attention and increase my engagement, but I&#x2
460.
by imh 10y ago
It's just pattern matching. How is this pattern formally defined (for the first problem)? x = sqrt(x + sqrt(x+sqrt(x...))) is informal, so the real definition is a recursion x = sqrt(x + THING), and THING = sqrt(x + THING), which is co
461.
by imh 10y ago
I went a little off the deep end a bunch of years ago learning geometric algebra. For a similar, but slightly different and cool take, check this out [0]. It's a take on multivectors, dyadics, and differential forms, which really shine
462.
by imh 10y ago
One other cool part of attention is that you can attend to m-dimensional parts of a n-by-m matrix just as well as a k-by-m matrix. Objects (sentences) of varying size can be treated the same in a really nicely principled way.
463.
by imh 10y ago
I agree that it's not great, but I think it's still necessary, given all the infrastructure and public services there are. My question is whether there are better ways to do it than as a percentage of property value. Is there a fa
464.
by imh 10y ago
Complete uninformed speculation: The stock market doesn't seem to like him. If that continues, the big markets may be less appealing as investments, interest rates may stay low, and so VC may be a (relatively) more appealing place to t
465.
by imh 10y ago
I like the new york times coverage better. It does a better job of acknowledging Trump's supporters and why he won, as opposed to just focusing on why Clinton lost. http://www.nytimes.com/2016/11/09/us&#x
466.
by imh 10y ago
I hate that google products are such crap if you don't let them remember everything about you. I deactivated the maps tracking on the privacy page recently because the wording made it sounds creepy, like they can keep track of where I
467.
by imh 10y ago
>If you want a larger field of view or higher resolution this comes with an exponential increase in number of pixels. How does that work? Shouldn't it be just linear in FOV? Or quadratic if you are talking about solid angle? This do
468.
by imh 10y ago
>There is a Catch 22 in building another Silicon Valley: to hire talented people you need successful companies; to build successful companies, you need talented people. I wonder if remote work can help with that. It may have the potentia
469.
by imh 10y ago
Taking a typical track, a dev might start working at 22 and start a family around 30, leaving 8 years to save 300k (20% down payment on 1.5M), meaning they have to save $37.5k/year. Add to that a $2-3k/mo rent for those 8 years, a
470.
by imh 10y ago
>Computers are capable of extremely fast control, but that doesn’t necessarily demonstrate intelligence, so agents must interact with the game within limits of human dexterity in terms of “Actions Per Minute”. They address that in the ar
471.
by imh 10y ago
The 12-14 age for puberty is kinda modern. ( https://en.wikipedia.org/wiki/Puberty#Historical_shift ) It's been happening earlier and earlier. With the 1840 reference point on wikipedia, depending on location it was
472.
by imh 10y ago
I'd bet it's somewhere in between. I think the determining factor is nuisance. People will put up with certain long commutes and high prices for a given reward. If tech makes it so we can accommodate more people going further at t
473.
by imh 10y ago
An awesome 3br in a luxury part of SF is definitely not going to be ~500k. This search [0] puts them in more of the 1.5M - 3M range. [0] https://www.redfin.com/city/17151/CA/San-Francisco/filter/mi..
474.
by imh 10y ago
We'll pick Logo McLogoface!!
475.
by imh 10y ago
Honestly, I feel like the market works. If you want to sell your home, you sell it to the highest bidder. If I want a spacious home, I have to compete with everyone else who wants one. If I had the money for it, I might buy a 2000 square fo
476.
by imh 10y ago
I like your framing of the question, "Do we have a moral obligation to make housing as accessible as it could be for the largest number of people? I disagree that the answer is yes. Some places are desirable precisely because of their
477.
by imh 10y ago
newtype BusinessLogicThing = BLT Int Then you use the semantic thing instead of the other thing (with no overhead). That can help in some situations.
478.
by imh 10y ago
The math example is more informative when it's not something trivial. For example, take the following notion about a sequence of X: ∀ e, ∀ d, ∃ N : ∀ n > N, P(|Xn - Y| > e) < d. A more human way to say this is that eventually,
479.
by imh 10y ago
Haskell is very strict in what the compiler allows you to do where. It's a really great alternative to just requiring developer discipline. It means that you can do some things (like refactoring) with much greater confidence because th
480.
by imh 10y ago
It's not just about making inference faster. Most of the PGM libraries/DSLs I know of are kinda clunky and inflexible. This is all about answering questions about how to make it easier and more powerful, not only faster.

More ›