skysight-inc/HackerNews huggingface dataset:
"I only got to see the machine doing the remote debugging, not the target — but it was obviously an ARM based system"

I find that a weird statement. If you are pulled into a team because you are a good kernel debugger, in a company where talent in that area likely isn't scarce, wouldn't they pick you because you know ARM, and wouldn't they tell you beforehand exactly what CPU you are dealing with?

There also is very little information in this (or the Quora post), most of which isn't new. How do we know this isn't something someone made up to look interesting (or to score karma on Quora, if it has such a system)?
TV is bricked by Android malware and LG wont disclose factory reset
Health insurance is supposed to average the costs though. In many places we have crappy system where that's not really the case, but in general the whole business of insurance relies on the fact that more healthy or lucky people cover the expenses of the less healthy or lucky.

If we asked people to really pay for resource usage, why would anyone go with insurance to begin with?
Paper or air cushions aren't going to make a substantial difference to whether a box is crushed.
Yeah, the Linux plane flies great, but they forget to mention the string of CVE-12345 "Wings detach if a bad guy looks at them from the ground".
Sample size of one, but on mobile, my number one pet peeve (apart from popover ads and autoplay videos!) is layouts that change as the page loads. Progressive encoding with multiplexing should help make sure newly loaded images don't make article text jump around as I try to read it.

Then again, maybe this is a laziness issue since it seems to me defining a layout independent of actual image content is something that you could do in the 90's.
Why not add a weight sensor to every seat?
Physicists measure the loss of dark matter since the birth of the universe
The justification of tipping is that it incentivizes good service. Tipping the kitchen staff makes absolutely no sense because the pay structure isn't set up that way, and because you don't interact with them. Think about what it would mean for tipping to incentivize the quality of the food prepared for you.
That's more than 10% increase on most new cars.
I think you misread me. I was suggesting the computer don't put the break on full when stationary, but only enough to keep the car still (as the road may not be flat etc).
yea, the Tesla can see where the driver cannot because the leading vehicle is obstructing the view (it doesn't brake so you don't even get alerted by it's breaking lights...)
It would seem that you would only have problems when the weight is unevenly distributed. I've only ever seen people spread out when allowed to take any seat, which would tend to make things more even if anything.
Great, I will give it a try :-)
The whole radar unit and lots of the intelligence in it comes prepackaged from Bosch. So yes, plenty of high-end cars do this.
I'm 6'6", and would be okay with this, if it meant my children would be charged much less than the regular rate, but somehow I don't think that fits the revenue models....
Someone I know whom I had talked to before about this issue put it quite succinctly: "the laws of physics don't care about equality or rights or discrimination or whatever else. If they say the plane isn't going to fly, it won't; and if you try to challenge them, you are going to lose."
> Many time we see cars upside down in accident and wonder how did that happened. This is how

Living in India, I have seen a fair share of accidents where the car is upside down. I always used to wonder how that happens, now I know.
Luckily you handled it right.

On the very same road I wrote about, I've been driving another car that couldn't turn at 90 km/h uphill without drifting outside. It was not a SUV. Suspensions setup is very important for safety: a car that can turn fast is a safer car. I tested an Audi TT on ice at low speed (ice tires) and it was like turning on asphalt. Other more normal cars, not really.
The flights must be incredibly uncomfortable. They are packing many more passengers into their planes[1]. E.g. that article linked to a previous one where Norwegian Air was unable to fly into Vegas during the summer, because their heavy planes couldn't legally take off in hot weather.

[1]Norwegian packs 291 seats on to its Boeing 787 -8 models and 344 on to its bigger 787-9s. By comparison, United's 787-8 and 787-9 Dreamliner models seat 219 and 252 passengers, respectively. http://www.usatoday.com/story/travel/flights/todayinthesky/2...
Not forgetting HeidiSQL which although is a Windows app runs well under Wine:

http://www.heidisql.com/download.php

