skysight-inc/HackerNews huggingface dataset:
Garena, Southeast Asia’s most valuable tech startup, lands additional funding
More longest flights here https://en.wikipedia.org/wiki/Non-stop_flight#Longest_flight...
This is great advice for any stage of your career, remote or not. If you are able to do this as an intern then you will be in a much better position come graduation time to convince prospective employers of your work abilities.
I guess this is simply one of the many incompatibilities between quantum theory and general relativity.

There are many attempts to combine these theories into a universal theory (pun intended), but it is hard to check the corner cases where those theories differ. That's one of the reasons we build better and better particle accelerators.

Either way, it doesn't make sense to apply (pure) general relativity to the small scale, nor to apply (pure) quantum theory to the large scale. The physicists know for decades about of that issue and are already taking care of that.
I've had almost nothing but bad experience using bluetooth.

Wireless headphones - disconnect after 60 seconds of no sound, which means that at the office if I stop listening to music for a little bit(or even pause because someone is talking to me), they will switch off, so I have to turn them back on and wait 20-30 seconds for them to reconnect and sound to start playing through them again.

Sony bluetooth soundbar - worse than useless. There is delay in the audio, meaning that I can't use it for videos or games, because sound plays 0.5s too late. It's ok for music I guess.

My own car - the quality through bluetooth is noticeably worse than when using a 3.5mm jack, and also stops working randomly, requiring me to switch bluetooth on and off on my phone or the car or both.
I am just curious to know why USB-C is a pain in the ass?

The connectors are sturdy with no delicate parts like micro USB, most USB-C are USB 3 (or 3.1) with faster bandwidth and it's reversible.
It's supposed to be (ct)^2
I happen to have one Elitebook 8470p sitting on my desk and the specs seem to match with that. But I would expect them not to fix themselves to specific model but just sell whatever used equipment they can get their hands on and then re-configure those according to customer requirements.

The idea of putting up nice package for used corporate hardware is nice, but would be more acceptable if they used Linux as operating system. My view is that many home users would be better off buying the this kind of machines than the cheap consumer models from Lenovo or HP.
FDA issues a new rule banning many antibacterial soaps, including triclosan
> do moderate exercise regularly (not bodybuilding etc)

Care to elaborate on this? Why no bodybuilding?
The parent post is correct. LLVM's optimizations are low-level optimizations tuned for C and C++. By contrast, the optimizations you want to do for dynamic languages (and high-level languages in general) are high-level optimizations that are better done on language-specific IRs. Moreover, dynamic languages need dynamic optimizations such as polymorphic inline caching, speculation and bailouts with on stack replacement, etc.

Optimization pipelines are invariably language-specific. If you were to somehow make LuaJIT into a C/C++ compiler without doing any work on its optimizer, you would get similarly poor results.
They want to make more money.
IEnumerable.js – Deep immutable collections with LINQ syntax
I mostly meant - how is this proving that object of length 1 * planck length won't contract, and object of 2 * planck length will. And if it's not - how is the length special?
I was looking for this exactly today.

However, it doesn't seem as easy-to-use as https://github.com/psirenny/node-google-speech-api, for example.
PS4 works with some bluetooth headphones, but not all.

For all the other ones, apparently this is pretty good:

http://www.mobilefun.co.uk/blog/2015/09/how-to-use-any-bluet...
My dad is civil engineer.

He stopped working with engineering about 15 years ago, because there was too many engineers, the pay was too low to be worth the effort and risk.

He recently resumed working with engineering, and unfortunately remembered why he had left in first place, he worked in a couple projects, and most of them had engineers getting pay less than senior construction workers, and companies frequently believed that hiring an engineer was just out of necessity because the law says so, and otherwise would build whatever they want without one.

This does had some very, very bad effects, like when an engineer-less construction company thought it was good idea to just demolish some pillars that were in the way of what they wanted to build, and managed to demolish two buildings and damage a third. (this happened in Rio de Janeiro... the person that asked to take down the pillars was the secretary, that looked at the project and concluded that by taking down the pillars they could fit more desks in the office they were furbishing...)
Provided you have an USB stick and an existing OS X, you can use an USB installer.

