skysight-inc/HackerNews huggingface dataset:
I would hope none, since no static analysis tool can make that assumption without knowing the exact compiler you're thinking about and a great deal else.

This is not the "expected" behavior; undefined behavior doesn't have an expected behavior. This is what the compiler at godbolt.com happens to generate for this particular code.

At best, an analysis tool can warn that the code has undefined behavior.
Has anyone come across good ML to do arabic-english? Seems to be a complete lack of decent training data.
Minorities are protected classes. Rural areas aren't. You can't change your race. You can change your location.
Ask HN: Any way to test Google ARCore without a supported device?
I'm wondering if there's any way to test Google ARCore without a supported device (Pixel or Galaxy S8).

I have a Moto G5 Plus, perhaps there's some simulator that can pretend it's another phone..?
Instagram API hacked to access verified accounts of Selena Gomez, others
Developer Community August 2017 Digest
Sorry, you are right.

I don't think compilers know that main() is really the entrypoint, since there is some code in the C runtime that runs before main. If compilers treated main like the program entrypoint, then my original comment would stand.
Because you could bypass filtering / approval mechanisms, or automatic image processing that could defang a malicious image.
Linux desktop market share over 3%
YoKart:A Multivendor Platform to Build an Online Store Like Amazon at Small Cost
It's a global static without an initializing expression; it is set to 0 before main() starts. 0 for a function pointer is of course the same as nullptr/NULL.
Yes, but people hate doing it.
Cool—Common Lisp? Isn’t that a promise to the compiler that you will obey the type, not a request to the compiler to enforce that you do? And can it correctly enforce something like the (∀a. a → a) that I described?

I consider gradual typing (e.g. Typed Racket, Hack) an interesting case of static typing where you’re trying to provide good interop with your dynamically typed surroundings, typically while migrating from dynamic to static types. Not all dynamically typed systems that allow type annotations have “gradual typing” in that sense, because many of them don’t give you enough power to get to “fully annotated” code (where the compiler is finally free to erase types completely).
On that subject:
CppCon 2016: Michael Spencer “My Little Optimizer: Undefined Behavior is Magic" (https://www.youtube.com/watch?v=g7entxbQOCc)
Use PVS-Studio to Increase the Reliability and Security of Financial Software
The FOSS religion days are well behind me for worrying about flame wars.

The very fact that you cannot prove me wrong, tells it all.

Given that I also work with Android, are you so naive to think I need to search for whatever you want me to find?!?

Sure there is Mesa on the emulator, which is deprecated by the way.

Oh and in those Intel devices that are no longer being sold.
Do compilers emit warnings here (do they usually do that when there is a known UB?)

Here it's clear that "NeverCalled" is never called so it's clear that Do is never assigned, so the Call can't produce anything useful.

EDIT: Ugh missed the lack of "static" on the NeverCalled. Never mind.

Is this too hard to decide with certainty in C because of how you could do some pointer gymnastics and just fiddle with the field without the compiler realizing, so in order not to spit out false positives, compilers just have to assume the author knows what he's doing and allow the suspected UB without warning?

I'm just used to higher level "safe" languages (Rust, C#, etc), where lack of assignment is usually determined with certainty.
What manufacturer and model is that?

I had a 2008 VW Golf TDI Gt Sport (the 140PS PD engine) and that consistently lied. My newer 150 Euro6 (I think) engined VW Beetle TDO gives even better MPG so perhaps it is lying again...
Potentially time to measure it versus how much I put in.
Πως να κάνετε το σύντροφο σας να σας ξανά ερωτευτεί
"Propaganda" is a loaded word, as it immediately reminds us of authoritative regimes and totalitarianism, but its definition, according to Merriam-Webster is:

- The spreading of ideas, information, or rumor for the purpose of helping or injuring an institution, a cause, or a person

- Ideas, facts, or allegations spread deliberately to further one's cause or to damage an opposing cause; also : a public action having such an effect.