https://appdb.winehq.org/appview.php?iAppId=3326
The (purported) states are very similar. They have slightly thermal conductivities, electrical conductances etc. but still have all the usual properties of water (as they must, since we observe 60 degree and higher water all the time, and it still behaves like water).
Best 5 free iPhone/iPad Apps
As we know the good news that iPhone 7 launched in 2016 and people loved it much. So the buyers are now searching for Best Apps for iPhone on internet. That’s why we came with a list of Best Free iPhone Apps, so please check the list and install these apps from iTunes.

Dear Friends, Most of apps are absolutely free in our list of best IOS Apps. Believe us , you should have some of these apps in 2017. So have a look below and feel free to install your favorite app from app store.
Read More on : http://suratnow.com/best-5-free-iphoneipad-apps/
30 vs 11 actually, one of the breaks is inside a blockquote.

I wouldn't really want 'break' becoming an acceptable alternative, considering how cars braking and them actually breaking are likely to turn up in the same context and be really confusing.
This is a wonderful book and I recommend it to anybody learning Coq. The mathematical components project has made (and continues to make) great strides when it comes to formalizing research level mathematics. Before this book, there was only a small manual for ssreflect and information scattered throughout a dozen research papers. It's good to finally see more of a focus on documentation, since there are many people in the community who could benefit from using mathcomp instead of developing their own implementation of common mathematical structures.
I wonder if WordPress SMTP plugins¹ that override normal mail functions provide any protection from this vulnerability.

[1]: Such as https://wordpress.org/plugins/wp-mail-smtp/
Ruby on rails learning
What to learn in ruby on rails in 2017
5 Steps to Grasping Modern ML
> I would bet pretty good money that automated theorem proving is better than the best humans within 10 years.

This is almost identical to saying computer programming will be automated within 10 years. It's much, much closer to general AI than it is to Go.
I wonder if this is related to https://en.wikipedia.org/wiki/Mpemba_effect
In some cases those HFT installations are tuned not to run full Java GC within 8 hours during the trading day. Then they are rebooted.
Amazon refuses to let police access US murder suspect’s Echo recordings
Thanks.

So to extend on that, if his 800 kLOC is only 6% of the Kernal, does that mean Apple's kernel is around 13 million lines?

wow, I had no idea.
If only some side-by-side video of the page rendering with the two methods would be available.

I like progressive images, and the whole idea, but some catchy video about a page re-layouting multiple times as images arrive on traditional http+simple jpeg would be the most convincing.
For benign e-mail addresses, it is Good Enough: accepts the unusual but valid info%blah+something@info.swiss, punycode (and various other things that people usually toss out with the infamous [a-z]{2,4}), yet throws out the abovementioned monstrosity, even though it technically follows the letter of the RFC.

As for "why no mitigation" - even though it abstracts the horror of mail(), a library is a power tool with sharp edges, not a nicely wrapped single-button selfie app. In other words, it already does validation; input sanitization is beyond its scope IMNSHO (this literally means that valid, insane e-mail addresses do exist), and adding that by default would nerf the library. (Also, php_filter is an extension and not installed by default)
Watt Linkage: Mechanism and Application
Watt linkage is also known as the parallel linkage. James Watt invented Watt mechanical linkage. In Watt’s linkage central moving point of is constrained to travel on an approximation to a straight line. Watt’s Linkage can be found in some automobile vehicles at suspensions that allow the axle of a vehicle to move vertically while preventing sideways motion.
Read full article over here => http://suratnow.com/watt-linkage-mechanism-and-application/
That's the point of Dodd-Frank; if the bank gets into this situation, it is no longer allowed to pay out dividends to shareholders, and is limited in the investments it is allowed to make, with the aim of removing it from this situation.
Specifying image dimensions is enought to prevent any jumps.
List of WIFI Adapters for Xbox One
Once you outgrow your boot sector space, writing a BIOS based bare metal project gets a lot harder as you need to start loading stuff from disk with more BIOS calls.

