skysight-inc/HackerNews huggingface dataset:
> The problem is that you still need extra annotations. Namely lifetime annotations

Well, the idea is not to have the static analyzer verify typical C++ code. Just some practical subset. So for example I think it's quite practical to write C++ code that uses only "scope" pointers (basically pointers to objects on the stack) and (not-null) refcounting pointers, that intrinsically don't outlive their targets. Lifetimes would be implied by the types. So wait, what more does Rust's static analyzer give us again? Does it somehow remove the need for refcounting heap objects?

> the programming style Rust encourages is not the same as the ones you tend to see in C++ codebase, and programming in the C++ style will lead to code that doesn't compile.

I have no problem with that. I have no attachment to the "traditional" C++ programming style.

> This might be more tractable (and is an interesting idea). But that optimizer would be hard to write.

Why? The static analyzer has an opinion on whether or not a program is safe. The optimizer just wants to know if it still thinks it's safe when you remove a runtime check.

> I think this is what the new ISOCPP core guidelines are trying to do? Though they don't go far enough in preventing memory unsafety IIRC (this may have changed).

The ISOCPP core guidelines approach is to recommend the use of C++'s intrinsically dangerous elements in a way that is "usually safe", but not always, and rely on their static analyzer to catch bugs. So the question becomes, what do you do in the many cases where the static analyzer doesn't know if it's safe or not. You can try to redesign your code so the static analyzer can understand that it's safe. But that's often very inconvenient or has a performance cost. Often the most practical (safe) solution is to resort to something like SaferCPlusPlus.
Interesting. Care to elaborate?
Isn't ubuntu snap already doing all this? The competing standards I don't think help in this regard. Now to make a "portable service" I will need to make sure whatever I do can be used as a snap and a systemd portable service.

Why is it so hard to settle on a standard when it comes to this stuff? The same confusion exists when it comes to rpm and deb packaging formats. At the end of the day both do the same thing and yet to deliver software to redhat and debian systems you have to double your packaging effort.
I used to spend time arguing with people on the internet about how systemd was an actually very useful tool but I never changed any minds and didn't help myself any. Now I just wait and watch for new helpful things it does to show up and I live a much happier life.
In France we have 3D Secure, when you make the paiement you are redirected to a page that belongs to the bank, you receive a SMS with a one time code to validate the paiement and are redirected to the merchant with the validation.

Quite efficient, but I think there's fees for the merchant in this case.
Okay, so I disagree with punishing such schools, but I do think it's ridiculous that anyone is coddled for Trump winning the election. It seems like our society is becoming dangerously prone to coddling people for anything uncomfortable, scary, or worrying. Life is hard. Life is often disappointing. Scary stuff often happens in life. We don't need coddling, we need to be told we can handle whatever comes our way. We need to change our paradigm to one of expecting strength and resilience, and drop this ideology which celebrates weakness and frailty.

How can kids who are coddled in school be expected to deal with the harsh realities of grown-up life afterwards?
Show HN: App that makes websites mobile-friendly
Atleast for avr-gcc, (part of) startup code and vector table layout come from avr-libc.

I'm kinda surprised you got by without libc - no strxxx, memxxx ,xxxprintf/no math.h functions ever?
Add another 8 million or so from Australia
> That doesn't change anything! You're just choosing a garbage collector with a default deterministic pathological case, which is a guarantee you can make about almost any GC by carefully tailoring your memory usage to your scenario and choice of algorithm.

The fact that you don't have to tailor anything is precisely the point. Latency is a property of a runtime, not a language. This has been my point all along. C/C++ or Rust don't guarantee low-latency realtime properties, and introducing tracing GC doesn't guarantee high-latency non-realtime properties.

> You know that's what the Drop trait is for, right? All you have to do is add whatever memory management code you'd have (in your C program) into the trait implementation and your memory deallocation will behave exactly as it would in any other low level language.