Years ago you could even rig up netbooting, but I haven't tried that for long times...
The "Embed: " button to the left of the embed URL is actually a dropdown, where you can switch to the clone URLs.
It's already been leaked that Apple will bundle a Lightning-to-3.5mm adapter with the phone. Most users will stick it on the headphone jack and forget about it.

(PS I'm not saying removing the headphone jack is a good idea).
Нитрит натрия – Компания Оптхим
Let business users manage JSON configurations
In pictures: The Prisoner at 50
Yes, there were more than 2 varieties - it's kind of key to the story! ;)

I think (or at least hope) that's not a spoiler for anyone who hasn't read it yet - it's worth reading!
The 2560p also has Sandy Bridge. I believe that's the model shown.

My wife and I both use OSX, Clover 2560ps. I wouldn't claim they're "fully functional" - The video on them is not the best. Lots of bugs in iMovie and sometimes when running 1080p video you get vertical lines on screen, and not contained to the video itself.

Perhaps the guy running this site has solved that issue, but AFAIK I have the best running methods I could find from various Hackintosh communities and guides for the model I use.
Oh wow. That laptop. Those little die cut latch holes cut your wrists. The fan placement blows hot air on your right hand constantly when you use an external mouse. Your now sweaty bleeding hand.
No joke, Intel's new type-C USB Audio spec (why a new USB Audio spec is needed is beyond me) includes provisions for DRM. http://www.anandtech.com/show/10273/intel-proposes-to-use-us...
Without the law, the actual "contract" you have re ownership of anything is that you can prevent anyone else from owning those things. If someone else can manage to "steal" your thing, they own it now.

I think that's not a world anyone wants to live in aside from an-caps.
Well, Elitebooks are solid. It's crossed my mind a few times since I started using them that they are the perfect bludgeoning tool for the office, maximum damage to the colleague, minimum damage to the PC. Seriously though, they are hard as nails.
End-To-end Encryption and Digital Signatures
Yup, this. I worked in a shared office space for about a year and my bluetooth headphones were unusable for the entire time. We also had massive problems with bluetooth trackpads/keyboards disconnecting all the time.

Once we got our own office, all these problems went away.
I saw various comments over secure and private email service providers (protonmail, tutanota, ...) and though to share another service which I'm using for almost an year now & I must admit that it indeed is a very reliable service - both in terms of privacy and security. Also, I've always found their support depart. highly robust and helpful (its literally like you call, and they answer - and even put you directly on the line with their security team if you have any specific security/privacy related question).
Withal, the thing which I appreciate the most is their transparency when it comes to their service (you can find their threat model and warrant canary as well).
My sort of belief is - the more likewise services we've - the more it will contribute in making end-to-end encryption mainstream.
Consider the SE. On the inside, it's a 6+; on the outside, it's a 5s. I'm finding it very comfortable, and perhaps you might as well.

Oh, and it has a headphone jack, too.
I suspect it's the same conspiracy theory as when they put the inline microphone and volume controls in the headphones and people ran sensationalistic articles claiming there was secret "DRM" which would cause only Apple-branded headphones to be usable with an iPhone.
except that immigrants were not allow to vote for Brexit.
> The BND’s claim that this information is essential, cannot substitute a missing legal basis

Let this roll around on your tongue for a moment. This is kind of like robbing a bank and then saying you really needed the money.
[video] Zute SIP Dialer – Introducation
The example given was bluetooth being great because it works well in the OP's car car.
One device.

I have tried bluetooth speakers in my flat on. Works fine on two Linux machines. Doesn't work at all on the other. Connects to the windows machine but isn't actually usable as the music skips so frequently. If I have only tried it on the first device I may have came to the same conclusion as you. Fact is bluetooth isn't especially reliable.
Well, yeah.

It sounded like an HTTP wrapper is all they actually needed. Or in fact any well specified wire protocol with lots of implementations. It could have been protocol buffers over raw sockets also.
Apple and the Peoples’ Tax Revolution
>In my mind, college exists to prepare a pupil for a given field and if said pupil for any number of reasons cannot do that upon exiting that institution, why should they pay for it?

Because that was the agreement they made with the institution.

Either way someone is paying for it, it can be the person who got the (partial) education, or it can be someone\s that happens to live in the same state as the person who got the education.

Even if it doesn't make sense to you that people who fail their studies should pay their debts to their schools, it makes even less sense that you would transfer that debt from the pupil to someone who was neither partner to the decision to undertake studies nor a beneficiary of pupil's studies.
> You've been told that concurrency and imperative constructs are "dynamic" and are hard to reason about. That's just because FP is bad at reasoning about them, and prefers syntactic decomposition.

The hard fact is that, while you can reason about purely functional programs using little more than high-school algebra, reasoning about imperative programs requires bringing in the heavy apparatus of logic right from the start, because imperative programs denote predicate transformers. Distinguishing a class of computations that can be expressed as functional programs is distinguishing a class of computations whose meaning can be established with simpler tools, and thus obviously a beneficial activity.

> There is nothing dynamic about a proper, pure description of what to you seems a messy dynamic process. The entire program is just a single, pure semantically unambiguous first-order predicate.

Last time I checked, imperative programs don't denote first-order predicates, but rather predicate transformers. Quite different things. A predicate transformer is a higher-order mathematical object that relates two (possibly first-order) predicates - a precondition and a postcondition.

> You don't reason about each computation, but about what you'd call the "program", which in TLA+ is called the algorithm, as not to unnecessarily confuse with ideas that are related to syntax.

Your use of induction on the program counter reveals that you're just using the program as a proxy for a class of computations.

> The algorithm is just a boolean predicate,

Um, no. Predicates don't express computation.

> and my proof is that that predicate implies another (which implies the property).

Would you have been able to produce your proof entirely by yourself? That is, unaided by a computer. I produced my proof using nothing other than my brain.
Can you install standard OSX on it?
CPU SIMD width has increased too, both on x86-64 (AVX2) and on ARM (ARMv8 NEON).
Both have silver colour on them.
Both are made of solid materials, not liquid or gas.

To some it may look and feel like a Mac.
Does she have the GTE? That thing seems pretty decent.
You! - you are my master!! (bows to you)
and "what about security updates?"
Most skilled trades are not hard labor. If you're a plumber, you might only bust rocks or dig ditches 10% of the time. And it also depends on what you specialize in. The guy that replaces your toilet and your busted water lines might know how to build a septic system, but he probably hasn't done it in a while.

Honestly I'd be really tempted to get out of software and go into a trade. It'd be a lot less work.
QML is perhaps the best current option for cross-platform desktop application creation and for embedded devices with custom UI. For mobile apps it's debatable if QML makes as much sense.
> They took one such small company and chatted with its founder. He started talking numbers and I believe he said his small company builds tunnel boring machines and had a turnover of about 5 billion euros.

Herrenknecht?
Switched to Google Fi (pretty good service!) and the Nexus devices use USB-C: it's annoying having to buy ~4 new cables, but I do like the port a lot better.
It is not hypocricy unless they endorse the american governments actions.
Zero emission at the tailpipe.

Plus even the most filthy coal power stations are more efficient than your current petrol/diesel car.
The forgotten underground world of Swiss bunkers
That is a tiny market. I doubt they much care.
> Unfortunately, they didn't show up in the list of default devices for sound output or microphone input.

Window 10?
I have a pair of nice headphones at work. (Sony mdr v6). They sound great and I don't want to replace them.

There are 2 things the plug does for me,
1) allows me to easily switch between using my computer for audio or my phone. Prevents my computer from making noise that might bother my officemates (auto play if I forget to turn the volume down)

