skysight-inc/HackerNews huggingface dataset:
> What I'm talking about is not adding checks, but what happens when the compiler knows that something has undefined behavior through e.g. Constant propagation.

But ... either the compiler can prove at compile time that the program has undefined behaviour, in which case it should simply refuse to compile, or it can not, in which case it has to emit a runtime check to determine when undefined behaviour "is about to happen", which is potentially expensive?

> The undefined behaviour is there to make translations to machine instructions efficient - so that you don't need to do checks on pointers and that addition, shift, etc. on several instructions are supported although they behave slightly differently

... or in other words: for optimisation?

I mean, optimisation ultimately is nothing but the selection of the cheapest possible sequence of instructions to perform a given computation. And undefined behaviour helps with that, not just in the last step of mapping your IR to instructions, but in every step before that, as every optimisation step has to preserve the semantics of the code, and the fewer restrictions there are on the interpretation of a given piece of code, the more options every optimisation step has to transform the code without changing the semantics, and thus the more chances for one of them being cheaper than the others.
Yikes, had no idea they didn't even have a windows build.

I know a non-trivial number of photogs who are windows based, considering they aim to be a LR replacement I don't see that happening anytime soon. Also probably going to be harder and harder to make that port happen the more development moves along.
Reliable WiFi is hard stuff - but nowadays Linux has gotten to the point where it mostly just works. OTOH I still have WiFi issues on OS X to this day - just recently tried backing up some files over SMB and WiFi choked.
Cell-Penetrating Peptides Will Step into a New Era Soon
As is seen, peptides can be used in many fields, such as skincare, health nutrition, protein production, etc. Actually, peptides, as a kind of small molecule protein, are always regarded as one of the most important element of human nutrition.

http://www.pr-inside.com/cell-penetrating-peptides-will-step-into-a-new-era-r4333795.htm
How is it server-less? Seems like the Amazon products you're using are, uh, running on servers? Not trying to be snide, just trying to understand what you mean by serverless.
Tesla Model X-mas Show Easter Egg
spacey up above posted a link[0] to a blog post explaining exactly why that is.

[0]: https://www.darktable.org/2015/07/why-dont-you-provide-a-win...
Yet another move by apple to take away your control over your own machine. Some parts of the filesystem become off limits, even as root. But installers have access! That's kinda nuts.

