skysight-inc/HackerNews huggingface dataset:
> Which has two flaws. First, it wasn't a challenge for them, they were just using it as an excuse to whine about the second one that actually is. And second, the only real security is math (encryption), but it doesn't require any special support from the hardware.

They bought a hack from another company for an old model of phone. If the case had been involving the latest model handset, the vendor claimed they had not yet (but were confident they would) hack it.

> The problem is, if someone has physical access to your device and can compromise your firmware, they can record your passphrase the next time you unlock the device, and then they don't need to break the encryption.

And if the device is tamper-resistant? I had this same conversation with a person who hated Yubikey. Nearly exactly the same. It made even less sense, because the entire point of the Yubikey is to be tamper proof.

> The only answer to these attacks is physical security. Secure boot does nothing.

I think maybe what I object to most is that essentially the only attacks considered in this discourse are attacks directly by nation-states at scale. Not only is it clear that handsets and self-built computers are subject to these (at scale), but it's doubly not sure that if you used a TPM then you wouldn't be exposed to attacks against TPM-backdoored devices since your information in an online world is stored on commodity clouds that probably DO have that hardware and if an attack exists, it'll certainly be able to ignore FDE.

Even if we ignore that, TPM mitigates real attacks we see in the real world, and increases the difficulty of those attacks. Average consumers are a case that should be considered in the discourse.

Most people can't effectively harden themselves against nation-state level attacks (if only because incarceration and interrogation exist and even physical security won't stop them), but nation-state level attacks involving a conspiracy amongst manufacturers and the NSA is the justification used to discredit the use of TPMs.

And for the dubious benefit of saying, "Well I have a spec and presumably this board is fully defined by this spec." Of course, truly verifying the board has no back doors is not made substantially easier by the absence of a TPM. So I have trouble believing that this is not an argument among different factions who want final say on a wide variety of consumer hardware.
Never thought of that... I have to go to the mountain about this!
> he's just following through on campaign promises. How can you fault him on that?

It's easy - his campaign promises were short-sighted and pandering to idiots.
Here's my damage report for running Linux of a late 2016 Razer Blade Stealth laptop: https://www.reddit.com/r/razer/comments/5orvy5/late_2016_rbs...
A lot of people are suggesting talking to a friend, which is good. But at your level you might consider a short engagement with an executive coach. 3 or 4 hour long sessions might give you a new attack on the problem and some ideas on how to present yourself differently.
If you're traveling for leisure, that might be an option, though you'd better be on a long vacation and find the boat an appealing part of the experience.

If you're traveling professionally, neither driving nor boating would typically be an option.
"They can't predict the weather worth a damn, so what use are they!"

(Nevermind that forecasting has improved tremendously in the last 20 years, thanks in large part to NOAA research)
> Once they manage to establish a monopoly you will be flat out of other options

Oh, you mean like the taxi companies? Regulated to the point of no competition?
One way to look at this is in what technologies each company has spent resources. Suse has more Btrfs developers than I can count on one hand. Red Hat has zero these days. Red Hat might have more LVM and XFS developers than I can count on one hand. So it stands to reason each company's output will be biased, they're going to support (development, QA, and tech support) the things they're spending resources on.

Considering a big chunk, possibly the single largest chunk, of upstream is Suse, and they use it by default for several years on both the opensuse and enterprise offerings, it doesn't really make sense at all that 'btrfs developers say it's not ready'. This just doesn't square. What's going on in my opinion is, neither Red Hat nor Fedora have the resources, nor are they willing to add resources, to triage Btrfs related bugs and therefore Fedora isn't ready for Btrfs, not the other way around.

Even Suse goes very light on what is supported with Btrfs multiple device stuff, by the way. Single device volumes, I've reported bunch of minor bugs, no data loss ever. Multiple device stuff is difficult to qualify: if you're familiar with the warts you're at a net advantage over mdadm and LVM RAID. If you're not and run into trouble, there are traps and Btrfs's claims of focusing on fault tolerance and ease of use can betray the user.
My accounts at home keep getting shadow-banned... was wondering why suddenly everyone stopped responding. Tried registering a new one but it didn't let me.

Wonder if this one will show up after I log in from home...
It basically signifies a loss of energy. You can think of it in the context of collisions, except with a continuous distribution of fluid instead of a discrete distribution of objects.

We know that momentum (mv) is always conserved. In this context, we can replace mass with cross-sectional area, because mass in a given cross-section is proportional to the area. V is flow velocity in length/time. So momentum is flow in length^3/time.

Energy is 1/2mv^2. If you lose energy, mv is constant and m*v^2 decreases, meaning that v must decrease and m must increase. In this context, that means that the flow is slower with a larger area. This corresponds to an "inelastic collision". In fluid dynamics this is a hydraulic jump.