It's a lot easier and nicer to use either UEFI or a Multiboot-protocol bootloader (GRUB, or qemu/bochs built-in bootloader). That also means you will be starting in long mode or protected mode.

In order to work with bare metal efficiently, you need to get a debuggable and bootable ELF image up and running as soon as possible. Once you can attach a remote GDB debugger to Qemu, you get things done much faster than using the Qemu/Bochs monitor/debugger.

Anything more complex than a hello world example is easier with UEFI or multiboot than BIOS boot sectors. You will need a linker script and a build script but things will be much easier after the first steps.

I made this pull request for someone else's bare metal project to add debuggable ELF images. It's a small but practical example:

https://github.com/Overv/MineAssemble/pull/5
It highly depends on your choice of a bank I have regular citibank account and can send wire transfers online I also have a small credit union account and again can send wire transfers online. So you are trying to generalize personal experience to imply some universal limitations.
Show HN: [Book Launch] 7 Secret Strategies to Launch Successful Startups
Easy on the propaganda there.

* "First viable replacement for C" - C++ was invented decades before Rust.

* "Well-written C programs translate almost 1:1 to Rust" - C programs can be compiled with minimal changes as C++.

* "or didn't offer meaningful improvement in safety/concurrency/expressiveness." - C++ offers major improvements in all of those areas.

A lot of C programmers don't want to switch to C++ and they won't want to switch to Rust either, because they favor simplicity and neither Rust nor C++ are simple. They'll probably switch to golang for some stuff if anything and just stick to C for the rest.
Wow that's blatant discrimination. Hasan himself put it best in the email:

> Your reason for querying the authenticity of my name seem arbitrary and unfair. Discriminating against non-familiar names begs the question: non-familiar to who? Would you have questioned me had I used a fake but common English name? If you intend to attract a global community of users you will have to reconsider this approach.

And the protecting privacy bit is a huge cop-out because it's only really "protecting" them from honest actors who adhere to robots.txt. Not to mention that publishing something with your name on it is effectively making that association public; just like how you should assume that passwords committed to a public GitHub repository are no longer secure, you should exercise the same vigilance with your identity. Sure it's great that they let you change it, but someone out there probably already knows the association and wrote about it, and anyone persistent enough to use the Wayback Machine on an anonymous post will probably find out what they need anyway.
> Is It Just Hype?

Who is to say?

I think the "hype" about Vue comes greatly from the fact that some people are disenchanted.

Ember switched from MVC to components to play with the cool kids, which made it complete new framework and then the forced usage of CLI with their idomatic tooling (who else uses broccoly!?) in current times, where everyone builds their own stack was a step in the wrong direction for many.

Angular failed people multiple times, first with its steep learning curve, that didn't grow out of reliable features, but more out of over engineering, and then with the break to ng2, which didn't fix any of the problems, but just moved them in a different direction.

React is nice and has a small API that most people get rather fast, but the whole Flux/Redux fights back in the day didn't help. I use Redux at work and have the feeling 1/2 of my code is some action/store boilerplate that I wouldn't have needed with Ember.

To me, Cycle.js + TypeScript is the future, but I also thought this about LiveScript. I constantly have the feeling I find awesome tech somewhere, but it just doesn't get widespread use.
Does anyone know of any resources for doing stuff like this on ARM? I have a board with u-boot, but I can't find any information about how to do even a hello world type program.
Sharing it because this is my fist ever book just released 2 days ago.
As Home Prices Rise, Flippers Make a Comeback
Because SQL Server is actually an excellent database, fast, reliable and full-featured. Consider that Postgres only got parallel queries a few months ago that SQL Server has had for 15 years! And in terms of replication, clustering etc SQL Server is still well ahead of PG. Now don't get me wrong I am a huge PG fan, but burying your head in the sand "because it's Microsoft" is unprofessional.
Yes there is a massive need for good, conflict-free advice. For what it is worth, my advice is ask for advice from people who don't have time to give advice.
> Do you think you could refactor out bytestring-based string manipulation into its own library?