Obviously: most users wont care or notice. But when you combine this with other changes apple has made; it's clear where they're taking OS X: just as unfriendly to tinkering and exploration as their hardware.
The shunting yard or precedence climbing algorithms are better approaches to expression parsing. They make it trivial to add operators and change precedence levels without the convolutions of a recursive grammar. They also clear the way for user defined operators since the machinery is controlled with a table that can change dynamically.
[Really easy to enable.](http://internals.exposed/blog/dtrace-vs-sip.html)

But, hey, sure. Don't let that stop you from getting angry. Merry Christmas.

There should be a bingo card for this thread. "#doomed" "taking away freedoms". Free space is "What Steve would've done".
I have a slew of acquaintances from around the world. Facebook makes it easy to stay in touch, and to discuss the things we enjoy.
Yes, there are other ways to do this, via specific forums, which I also use. But facebook is a bit more casual, friendly, and easier to use.
That said, it is frustrating to use it for serious discussions (of course that isn't what it is for)

But your last, fairly insulting question could be rephrased as "would an educated, independent thinker..., have any reason to communicate with anyone else?"

Facebook is just a communication tool.
Would you be surprised to hear that Google also uses Hunspell and has contributed to it?
I think he means having the servers abstracted away (i.e. not having to maintain them, not knowing how many of them should be running, etc...)
Musk: Model Xmas Show
Yea maybe I should've been more specific but I was just talking about the user's perspective: usernames aren't necessary for most sites and just means one more thing they have to create and remember.

Re: implementation - I don't see the big distinction. These are all just related properties of a master user id number. Those properties can be anything and any of them (in any combination) can be used to login.
I haven't looked at the details of this design but from past experience, I've found USB based serial ports to lose data at high speeds. I tend to use PCI/PCIe based cards instead.
Political correctness has no place in a free society. It's fascism, pure and simple.
That site is very out of date. We've been trying to get it fixed (as none of us control it), but we haven't been able to so far. :(
Nice tutorial. Well written and clear.
The language being defined here is not a Lisp, it's a (trivial) language that just happens to use (something like) S expressions as the surface syntax. (The reason it's only "something like" S expressions is that it has ad-hoc commas to delimit argument lists.)

The characteristic that defines a Lisp is that code is not a sequence of characters, it's a data structure -- typically a tree of cons cells -- which can be manipulated within the language itself. The language being defined here doesn't have that property.

It is this property that allows you to write macros, which is what makes Lisp cool. Without it you don't have Lisp, you just have a run-of-the-mill programming language with weird syntax.
You'll notice that in his 'best version' of the education chart, the y axis also does not start at zero. More precisely, the point he made was that _column_ charts should always start at 0. He makes no blanket statements about line graphs to show trending.

Also technically any graph that isn't numerically wrong is a problem of the public not taking care.
Well, it is an opinion...
I agree with pretty much everything you wrote here. I think my main disagreement is that you can fix this at the language level. Languages are static entities; some are "living" in the sense that they get new major revisions (C++0x, Python 3, etc.) but on a day-to-day basis, you have to deal with the language you've got, and most languages don't have any way to "annotate in" these sort of semantics on a per-module basis. (C is one of the only places this has been given even bare thought, actually, with compiler #pragmas.)

IMHO the goal of a compiler is this: to take as input 1. code represented in some standard grammar, and 2. configuration represented in a compiler-specific format; and to combine these two things to generate a build artifact.

I assume that you want the build artifact to have the same deterministic behavioral semantics on all target platforms, regardless of whether your language allows you to encode those semantics. Insofar as compilers have the two inputs stated above, then each semantic property that can't be made explicit by the language grammar, must then fall to the compiler's configuration.

In other words, it's the compiler's job (through you) to fix the language's mistakes, such that vague code becomes non-vague binaries.

Imagine for a moment that, instead of global command-line switches passed directly to the compiler, the compiler's configuration existed in the form of a "hints file" alongside each source file—effectively, a proprietary system of markup/annotations for the language, but separated into its own file instead of being intermingled in the source like Java's @annotations.

In such a model, you'd have a 1:1 correspondence between input #1 and input #2: each file of C code would have an equivalent file of hints, telling the compiler everything it needs to know that isn't in the C code (and which, moreover, can't actually be expressed at all in C.)

With our current backwards batch-programming methodologies, you'd probably have to write the "hint" files yourself, or have your IDE generate them by twiddling knobs. My real expectation, though, is that your compiler would actually run through your source files interactively, asking you questions where it thinks things are vague and recording the answers in its hint files, only actually doing a compilation pass once all its questions have been answered. Your compiler would actually work with you like a copy-editor, taking your muddled prose and putting in little query-marks to show its confusion.

Which is all to say, we're never going to get a revision of the C language standard that will actually give "x + y" platform-independent overflow semantics. But we could definitely create compilers that would annotate each "x + y" in a C codebase with a particular overflow semantics, without doing anything to the code itself that breaks the C language grammar. This would let us remove the vast majority of what is currently "undefined behavior" from our code, without fighting a losing battle for more semantically-explicit languages.
I'm surprised no one has mentioned the movie Eastern Promises yet.

http://easternpromises.livejournal.com/47809.html?thread=111...
The author of that post should have included references.

1. If it does not work (dr race), then why is it still present?

2. He states root is gone, but not gone; LOL please explain or give us a link with more details.

3. Even if this is true, it's not going to slow us down much. We will continue with business, as usual.
TFA addressed that. For the regular folk, this will be fine. For security researchers, it's a big flag that will let malware change its behavior.

He also posted a handy screenshot that shows Dtrace not working on some binaries even with SIP completely off.
I've often wondered about this as well. A Raspberry Pi 2 seems to have enough horsepower to act as a very capable KVM type unit, and has an Ethernet port.

How hard is it to digitize analog VGA or interface directly with HDMI and encode to something like VNC using the GPU if necessary?
What happens when, or if, the economy becomes dominated by a handful of actors who impose monopolistic economic inefficiencies just as damaging as any the state could have conjured, and with the additional injury that there is no democratic way to reverse them?
I remember worse days, compiling drivers from source, audio never worked. Wifi support was only for an exclusive set of devices, video drivers were terrible. Because of that benchmark, what I have now works.
Okay, there's many problems with this post.

First, most people do not need to use dtrace. Especially on system processes. They claim that this is bad for security researchers because they can't monitor the system anymore and they showed a screenshot of dtrace not working even with SIP "disabled". However, from the screenshot, we see that SIP is, in fact not disabled because of this line

> System Integrity Protection status: enabled.

You can see here http://internals.exposed/blog/dtrace-vs-sip.html that with SIP properly disabled, you can run dtrace on system processes. Yes, it's confusing that it says "DTrace restrictions: disabled", when it should say "some dtrace restrictions".

Also, no security researcher worth their salt would be stopped by this (and no "bad guy" would be stopped from debugging either). In fact, dtrace is only a convenience and one tool in a toolbox; you have VMs with kernel level debuggers. You have object code analysis. You have wireshark and so on. If Apple can't stop people from jailbreaking their iphones (where hardware enforces the lockdown), they won't stop people from debugging their PC's kernel.

Basically, SIP is good for users (the "Ultimately this means that Apple has replaced the 'be all and end all' security barrier of the root password, with the 'be all and end all' SIP protection mechanism." argument is the same as "we shouldn't outlaw guns because people will find other ways of killing each other") since it makes compromising a system all that harder. If it hinders ANY security research, I question the skills of that researcher.
I'll give it a shot. Political correctness stops us from having honest conversations about real problems. It's why educators have to tip toe around basic science topics like evolution. It's why people like Sam Harris are put into the "bigot" box instead of us having frank discussions about militant Islam on the evening news. Political correctness is why the educated people in news can't speak honestly to how stupid climate change denial is. It's why we can't talk about real problems that seem to be unique to some minority groups.

And when these problems don't get talked about, they don't get solved. And unless people go out of their way, they simply can't be truly informed about the issues. Hell, they can't even learn that there's more to be informed ABOUT.
It seems like there have just been some assumptions going both ways.

This all started when someone trashed RDBMS for being "heavy", implying that Mongo is good because it's light.

Why would you care how heavy a DB is if it's not on the client side? The kind of memory and storage you need for even the heaviest popular RDBMS (MySQL?) is still low enough that's nearly free to create a small app.
SIP is turned on in the screenshot.

> System Integrity Protection status: enabled.
Thanks. I find it frustrating sometimes how difficult it is to control tone on the internet, and how discussion is simultaneously impersonal and still affecting. I really appreciate that HN is a space that attempts to maintain a civil tone.
That's like the worst thing you can do for a delusion.
The food in Congress should be adjusted according to its approval rating.

Currently, its approval rating is around 12%, which means they should be fed expired TV dinners that have been superheated into crusty, dry solids.
It's true. I'm not a Trump fan per se--but I trust an honest moron far more than a dishonest one who says all the right things.
Reminds me of this: https://www.youtube.com/watch?v=9U4Ha9HQvMo
> Well, yeah, but Persona/BrowserID didn't fail, YOU (Mozilla) failed.

Did you read the post? This is exactly what the OP said:

> I was very bullish on Persona early on, but the fact of the matter is, we failed.
Ye...No.

You don't get to create people and then go "well I can't do what I want with them, they're not really my responsibility any more".
If anybody hasn't checked it out, this site is great. It uses several different PD sources, but mostly the fabulous Internet Archive as a source for primary information. It's a highly curated site and IA is basically the backbone of the information it uses.

This is a beautiful marriage.
Does it matter? I say this as an atheist who enjoys Christmas. Wacky holidays are fun. Krampus is kinda strange though.
Vaccine induced polio is not nearly as bad as wild-type polio. And this would also be the reason we phased out giving the polio vaccine.
Show any data (in redis, mongodb, file ) in Django Admin
How do you then regulate players in the economy to ensure that the harm to society caused by unfettered business is minimised?
The only reason I brought it up is that there is a myth that many developers believe SQLlite is only useful as a dev enviroment database
Philip Su mentioned in the article runs the London Facebook office. I am just glad Eric is not joining that one :)
Why is there an onus on them to do anything? They don't owe you any figures on how many legal medical procedures they do with money that didn't come from you.
How I feel about Haskell
You've said that Mir is an awful thing, but you never explained why.
> does any one or any group of people has the moral right to initiate force against two consenting adults agreeing to a mutual contract because we think we know better than they do about what's best for them?

Yes. Society broadly has this 'right' if you want to call it that (I would refer to it as a 'duty'), though we are wise to exercise power there in a reasonably limited fashion e.g. making up a 'Bill of Rights' etc. What you're referring to forms the basis of the FDA, of OSHA, of the EPA, etc etc., all of which have had an overall positive effect on our economic health, our environmental health, and our literal bodily health. Monopolizing force and using it to promote egalitarian principles is a fundamental part of what makes Western civilization.

You seem to be suggesting that if we as a people decide to enact and enforce laws via our elected government at all, then we give up the right to complain about laws we perceive to be unjust, and agitate for change. In fact, that is precisely how the system is meant to work. Just because you're miffed you aren't getting your way all the time, is no reason to tear the whole system down, and I think you'll find yourself part of a vanishingly small minority in believing so (very fortunately, even for you, even if you don't realize it).
Was just about to. I read VM hung out with Russian ex-cons for several months to work on the role.
Koa is the successor of Express, written by Express creator, TJ. I like it because generator workflow makes writing apps better since we can yield promises. Code is much cleaner.

app.get('/', function * () {
this.body = yield User.all()
})

vs

app.get('/', function (req, res) {
User.all(function (err, users) {
if (err) throw err
res.end(users)
})
})
Keep in mind that those repair components are eukaryot cells, and they have two built in rules that are important here :\

1) any individual cell, once X energy passes through them, they senescence

2) from the ovum you grew out of until the last cell alive when you die, only 128 cell divisions happen in that line.

