skysight-inc/HackerNews huggingface dataset:
In general:

* x87 floating point is generally unused (if you have SSE2, which is guaranteed for x86-64)

* BCD/ASCII instructions

* BTC/BTS/related instructions. These are basically a & (1 << b) operations, but because of redundant uses, it's generally faster to do the regular operations

* MMX instructions are obsoleted by SSE

* There's some legacy cruft (e.g., segment management) that's generally unused by anyone not in 16-bit mode.

* There are few odd instructions that are basically no-ops (LFENCE, branch predictor hints)

* Several instructions are used in hand-written assembly, but won't be emitted by a compiler except perhaps by intrinsics. The AES/SHA1 instructions, system-level instructions, and several vector instructions fall into this category.

* Compilers usually target relatively old instruction sets, so while they can emit vector instructions for AVX or AVX2, most shipped binaries won't by default. When you see people list minimum processor versions, what they're really listing is which minimum instruction set is being targeted (largely boiling down to "do we require SSE, SSE2, SSE3, SSSE3, SSE4.1, or SSE4.2?").

As for how many x86 instructions, there are 981 unique mnemonics and 3,684 variants (per https://stefanheule.com/papers/pldi16-strata.pdf). Note that some mnemonics mask several instructions--mov is particularly bad about that. I don't know if those counts are considered only up to AVX-2 or if they extend to the AVX-512 instruction set as well.
This is the first time I'm reading about this concept and I find it fascinating. If there was to be intelligent life on an eye ball like planet the cultural, mythological and theological aspects of having a thin habitable strip of land sandwiched between ice and fire would be captivating.
> America cares about the number of billionaires

This sweeping generalization is not backed by fact and has the effect of inflaming emotions without contributing to the conversation.
I'm fully aware that my comment is worthless, but a worthless article warrants a worthless response. The article, which was written by an American website, overgeneralizes about wealth (ie only billionaires matter), so I will overgeneralize about America. I fully understand that there are people in the USA who care about the health of the middle class, but it seems to me that US cares a whole lot more about billionaires than we do here in Europe (at least more than we do here in the Netherlands).
For most well known spots there's http://surfline.com. Drones is an interesting idea. I suppose we're not quite there yet.
Here's an alternate theory that should be controlled for in future studies: Crappy photos are more likely to be grey/less colorful, and the average MTurker likely has a less than stellar camera. Thus photos are more depressing because the camera is crappy, not because these people are subconsciously expressing their mental state with IG filters.

I'd be much more interested in the results if, say, only photos from an iPhone 5 or 6 were considered.
I would expect almost everyone meaning the date to not type the T, but maybe I'm just weird.

And far more than a dozen people mean the gene, come on.

And even if you want to type september second, trying to guess a year to attach is not the best idea.
FRS122 -- some freshman wrote this up as part of a first year writing seminar. Brilliant!
Count Min Sketch: The Art and Science of Estimating Stuff
Linus rants about most everything, CMOV helped avoid branch prediction issues etc.
I agree: Amancio Ortega is self-made and his accomplishments are incredible, but like you, I don't see Zara as a "world-changing" product or service. By the way, I realize that "world-changing" is a rather imprecise moniker, but I still find it useful: no one would deny that the iPhone and Google, for example, were new world-changing products.

I also agree with your perception that the mindset in Europe is (or was?) different from the US and, generally speaking, more risk-averse. I don't think this is unrelated to the greater prevalence of inherited wealth.
Vehicle security and car hacking
Seems like you'd reach a point where it becomes worth it even with continuous improvement. If the speed of light really is a speed limit, then you'll get to a point where the maximum theoretical improvement is still some small amount. If there's a way to go faster than light, then you'll get to a point where it only takes two seconds to get to your destination.
I mean pretty much every programmer, even C programmers. Simple business logic is rife with such propositions. Note that I didn't say they use first-order logic to encode invariants in types or anything, but they obviously use it everyday to write programs

Haskell programmers also use higher order logic, which is also common now in Java and C#.
Let me just hijack this, to point out Bohdi[0], who are great here.

There install is painless, and turns the Chromebook into a really nice, consumer level device with all the bells and whistles for the average person.

I have no affiliation: just a really pleased user, with friends and family I've set up.

[0] http://www.bodhilinux.com/w/chromebook-install-instructions/
Livestream at 20% of light speed?
I think speed is only one part of it you'd be dead from radiation over such a long period of time unless you were surrounded by lead.
We "over-complicate" ISAs for the same reason we're constantly adopting new vocabulary: there is efficiency in specialization. Good design is not about simplicity; it's about managed complexity.

> - Why do compilers not strive to simplify their code-gen phase, or enable themselves to do advanced instruction-level program analysis, or both?

Because specialized instructions formalize invariants and constraints on behavior that allow efficient computation, often by specialized hardware.

> - Why do microprocessors not strive for simplicity, implement only a handful of instructions in an optimized way, with a very small chip footprint, to be followed by proliferation of cores (think 256-core, 512-core, 1024-core).

Some do, see GPUs and coprocessors like the Phi. We don't take this approach with CPUs because real problems often require complex, branching, inhomogeneous computation, which require the type of specialization and tradeoffs mentioned above.
The Life and Death of a Fig Wasp
The facts of the case (as summarized in the article) makes this seem like an obvious case of mistaken identity. Not sure what's noteworthy here.
I'm a bit skeptical about the performance, especially with often-called functions.

Normally, asm would do

call slow_hash

at every place where slow_hash is invoked, but now it has to check at every invocation a pointer with the address of the function.

Of course the loader could walk through all uses of the pointer to slow_hash and replace them by fast_hash on loading, but that won't work for selfmodifying (packed, or RE-protected) code.
Yes. Linux has no support for Core Storage, which is now used in default macOS layouts. So any hfsplus volume on Core Storage is rendered effectively not readable on an OS other than macOS, even if it's not encrypted.
Huh, look at that shit on the ground. Might as well throw it!
Spelunky by Derek Yu
AFRIMMA Awards-African Music
When you tie an arm around the "skilled" player's back, you can't justify claiming that what you do isn't gambling.
What makes you think this is self-congratulation? This is a response to Marco Arment, Ben Thompson, and other pundits (largely spurred by the PR efforts of Google and to a lesser extent Facebook and Microsoft) who claim that Apple is "behind" in this field or that it somehow poses an existential threat to Apple. This is Apple saying "uh no".

They'd be perfectly fine with not talking about it as they've done until now if they weren't trying to counter these media narratives.

As to your point about Apple not engaging with the research community, how is this a surprise at all? Their M.O has been secrecy ever since Jobs returned to Apple.
really? I wonder if the timing of rep and string instructions have improved at all?
Wow, a lot of the expected arguments here, but consider that some "multigenerational" wealthy families are more like businesses than what some would consider family.

The winery example is a good one, if they stopped producing wine the family "fortune" would dwindle and evaporate. How is that different than a corporation which fails if it stops producing product? Not a whole lot. The big difference is the governance, the family chooses the person to "lead" the business, and other family members either learn the business or move on to something else.

I would be interested in research that followed up on heirs and heiresses that chose to do something other than work in the family business, to see how many of them created new wealth in the form of the their own business or endeavor. As opposed to lived a wealthy lifestyle and then died without leaving less than they started with to their progeny.
The only time I remember using indexed list access in Haskell was on a dirty script that would break in 3 months anyhow. They are just ugly, and throw a huge amount of safety away, for no big gain at all.

Mainstream languages will gain much more from better iterators than by a ton of effort that just proves your indexes are within bounds.
How about Latvia and Lithuania, relative to Estonia, on the same criteria?
You've identified that a group of humans will make mistakes, possibly as much as machines, and that's not incorrect.

The real hazard, on the other hand, is the unrestrained laziness humans might adopt, once the norm of machine assessment matures. Always trusting the machine answer. Never (or rarely ever) contemplating the judged person. Optical sorting. Rubber stamps.

No longer simple stigma. But endemic callousness, as people stop trying to help anyone, because machines now adjudicate who to simply avoid, until those untouchables rectify their unit tests.

The isolation induced by a machine-endorsed judgement could be far more rigid, than times when people would have had to get to know you, feel you out. And this process could have been theraputic for at least one side of the conversation. Maybe that goes away now.
This was back in late 2013. My general scripting had to do with automating wireless network simulations to explore parameter spaces and slicing & dicing results stored in MySQL or SQLite databases.

I recall several showstoppers in Python v3 including integration into Emacs, accessing a MySQL database, and basic visualization. The library system was also a mess. It didn't seem possible to develop on v3 and expect that the libraries you needed would be available. Or that anyone else would care since they were all using v2.7.
Practical Probabilistic Programming with Monads (2015) [pdf]
XCoins.io - Get Bitcoin in Minutes
I run two blogs that i kept updating over the years. I don't post frequently, maybe once a month. I earn around 100-150 euro a month from them. It's not much but think of it as pocket money - its a zero effort income - especially if the topics you write about genuinely interest you.
How much of Apple's investment in OS X was in Darwin, and how much was in proprietary technology?

Apple built a proprietary product using open source technology, and are now building proprietary products using open ML research.

But it seems they're doing so for their own profit, not to benefit the open source and research communities.
If you are looking for end-user applications written in Lisp, there are quite a few. For example Opus Modus (http://opusmodus.com/)
Cloudflare Faces Lawsuit for Assisting Pirate Sites
But the post you replied said, they want this to happen because it helps recruitment.

It's only a logical fallacy because you've decided to ignore the predicate statement ("this was a strategy for recruitment") and focus on the implication of it ("extremist groups supposedly want exactly this to happen").

The crux of the OP's argument is that aiding in the recruitment of ISIS is not in the best interest of the French, yet that's what this policy is doing.
We have been using this as a build step for our services, it's possible to configure what exactly it will fail you on. Has been very helpful and not only helped us ensure good code, but taught us some good Elixir conventions as well!
So, if I understand you correctly, your definition of a type unsafe language is one in which the type checker claims to be able to verify some statement about the program, but is actually not reliable? Is that what you mean by fullfilling promises?
I just finished reading the entire novel series that Turtledove spun out of that short story concept. It's really good, well-researched and imaginative.
> That shouldn't be seen as a mark against the technology. Nobody is forcing you to switch tools.

Except when they do because they're the front end team. :P
It should be noted that meteors explode with Hiroshima-like force fairly regularly within Earth's atmosphere, on the order of once a decade or so. It happens high up enough that nobody notices beyond an occasional light show. The meteor explosion which hurt a bunch of people in Chelyabinsk a few years back was about 500 kilotons.
This was my original comment:

>>Terrorists ramp up efforts against any vector they've found to be weak. While they currently account for a very small percentage of deaths, that doesn't mean we should have just shrugged our shoulders and done nothing, even basic measures like locked cockpit doors and ending the recommendation of passenger compliance.
That's why you macro and inline your code.

call's jxx's are expensive, hense CMOV ^_^
On recent Intel CPUs, LEA is generally executed with the same resources as other arithmetic.

LEAs touching 16-bit registers issue multiple micro-ops and are slow (the machine no longer has native 16-bit register support and has to mask the results in a separate op).

LEAs with 1 or 2 address components are issued to port 1 or 5 and have a latency of 1, and LEAs with 3 components or a RIP-relative address are issued to port 1 exclusively, and have a latency of 3.

In contrast, register-register/immediate adds and subs go to any of ports 0,1,5 or 6 and have a latency of 1, and register, immediate shifts go to ports 0 or 6 and have a latency of 1.

Converting operations to LEAs really doesn't buy as much today as it used to, but a smart programmer or a compiler can occasionally grab a cycle here or there.
Thanks. I didn't know about it, but I think this makes Mezzano a failed project anyway. Sure it's good as a "proof of concept" to demonstrate CL's potential, but if I haven't heard about it, how can you expect an ordinary user to know, let alone, use it?

BTW, I'm strongly against the idea of creating new OS's just because we _can_. By end-user app, I mean something along the lines of a browser, fully capable back/front-end framework, essential industrial software, etc.
I don't care, but thanks.
Mostly that an artist had to pay legal fees to defend himself because he told the truth and someone didn't like it. The ridiculous litigiousness of the whole thing is disconcerting. The last name wasn't even spelled correctly, if an artist doesn't claim a painting, that should be good enough.
Highly unlikely, the mass of the probes will be on the order of several grams at most, and, depending on the trajectory relative to the planet, steering could require an equally impractical amount of fuel as slowing down would.
I'm not sure this is true. The ease of acquiring and opening books is so much easier when I read on my phone, that I now read many more books than I used to. And I find when I have a paper book, I'm magnitudes less likely to finish it than an electronic version.
It depends on the language. If you have, for example, a type-and-effect system, a type can contain information (like "we wrote to stdout while computing this") that is never reflected in the value itself. In a formal setting, it's more appropriate to describe a type as a collection of pieces of source code, so that `2+3` and `print "computing...\n"; 2+3` have different types even though they'll evaluate to the same thing.
Our user is waiting. We rate sites on demand, and the user is looking at a rotating "busy" icon in their browser search results during the rating process.
You can already buy wireless headsets and they already work with all phones. You want to take away the choice because... ?
I really enjoyed this write up .. would be so great if research papers in general were commented on like this (what is interesting, what is the significance of the result etc)
I've read this book. It is an excellent history of the development of the game spanning its creation, commercial release, and Xbox Live Arcade port written by the creator of the game.

However, the other books in the series do not necessarily match this format. The book about Earthbound is a largely autobiographical reminiscence written by a fan, for example. Read summaries and reviews carefully.
> Note that I didn't say they use first-order logic to encode invariants in types or anything, but they obviously use it everyday to write programs

I wasn't talking about types either. Most programmers I've talked to simply can't use formal logic.
Yep, but even if it is not anything close to habitable (as it likely is not), it seems like we could learn a huge amount about about the habitability of red dwarf systems in general.
https://en.wikipedia.org/wiki/Habitability_of_red_dwarf_syst...
The issue here is that a user that paid for your app many years ago continues to use up sync resources without providing any additional revenue. Maybe you'll be able to convert enough new users to subsidize the cost of the existing ones, but maybe not.

I think the alternative of issuing regular paid upgrades makes more sense for productivity apps. You get recurring revenue, but it's tied to an incentive (new features) to pay the upgrade cost.

The only problem is that the App Store doesn't really have a great method for issuing paid upgrades. You basically have to release a whole new app.
5F – Tinder for more “active” people
Yes, and it contains gems like this:

4. DATA. The software may collect information about you and your use of the software, and send that to Microsoft. Microsoft may use this information to provide services and improve our products and services. You may opt-out of many of these scenarios, but not all, as described in the product documentation. [...] Your use of the software operates as your consent to these practices.

Now, perhaps someone can find me the wording in any of the multiple directly and indirectly referenced privacy policies and other documentation that guarantees Microsoft won't upload and examine potentially sensitive data like my source code under those terms?

There is simply no way in which having to sign in to desktop software in order to do the same things you used to do without signing in is an improvement for the user. It is a security and privacy risk with absolutely no upside.
Dry-rb: a collection of next-generation Ruby libraries
What a pain
Good list! I think it's important to note that this article is (intentionally) focused on modern CNN architectures, and not "deep learning" in general.

I'd also add in the following "technique" articles: Geoff Hinton et al.'s dropout paper[0] and Loffe and Szegedy's Batch Normalization paper[1]. I don't think there's been enough time for the dust to settle, but I'm excited about the possibilities Stochastic Depth[2] could offer, too.

[0]: http://arxiv.org/abs/1207.0580
[1]: http://arxiv.org/abs/1502.03167
[2]: http://arxiv.org/abs/1603.09382
I feel this technique could have some substantial military applications.
> there are lots of things that download stuff automatically from DISA

So, programs are downloading certs automatically, where they would be even less likely to properly check checksums against a secure site. And create a additional small attack vector.
Cultural differences could be a factor too, but I suspect the greater prevalence of inherited wealth in continental Europe is not unconnected.

By the way, Raspberry Pi's and ARM's roots are English: https://en.wikipedia.org/wiki/Raspberry_Pi#History | https://en.wikipedia.org/wiki/ARM_Holdings
<Obligatory flamewar-starting "Em Drive" comment>
And recently published Proxima about settlers on a planet around Proxima Cent. https://www.amazon.com/Proxima-Stephen-Baxter/dp/045146771X
Do these IBM systems have anything like Intel ME that might be used by Big Bro for remote, covert rooting or subversion of the server? If yes on the standard model, can we order a version of these systems that lack that feature?

I'd love to see some market forces nudging Intel to offer CPU's and Motherboards without ME.
What makes a successful marketing campaign?
I would argue that it is worse. If you are on someone's back, in a rear naked choke your entire body is set to controlling the person you're choking and you are defenseless against other attacks. Not just attacks from behind; you can be looking right at the second person and be in the position of having to decide whether to let the choke go to cover yourself or to stay committed to the choke. Worse, since the person you're choking has their hands free, you usually need to bury your face to keep them from doing things like gouging your eyes out, meaning you limit your vision. This obviously gets worse if you've pulled somebody into the guard.

Additionally, if someone is coming from behind, your ability to react is much faster if you're not wrapped around somebody else, giving you a better chance of protecting yourself.

*edit to add eye gouging into the equation.
Alpha, not beta (beta radiation is just electrons):

> Roughly 1% of the ISM consists of helium atoms, and we have a technical term for an ionized helium nucleus travelling at roughly 2% of the speed of light—6000km/sec—we call it an alpha particle.

The article pretty much debunks [1] by concluding that heavier atoms do most damage, but are still manageable.
But just imagine if you ran some high-voltage current through it..
Alcubierre's drive is a solution to Einstein's field equations which simply means the math checks out in theory for warp drive.

The resulting practical problem is that the energy requirements necessary for the solution are far greater than what we can feasibly achieve now or in the future (exotic matter's existence notwithstanding).

But the fact that a physicist was able to derive this metric (energy requirements aside) is significant. Given the history of science, I would not discount the possibility that someone else will come along in the future with another solution which lowers the energy requirements to something feasible. But we can't predict this.

But isn't it amazing that the math checks out at all? I find it inspiring...
Only applied to image recognition.
Bluetooth headsets are more expensive, sound worse, and require charging. Amazingly, some people don't regard wires as inconvenient enough to be worth the tradeoff, and resent having the choice taken away from them.
That's pretty interesting. Do you have a source for that?
If you assign only 31 bit integer values to a JS variable, it will be treated by V8 as an integer (small int, or SMI)
Problem is: if you are smart, being an employee just sucks. Realising this opens a different class of problems to you (not to them, they are more than happy to enslave and dumb smart people down).
The difference is that an async call takes a callback and the side effects of the callback, if any, are not immediately available.

But anyway the second call may as well be synchronous and blocking.
Oops! Sorry about that. I wasn't aware of the guideline, but I'll certainly comply in the future.

To help others follow this guideline, how about a small change to the design of the Submit page? Instead of title, maybe the first text box could be labeled original title. Or maybe add the note, "Please use original page title" after the text box.
People who are capable of writing side-channel attacks like this have an intuition for radio and signal processing that must be completely overwhelming during their day-to-day life.
Haskell Positions at Facebook – Simon Marlow