skysight-inc/HackerNews huggingface dataset:
You pay full handshake setup only if you don't have a shared key. If reducing bandwidth is the priority you would always set up a key on first connection and use the maximum allowable expiry time (10 days?) so long as you reconnect this often you never do another full handshake since you have a key (and you're allowed to get a new key with the old one, resetting the expiry timestamp each time).

With this slimming approach you also wouldn't use these grotesque "... and here's a portrait of my dog" type certificates we sometimes see, that may be several kilobytes in size, nor use the lengthy RSA keys. You'd do the minimum possible certificate for a single name and an EC key.

So it'll probably cost ~1kB on first connection and then only a few hundred bytes on subsequent connections, without any special components, this all just works with generic software you already have if configured appropriately.

You can shave a little more off if you agree to custom configure everything since the proof-by-certificate isn't mandatory in TLS per se, you can do everything with shared keys if you agree out of band what those keys are. This is intended for IoT-type applications.
I'm very sorry to hear that, that's got to be a devastating experience to watch someone you know go through that.

Basically impervious was an overstatement for emphasis, you're right. I was trying to draw a stark contrast with the sometimes thoughtless status quo, but I should have been more precise.

And to be fair that crown fire study was just looking at thermal ignition, which isn't the whole picture. The strategies to prevent spread through embers are more complex and sometimes not possible in all areas -- vegetation control, standoff zones, irrigation...

Still, as I think we both agree, much more can and should be done.
Government negligence pushes Allan Endresz to take drastic measures
Albury’s well-known businessman Allan Endresz has been in a legal battle against the federal government for quite some time. After submitting a colossal damages claim against the ACT Supreme Court and dealing with frozen assets from 1999, Endresz has resorted to drastic measures.

The battle began when one of Endresz’s accountants David Muir – a government consultant, transferred $6 million from a gold mining company, formerly known as Hallmark Gold (now TNG) to another company known as CTC Resources NL, whom Endresz’s parent’s owned.

Later Muir transferred another $2.275 million to Davis Samuel who was in business with Endresz. Muir was later tried and convicted for the embezzlement of $8.275 million. Endresz explains that he had accepted the money from Muir in good faith, as he had no part in the embezzlement and was not aware that the money was not a bona fide investment from the government.

He agrees that the funds should be returned to the government but argues that his affairs were victim to the embezzlement as well.

After nearly two decades of dealing with the government and this lawsuit, Endresz has been pushed to take drastic measures through this legal battle. He hopes to recover AU$60 million through the current court action taking place. This would cover the original grants, as well as interest.

Endresz knows there are things he could’ve done differently to avoid these issues. In hopes that others can avoid finding themselves in his situation, he addressed what he could have done differently. He says that he “could have engaged more with his advisors/consultants, ensured a higher level of asset protection, cultivated a more strategic business plan and put business processes in place from day one”.

While we wait to hear the outcome of the legal action, all we can do is learn from Endresz’s experience and be more aware of possible government negligence that could take place.
One Sweet Conversion
I did after graduate school for a year or two. If you want free access to their publications, and don't have that through work, then it seems worthwhile.
Having spent some time in the silicon manufacturing business side of things, I would have a hard time buying a chip that was run at 100% for 3 years with an expected life span (which is something chip manufacturers calculate) of 5 years (which is about average). The 'how long will this thing last' calculation almost never assumes 100% utilization.
Qualcomm might be using political campaign-style attack tactics against Apple
A coworker and I recently talked about building gaming rigs. Then we went to some benchmarks and all of the cards had problems rendering games with good settings at 4k - unless you’re willing to drop several k on multiple 2080s/Tis. Maybe we’re still in an odd place with expectations and costs.
Utility asked last month to hike bills over California fires
Ironically, Tulsa had a chance to be a thriving business center around the turn of the century. Unfortunately, the business owners were the wrong skin color as Tulsa was known as The Black Wall Street.