That means there is a finite supply of these repair components, these cells, and so there is a limit to how much energy can go through your body before you die.

Therefore, you probably want to make sure "peak" effort in any reasonable time interval (e.g. a month, maybe a week) is pretty high, to encourage the machinery to remain well-maintained, but average effort is as low as possible.

You should exercise to have a huge amount of effort for maybe 10-15 minutes per month, sprinting for instance, getting your heartrate up to 130+, and keeping it up for a short while, maybe 20-30 minutes, no more. Other than that, you should probably avoid exercise and eat healthy.

There are other reasons gym is not a particularly good kind of exercise. It's just not very realistic. Running or biking in the real world, aside from being more fun than in a gym, is also a lot better for you. And probably, having a weekly game of basketball is far better than that.
And yet the report from Politifact in QZ that explicitly shows "year over year change" shows no such thing:

- 5% in 2007

- 9% in 2009

- -1% in 2010

- 2% in 2011

- -2% in 2012

- 0% in 2013
A less verbose, in loc and exposition, example can be found here:

http://www.jroller.com/languages/entry/python_writing_a_comp...
I'll just leave this here.

http://cryto.net/~joepie91/blog/2015/07/19/why-you-should-ne...
No, the real problem is the both C and C++ are context sensitive. (In C compilers, though not C++ ones, 'the lexer hack' is the most common solution) That's fairly hard to parse, although not as bad as some languages. For preprocessing, it's fairly easy to write a C preprocessor, and then look at how your code will look if various options are defined... Actually that would be a really good debugging tool. I should go write that. And then make an emacs mode for it, so that you can type one command at any point, and see how your function/file/whatever will be transformed by the preprocessor.
http://y-salnikov.github.io/vcaptfx2/ is cheap