Is what think-tanks do any different ? Mind, it's different from what normal press/media do, as their goal is usually financial and they just cater to their audience.
This might well be valid according to the standard, but I find it very depressing how many people consider it reasonable behavior.
> What really put salt in the wound, though, was the fact that it appeared Google had stolen our user data for their own places product. That's right, they actually took our information that we had painstakingly collected, cleaned, and verified (we had our own call center and would take updates from customers) and passed it off as their own.

The exact same thing happened to the company I worked for, which was active in the online local business market (i.e. putting small and medium businessed up on the map, with descriptions, ratings and everything). I was in charge of Information Retrieval, as in half of the data was collected by my colleagues physically going from door to door and collecting info, and the other half was inserted by me in the DB from a set of diverse publicly available data (mostly some Excel files collected from the ministries' websites and formatted by me for SQL INSERTs). Not a year passes and Google Places is launched, and another couple of months later almost all of our businesses are in there, with errors and all. At least they didn't take us out of their SERPS, they figured we were too small for them to really matter (Eastern-European country). At least I'm happy I'm not paranoid, I had thought about this ever since my company was forced to exit that business space.
C11 6.7.9 (10):

If an object that has automatic storage duration is not initialized explicitly, its value is indeterminate. If an object that has static or thread storage duration is not initialized explicitly, then:

— if it has pointer type, it is initialized to a null pointer;
> the function will be run.

You can't be sure, that's just what one compiler does today. Static analysis tools tend to refer to the standard.

$ tis-analyzer foo.c -val

/tmp/foo.c:16:[kernel] warning: Function pointer and pointed function have incompatible types.
Pointer type: int ()
Non-function: {0}
assert \valid_function(Do);
....
/tmp/foo.c:16:[value] Assertion 'Value,function_pointer' got final status invalid.

In other words, the pointer is not initialized.
I still feel there's a correlation between Python coding bootcamp survivors and the new wave of people thinking static typing is hard. It makes it easier if you know what you're doing.
Given the current state of PC market, there are plenty of those processors around.
With clang you can enable run time UB checks using the -fsanitize=undefined flag[0]. But in this case, the sanitizer doesn't detect undefined behavior.

I tried to build the example (and changing the system to an echo) using "clang a.cpp -o a -Os -std=c++11 -lstdc++ -fsanitize=undefined", but the sanitizer didn't detect the UB.

[0] https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html
Top 200 Best Post-Apocalyptic Fiction to Read
Get into Your Mess: Cleaning Can Be a Distraction
In-depth explanation of CSRF (Django example)
Because order should be unimportant for a tuple.
The article says they use the neural net to find lenses which match the model the astronomers develop:

To train the neural networks in what to look for, the researchers showed them about half a million simulated images of gravitational lenses for about a day.

I'm not sure what you mean by a "real models" in any case.

Things like NN based generative models combined with model selection certainly can build models which discover real-world behavior. There's a long history of this in the disease epidemiology field. In these cases it isn't usually neural network based, but that is mostly about the most appropriate learning algorithm for the data available.
Simple Techniques for Lowering the Cost of Zero-Energy Homes
Not inherently, except when it just destroys information. Let's say a couch is really light but made from good material, and has a design and colors I find very pretty, and it comes at a fair price, too. I might just call it "awesome" and be done with it, but that conveys nothing, and then when I am actually in awe, I have to talk about how something is "literally genuinely really awesome". Likewise, if propaganda "now means" propaganda one doesn't like, how does one call propaganda in general? I would guess "public relations", "public outreach", "engaging with the community", "influencing the narrative for a positive outcome", and a lot of others, but why not "propaganda"? I'm sure I use it in a purely negative meaning all the time myself, but I still can't see anything gained from that.
So perhaps you need to find paywalled news/review outlets without ads. Someone has to pay for the articles being written, servers, bandwidth etc
> the results (with a good deal of hindsight) seems to show the internet/media's ability to influence opinions is much smaller

On the contrary, it shows that it can swing an election even in just the last few days - witness the orgiastic coverage from the press of Comey's -complete- non-announcement about Weiner's laptop. That swung a significant number of undecideds to Trump in the days following.

(And this is ignoring the previous year of "BUT HER EMAILS" coverage that was complete bullshit whilst ignoring the actually important things that Trump was saying and doing.)

(Also ignoring the Russian troll army promoting Trump on Twitter etc. because we don't have enough details on what they did yet.)
The original Xbox from Microsoft was basically a slightly modified x86 computer (complete with actually-usb-ports-with-a-proprietary-plug controller ports)[0], where the 64mb of DDR SDRAM was soldered directly onto the motherboard.

Now, it's widely known within the Xbox "scene" that the quality of the RAM fluctuates a lot between different machines. The speculation was that Microsoft bought the cheapest bottom-of-the-barrel RAM it could find in bulk, which meant they couldn't hardcode the memory timings.

Instead, on boot, it clocks the RAM at the highest speed and does a quick write-and-read test. If it fails, it clocks it down a step and repeats the test until it finds a stable frequency.

This explains why sometimes the same game would run perfectly on one Xbox while stuttering on the other one, even when swapping DVD drives.

[0]:https://en.wikipedia.org/wiki/Xbox_technical_specifications
email sent :)
Output of clang with -Weverything

11 : <source>:11:6: warning: no previous prototype for function 'NeverCalled' [-Wmissing-prototypes]
void NeverCalled() {
^
1 warning generated.
Top 5 movie review websites in different languages
The 'Apple of China' is revealing new phone 1 day before the iPhone 8 launches
Are you joking or serious? I can't read your tone without emoji.
Are you suggesting that every country should look into other things before a space program?

Or is India somehow special?
This partially thanks to Apple, every developer I know using Apple has some issues with OS X quality and/or the increasing price (they already subscribed to the premium idea years ago but the touchbar price boost was a new level of kicker). Strangely I suspect Microsoft may of actually dented some of this, social media around win10 and wsl generally seem positive. Disclaimer bounce: Long time ubuntu user, just listening social media.

Also, I'd be interested to know if chromebooks factor into this stat?
SUCCESSION PLANNING: THE MISTRY OF TATA AND SIKKA OF MURTHY
This post is soooo old...
To be clear, what exactly are you referring to by "this"?
That's valuable publicity & infamy.
If we want zero-overhead abstraction (i.e. don't generate null checks in front of every division, etc.) and a (reasonably) safe language, more static analysis is in order.

The case in point is Rust: Its type system is basically an elaborate static analysis.

Rusts advantage over tools like UBsan is that the programmer expects to interact with the type system. Many static analysis tools get rejected by programmers, because the expectation is that they "just work", when really one needs to interact with such a tool. This means bidirectional communication: The programmer tells the tool what invariant he wants to get, and the tool tells the programmer which invariants it is missing.
Speaking re. python:

IDEA also sorts imports alphabetically, separates system modules from non-system modules and removes the names that are no longer used if configured properly. How much time does someone spend doing this by hand (e.g. just simply reading through the list of them)?

IDEA also allows to automatically make the code PIP8-ready by using Ctrl+Shift+L.

I can refactor the name of the function with a basic shortcut, and I am 100% sure, even if it touches >5 projects at the same time - IDEA will replace them correctly. That could be done by a simple find-and-replace, but then I would need to keep my attention on whether that was a correct replacement. How many minutes a day do you spend trying to keep yourself aware of that?

There are literally so many details in working with moderately-complex Python code (e.g. type hints or lack of them; function arguments; unresolved names) that IDEA basically equals to a constant number of hours I save every day.

I am not going to argue - most of what I mention could be solved by automated cli-based tools; and that's exactly what IDEA does under the hood. By it keeps it all together in one place on my screen right now; here, rather than in a set of disjoint interfaces.

I literally do not get why people still use vim/sublime/notepad++. That's like cooking with a blunt knife. You may and will cook as good. But is it not justifying your laziness to go out and buy a proper knife?
> However the results (with a good deal of hindsight) seems to show the internet/media's ability to influence opinions is much smaller then they predict.

On the contrary. The internet & media's ability to influence opinions was on full display this last election. Trump won because of the internet, not despite it.
Emulated devices won't work I'm afraid. I've just checked, and the SDK checks against a list of device fingerprints: i.e. return Build.fingerprint.contains(sailfish || marlin || walleye...)

However, this check is made from the HelloArActivity and could be bypassed. It may still fail, but I'd be happy to build an APK with the supported devices check commented out if you'd like.

As a side note, I've been playing with the sample SDK, but it's a slow process due to the lack of documentation. Does anyone know of any communities for sharing info on ArCore?

Thanks in advance
ASK HN: Critique our Kickstarter video? (pre launch)
Would you back it?

If not, why not?

What can we improve?

How much do you think it might raise?!

All comments welcome!!!
My first love was computer graphics and multimedia, the only software I liked were ones that:

1) had features called virtual entities: you don't crunch bytes, you manipulate the concepts, and only when needed you compute

2) non destructive edition: since 1) you can pile up operations without ever fearing loss of information, or memory usage for backup. The first audio editing software I had was Sound Forge, a simple one, every operation meant allocating a new space, computing, filling. This meant limited undo and higher resource requirements