In this situation, most of the energy loss is near the surface, so you end up with moving hydraulic jumps on top of a laminar flow. This doesn't really happen in natural situations, because riverbeds generally aren't this smooth.
This doctor is notable for the consistency of his character. The Ketchum Oath supersedes the Hippocratic one: "Do harm for the greater good!".

This greater good angle -- even God regrettably hides behind this -- is possibly the most pernicious moral puzzle presented to humanity.

But in defense of God, at least in that (hypothetical if you wish) case there is a guarantee that the asserted "greater good" and in fact the "good end" are certain to come to pass.

I think it plain evil, this greater good fig leaf, whenever we are not clearly afforded certitude of the desired outcome.
Those of use who care about these things are a bit screwed, in that the mid-terms put so many more Democratic seats in play than Republican.

And the Republican majority knows it owes a significant part of its current position to Trump -- and his acive base.

Nonetheless, if you don't want science and reason and at least a best-effort at environmental and resource management to go out the window, NOW is the time to communicate this to your representatives. Whatever your political affiliation as well as that of your representatives.

There are reasonable differences on how to manage as well as measure and report resources and the environment. Most rational people, regardless of their position, don't want to throw the science and scientific endeavors out the window.

And as for "conservative" and "business" value in this: I believe agri-business -- at whatever scale -- derives significant value from the likes of NOAA surveying, evaluating, and reporting on weather and climate.

Something I find annoying about these... "government-science-divestment" attitudes and agendas. These programs don't nor even primarily support "tree huggers". They've grown up, exist, and maintain support because the provide significant value to business and commerce.
Not really the same thing. The Perl version is generally used as an early abort either from a subroutine or a loop.

return if($number > 2);

Is equivalent to:

if($number > 2){
return;
}
Yeah and they take a very specific tax out of everyone's paycheck to pay for those two programs.

If you want to have an argument about them that's fine but they have separate budgets and should be discussed separately.
it's US english, they're referring to Lego the product as a whole, rather than individual Lego pieces (the meaning ends up basically the same, but the distinction does change the grammar)
okay, if you believe stuff like that, it's hard to take you seriously. 666, the devil, he's there in your transaction? I remember when conservatives didn't like that unix has daemons. That was not particuarly a useful concern.
What's the connector and interface for the side units? They slide on and latch, so no common connector will work.
I'll ignore the ad hominem.

Minus SS, it's still less than 21% of total federal spending.
Obstruction of justice is a crime. So are lying to an FBI agent, destroying evidence, resisting arrest, evading arrest, falsifying business records, destruction of documents with intent to impede an investigation, and of course perjury.

I don't know that any of these apply here, but yes, actively avoiding accountability is often a crime on its own. And correctly so, I'd say. Creating fake accounting records as a hobby would be odd but not immoral. But keeping two sets of books in a real business has no purpose beyond enabling illegal activity.
I'd love to work there on improving Linux support.
The parts I liked as a kid didn't really give me the nostalgia I expected (the reason I bought it), but I did realize the plot is sad as hell. I got the sad parts as a kid, but they definitely hit way harder watching it as an adult.
> Although it's perhaps telling that many CS papers are just as bad, if not worse, even when they come with code! Executable ideas aren't necessarily easier to understand...

I'm not too fond of academic-anything. Most papers are bad, period. Most jounals are bad, period. That's when taken in retrospect to this "good/bad" dichotomy. There are good and bad things in most of these things though that you and I can recognize.

Sadly, Computer Science in adacemia is little math. In industry it means something completely different. I think Linus is more of a computer science then someone who comes up with a new cryptography algorithm, or homomorphic encryption method, or whatever is "hip" these days.

> Things have really picked up over the past 10 years, but a vast majority of the software we use -- and a vast majority of the software being created -- does not make significant use of formal proof.

> And certainly not the sort of functional correctness verification efforts that would be analogous to formalized mathematics.

I'm not talking about formal verification when I talk about computer science/programming methods for representing ideas.

Also, formal-verification isn't an academic endevour. You've got a CPU in your system that is all formal verification of VHDL or Verilog.

You've got planes flying in the air by Boeing that are almost verified completely.

But I don't think formal verification is the most important! I think the way we represent out ideas in a clear and understandable fashon is important. My complaints are about language, not proof or semantics.

Also, in math your proof is your program so this is an entierly different issue.

> This is like saying that multivariate calculus is child's play because children can manipulate things in R3. There's a kernel of truth, but it's mostly wildly incorrect. Most Mathematicians generate proofs, not pretty simulations.

I'm not saying a highschooler is Donald Knuth. I'm saying they can benifit from the abstractions they stand on to create further experimentation for themselves. One they, I do think, they will become Donald Knuths with better understandings of these building blocks they have access to.

