skysight-inc/HackerNews huggingface dataset:
Aren't SSA analyses generally only "kinda flow-sensitive" since values are only renamed where control flow merges, not where it splits? E.g.

int x = ...
if(x > 0) {
use(x)
else {
use(x)
}

In a DFA where you track information about each variable at each program point, you could push the constraint implied by the condition into each branch. If you do a sparse analysis on SSA form, that doesn't come naturally, right?
One practical key difference though is that the compute environment for the JavaScript is already built under an assumption that none of the software it's running can be trusted.

So practically speaking, malicious JavaScript could, perhaps, exploit weaknesses in your sandbox but it can't save files the browser doesn't allow, read state the browser doesn't allow, make network connections the browser or the hosting machine's network configuration don't allow, etc., etc., etc.

It's... An odd hill to choose to die on.
If you're wanting to be fair, you should also bring up the very real (and reasonable) possibility that this woman would rather existing tax revenue be spent on education than some of the things it is currently being spent on.

There is nothing contradictory about feeling overtaxed and also feeling that insufficient tax revenue is being spent on education.
But it sounds like that's what's going on. Using foo-1.1 in bar.rs and foo-2.2 in rabbit.rs.
Just to follow up. John Papa's original style guide was create after he had experience with building Angular 1 apps and got feedback from other developers. An Angular 2 style guide can't be fully formed right now because no one really knows what all of the best practices are yet. As all of us get more experience using Angular 2, the style guide will get better.
Some of the logic behind the incentivization of all this was to make the US less vulnerable to nuclear attack during the Cold War. Basically it would be harder to kill all of us if we were more spread out.

http://www.oftwominds.com/blogjuly10/Cold.War.Urban.Vulnerab...
Exactly. Agencies will be licking their lips at the exorbitant fees they can charge to meet 'freedom level 4' standard.
The Pharmacy School Bubble Is About to Burst
On Samsung S4 with its air view on and a plugin app for Chrome on Samsung devices, you did have real literal hover support
An even briefer response:

(defun greater10 (value code)
(when (> value 10)
(apply (car code)
(cdr code))))

(let ((msg "Hello"))
(greater10 20 `(format t "~a~%" ,msg)))
VHDL vs Verilog flame wars everywhere. Also, discussions on people's favorite idiosyncratic, vendor-specific dialect of C for embedded devices.
The problem is, for income earned abroad, meaning of the deduction that lower the rate domestically don't apply as easily, so you wind up actually paying somewhere near 35%. "Hey here is an incentive to do stuff in the states" doesn't apply when you aren't doing stuff in the states.
Interesting, but I was thinking more of something like "update installed binaries with latest version from index". This doesn't look like it.
Not all of them, and today is 2016, important C11 feature, like _Generic still not supported.
And it would be awesome, if MSVC will support GNU extensions, like Clang does.
For now I recommend to use clang-cl wrapper: http://clang.llvm.org/docs/MSVCCompatibility.html
((void (*)(id, SEL, double))objc_msgSend)(window, sel_registerName("setAlphaValue:"), 1);

If the method signature changes (unlikely for a system header, but possible if you're calling into your own code) then you're hosed. Or you could just mess up and copy/paste the wrong signature, or forget to change it.

Basically, it's pretty error-prone no matter what you do. Using Objective-C directly is much safer (and luckily you usually can, since ObjC is pretty much a drop-in replacement for C).
IR illumination would be a solution for the lights-off case.
Facebook Will Sponsor the Republican National Convention
Ah yeah, it's per-thing, not every thing you've installed, currently. cargo install --list does list all the things you've installed, so it wouldn't be too big of a deal to add; the pieces are all there.
India’s Secret Urban Poor
Cool, good to know!
Another interesting example is:

bool f(bool b) {
int x;
try {
if (b) {
x = 2;
throw 0;
}
x = 4;
throw 0.0;
} catch (...) {
}
return x & 1;
}

Here, a phi is needed on the catch.

Out of curiosity, can you give details regarding how your EH representation looks like in SSA?
If you like MSFT so much, I have some spyware you can remove on my sister's laptop. only took me 4 hrs last time.
It's not unusual. Here's the Mercedes A-class assembly line.[1] Cycle time is about 40 seconds. That's 720 cars in an 8 hour shift. It's not unusual to run two shifts of production, and do maintenance on the third. In some highly automated plants, maintenance is in the daytime, and production is at night, with few people around. That's more for small parts than entire cars.

Production line design and tuning is all about cycle time. The line runs at the speed of the slowest station. Any operation that takes too long has to be broken up into successive operations, even if one station could do it. You can fan out the line to multiple stations if you absolutely have to have a long cycle, but that adds cost, takes up floor space, and is really tough to retrofit. It's not unusual, though, to redesign the slowest station if that will speed up the whole line.

Take a look at that Mercedes assembly line. Note all the custom fixtures required, many with sensor and actuators attached. All those have to be designed, built, tested, and run through enough cycles that they behave reliably. One failure stops the whole line.

[1] https://www.youtube.com/watch?v=VreG1iC65Lc
re. 1) and 3):

CloudFlare is not blocking exit nodes because of volumetric DDoS attacks. That's not really viable over Tor anyway. It's mostly to block comment spam, crawlers and vulnerability scans (e.g. SQLi), which is unfortunately often done through Tor in automated ways.

Also: Website owners using CloudFlare can whitelist Tor traffic if they so chose.

I don't see how 2) would change anything with regards to the blocking situation. All the aforementioned problems would still apply, the only difference would be that they'd lose the IP address as an identifier, making it even harder to filter malicious traffic. I'm not against CloudFlare implementing something like that, but I fail to see the relevancy and I do wonder if tunneling all hidden service traffic for a site through a centralized service (which needs access to the plaintext in order to do any kind of caching or filtering) is a good idea for a project like Tor.
Don't most streets with houses on them have houses on both sides of the street? In which case if two houses are each paying 60% the cost of the street on their frontage, isn't there a 20% overage?
>So you're looking at small businesses who were using PCs with Win10 Pro on them (likely that came with the PC) that were turning off access to the store but can't any more. The IT admins for these companies are the people Microsoft wants to upsell.

Or you're looking at small businesses (4-80 users) in regulated industries who have remained on Windows 7 and the IT folks who have recommended doing so in large part due to the ongoing concerns with what Microsoft is doing.

As a simple example: regardless of whether it does this or "just disable that (and work out something to ensure that Microsoft doesn't silently turn it back on)," I don't want to have to EVEN BE CONCERNED about the possibility that a local user searching locally for documents containing the words "John Smith neoplasm" has just submitted PII and PHI to Microsoft.
Sure. That will Just Work in every case _except_ if bar and rabbit both re-export a type from foo, and you try to use them together. If they don't re-export anything, then it all works just fine. No renaming or transformations needed.
...I was about halfway into rebutting this when I realized, you know what, you're right.

I would not have cared at all about some contest on HN for a YC acceptance if it weren't for him mentioning it on Twitter. In fact, I would not have even known it was happening.

And now that I've seen the way both HN and YC has handled this throughout, including the attitude you've had towards his application since the beginning, I wish that he hadn't mentioned it on Twitter at all and my nearly 6-month-long streak of forgetting that HN exists had continued unbroken.

We could probably keep sparring over this, but the results are clearly not going to change and HN does not look any more like a community I want to be a part of than it did so many months ago.
They are real OS threads in all implementations i've seen.

As for how heavy, they are definitely a bit heavier than i'd like. But rather than me try to describe it, [1] is a really good benchmark with results that you can run yourself if you want.

[1]https://github.com/gmarty/web-workers-benchmark
While I'm with you on prop 13, we combine high income taxes with exceptionally low property taxes for long term property holders. Again, if we want nice things, we have to pay for them.

As for pensions, you say unsustainable promises, I say stealing from people who took cash later instead of cash immediately. Consider your last boss deciding to reach into your checking account and take $40k out because the business retroactively decided they overpaid.

According to this http://www.usgovernmentspending.com/year_spending_2016CAbs_1... pensions are 36.9/208.2 = 18% of the state budget.
I would recommend you to try CodeFlow from celedev [1], it's a dynamically generated Lua binding to Objective-C. Plus a nice editor with hot reloading support and other cool features.

- [1] https://www.celedev.com/en/codeflow/
I have been working as a Go programmer for the past two years and I really love the language but dependency management has been one of the biggest pains for me. Godep really sucks (that's what we use in my current gig - we plan on switching to Glide, still haven't played around with it) and I am not sure I like the fact that I need to go out in the wild and choose between the rest of the existing solutions. I would prefer to have something that works ootb. The Rust team really got this right and Cargo is amazing. One of the main reason I have been dabbling with Rust lately.
You can also use the hw rng if supported (e.g. rdrand) for fork/VM duplication safety. /dev/urandom should be fork safe though so long as you're not buffering data from it.
Breezometer, Current Offer Air Quality Analytics to Smart Cities
How were American students hurt by this? Immigrating illegally is a victimless crime.
The best defense against hackers: protecting the crypto keys
The point, as I read it, is this only works as long as there is enough growth to pay for upkeep of older infrastructure. The second the growth slows, or even stops, there's trouble. And nobody is arguing you should only get out what you put in, but on average, if property taxes are barely high enough to pay for the street in front of that house, it's obvious there will be a problem.
I've always wondered why we pave our streets to begin with. Yes, I know that dirt and gravel kick up alot of dust, but the expense of the street itself seems a bit extreme as well.

I can't think of how many times I've seen a new street go in, and just a few weeks later they cut it up and dig up a water line to replace it.

There has to be a better material besides concrete or asphalt that would provide similar benefits.

The other part, while I don't know how you would get around it, seems to be the fact that my car tires are about 10" wide (20" combined). The street in front of my house is 80' wide. Thats an awful lot of space not being used.
> Cargo assumes you want to cache ... built dependencies at the granularity of a unix user account

This isn't true: actual build artifacts are cached in a per-project way (in `./target` by default). Cargo does download all packages to a user-shared directory, but this directory is essentially immutable, just a list of the source code.

Sharing more broadly than per-project is the form that is unreliable, things can change subtly between projects e.g. different targets, different compiler flags. Of course, cargo has essentially full information about everything involved in a build and so can track this---in the limit caching all the different configurations of each crate version---but I don't think it does currently (I recall an issue about it, but I cannot find it at the moment).
SO: How do I fix my PEM block in ssl certificate?
So, you're pretty negative on WebGL then?
you email the authn link to the user rather than use openurl
I say lex/yacc specifically because I am doing this in C, and I've learned that it's important to stick to tools thatare made to work together.

I am unfamiliar with File I/O and text processing in C overall, and so writing a parser by hand seems like more work than using BNF grammars that I am already pretty familiar with.
Show HN: Elink.io – Fastest Way to Turn Multiple Links into Visual Content
It's great that Raph's line-breaking code has been reused, but in contrast to Mozilla projects any contribution to it will now require assigning copyright to Google (like Ubuntu or Microsoft's CLA require as well). At least it's a tiny piece, so may not hurt too much in terms of prevented contributions.
Sort of ironically, the older iTunes Match system did audio fingerprinting, but Apple Music does not. I have gotten some very weird new metadata occasionally since the switch.

For the record, I've never lost any music, and I'm not entirely sure how that's possible short of a catastrophic iTunes bug[1] -- I'm not disputing anyone's stories, but even "post-Cloud" I've never seen iTunes delete files without me actually clicking on delete somewhere. Despite what the blogger was told by the rep, I'm pretty sure that's not how Apple Music is supposed to work. You enable it on a "primary" Mac, it matches tracks to the iTunes Store library, and then it uploads tracks that aren't in that library to iCloud. The files in your original library will be left alone unless you delete the original files.

[1]: Not that "catastrophic iTunes bug" sounds unlikely. I've heard friend-of-a-friend stories about deletion bugs in the recent past.
I'm excited about the `SharedArrayBuffer` addition, but quite meh on the `Atomic.wait()` and `Atomic.wake()`.

I think CSP's channel-based message control is a far better fit here, especially since CSP can quite naturally be modeled inside generators and thus have only local-blocking.

That means the silliness of "the main thread of a web page is not allowed to call Atomics.wait" becomes moot, because the main thread can do `yield CSP.take(..)` and not block the main UI thread, but still simply locally wait for an atomic operation to hand it data at completion.

I already have a project that implements a bridge for CSP semantics from main UI thread to other threads, including adapters for web workers, remote web socket servers, node processes, etc: https://github.com/getify/remote-csp-channel

What's exciting, for the web workers part in particular, is the ability to wire in SharedArrayBuffer so the data interchange across those boundaries is extremely cheap, while still maintaining the CSP take/put semantics for atomic-operation control.
The only fucker here is you, defending the idea that people who pay money to try and get into the US should be punished. Working hard and immigrating illegally are not mutually exclusive - nor does these students illegally coming here harm anyone whose already here.
Introducing Omnisearch
Thanks for the insight. I'm curious to follow it through and try to understand what you think practical repercussions would be. So say you have your CV up online with sci-hub links, and a publisher does somehow complain to the university. Wouldn't the worst that happens be you change it and say sorry? Or do you think there would be more serious consequences? Is being seen as "pro piracy" a black mark that would stay with you somehow?
Qt/GTK/WinForms or GTFO!
End of The Rustup? AFAICS, it's still downloading a very specific servo-only rustc.
How about making it possible to communicate with government offices without JavaScript/ECMAScript at /all/?

What if it worked properly for those with ADA abilities, like say the blind on a text mode TTY with a text-only browser? Those still support basic web forms and the server side is where all data-validation should occur anyway.

Alternatively, as the EFF notes, allowing alternate communications protocols (such as the freely open standard of shudder email) is also a viable secondary channel.
A match truly made in Hell.
Perhaps it is you that need to be educated.

They are independent only if you explicitly state that you are computing them for best/average/worst case independently. Is it commonly done? Sure. But there is nothing in the definition that forces us to do that.

If the things were as you state would you have any use for Omega and Omicron then? Wouldn't just Theta suffice?
I completely agree with everything you said and know a bit about OIDC too, but since I'm far from mobile/3rd party apps development, there is one thing I don't understand: client credentials (confidential client) in case of mobile app installed from the marketplace. How is it done?
You'd need dynamic client registration, right? I know there's a spec for that and I think I understand the mechanics. That would let you identify the client but not sure you can ever identify app developer with it (if needed for audit purposes). Or am I missing something, maybe?
Sounds like the Billy Crystal SNL routine.
I think Japan is at least better than the US environmentally in a number of ways, but a lot of the benefit is squandered away by things like overuse of air conditioning, packaging waste, and industry.
Need to turn those PharmD programs into DEVOPS bootcamps.
> Of course, Michigan roads are infamous for being terrible -- this might be the reason.

This is a bit of a tangent, but Michigan actually has fairly high construction standards for roads. However, it also has one of the highest truck weight limits in the nation (over double the federal limit) and most road damage comes from heavy trucks.
That is a very different line of reasoning from that to which I was responding. IANAL so I'm not comfortable speculating too far but "it's entrapment if the government asks you to do it" is something I know to be a common misconception.

If I were to speculate further, though, I'd say that if someone justifiably believed it was legit because of the government sites, that somebody hadn't committed a crime in the first place and thus couldn't be entrapped.
My microwave has two knobs. One for power, one for time. It turns on automatically when you turn the timer and turns off automatically (sounding a mechanical bell) when the timer hits zero.

I believe the timer is clockwork.
Just one more reason for me to avoid Windows whenever possible, for myself and for my companies.

I grant Microsoft today is a much better corporate citizen than it was 15 years ago, and I appreciate that. But a move like this feels very much like the bad old days to me.
I like Nix-style caches myself, but a gc-cache command is needed in order to clean up only the stuff that isn't referenced anymore. I hope that's a design consideration.
>They seem to take the end user more seriously

Unless you're trying to keep music on your computer and use iTunes, in which case they upload all your music to the cloud and delete it off your PC.

>Man, I really wish Google would release their desktop Linux. Ubuntu is OK, but someone with pockets like that could finish the job, and make a credible, consumer-accessible, 3rd alternative to keep BOTH #1 and #2 on their toes.

Have they actually talked about doing this?

It really wouldn't take much to make a "credible, consumer-accessible" version of Linux. Most of the pieces are already present, and Linux Mint for instance is already very easy for a non-expert to install and use. The main problems are 1) graphics drivers for non-Intel chips and 2) software compatibility. Lots of games already work on Linux thanks to Steam. A little more work with WINE maybe, and some improvements to Nouveau, and some more polishing and you'd easily have something that a casual PC user can install easily and use. It'd probably help too if they finally finished Wayland and got the whole systemd thing settled. Then they'd just need to use their influence to push other companies to do their part, such as stupid printer manufacturers who don't make Linux drivers for their winprinters (not a problem for good printers, but for the cheapo inkjets it still is).

Hoenstly, I find it pretty disappointing that Red Hat hasn't done more in this area, particularly considering they're the ones who created systemd and employ many Gnome3 devs. You'd think they'd be pushing corporate Linux desktops hard, but they don't seem to be.
I would say that ionizing radiation isn't the cause of most genetic mutations. It is just too rare and most of it doesn't penetrate the skin anyway, the rest has to be really lucky to hit the cell in the right place at the right time.

DNA copying not being perfect would be the main cause in my opinion.

There is one error on average for every billion pairs copied. The human DNA has 3 billion pairs. So every time a single(!) cell is copied, three mistakes are made.

You don't need any radiation for evolution.
One practical example would be tigr [1] - a cross platform window framework for making simple applications, could be compiled as one header drop-in only lib. You simply cannot make it one header without making calling ObjC runtime from C. Why it's necessary to make it work as one drop-in header? Well it's a new trend in C libraries, which allows using libraries with the least resistance possible, it's like a package manager but nicer - you only have one file! Great example of modern one header libs is probably the famous stb package [2].

- [1] https://bitbucket.org/rmitton/tigr/src

- [2] https://github.com/nothings/stb
Living on a cruise ship cheaper than renting in London
Per the more advanced features.

The one thing that the web has that native doesn't, is a standards body that works to unify and standardize these features so they can eventually work across all platforms.

There have been hiccups in the past (probably the most notable one being the WebSQL vs IndexedDB, but luckily that's mostly sorted out now), but for the most part it's been pretty smooth sailing.

Yeah, you definitely need to wait longer to use new features that can't be "polyfilled" or "shimmed", but the "reward" is that the entire platform is at least moving in the same direction.

While I agree that native has some pretty massive upsides, I personally feel that they should be reserved for things that need them, much like how assembly is treated when compared to higher level languages. And bringing those upsides to the web in a safe and consistent manner isn't a bad thing.
> Many audiophiles and audio engineers argue that Mp3 actually sounds better (the compression gives the drums a "crunch" not normally present)

Quote please! Don't specifically mean it as a challenge to you, but as a musician, composer, and audio engineer (I'm not sure I identify as audiophile since that has baggage, but I know friends who do) I have never heard such a thing even mentioned and have a hard time believing there are serious engineers that think this.

The data reduction in the MP3 algorithm is designed around the frequency masking principles of human hearing[1] (EDIT: Spelling and citation), this technique can lose a lot of data with a small impact on perception when applied to harmonic sounds. Enharmonic sounds (e.g. is where the MP3 algorithm falls down); as I said, I've never heard any engineer say they think this sounds better.

Again, I don't say this to argue, I'd just be curious to know what these unicorn engineers have to say about this.

[1]: https://en.wikipedia.org/wiki/Auditory_masking