Also isn't there a smaller/thinner 2.5mm headphone jack? I had a phone with headphones for that (Nokia?)
But my iMac has no disk drive so how will I burn it? /s
Sounds like a PR article written just in time to rescue spaceX. The way data was picked (only half a year, many one-off new players) makes it look like 5% failure rate across the industry is the norm :

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

https://en.wikipedia.org/wiki/List_of_Atlas_launches_%282010...

Some rockets can claim years or decades of service without losing a single satellite.
Just realized one of my favorite writers hangs out at the same park as I do... OMG! :D
Then again, the typical use failure rate of the standard male condom is 18% [1]. Personally, I'm more interested in perfect use failure rates than typical use failure rates.

[1] http://www.contraceptivetechnology.org/wp-content/uploads/20...
This is not the 2560p it doesn't match the images at all.
The 2560p was a 12" model with a black plastic under belly, the location and type of ports also matches the 8460p and not the 2560p.

https://www.amazon.com/HP-EliteBook-8460p-XU057UT-Notebook/d...

https://www.amazon.com/HP-Elitebook-2560P-Notebook-Refurbish...

But overall it doesn't matter they are selling 100-200$ refurbished parts for 100% or higher markup with no OSX installed, so overall it's a pretty scam ;)
Additionally, as time passes you get new people working on the system that does not understand it as well as the original designers/developers, simply because they already have the system and their knowledge becomes pigeon holed inside of it. They don't have the original scope.