Great, but it doesn't guarantee any properties of code you haven't written, so it still can't achieve the global properties I've been talking about.
I'm staring at my MAC now and wondering if my Little Snitch will prevent this type of hijacking. I expect the firewall to ask me how to treat a new interface before sending packets there.
> Former Secretary of State Henry Kissinger, former Secretary of Defense William Perry, and former Sen. Sam Nunn, all fellows with Mr. Shultz at the Hoover Institution, joined the Theranos board around the same time

Quick heuristic: if a startup all of the sudden needs secretary of defense and secretary of state on the board, there is probably shady stuff going on and they need some powerful people with connection to cover it up.
I don't know why a todo list app can be so slow
Are they in fact losing users?
The new Blackberry DTEK60 is based on Android but supposedly hardened and has much longer term security updates. You can still use the Play store. I know, Blackberry? But seriously, it's not a bad looking phone and has good hardware specs.

All the same, I'm in the same boat as you. Thinking about switching to land-line and buying a separate camera and GPS navigation device. Hello 1990's! Idk. Not liking my options.
Is this even legal? To hide something life this in terms and conditions? It goes against what most people consider "to purchase"
How can be alienating half of America by taking this stand, instead of remaining silent on the point and a maintaining a non-ideological product/business stance, be a good idea for them?
Not if the tap is pretending to be a keyboard and injecting keystrokes into your input stream. Make it a compound device, keyboard, mouse, and network port and you're kind of off to the races.
#SnowdenIsMyHero
jedberg, I've looked quite closely at a lot of evidence surrounding the Clintons. Picking one aspect of one scandal and discrediting it is not going to change my mind. We'd have to have monstrous discussion of events going back to the 80s. Even if we did, it's far from certainty that it would change my mind. In any case, I don't think Hacker News is an appropriate venue for such a conversation.

I wanted to limit the scope of my comment to contradicting guelo's specific assertion that "A lot of Trump voters did it just to spite liberals". It's important to me that you (the public) understand why your liberal candidate lost. And it's not to spite liberals; it's because the DNC chose to prop up a very seriously compromised candidate. My hope is that next time they can offer a better alternative, rather than blaming their loss on a how terrible American voters are.

The DNC screwed this up, and I have not heard one word from the Democratic party establishment admitting it. Alternatively, if they refuse to accept responsibility, I'd also be happy with the death of the Democratic party, and maybe something less corrupt could be born in its place.
Completely agree on WISPs. I think SpaceX will be pursuing mesh networking too.

Could an OTA update (and repointing 90°) turn a satellite terminal into an auto/calibrating point-to-point MIMO link?

>global data infrastructure is made up of things like the Hibernia Atlantic cable

Surprisingly the stated primary goal of the SpaceX constellation is actually to compete with long-distance fiber backhauls. Their sell for satellite backhaul is that it's lower latency (no need to avoid continents, 50% faster speed of light, fewer hops) and works everywhere.

Giving global gigabit internet to rural areas and ~10% of urban customers (with the rest on fiber) is only a bonus. :)

Most of what we know about the plan comes from this video. Timestamp is to the start of the juicy bits. https://www.youtube.com/watch?v=AHeZHyOnsm4&t=2m10s
Where else are they going to go? There is a "significant overlap" between social justice and anti-white, anti-male, anti-cis propaganda. There's no convenient label to stick on that one just yet, but if you want to be consistent you're going to have to paint all social justice people with that brush.
Didn't realize this. The information is not readily available here. It should be more transparent at least.
The United States ended slavery. I mean it still exists in some regions of Islam, but we ended it in the West. We should be proud of this part of our history. Many lives were lost during this period. Thank goodness for the Lincoln and the Republicans for ending slavery as well as for voting for civil rights in the 1960s. Democrats were awful. Democrats I think have a lot of underlying shame over this, which is why they often virtue signal to avoid coming to grips with the evils of the Democratic Party.
Not trolling. Not at all.
The sad thing for me is that for years on "spy" movies and action movies the hero (or villan) would go into an office or a house or something, plug in a USB device and "boom!" own the machine. I took some comfort that this wasn't really possible, and then this happens.
WikiLeaks latest insurance files don't match hashes
Love that screenshot. Reminds me of rebuilding Emacs, opening it up, and immediately remembering that I forgot to enable Xft or something.
When it's pwned at firmware [1] and/or hardware level, all those actions are in vain.