Do you think someone who has never touched a game engine will have an easier time understanding what a game engine does then someone who worked with them since they were in their early teens? I fully expect highschools who like math to be able to experiment with the implications of math just as currently a highschooler to likes computers can experiment easily with the implecation of computer programs.

> And I'm saying that the history of formal verification in CS and proof assistants in mathematics provide direct, empirical evidence that this just isn't true.

I'm not talking about formal verification. I'm taking about the ways we express our ideas. Computer Science != formal verification.

I am talking about how programmers express their ideas and the steps of solving a problem.

> "No modification" is the under-statement of the century.

I think your "formal verification is largely an academic endevour" takes the cake on that one.
Ask HN: News about specific topics like AI,ML
Is there any site which curates news about specific topics like AI,ML,cybersec,IoT,wearables,etc
"I recently switched jobs and just needed a transfer application acknowledgement"

There is nothing called H1b transfer. It's a brand new application with some extra features like no lottery, no wait-till-Oct1, etc.

IMO, all H1b fees should be increased by $5000 and processed in 15 days.
I think this was intentional. A friend of mine who was a geologist working for the Park Service before he got the coding bug and I hired him in the dot com days told be while this was going on, "You know they are lying right?"

I asked about that and he pointed out that the dam was failing, and we were watching it fail. He pointed out the spillway shooting sideways and the amount of progress it had made in just the couple of days between the emergency spillway issue and then. He drew a line on the screen showing how the water cuts away the rocks and that the material above falls in, and becomes like sanding bits in the water flow to cut away still more rock. He estimated that two more weeks of rain at the levels we had experienced would result in total failure.

None of which the press was reporting. And we talked about why that might be. And other than the loss of life (which could be minimized by an evacuation order) there wasn't a whole lot they could do. They certainly couldn't repair the dam while water was flowing out of it. But at the same time they would have a several days at least of knowing it was going to fail before it actually did because of the amount of material that would need to be removed.

He suggested that it was in everyone's best interest to keep the panic and stress levels low until they needed to be higher. And I can't say I disagreed although felt it would be really annoying to have my stuff washed away when folks knew it was a possibility and didn't even offer me the chance to move it first.

So cross your fingers for a sunny March and a slow melt of the Sierra snow pack.
On one day: 4000 deaths, 4000 permanent disabilities, 40000 significant injuries, with a further ~10-20000 later deaths.

But hey, cheap Eveready batteries by avoiding burdensome regulations !

https://www.wikiwand.com/en/Bhopal_disaster
Different in degree, yes. But part of a continuum.
Yes, I agree with the need to filter by city. I signed up with my phone and I cannot update my profile. I hope my cart will be available when I try this from a computer.
So you set your account to some string selected by your password manager and you don't have the password manager on your phone/computer. Then the agent says, "Fine, why don't you:

1. install the password manager on your phone/computer and log in to the password manager or

2. reset your password for the account and get the reset link emailed to you."

Your ignorance only takes you to the next step.
Oh, and if you're wondering about the moral case, I think it's pretty clear. When we the people set out to do something together, deciding to evade our joint decisions and mechanisms for self-regulation is an antisocial, antidemocratic act.
As an Asian, it is true that most of the countries in Asia work hard to enter college but in Korea, this is no longer true that they party in university.

Tightening job market drove students to study job-related certificates and tests such as Test of English for International Communication (TOEIC). This is so grueling for young generations with grow student debts.

Students often defer their graduations to appear fresh in the job market. http://thediplomat.com/2014/05/south-korean-students-delayin...
> I remember that a browser dev increased the Nexus 5's benchmark score drastically by placing it on a bag of ice.

If the browser was stressing the system to the limits of the thermal envelope, then by being able to dissapate heat faster, you can schedule more work to be done delaying any kind of frequency governing.
It's a cool idea but I think it would be better as a project your site links to then the site itself.