And then to top it off; if you did rewrite the system you not only need to reverse engineer N years of code, but also N years of bug fixes and random miscellaneous snippets that made it into the system and that no one who still works at the company understands the purpose of any longer.
> This is kind of like robbing a bank and then saying you really needed the money.

That's a radical idea, but it has started to gain some popularity: http://www.huffingtonpost.com/entry/stealing-food-not-a-crim...
So right back to the days of shitty manufacturer connectors (I know USB-C isn't custom) with shitty, vastly overpriced, converters.

There's a world of difference between a 3.5 jack with about 10mm of plug sticking out the phone and 2" of dangling point of failure, sorry, adaptor snagging every single time you pull the thing from pocket.

Happy memories of Sony Ericcson and Motorola feature phones.
Ask HN: How do you go about learning new stuff?
When starting to learn something new, I often look for books, courses, guides or how-to's on the topic - on google, HN, reddit etc. - even directly asking knowledgeable people. What does the community here do in this situation to find learning resources.
Reddit. These subreddits are my primary source of guidance: /r/science - /r/Paleo - /r/Fitness - /r/GetMotivated - /r/Running
The operating energy of the LHC is around 15 orders of magnitude less than the Planck energy (if I worked it out correctly). Therefore we cannot directly probe Planck length scales.
How? All someone has to do is use an adapter, and now they have a standard 3.5mm jack with no DRM.
I used to hate Bluetooth as well and my prior experiences have been exactly like the author described. However a few months ago I took the bold step of buying a pair of Power Beats. And I use them with my SONY Walkman. I was pleasantly surprised when the whole setup just worked out of the box and the SONY and the Beats were able to communicate. Hooray.

However this still doesn't eliminate the wires. The beats have a cable between them which annoyingly sticks to the back of my neck when I turn my head and unplugs either ear. Almost as annoying as my original wired head plugs.

And then there's the recharging, which isn't big of a deal of itself but ofc after the recharging I have to reconnect the devices. And obv there's the occasional glitch that it doesn't work the first time and I have to redo it and then it works on the second time.

Anyway, even if Apple does in fact remove the ubiquitous 3.5 mm stereo jack I'm sure plenty of people will bitch and moan and still buy it. Such are the fanboys (;
Although I agree that they will probably be taken down very soon, I don't think the reason is as simple as "violating OS X terms". Assuming they really do provide preinstalled OS X, violating a contract still isn't (necessarily) illegal, it's a matter of civil/common law.

If you sold me a hat with the agreement that I can only wear it on weekends, could you request a takedown of my website with a video of me wearing it on a Tuesday?
The NHS also provides great summaries of health-related stories that are (often poorly) reported in the news.

http://www.nhs.uk/news/
If your specialist is generating $X additional revenue per year then the company will be paying him more like $X/3.

Many specialists will realise that working for one's self or in partnership with a small group of other specialists is far more lucrative.

So there's no contradiction here. The employers are right to say that if they could employ more specialists on the cheap then they would win more business and make more money. And the specialists are right to say that they make more money with a different working arrangement.

None of this implies that there is actually a real shortage.
Part of the retraining could be physical conditioning for the work. Your body's capabilities are not a fixed quantity.
> Indeed cats have flashing lights to use when they're causing a hazard

Just spent a minute imagining my cat with his eyes brightly blinking on and off just before he jumps onto my cluttered desk and knocks things over, or starts rubbing up against my feet trying to trip me up; then sadly realised you meant cars...
Relative to the creation of interesting quality content, the selection of template doesn't matter. Given the ease with which templates may be exchanged, decisions regarding templates may be revisited later for little cost.

Good luck.
After years of remote working, albeit as a technical writer rather than a developer, I've learned a couple of techniques for dealing with vague and ill-defined tasks.

i) Write down exactly what you think the task might entail and email the CEO / manager. If you're off the mark, you'll get corrected. If you're on the right track, you'll get the go-ahead. Either way, you'll have a clear path forward.