[1] http://www.kryptowire.com/adups_security_analysis.html
Is it legally enforceable for a company to dictate what you can or cannot do with a phone that you bought from them? Sure, the terms said whatever they said, but is it enforceable/constitutional? I mean, people sell their phones all the time for whatever reason.
we use http://uifaces.com/ for our mocks and screenshots, and these are all pre-authorised images. However, if anyone from the community doesn’t want their pic up, we’ll be happy to take it down.

(I manage the marketing at Flock, and happy to answer any more questions you may have)
It's a hybrid app , but we use nw.js instead of electron. nw.js is a lot faster than electron.
SpaceX has made a habit of doing that only for their rockets, not telecommunications satellites, and only when it makes sense. Their biggest cost savings are in operations, manufacturing processes, and their engines because there really isn't much room to skimp on anything else.

Even at a cost of $10k per kg it makes very little sense to use 50% less efficient solar panels to save a few thousand, especially when the superior technology is also far better tested in space. It makes sense to use an Android instead of a $100k RAD hardened processor if your entire CubeSAT barely costs that much. Since most satellites cost a minimum of a million each, very few can afford the risk to save money on parts (and if you're mass producing thousands of them you can get really cheap germanium panels).
Our cross-functional marketing team straddles Trello, Asana, and misc. docs in Google Drive. I've found that the creatives on the team (writers, designers, etc.) all hate Asana, but they also don't necessarily love Trello.

So I'm hunting for a system that is visually simple and can take only a few seconds to learn and use. I just came across DaPulse (no affiliation) and the screenshots and video seem interesting, but I need to play with it to see if it supports the various things we need (multiple milestones, dependencies, owners, and a good way of rolling that up to an executive dashboard that gets rid of all the minutiae). Also, that is one of the worst brand names I've seen in a while, but hey, if it works who cares.

The problem with project management tools is that if you can't get a team to use them religiously, they can do more harm than good. The second things start getting sent in email or posted in Slack and NOT captured in the tool, things break down. And if people forget to check things in the tool to stay on top of their notifications, items needing responses, etc. and update their respective pieces, then you might as well use nothing.
Mobile App Testing on Hundreds of Devices – Xamarin Test Cloud
What's an example of something they could add that would make A+ harder to get, and also add meaningful security?
With badusb and other exploits I've heard security researchers suggest treating usb devices as hypodermic needles and never reuse them and guard your ports like your veins. Almost impossible to actually do, but gives you a sense of just how freaked out the people who know what they're doing are by all this.
Company claims to hack your brain for productivity
>I noticed that liberals had this similar authoritarianness

IMO this is what distinguishes a traditional liberal from a a progressive. For me, a liberal is basically libertarian with a belief the state can be used to ensure the rights of citizens are administered evenly.

IMO, if someone's actions aren't depriving another of life or liberty, the state doesn't have much standing in regulating that activity. Progressives believe state power can/should be used to protects their rights and their feelings. But, depending on the issue, you'll find conservatives taking the same stance.

Gay people getting married deprives no one of anything. Conservatives that want they're feeling protected are no different than the "SJW" so many of them rail against.

Like all things there are some grey areas. For example, the trans bathroom thing. I legitimately see both sides on that. Abortion is another I see both sides on and believe compromise is the best way forward.

You'll find "authoritarians" on both sides of the political spectrum. In some cases (like abortion) conservatives have their heart in the right places. So do progressive/liberals (environmental issues, for example). In other cases, both sides can begin to see the state as a tool to unnecessarily curtail the liberty of their countrymen.
Some places solved this by creating one shot virtual VISA cards created at the banks website.

It's a good compromise that works almost everywhere.
Almost all videogame players are not like that.
Because systemd is more popular and cross distros.
The blog post explicitly stated testing as the reason why Go needed a font that could be freely redistributable.
There's definitely a lot of institutional racism in academia. Outright favoritism for people of color for no other reason than their skin color. In Admissions programs, hiring practices, scholarships as well as many instances during normal campus life. Campuses go out of their way to not be racist to the point where they are racist. Absolutely ridiculous. And it really hurts the self-esteem of people to be given special treatment b/c of their color.
The RPM/Deb split, at this point, isn't so much about packaging formats, as it is about dependency graphs. Even if the two distro "families" of Redhat and Debian shared a common packaging format, a package would still have to be built—or at least specified—twice for them, because each family would still have its own set of deps that are factored out in incompatible ways to the deps of the other family. (For example, in Debian land, if your package wants to declare a dependency on OpenSSL, that might mean a package dependency on any of 'openssl', 'libssl1.0.0', 'libssl1.0.0-dbg', or 'libssl-dev'. RHEL et al do not have an isomorphic set of packages that these dependencies could be mapped to.)
Those gains would make sense for geostationary satellites, but SpaceX is planning on putting its fleet into LEO, at just a few hundred km. Would you expect the same for that altitude?

Also with 4000 satellites, you probably wouldn't have to track one all the way to the horizon.
> 25000+ COMPANIES AROUND THE WORLD USE FLOCK

A lot of Show HN apps/websites using big companies logo, not sure why it is legal to do so, when I believe all is for marketing.

And I hope they will response to your comment.
IMHO the shannon limit and basic laws of RF/path loss and channel capacity say that satellite is not a true competitor to backbone links by singlemode fiber. For the equivalent of "last mile" services, yes, but not as a replacement for laying fiber between points A and B.

The entire data throughput capacity of a current generation, 5500 kilogram, geostationary Ka-band satellite that costs $185 million to build and launch is much, much less than the 80 channel x 100 Gbps per channel DWDM system you can run on two strands of 9/125 singlemode fiber. And vastly less than the 144, 288 or 864 strand count fiber cable you would see laid between two cities by a carrier-of-carriers operator like Zayo these days.

It is fabulous to see more competition for high priced monthly-leased transport kHz/MHz from geostationary satellite operators. O3b was an amazing thing (and still is). More competition is good. But it's a pipe dream to say that satellite backhaul will ever be preferable to fiber carrying N x 10GbE circuits or a 100GbE circuit...

https://en.wikipedia.org/wiki/Shannon%E2%80%93Hartley_theore...

https://en.wikipedia.org/wiki/Noisy-channel_coding_theorem
Yes, sadly MSFT PR drones invaded HN since BUILD 2015. They are worse than the were during Ballmer days, their current CEO is bad for end consumers, the spyware in W10 and many other shady actions like forcing DRM EFI are very bad. Who (developer) in the right mind would fall again for their shit? Only noobs fall for them - you will get burned sooner or later, remember that. Their software aren't a good fit for startups, so why are they fearured on HN nowadays? Usually you don't want to burn your money on software licenses, or you will fall like MySpace. Read PG articles.
> Micro-aggression, safe spaces, trigger words

I think you're missing some perspective on this; a small % of activists on the left (mostly on college campuses) do not represent the trends of liberals in the USA. I can't think of a mainstream Democrat who considers these serious causes (including liberal ones like Bernie Sanders or Elizabeth Warren).

The reality is the left has been making huge inroads on social causes in the last eight years - in fact, this may be the primary enduring legacy of the Obama years. The public perception of gay marriage, police violence against blacks, and marijuana use have all drastically shifted and led to very real changes that won't be undone. I wouldn't call this overplaying their hands.

Also, I wouldn't extrapolate much from this election. Obama is a fair bit more liberal than Hillary and is extremely popular compared to her.
Which is understandable. Certain image categories aren't rotation invariant. Turn the letter M upside down and you get W.
There are a whole spectrum of options between "running a mail server in your basement" and "having to reprint your business cards if your Google account is suspended".

We can make big steps towards trustworthiness and control in SaaS, it's just often orthogonal to profitability. Lock-in is the obvious example. Lots of vendors expend huge efforts to simplify data ingress, but create arbitrary obstacles to data egress. We worry about SaaS providers going bust because we're inured to the idea that getting your data back is really difficult. The interests of the user do not align with the interests of the vendor. Predatory practices are so normal that we've half-forgotten that they're predatory.
Ever tried messenger.com ?
You're right that the emails could have been forged. I take this as a serious possibility.

You say that "all those emails have been denied by their senders". I'm not sure what you're referring to. Would you mind linking it? I've been following the news rather closely, and I've never heard any sender of a leaked email say something to the effect of "I did not send this". The only thing they say is that they won't comment on veracity.

Also, the Wikileaks organization has never leaked forged documents before and have never lied. The Clintons and their cronies are caught in lies repeatedly. While it's not proof, you have to take things like credibility into account when evaluating who's lying this time.

However, for me, my mind was already made up before any emails were leaked based on the Clintons' previous scandals. If it were proven that the email leaks were entirely fabricated, I would definitely update my opinion of Wikileaks, but my opinion of the Clintons would remain unchanged.
Many people would love to know Why blacks commit more crimes per capita. And you can compare it to poor whites and they don't equal out even there. Why is that. Why is it that you excuse people of the crimes they commit b/c of socio-cultural history. If your sister was raped, would you accept the socio-cultural buzzword excuse by the offender?
I was referring to the shift in racial demographics and how unless the GOP cleaned up its act they would cease to be a national party. That was kool-aid we all drank from and it turned out to be poison.
Taking Responsibility for Your Actions
The Easiest Way to Perform Google Pixel Data Recovery
That's an interesting interview, thanks.
I just purchased this, thank you for posting it.
Usually there are no fees, and it also protects you from chargebacks. But it's harder to implement, and it does tend to increase abandon rates a bit.
The Story of Batching to Streaming Analytics at Optimizely
this entire thing is a joke, right?
Tangentially, glad to see Jon finally put up a signup banner for non-subscribers :)