I have a bunch of $200-300 devices (from blackmagic for hdmi, or raritan for vga) to do this. It's doing 48 ports, with good OS/security, for $10-50/machine, which is hard.
This link forces you to see an ad for 15 secs before revealing its content. Shouldn't such links be penalized?
We still could be stuck writing assembly on super fast hardware. Programming languages' UI has definitely improved, enabled to be sure by hardware (as in his Python/Perl example).
UPS has a habit of just leaving a "sorry I missed you" sheet at my building. Several times, I've been home the entire day the delivery happened, but they never buzzed my apartment. They just left without contacting me and saying that I wasn't home as the reason.
Merry Christmas HN
My wishes to Santa :)
1) A more stable and prosperous world (No refugee crisis).
2) AI and Space exploration should move at twice the pace what it is now.
3) Equal opportunity to every kid in world.

One quote which drives me nowadays:
"Either we are too smart or dumb to find god and ask him to solve all world problem's. We are alone or together in creating the world we ever dream off"

Happy Holidays.
In the '80s and '90s, water in New York City was excellent. It wasn't even chlorinated! But then the city lost the fight against development in upstate watersheds :( So it goes.
the <(...) syntax seems to be what I was looking for, passing a stream/pipeline to a function where a filename was expected. Hey, you learn something every day.

EDIT: Unless you're just piping both of them to STDIN. piping two files to STDIN is useful, just not as useful as the thing that I wanted. This seems to be what you're doing.
So it can be read by a wider audience? There are many English-language local papers.
No ad for me ;)
You seem to be suggesting that political correctness and right-wing arealism are two sides of the same coin. I can buy that. However, and maybe this is just my personal experience, but I've found that it's a much bigger impediment to clear thinking on the right, than on the left. Would you agree? If so (and because I'm pretty sure I'm brushing up now against my daily post limit on HN of 5-6 posts), why do you think we hear so much more about "political correctness" than the horror show that is right-wing media?
> crimes officially sanctioned by the state.

Isn't this an oxymoron?
Plus, Amazon Video is only in the US (and I think the UK). Amazon is pretty bad at rolling out services internationally. Here in Canada, we still can't buy MP3s from Amazon, despite the fact that we were told "soon" years ago.
Lessons from Miss Universe 2015's Crisis Statement
Very well done.

This is based on the original Carson Williams display from 10 years ago:

https://www.youtube.com/watch?v=rmgf60CI_ks
Yeah, like another guy said below, who said they get "nothing" but experience? Also you seem to think "experience" is not worth much (maybe because you lack experience of getting experience?), but if you ask me, I would always take a valuable experience over petty money. My time is worth more than a couple thousand dollars per month
The Atir-Rosenzweig-Dunning Effect: When Experts Claim to Know the Unknowable