Keep in mind the main reason people are going to your site, they want to judge you for hiring. Also remember this person has probably looked at a lot of resumes already and is planning to look at a lot more. The terminal interface is fun but if I was looking to hire I would close it and move on because it's going to take way to much time for me to get to the information I want.
He said since the beginning of the primaries that he believe in "Peace through Strength", and repeated it many times. If you believe he wants to invade the world, you may be a low-information voter, with all due respect. (note: I don't like military spending).
> Out of pure curiosity, would you be willing to explain why you'd protest 2A people using a service that you also use?

I have snapchat installed on my phone. I do not use it. I do not like the company. I'm not in their demographic. I don't like taking pictures of myself nor of my suroundings.

I'm about as much of a use as I am Verizon Messanger+ user. It's there on my phone, I'll never use it, and I don't like it.

The extent of my usage of the app pretty much goes to telling people who message me on it to text me instead.
Never apologize folks, it doesn't actually engender any sympathy, especially when you are a billionaire.
Why do you think that immortality is not just desirable but also inevitable?

Death is part of life. The older you get, the more people whom you have met are dead. I don't think that viewing it as a horrifying tragedy is particularly healthy.
Going from 720p to 900p is a ~50% increase in pixel count, but the bandwidth increase from docking is only 20%. And since it already chokes at times in tablet mode, this doesn't bode well for a fix that isn't lowering graphical quality.
Not necessarily. Consider: https://www.quora.com/Why-are-people-from-the-future-not-tim...
Apple's keyboard options are seemingly random.

Here in Japan, their keyboard options are: Japanese, Korean, US, UK, Arabian, French, Spanish and Danish(!).

Why Danish?! Not German?! And if they have Danish, why not, e.g. Italian, Swedish, all more populous countries? I'm almost tempted to believe the Danish option is due to a dk/de mixup.
I wish I could remember which comedian this was, I distinctly recall the line as "I don't mean to sound racist, but could you pass the salt" in reference to reclaiming phrases that are usually negated by what follows.
IBM makes millions of dollars selling supercomputers to NOAA.
I agree. But it did get him elected.

And I suspect that it will get worse.
Lego is not a product. LEGO is a trademark for a brick system.
I'm not sure where you are getting your numbers: care to elaborate?

This[0] directly contradicts you:

https://www.nationalpriorities.org/budget-basics/federal-bud...
Way too early for this. Uber is still a massive success story.
Report on Capital Flight Finds Developing Countries Net-Creditors (2016)
Are you sure that shitty support isn't coloring your view of the machine? I've got a RBS+Core and a MBA. Aside from the MBP having a better keyboard (and obviously TouchPad, as it does vs any PC) it's a great machine.
>Certainly they believe that weather exists?

Exists? Sure. What it actually is? Not really.

"Trump also misrepresented what happened to the weather during his swearing in. He said he felt a few drops of rain as he started delivering his address, but then, “God looked down and, and he said we’re not going to let it rain on your speech.. . .The truth is it stopped immediately.”

Light rain continued to fall through the first few minutes of the speech — and VIP’s at the dais took out ponchos, including former president George W. Bush — and then quit. Trump said there was a downpour right after he finished, which did not occur." - https://www.washingtonpost.com/politics/trump-in-cia-visit-a...
I hope they find staring into a phone is bad for the eyes.

Or, any reason, that would break people of the nasty habit?

In all honestly, I would rather be around a chain smoker, with an active herpes outbreak; than spent time with a Phone Zombie.
> I've opted out every time I've flown in the US since June 2014.

Is it optional?
Depressing. I was going to wait till much later to even consider purchasing this. But I definitely won't be until that's addressed.

Why isn't the screen glass?!
I would personally remove the "objective" portion from the resumes. It's known to all parties involved what you are looking for is a job, you don't need to spell it out to them and it uses space that could be better used.
How to Create a Docker Backup with Morpheus
He's also probably also a well off, straight, white male.
It probably boils down to feelings, which seems unfair to introverts and those who tend to undersell themselves (but is probably how 'society' works).
Ask HN: Help me design better object relationship for a simulation
Hi HN, I'm designing a simulation of a busy airport and people flowing out of a terminal and across duty free and eventually out through the exit.

There's a bit more to it like people just loitering around waiting for flights or browsing the duty free etc.

I have modelled all of this the simplest way possible:

0 - It's done in Python

1 - I have an object called "Grid" which is basically a 2d array with a bunch of methods to add and remove elements at specific positions and to print it self so I can visualise it. Think of it as 2d map. It also deals with the "GameLoop" asking for every passenger for a next position every loop and "moving them".

2 - I have another object called "Passenger"
which is a bit more interesting:
..2a Passenger can be given a X,Y destination and it'll use a pathfinding algorithm to decide how to reach X,Y (avoiding walls, other Passengers et)
..2b Passengers have a method that returns the "next move" based on whether the next item on its path is "blocked" or not, if it is it'll wait for it to be unblocked. As multiple passengers start walking across the map, they may be in each other's way so one might have to wait for a "round".

My main question is todo with "modelling correctness":

1 - Intuitively I need to insert Passenger objects into the Grid object.
2 - For Passengers to move they currently need a reference back to the Grid object in order to "see what's around them" and to define the Path using pathfinding.

Should the Passengers have a reference back to Grid? Should methods called in the Passenger be allowed to mutate the Grid?

I guess my question is: Should object dependency be unidirectional...?
Ask HN: What's it like to be in a relationship with an extremely smart woman?
Apologies if the question seems crass. It comes up a lot in reverse, but I figured the HN crowd might have some input.

There are a lot of well known (and somewhat true) cliches about dating geeks, mostly men. So I'm curious to hear people's story about what a relationship is like with an extremely smart woman instead.
Part of London Closed as Huge WWII Bomb Is Found