(see discussion 3 months ago: https://news.ycombinator.com/item?id=12224408)
Know Highlight Info About Amir Najam’s Profession
Correct, but for a limited set of query plans. It does mean progress is being made however.
>there's a total shutdown of public discourse as most people won't go on record to say anything that might not be consistent with the party line.

>...driving anyone with a deviant opinion behind closed doors. Soon enough, everyone is screaming into an echo chamber.

Funny, I've always thought downvotes on HN encouraged the same, albeit to a lesser degree. It's one thing to use downvotes as a moderation tool, submerging comments from others with whom you don't agree. It's another thing to "penalize" (FWIW) a person because you disagree with him/her. That it seems acceptable is a smaller symptom of the bigger problem.

Reminds me of the Black Mirror episode #1 this season.

http://www.imdb.com/title/tt5497778/
They could get their news from Facebook too, they would just more likely subscribe to more reputable pages and have less hoax-sharing friends.
it happens, and the legalities really vary from company to company. a few years ago there was the "startup logo generator" or something like that here on HN it got so bad.

also, let's say I work for Staples in customer support. Me and my 3 buddies use Flock to communicate at work using Flock, and send files back and forth...now "Staples uses Flock."
Hillary Clinton Didn’t Shatter the Glass Ceiling
Cumulative Wh produced per sunlight/night cycle (remember these are in LEO and constantly passing in and out of the earth's shadow) per kilogram of solar panel is also important, when the satellites will be quite small.

You want the greatest possible power capability in the smallest and lightest package, and right now the way to do that is a triple or quadruple junction GaAs type PV cell with a concentrator lens in front of it. Efficiencies range from 32 to 40%, vs 22.5% efficiency for the very best monocrystalline Si PV cells.
And yet when questioned about crimes they commit, criminals provide testimony by and large that has nothing to do with what you are saying. We have a lot of testimony from criminals. Your excuse is not their excuse. Which means you are inventing a victimhood narrative. This harms black communities.