3) from 1 and 2 you get laziness

(examples: nothing real shake, sidefx houdini, alias wavefront maya, sekd samplitude, anything by discreet. All these made far better use of your hardware. Compared to famous but non lazy ones such as Sound Forge or 3dsmax .. your poor desktop became pro tool (sic). Well until you hit the final render button of course)

Later I discovered FP and I laughed nervously.

Also many many highly rated CGI software use dataflow on a lazy DAG. GHC uses this for sharing computation in the evaluation model.
A Postcard to Blackpool: The Arrival – The Blogging Musician
Crystal for iOS as one example. Safari provides support for adblockers in both mobile and desktop.
And where are those money coming from?
Actually the optimization is not statically initializing Do, it is inlining the function calls via the Do pointer. I actually think this a quite useful optimization.

You can see that if you "fix" the program by checking Do before calling it, it still inlines the call in the True branch:

https://godbolt.org/g/9KS2r9
I've read some Adorno and his work appears to me as meaningless chewing around. After all, he was inspired by Marx and Hegel. E.g:

> What philosophy once called life, has turned into the sphere of the private and then merely of consumption, which is dragged along as an addendum of the material production-process, without autonomy and without its own substance.

To quote Hume:

> If we take in our hand any volume; of divinity or school metaphysics, for instance; let us ask, Does it contain any abstract reasoning concerning quantity or number? No. Does it contain any experimental reasoning concerning matter of fact and existence? No. Commit it then to the flames: for it can contain nothing but sophistry and illusion.
Well, if you didn't know of it before, and you were exposed to it via the ad, then do research... what's the problem? Isn't that an informed decision?
Anecdotally, I run a 2016 model year ford fusion 4cyl turbo and its fuel economy gauge has never gotten above 14.5mpg in the year I've had it. Not exactly numbers to boast about. I trust it.
You didn't watch the video carefully enough. At 0:55, a direct order system is shown, using a secondary conveyor.
My 1972 VW Beetle has done 6000 miles apparently.

