noahl

15 ms·

91.
by noahl 12y ago
It seems like it should also be usable for shipping between non-remote places, in situations where you need more speed than a boat can provide but don't want to pay the full premium for air freight. For instance, I seem to recall that
92.
by noahl 12y ago
Once I move in July, there will be at least two Haverford software engineers in Seattle. That's enough for a meetup. I wouldn't send this message through HN, but I don't know another way to contact you. If you join one of the
93.
by noahl 12y ago
Given the large base of x86 applications they will want to support, Apple might ship computers with both x86 and ARM chips. If the ARM chip was running the OS, it could turn off the x86 chip when it wasn't needed to reduce power consum
94.
by noahl 12y ago
This appears to actually be an issue with the kernel, which I believe is the same as the kernel in the Android version of the device. Therefore, unless I'm missing something, the title is misleading - this is actually an issue with Med
95.
by noahl 12y ago
I like the idea of giving users a painless way to donate to the sites they use. And giving thank-yous in place of advertising is a good way to reduce the incentive to freeload. I do worry that $1-3 a month is much lower than the value I get
96.
by noahl 12y ago
Thanks for pointing this out! Yes, I meant log_2(n!) is approximately n*log_2(n). I appreciate you spotting the error. :-)
97.
by noahl 12y ago
How embarrassing! It looks like I flipped around Fibonacci and factorial in my head when writing my reply. You're completely right that the comparison-based sorting bound has nothing to do with Fibonacci numbers. And in fact log_2(n!)
98.
by noahl 12y ago
Just a nitpick, but the article makes a mathematical mistake. In the last paragraph of section 1.2, it says For performance reasons, it is crucial to allocate as little memory as possible for runLen, but still enough to store
99.
by noahl 12y ago
As far as I know, they're the same thing. Unity 8 Desktop Mode will be the normal desktop experience, but reimplemented in a Qt-based shell because that's what Ubuntu uses as its standard API now. ("Reimplemented" as com
100.
by noahl 12y ago
I think the status is "not yet, but soon." See https://plus.google.com/108554416426692294217/posts/cokrihiE... for desktop-style window management in Unity 8 (Unity 8 is the Ubuntu Phone shell).
101.
by noahl 12y ago
What do you think of the idea of writing proofs in the hierarchical style in Lamport's section 3, but not using TLA? To me, the hierarchical proofs seemed very clear and easy to understand, but the TLA (although I only skimmed it) seem
102.
by noahl 12y ago
I just hit the same issue, and I started using desktop-save-mode for that ( https://www.gnu.org/software/emacs/manual/html_node/emacs/Sa... ). It may be a bit heavyweight for instant switching, depend
103.
by noahl 12y ago
So actually, I think the idea that data-dependent hypotheses are bad is fundamentally wrong, and is based on a misunderstanding of probability. The reason you'd avoid data-dependent hypotheses is simple: if the data comes from a proces
104.
by noahl 12y ago
"Purely functional" here doesn't refer to the language the package manager is written in - it refers to the package management itself. In Nix (and therefore I assume Guix), this means that each package is built in an environm
105.
by noahl 12y ago
You're certainly right that buying an expensive item without having the money to do it is a bad idea, but think about the infrastructure and amount of time you needed to find those cheap items. You had a working computer or phone, an I
106.
by noahl 12y ago
I believe the Fortran standard requires that all function arguments point to non-overlapping pieces of memory. Therefore, the compiler can assume that pointers don't alias when compiling. If you choose to pass arguments that do alias
107.
by noahl 12y ago
If we combine your rules of thumb with the original essay and the 10,000 hour rule, we get a rough order-of-magnitude scale of work and levels of ability: * 10 hours: familiar * 100 hours: proficient * 1000 hours: good * 10000 hou
108.
by noahl 12y ago
I think the biggest news was this sentence: If all goes well, we’d like to run a small pilot program here in California in the next couple of years. This is the next step in their very slow but, apparently, very steady march toward
109.
by noahl 12y ago
I am an orc. I do not stop. I do not tire. On a side note, you're probably thinking of the Uruk-hai, not the orcs. When the Uruk-hai have captured Merry and Pippin and are running towards Isengard, they boast that they can ru
110.
by noahl 12y ago
I've seen TeXworks, but it's different than TeXmacs, which is real WYSIWYG editing with a TeX-like layout engine. TeXworks is still very cool, though.
111.
by noahl 12y ago
I've been wanting to look at TeXmacs for a while now. It seems to have similar typesetting abilities as TeX, but the ability to edit the document live and connect with a running program. I haven't had the time to look into it, tho
112.
by noahl 12y ago
"Open" here seems to mean that other companies can license IBM's core designs to use as part of a larger chip, and also that the instruction set itself will be public (although IBM's implementation will not be).
113.
by noahl 13y ago
I realize this may have been an offhand remark in your post, but your description of North Korea as pharaonic is very interesting and something I hadn't thought about before. Do you have any sources comparing North Korea with the gover
114.
by noahl 13y ago
Ah, thanks for posting the email. You're right. :-)
115.
by noahl 13y ago
I'm skeptical about moving existing apps seamlessly between x86 and ARM processors, because you'd need guarantees about process memory layout that I don't think any current compiler makes. Imagine the memory image of a proces
116.
by noahl 13y ago
it's just a shame there's no SDK I noticed that the battery life is 3 weeks. Given the size of the product (not large), it's safe to say that they get that battery life by doing as little as possible. It may be that
117.
by noahl 13y ago
Hmm. At first I thought this would be a waste, because you couldn't use all of its fast compute capabilities on doing key-value lookups. But these things also have much, much more memory bandwidth than regular CPUs (I can't rememb
118.
by noahl 13y ago
I'm sorry if this is obvious to you, but your post makes it sound like you may have bought a laptop in the configuration listed and then tried to install Ubuntu. Quoting from the Ubuntu website you linked, Standard images of Ubun
119.
by noahl 13y ago
To me, the most interesting part is how clearly the textbook industry and the reporter don't "get" the open source development process. For instance: But [David Anderson, executive director of higher education at th
120.
by noahl 13y ago
Would you consider allowing users to have one pending comment per thread, as opposed to only one at a time? I am afraid that this will impact the way I read HN, which is in batch mode.

More ›