In 1921, a white mob killed hundreds, and white police officers flew planes firebombing 35 blocks, in the first use of air bombing in anger on American soil.

https://en.wikipedia.org/wiki/Tulsa_race_riot

Part of me is happy to see that they're so desperate for business that they're pulling this.
I've always thought of it in terms of the buttocks rather than the anus.
'Meets most expectations' is the lowest performance rating before they PIP you. 40hrs just to be on the precipice of unemployment is dumb.
Until they get bored writing grant proposals and lose all their funding.
I'm not arguing that there aren't people who are technically (but not practically) capable of paying their hospital bills and don't, and for the most part I don't disagree w/ any of the above (though medical debt has more detrimental effects than just being "nagged", especially given there's a documented effect of debt judgements creating a spiral of entanglements w/ the criminal justice system [1]).

[1]: https://www.aclu.org/issues/smart-justice/mass-incarceration...
open a channel
Show HN: Prybar, a universal interpreter front-end
ACE 2018 to Be Shut Down by “Anti-Free Speech Protests”
> Cellular and WiFi AP roaming are solved problems.

While you may be right regarding the context in which you said this — satellites — as a blanket statement, that's not true: my smartphone loses Internet connectivity when I leave my house, and takes a few seconds before it connects to the cellular data network.

I'm surprised that phones don't establish a backup 4G connection when Wifi signal strength decreases suddenly, but before it disconnects. This has been talked about for years, but for whatever reason it hasn't been deployed or doesn't work well, at least with Android P.
This approach seems best to me, rather than dealing with free form text and then trying to parse and cleanse that.
Untrue Statements in “Real Differences Between OT and CRDT for Co-Editors”
If you just google CRDT right now, you can easily find a bunch of latest works about CRDT, like https://github.com/ipfs/research-CRDT , http://archagon.net/blog/2018/03/24/data-laced-with-history/ and http://y-js.org/#!/examples.

One of the conclusion in the paper "So far, CRDT for co-editing has been confined to plain-text editing; it is unknown whether CRDT solutions can be extended for supporting real world co-editors beyond plain-text editing." is definitely not true.
I dunno, I used to live in Bartlesville. Tulsa was The Big City. It was very exciting compared to B-ville!
I am not sure how drivers work with wayland, it probably is not the xf86-video-intel though, as this is wayland.

But I think it will be fine once they flush some things out. Everything in wayland is smooth and fast except this. And this was just enabled. Firefox in general even on Xwayland is super fast on this old system too. It probably just a matter of time until it is all smooth again.
Show HN: CNN Image Classifier Implemented in Keras Notebook ️
Not directly related to your question, but before you have this happen to you again in the future, buy yourself a domain name, and use that domain name for your personal email. You can either run your own server, or have one of the commercial entities handle the actual email server part for you. But with your own domain name, you won't lose your email address again because "the organization through which [you] received it has ... changed their policy". If you use a provider, and they change their policy, you can just move to another provider, yet your address will remain the same.
The entire Guccifer narrative is the most speculative and least substantiated aspect of the entire drama. That doesn't mean it's false, however.

But one might wonder why anyone cares about it or gives it any consideration, when there are so many far stronger data points.

The Guccifer narrative supports (weakly) the idea of a link between Russia and the emails.

So in order for this to matter you have to believe that Russia matters when considering WL.

And in order to believe that you must believe that WL's journalism does not stand on its own and that the motives of those who leaked information are what matter.

But WL is designed to be immune to the ill effects of specific political motives for releasing data. I'll point out some of the many ways:

- WL tries to verify that it is being given authentic documents. Revelations that documents WL publishes were inauthentic would sink WL nearly instantly. So authenticity absolutely must be the #1 consideration.

- For any leak there is an entity whose data was leaked. If a leaker doctored information before sending it to WL, the leaker could easily be discredited by a public release by the entity of an authentic version, revealing what had been doctored, which would reveal motives.

- WL insists upon full, unredacted documents. Most of the leaked information has been mostly irrelevant. You could spend days reading WL releases without encountering anything juicy. Why? Because the full documents provide evidence that no aspect of the document has been withheld to create a false impression. This results in a lot of boring stuff -- most of the HRC emails were bulk mail sent to the addresses in question -- but lets the legitimately interesting data stand in proper relief without suspicion.

- When possible, WL goes to great lengths to validate/authenticate data. WL created a tool to allow site visitors to easily validate the DKIM/DomainKeys signatures validating that the emails were unmodified. If salacious or newsworthy information had come from an email that failed DKIM/DomainKeys verification, WL's approach would make that obvious even to those who do not understand how content signatures work.

- WL can be weaponized by anyone against anyone. There was a US Army report identifying this characteristic early on. Falsifying the identity of leakers would of course be a valuable tactic to use when weaponizing. WL is useful because of the aforementioned characteristics and in spite of being able to be weaponized in this way. It's not novel that a government could submit intel obtained by its intelligence agency to WL to cause a political consequence in another nation. Of course this could happen. It can even be done by domestic parties like Chelsea Manning. It's a question of whether the information leaked is beneficial by providing important transparency or revealing outright fraud/crimes.

I have to wonder when people oppose Assange due to indignation about Russia or Manning if the underlying reason is actually that they don't view the war logs or the emails to have been useful investigative journalism.
Tulsa native here. Don't do it unless you want to be surrounded by religious nut jobs.
And Tulsa tried to cover it up.
Ah you're right, wayland uses modesetting, what was I thinking. I should have known as I was typing out the typical SNA driver name..
Honestly I don't see a point to 4k gaming. High frame rate, on the other hand, is really great. Skip 4k and go for 144 Hz instead.
But GPS is cheap enough and widely enough deployed. Devices like laptops that don't usually have GPS are usually used indoors. I don't see the market.
I ask this out of genuine curiosity since I can't pick a definitive meaning: outing options? Is that ability to go somewhere or the ability to be publicly gay? My confusion is the first two adjectives tend to imply not pro-gay.
Docker and MuleSoft Partnership
I've been noticing a lot of anti-Facebook stuff popping up in HN recently. I think this is the 5th anti-Facebook post to make the frontpage in the last 2 days. I don't care about Facebook one way or the other, but I wonder how organic this really is...
This is an interesting comment. My guess is that fb is directly or indirectly paying these shills here and in other tech forums to defend fb and/or smear Google.

(Of course, Mark wouldn't know anything about it.)

BTW, does HN make their content available in programming friendly way (like Reddit)? It would be interesting to do some analysis on age of account vs their comments.
I think you might be underestimating latencies in the real world.

These [0] are statistics from Verizon showing 90ms RTT for trans-atlantic connections. Trans-pacific is > 100ms. 80ms seems highly competitive for me in this context.

[0] https://enterprise.verizon.com/terms/latency/
Not all libertarians are the same. I tend towards libertarianism, but also believe in enforced borders and legal entry. Likewise I believe free trade means everyone plays on equal terms. If, say China, is going to impose a 30% tariff on US goods, I think a reciprocal tariff is warranted. Libertarianism is not outright anarchy, it is about limited government.
"Typical work" is changing. It used to be possible to get ahead pretty easily. Work reasonably diligently (but not excessively so) in average income jobs and you could buy a house, accrue wealth, etc. You would have a lot more options on how you lived your life. Having a house with a paid off mortgage gives you enormous freedom, you can work for an average income that is well below what would normally be acceptable and yet still pay all of your bills (since you don't have rent). You could switch careers, become an entrepreneur, simply build your wealth, go on extended travel, indulge your hobbies, etc. Or, you could simply build a family, have the ability to spend plenty of time with them without having both parents working 40, 50, or 60 hour work weeks constantly with no time off, you could go on vacations with them, you could ensure their financial well being by being there for them when needed and helping them pay for college, their first car, their first house, etc, etc, etc. All of the typical "American dream" stuff that used to be possible in the mid-20th century.

Today a lot of that is not possible. People can't afford to have children because they are crushed under debt and burdened by low wages and high costs of living. They can't afford to indulge their hobbies, travel, take vacations, switch careers, or become entrepreneurs because it would be financial suicide to do so without having some sort of benefactor already.

People end up working diligently for years and decades with little to show for it. No personal wealth, no home ownership, no family, no personal freedom, no stature from career growth, etc. And it's not because the money isn't there, the economy has grown like crazy over the last 40 years, it's because the gains have been gobbled up by those who are already rich and powerful. CEO pay, corporate profits, low minimum wages, busted up unions, tax revolts.

When I was a child the old saying went "the rich get richer and the poor get poorer", but it wasn't really true, the economy grew and even when the rich did get richer the poor still got richer even so. But in my lifetime that saying has become true. The rich get richer and the bottom half of the economy stagnates, and they get foreclosed on, evicted, driven out of work, made felons by the "war on drugs", etc, etc, etc, and their lives become more miserable. Our cities start acquiring barrios, slums, and shanty towns like barnacles, just like those in the 3rd world, just like those where corruption, iniquity, and injustice are the norm. Our economy creeps ever closer toward becoming a crony capitalist kleptocracy, if it isn't already. And the worst of all is that people think things aren't so bad because things aren't so bad for them yet. History is not going to look kindly on this era, nor will it draw as sharp a line between it and the more barbarous 20th century, 19th century, or even the middle ages. We have a chance to make the world a better place but only by acknowledging the problems that exist and moving forward with concerted effort.
... and he’s also never been hacked.

<eddie murphy thinkaboutit meme>.jpg
In Myanmar, it was the private network of individuals, resharing posts on WhatsApp. Everyone only shares to their direct friends - but then those friends share with their friends etc. And I don't see how you can restrict that technologically - I mean, you could block share-of-share, but then people will just reshare screenshots (it's already common enough as it is).
I was also wondering about this — will it be significantly costlier than a commodity fiber / cable/ VDSL router? If it's going to cost say $500, far fewer people around the world will be able to afford one.
If you liked that you'll like this: http://www.markability.net/

It's a walk-through of George Spencer-Brown's Laws of Form.

It turns out all logic can be modeled by simple containment, and there's a complete basis (discovered by Bricken):

A() = ()
((A))B = AB
A(AB) = A(B)

One interesting thing about LoF notation is that every expression is also a schematic of a logic circuit. The letters are inputs, the expression is the output, and each container represents a logical (multi-input) NOR gate.

Another interesting thing about it is that it's significantly more efficient to derive proofs in LoF notation than conventional notation. (Often a proof that takes several pages in conventional notation will be less than a dozen lines in LoF.)

You can write a simple SAT solver that doesn't require the input expressions to be put into a Normal Form first.

- - - -

As Wolfram and others have pointed out: It's relatively easy to program computers to search for new proofs and such[1], the trick is making it "surface" the human-interesting ones.

[1] E.g. DeepAlgebra https://arxiv.org/abs/1610.01044 https://github.com/przchojecki/deepalgebra

> We outline a program in the area of formalization of mathematics to automate theorem proving in algebra and algebraic geometry. We propose a construction of a dictionary between automated theorem provers and (La)TeX exploiting syntactic parsers. We describe its application to a repository of human-written facts and definitions in algebraic geometry (The Stacks Project). We use deep learning techniques.
Oops. Looks like I have inadvertently ended up on right wing conspiracy site.
For super obvious reasons. A developers cost is almost entirely their time. That is the "unknown" for a developer.

For a doctor, the unknown includes many possible things like drugs administered, blood administered, emergency care, hospital costs, etc. It's not as simple as an hourly rate estimate, unfortunately.
>"Don't eat excessively"

Yes, a low carb diet makes people feel less hungry, so they eat less. A (supposedly) "normal" carb diet makes many people hungrier than they should be so they eat excessively.
Most epic burn of HN history.
What are those recent apps?
Between SpamAssassin, amavis, and postscreen (mainly postscreen) I rarely see any spam anymore.

but I do see that development has been kind of slow, and not just with SA - most everything email related.
It truly frightens me just how many people gave up and handed all of their email over to Google and Gmail, who continue to prefer their way of doing things.

i'm looking at rebuilding a mail server on a new VPS pretty soon, and I'll happily set up spamassassin once again. it's great to see that it's still going strong.
... a Solar box.

That should, of course, read "... a Solaris box".
Yep, and EDG was the only frontend to implement "export template" (and Comeau was the only backend to implement it, so far as I know). I think that's the only reason why they implemented it this way - outside of template export, there's no particular reason to do templates like that. The other technique, with folding duplicate sections in object files, is necessary for inline functions anyway, so might as well use it for templates...
Anyone knows, what is the progress of migrating to Servo/WebRender? What parts are still in C++, what parts are being rewritten, and what are not?
And is OKC really much better? I was uncomfortable there and I'm a straight, white, married male. I can't imagine what it would be like to be brown or gay or anything outside a very narrow definition of "normal". I also can't believe that a smaller city could possibly be better than OK's larger centers...
0. Obama ordered that. Not Hillary.

1. That's not a drone strike.

2. That's not an assassination mission. OBL was more valuable alive than dead.

3. Islamibad isn't London and the UK isn't Pakistan. Hard power solutions are for countries that can't control their own airspace and can't/won't be able to capture the person of interest with their own legal/security apparatus. Name one drone strike outside the middle East.

4. You are comparing the most notorious terrorist in world history to a journalistic nuisance. The US would have to be retarded to pursue Assange to the same severity as they pursued OBL.
I don't see it as primarily an increase of propaganda. A lot of people seem to find their stories credible and worth referencing, so they certainly seem to have found a niche where whatever they are providing is what their audience wants.

If they can capture that audience and reinforce their beliefs, that is I suppose more effective than really trying to change how people think.
This is the article I link to when I see people making statements about racist algorithms: https://blog.chewxy.com/2015/08/04/algorithms-are-chaotic-ne...

Basically, algorithms are the wrong layer to work in if you want to fix this problem.
While I agree with your sentiment, I don't know if butthurt has anything to do with homophobia.

Butt is not same as butthole.
So is the peak of Chimborazo the point on Earth with the lowest delta-v to orbit?

Compared to a sea level equatorial launch, https://space.stackexchange.com/questions/8486/where-is-the-... claims a 0.2% gravitational advantage due to height, and a 0.1% advantage due to rotational velociy.

Small, but not nothing.
I would put 100g as the upper limit of what you would eat on a low carb diet in a day.
I mean, every time I've dealt with a contractor it's time and materials. And the markups that hospitals charge on materials would be considered fraudulent by a court if someone tried to pull that as a freelancer.
My family in Tulsa confirmed that crime has gotten worse.
whatever happened to don't shoot the messenger anyway? I could understand if stuff was faked for political purposes but as far as I know everything wikileaks has ever put out is verified as true. It amazes me how people would rather live in ignorance, or have been brainwashed to want to live like that
If the point you're trying to make is that suicide isn't correlated with low income, you shouldn't look at broad demographics, you should look for studies about suicide that focus on financial status. Like this study, which found that low income was correlated with high suicides on a group of a million people after adjusting for other factors:

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5463019/
I'd say what the parent refers to as intermittent fasting is just feeling less hungry...
I've also switched from i3 to sway. So much better!
It's elementary, my dear Watson:

1. WL disclosed information to US population.
2. WL is accused of being "Non-state Hostile Intelligence Service".
3. Hostile intelligence services work for enemies.
4. US population is the enemy.
Translate Pictures of Food into Recipes with Deep Learning
Ah yes, because Assange lied about something and took it back it's totally cool a federal government prosecutes him for whistleblowing.