mjn

74 ms·

601.
by mjn 13y ago
A few mild disagreements over interpretation: 1. NP-hard problems are not necessarily hard for computers to solve; they are only hard in the worst case, which could be very rare for some NP-hard problems. SAT, for example, is the original
602.
by mjn 13y ago
> Is handwritten assembly faster than GCC/clang-written assembly? Sometimes, but the biggest case is if you can carefully arrange a tight inner loop, especially one that case make use of SIMD, like some DSP and scientific-computing
603.
by mjn 13y ago
In my OS/architecture class we used a textbook whose author had piled on so much macro assembling on top of SPARC asm (macros all in m4, naturally) that he in effect was writing the book using a personal high-level language constructed
604.
by mjn 13y ago
On 3.13.1, here's a breakdown of the top sources of code (using the same naive wc -l count), listing only dirs with >500k lines: arch/ 3.2M arm/ 0.7M drivers/ 9.9M gpu/
605.
by mjn 13y ago
There's also a bunch of stuff in drivers/ that would be excluded in a typical x86 build, though it (mostly) isn't explicitly architecture-dependent. Over half of the whole kernel LOC are in the drivers directory, which includ
606.
by mjn 13y ago
I believe only Ubuntu is affected, of the major distros. The bug affects kernels compiled with CONFIG_X86_X32, which enables the new-ish x32 ABI, a way for processes to use x86-64 features like the extended register set, while retaining the
607.
by mjn 13y ago
Original discussion of CVE-2014-0038: https://news.ycombinator.com/item?id=7154618
608.
by mjn 13y ago
Weird, that portion of the screen looks more like something out of a Hollywood hacker film than something I'd imagine in real life. I'm trying to imagine what circumstances would result in that particular panel, plaintext password
609.
by mjn 13y ago
Perhaps that's true, but I have no way of knowing what the conditions are like. I'd have more confidence that my country is operating such facilities in a manner that meets at least basic standards if they didn't seem to be t
610.
by mjn 13y ago
> And those that master more difficult technology make more than those that those master easy technology. If anything, I think this part is probably backwards. The market does not reward you on the basis of how difficult the technology y
611.
by mjn 13y ago
And a tax rate is that line? I cannot think of any change in tax policy that would induce me to shoot a human.
612.
by mjn 13y ago
Did you check net external debt? One side of the debt equation (which is what the "external debt" figures show) is not a particularly interesting figure. If you owe people $75 billion, and they owe you $100 billion, you are &quo
613.
by mjn 13y ago
> This warrants respect, not insults. Considering most of what you post is full of insults and attacks on people who have moral views which differ from yours in good faith, I would suggest you start at home with this advice. "I thin
614.
by mjn 13y ago
> I don't have a problem making more money now that I made myself valuable. That could be part of our differences in outlook. I don't feel I've really "made myself" valuable, I just have skills and interests that
615.
by mjn 13y ago
Why should you take home a different income? I don't feel that the fact that I'm a computer scientist, which at the moment happens to pay well, ethically entitles me to more resources than other people. If anything I feel a bit gu
616.
by mjn 13y ago
Class antagonism around here has ended pretty well historically. The 19th-century working class agitated against the aristocracy and landlord classes, and after a rocky start, the workers' parties successfully gained power in the 20th
617.
by mjn 13y ago
One tricky bit is that I think a good solution medium-term will need to handle both media. Right now, a typical academic paper's print format transfers relatively poorly to the web. But the reading experience you get when you print out
618.
by mjn 13y ago
They explain it really weirdly, but it's not that hard to cap your expenditure if you translate it into bandwidth units rather than storage units, since that's what's really being billed. The footnote on the main Pricing pa
619.
by mjn 13y ago
I know some people who do videogame preservation who are watching this kind of stuff pretty closely. Although preserving original media and devices is often preferred, that can be problematic to rely only on. Disks degrade, old machines are
620.
by mjn 13y ago
> If they were an educational non-profit, my guess is that they could find a way to somehow work with individual citizens of these countries. Yeah, in academia we've generally been told (at more than one university) that educational
621.
-fstack-protector-strong in gcc 4.9(outflux.net)
2 points by mjn 13y ago|0 comments
622.
by mjn 13y ago
Looks good! Another bug report, though I'm not sure if this is on your side or an issue with the data HN is feeding: it looks like you're indexing even killed/dead HN stories, which leads to a lot of spam on some queries. Exa
623.
by mjn 13y ago
They experimented with something along these lines in the early days of the Soviet Union, trying to create games where people felt so engaged that the lack of pay didn't matter. I wrote something about that: http://www.kmjn.
624.
by mjn 13y ago
The 'legacy' mode is pretty nice, thanks! Does what I want for the HN-browsing (vs. searching) use-case, no real complaints. Minor bug: the results highlighting seems to break links. For example try this search: http://
625.
by mjn 13y ago
Oh, I'm decidedly agnostic on whether it really is futuristic AI. Just there is some buzz around it, and some of the people involved in it are definitely legit, and have also involved themselves in the "AGI" community, which
626.
by mjn 13y ago
As far as I can tell, quite a few ML people can vouch for someone at the company (I know someone there second-hand myself), but the details of what precisely they're doing have been kept fairly well under wraps. The broad parameters ar
627.
by mjn 13y ago
Main two bits: 1. Is there a way to force off the typo correction? I tried "smartos" both with and without quotes, and either way I get results for the word "smartest", which aren't about SmartOS (an operating syste
628.
by mjn 13y ago
The number has somehow become significant in marijuana subculture: http://en.wikipedia.org/wiki/420_(cannabis_culture)
629.
by mjn 13y ago
My favorite recent example of that: http://www.2014equals420.com/about.html It starts with the curious observation that 2014, spoken aloud as "twenty fourteen", becomes "teen 420" in reverse. Perhaps jus
630.
by mjn 13y ago
> Stallman isn't exactly known for letting practicality and feasibility compromise his ideals. When it comes to license choice, he's always been about a specific kind of pragmatism: what will in practice produce more free softw

More ›