ii) YMMV vary with this because of the different job roles, but I'll often just figure out a good solution to the problem, implement it, and see what happens. In my experience, tasks are ill-defined and vague because the manager has only an ill-defined and vague idea of what they need. In solving the problem, you do the thinking and clarification so the manager doesn't have to.
Show HN: apt-current - Perform 'apt-get update' automatically when needed
Well, the French are going to have their "Snowden Moment" one day. And the NSA will sh*t a collective brick when documents reveal the Michelle O. was a French operative the whole time. D=
I'd really like to learn the proper numbers on this. What are the precise risks of a timing hiccup or second ovulation during a menstrual cycle? Also, how does regularity of one person's period affect these risks? How accurate are the indicators for ovulation most methods use (body temp, cervical mucus, etc.)?
> But the reason for it is that EU countries are giving extremely generous tax breaks for EV buyers.

All the more reason the German car giants should've been in the game all along. They are just to tied to their internal combustion investments, such as deeply established knowledge about turbos, advanced gearboxes and so on.
> the interior is not as nice as a top end BMW or Mercedes.

The interior is not as nice as our 328 wagon. It's no where close to a high-end model. They are fascinating cars, but the fit and finish and range are still lacking (from my perspective, anyway). And sedans are boring.
It's called "plugging the analog hole," preventing people from making unauthorized recordings by controlling every part of the playback technology. While it's true purchased iTunes songs have been DRM-free for many years, subscription models have become the music listening mode of the moment and copyright holders don't want people making recordings then canceling their subscription.

I suppose another opportunity would be to block playback on louder hardware, "Public performance playback is available with a 'Pro' subscription."
I know who you are, I'd recognize your name anywhere: you worked on BeleniX with Moinak Ghosh, and you guys literally invented an ISO9660 block optimization algorithm, which then Sun took for OpenSolaris and never recognized you for the amazing work you did... you guys were pioneers, producing the first live ISO of OpenSolaris. If I'm not mistaken, your code and algorithm lives on in live USB and ISO versions of Oracle Solaris.

And if I have seen any further, it is because I stood on the shoulders of giants.

My brothers and sisters in arms are not forgotten; you need no introduction with me, son of UNIX.
Do you seriously copmare the robbery of a bank with a homeless person stealing food?
It looks like QML/Qt Quick Controls 2 are moving becoming mobile/embedded first, and they are recommending desktop apps stick to QtWidgets for native looking UIs.
A key pillar of today's identity politics is a default state of victimhood in a zero-sum world where a crass rubric of privilege is the only determinant of one's outcome.

Sadly, when people (are made to) believe they are victims, almost any amount of egregious behavior opens up for them.

We should not quietly tolerate puritanical bullying behavior from the far left any more than we did that from the far right.