IIRC, someone was working on making the Pattern trait work on &[u8], but I'm guessing that work is stalled.

To factor it out into a separate crate means copying the &str substring routines, since there's no way to safely use them on an &[u8] from the standard library. (bluss did that in the `twoway` crate, so we could just use that.)

It does seem like a plausible thing to do, at least until std gets better &[u8] support.

> Even better would be something that worked for all encodings

I suspect the standard practice here is something like "transcode to UTF-8 and then search the UTF-8." (This is what I hope to do with ripgrep.)

> (using https://github.com/servo/tendril or something)

I don't think I know what problems tendril is solving, so it's not clear to me what it's role is.
They are already programmed to avoid being smashed from behind. Watch these two cases [0:47, 1:54]
https://youtu.be/JwknRVjUBCg?t=47
https://youtu.be/JwknRVjUBCg?t=114
I've seen analytics services do this - periodic sync of multiple data sources into their analysis service, which is usually BigQuery or some OLAP system.

I don't think it would be a good idea for replication though. General syncing is super intensive, you have to diff everything between the two databases. Major DBMSs all have better replication processes that avoid this, in MySQL's case the slaves are synchronized using the master's binary log so they replay transactions that happen on master. It's far faster and allows for near real-time synchronization.
That's actually a part of the problem: "don't worry, the library covers you, no need to think about it". I have spent some time rooting around inside the libraries I planned to use - including PHPMailer - to find out what their assumptions are: "validates by default" is not a sufficient description (as we see), "passes everything conformant to RFC" is.

In this case, that was not the same assumption I was making, and I was surprised - once, during implementation; a wrapper using filter_var brought the assumptions of the library in line with the assumptions for the project. That is, obviously, not universal advice.
Thanks! I like to think I usually close the browser tab, but text search is just kinda my thing. :-)
This is a very good idea: "someone, or some company, or some open source community ought to build software that parses headlines and the stories that follow and rate them for how well the headline represents the article."
Assuming no lines are removed. I often write tens if lines, commit to trigger a test, then rip out hundreds including the ones I wrote. Netcontribution - negative. I consider that a good day's work.
How do they know who put what in which trash can?
It's pretty sad how the work of Kent Ford that carried out the experiment that gave observational confirmation of Dark Matter with Vera Rubin is being totally forgotten by history.

As the work of people like Jacobus Kapteyn, half a century before that actually had the courage to propose to the astronomical community something as abstract at the time as Dark Matter.

Sexism has these problems unfortunately...
Hang on, the ribbon was attached to the screws? I always just assumed it was a decorative feature.
Apple AI research paper is from vision expert and team
Where is that? Where I live there is a 100km/h limit, and the local police sometimes post on social media when they ticket someone going 160km/h+.

That said, 100km/h made sense in 1970, but now with the safety of modern cars, there's no reason that 130km/h shouldn't be the standard everywhere modern cars are prevalent.
Earlier post at https://news.ycombinator.com/item?id=13268580
Mee too, but choosing between page jumping and your scenario, I take pixelerated. Often I even don't look at those images, all I look is page jumping.
Parallel ports were the workhorses of pre-usb interfaces. And they were very easily hackable as well.

With EPP mode it was easy to plug things like AD converters there, for example (amongst other things)

(Someone could try plugging one of these to GPIOs on a RaspberryPi for example and trying to make it work)
Everything on web development feels like an hack.
I have never ran afoul of Steam, but for some reason I always assumed that they had great customer service. How I formed that opinion I am not sure, as is evident I am appallingly wrong.

I appreciate it is hard to give anything other than boilerplate legalese to most customers when they throw the book at you, but this customer mentioned in the article even asked to have his case escalated. Fault lies solely with Valve as far as I can see.
Thanks, this is cool and easy to get
> Research shows that an increase in quality of life is inversely proportional to a drop in birth rate. Fossil fuels are also the cheapest and easiest way for poor countries to develop their economies.