Turns out it has gone round the clock...
This is entirely off-topic; But you've misread that table. those are the stats for the north island, The total split is actually:

57% hydro, 16% gas, 16% geothermal, 5% wind, 4% coal. As an aside, the South Island generates 98% of it's electricity via hydro, so if he's in the south island it would be fair to say his PC is powered entirely by hydro.
Typically tuples are ordered lists of values. See Codd's relational model, Linda, Erlang, etc.
> If a developer on my team has committed only 30 lines in three months, sorry but I'm gonna be skeptical of their actual productivity.

I've just committed 3 lines that fix a bad intermittent race condition that took over a month to track down (partially because I can't test it and have to rely on other people who aren't 100% available). Is that unproductive?
I'm extra wary of TripAdvisor, Amazon, etc -- as I don't know the people making the reviews, and I tend to assume a fair amount of astroturfing. I'm not convinced that they haven't worked out how to game the reviews such that even the lower-rated reviews aren't positives in disguise, in a similar way to those interview questions along the lines of 'What's your biggest weakness?' -- "I am a perfectionist // I work too hard // I care too much // I need to make every project a success", etc.

Typically anyone that bothers to select a thing for purchase will examine all the features and attributes that they consider important, but often overlook the negated aspects that only come from familiarity with the product.
It is very misleading - I would call it deceptive - for the article to say "total combined maintenance and fuel costs of the Tesla Model S..." [my emphasis] when the fuel costs are covered by Tesla, especially as this is a loss-leader that you can no longer take advantage of.
I do like that too. lambda is just "I need this and that for the body to make sense".