If decreasing carbon footprint is the goal then presumably the "easiest way" (spending more carbon) may not be the preferable option.
Would be curious to know more about your experience, I mostly use CakePHP, and have minimal experience with Symfony 2 and Laravel, but I always go back to CakePHP.
I was going to reply to you off-line, but you have no contact details in your profile, despite saying "Get in touch!"

Perhaps you didn't realise that the "email" field in your profile is private and only visible to the mods. Logout and have a look at your profile and you'll see what I mean - no contact details.

Hope you see this! Personally, I use "HN Replies"[0] to let me know if/when people reply to my comments, just for cases like this.

[0] http://www.hnreplies.com/
what is the evidence for russian government hacking ?

edit:
https://theintercept.com/2016/12/14/heres-the-public-evidenc...

The fbi and even lynch said there was no evidence.
Everything is so vague and speculative, its too similar to the iraq has wmds fake news.
OpenCV 3.2
Also, I think the driver deserves some credit. Note how he keeps calm and rational and tells the other adult occupant in the car to not rush out into the road and cause another accident. His first thought is to make sure he understands what is going on behind him. Cool head, good job.

This is the bit driving schools rarely (if ever?) teach and which many drivers never get a chance to think about until they find themselves in a stressful situation where they can end up making dangerous decisions. (And then, of course, most people do not think).
it's not the measure, but surely it's a measure?
estimated that the PS codebase could be reduced from 3,000,000 LOC to 30,000 LOC (=100x!!)

I challenge anyone making such claims to construct an even _moderately_ realistic example of where such reduction would be possible.

Here is a very simple and already very optimistic model that is still way below a 100x reduction: say my program consists nearly exclusively of sorting of various arrays and I write out bubble sort in full each time using for loops etc. rather than call a sort() procedure. Bubble sort takes roughly 20 lines of code to implement, so I would at best get a reduction of close to a 20x, rather than a 100x one.
Wow, what? Do you have a link to more info?
ChangeLog: https://github.com/opencv/opencv/wiki/ChangeLog
Donald Trump Elevates the Role of Chief Adviser on Cybersecurity
This is well done, but it proves to me that we are not there yet with javascript really replacing mobile apps, even on a such a simple app:

When you click on a news and then you go back to the ng2 app it takes more than a second to load back the js code when compared to any native HN app.

This is a big limitation for a news reader: of course the javascript app cannot stay in memory when you leave the page and then come back to it.
It's totally possible (and a relatively frequent occurrence) to have pdfs where the order of characters in the code has no relationship at all to how those same characters are laid out visually on the page. Anything marginally more complex than a series of paragraphs with no formatting at all basically requires you to render out the whole pdf and figure out the order that you are actually supposed to read the characters in.
The country I was talking about did not have that amount of civic duty. Japan is in a category of its own.

In the case of my story, it appears to be working well too. People have 3 bins, different collection days and quota (and tax). On the surface there is no real way for the system not to work, unless you consider the increase in fly-tipping. (allegedly)

I'm not quite sure it is working as advertised though. I can't believe that the people can determine the coating type that was used on whatever cardboard piece they see and get it wrong in small enough percentages that the process depending on it is still efficient. And it is a compounded effect, the more rules, the more edge cases. I haven't seen any change in the packaging of product, if anything it has gotten even more difficult to process than before. If people were choosing brand with easier packaging, all the brands would have followed by now ( those rules have been in place for over 15 years now ), I just can't believe that people moaning when a TV channel number change would just happily start washing their ready meal plastic boxes.

Another example that makes me doubtful. There are recycling centers for chemical, electronic stuff, gardening waste, ... The rules are quite simpler (eg: cooking oil vs car oil), yet people get it wrong all the time and the people managing the center are busy directing and correcting people all the time. That's at the recycling center, a place where people have already committed time to specifically go recycling their stuff.
A link to the whole book?