I also like that providing partial dependencies isn't an error, but yields a smaller-dependencies lambda (thanks curry I guess).

But more and more I go away from functions as a thing. Scheme compiler turn lambdas into goto+args, Prolog made me think of programs as forest/graphs that you walk... and yes if you look at functions as dependencies then you end up as a description of a dep. graph.. so graphs again.
My friend helped to edit the Eater guide to Tokyo earlier this year so it's quite good.

https://www.eater.com/2017/2/21/14652924/tokyo-best-ramen-su...

As for sushi- there are a lot of good places near the Tsukiji fish market. There are cheaper places and more expensive places- you can walk around and look at menus and decide. Some are kaiten, some are not. Near the fish market, you generally get what you pay for- which is to say that you can get a good sushi meal for 5000 yen, a very good meal for double that, and if you want to pay more, you can get much better than that too. In general, the top places are not near the market- they're in Ginza or other neighborhoods.
This is true, except it has a huge underlying requirement: that all deployments are forwards and backwards compatible. i.e. a running service must be able to talk to the older version of itself, and vice versa (and of course the chain of dependencies). This is a much bigger knowledge investment, easier said than done.

It pays off in the end, but not worth making it a "criteria for success" when breaking out from branch-based to trunk-based continuous delivery, otherwise the trunking will most likely end up never happening.

shameless plug: at goeuro.com we shifted from branch-based to trunk-based CD in a short time (<3 months) with a diverse set of services and workloads, by applying a holistic socio-cultural, technical and process approach. Could be of interest if anyone is trying to make a switch: https://youtu.be/kLTqcM_FTCw
Trying to understand if your per-log throughput will be capped by the max traffic that can be pushed through a single sequencer,

Yes. You can think of an individual log like a database shard.

We have plans to allow the sequencer to just give out sequence numbers, and allow the clients to send the data directly to the storage nodes. But its not a high priority for us, since it's just a constant factor improvement. (Although a large one!) Users would still need to shard their data, although not as much.
Designing a Thumb Friendly Mobile Experience
In the relational model the order shouldn't matter:

A relation is defined as a set of n-tuples. In both mathematics and the
relational database model, a set is an unordered collection of unique, non-
duplicated items, although some DBMSs impose an order to their data. In
mathematics, a tuple has an order, and allows for duplication. E. F. Codd
originally defined tuples using this mathematical definition.

Later, it was one of E. F. Codd's great insights that using attribute names
instead of an ordering would be so much more convenient (in general) in a
computer language based on relations. This insight is still being used today.
Though the concept has changed, the name "tuple" has not.
Your comparison doesn't make sense. Local, state, and federal levels are all part of one country. There is no equivalent institution at the global level.

For global challenges like climate change, regulation at the global level seems like the right responses.
It's interesting that static or dynamic automated security testing don't exist in their process.
In flight entertainment on United does the same thing. I practically have the barracuda networks pre-roll memorized by now. But if it helps United provide more content without raising prices, then I am ok enduring a 30 second ad. Content costs money — either the consumer pays directly or an advertiser pays. But people don’t make movies for free — at least not if they want to continue making movies.

Also, ads in YouTube — the content creator enables that so they can get paid.
People don't throw the word "monopsony" around as much, so people aren't as afraid of them.