skysight-inc/HackerNews huggingface dataset:
It only worked for Uber because they provided a valuable service that consumers loved and because the law was corrupt in the first place.

I do not care that rich people who spent millions on a medallion, only to rent it out to actual workers, are losing money.

The self made man taxi driver, is a rare exception, not the rule. The people who own these medallions are rich taxi companies, that then force workers to pay them rent. Good riddance.
Its surprising how good a used, $50 phone is today. You can get something on par with a Note 3 or Note 4 from LG and get two solid years of use out of it, perhaps more with ROMs.

This is part of why I stopped buying the latest flagship, just didn't make sense for me to worry so much when I could avoid that entirely, and get 98% of the same performance and features.
Toast Overlay Attacks, a Cloak and Dagger with No Permissions, Fixed by Google
Agree with this - cheap Android phones are what they are, but mid-range hardware is astonishing and if you don't install clutter, you don't get clutter.

(I even remove/disable any Facebook clients etc, only use Chrome to access services. Perhaps this is why I'm happy.)
There's a reason why "I started my company with only myself, a garage, and a $3 million dollar inheritance" is an apt description of so many founders' stories.

Perhaps seizing the means of production is the way to go ;)

In all seriousness though, Even starting a small business requires a decently large buffer that most people simply don't have. Hard to build one if you're surviving on mimimum wage + food stamps. Living paycheck to paycheck is a real thing. Especially if you have family
All face authentication schemes are a joke and can be broken soon after release. Fingerprint auth can be broken, too, but it's orders of magnitude more difficult to "clone" someone's fingerprint than it is to copy one of their pictures from the internet, or from a CCTV camera, etc.

Even if the system uses infrared or 3D images or whatever, it's just a matter of developing an advanced enough algorithm to deal with that, which shouldn't take that long if the target market is there (hundreds of millions of iphones with such an auth system).
You can buy Mexican cokes now in California Safeway's and Lucky's supermarkets.
Good Hotel for Stay in Lucknow – Madhurima Hotel
Welcome to Madhurima Hotel, one of the top most & good hotels near gomti nagar in Lucknow with 24*7 hospitality services. The room are spacious & comfortable with modern facilities. Book rooms online or for more info visit- https://madhurimahotel.com/rooms/
It is not just the miners. Say I buy BTC in gray market using local currency. How do I ensure the seller transferred BTC to my wallet. I will have to check the block chain to be sure of the transfer. Assuming great firewall is blocking all the BTC wallet clients in china through normal routes, satellite feed can still be used for verification.
Gamoogan Speak: HR at Work
A recent study showed that people stick to their biases even if it costs them monetarily (don't have a link right now). You don't need collusion when there is widespread bias.
Did you buy android phones at the same price point as the iPhones?

I've had nothing but bad experiences with iPhones in the first 4 years they existed, and have switched back to android for the past 6.
Command-line torrent search program (cross-platform)
You clearly don't have experience in law firms. White shoe Wall Street lawyers, for example, generally can't just hang their own shingle and do corporate M&A as a solo practitioner.
Lockheed C-5 B Galaxy Take Off
I've been using a 5s for 3 years now, and I don't have much desire to replace it. I don't find it the least bit slow. The only time I get frustrated with it is when network performance is slow or reception is bad, but that happens with any phone.
How many rolexes are sold worldwide again?

Apple becoming a "fashion" company is such a horrible strategic mistake that I don't think Steve Jobs would've made. Apple will proportionally become less of a "tech" company as a it becomes a fashion company.

In other words, the technology it uses in its devices will feel less and less advanced (especially for the price) as time moves on. You can already see that with other companies developing (real) gold phones with crystals on them and such, while using specs from 2-3 years before, but charging many thousands or tens of thousands of dollars for the phone.
The paper is about level 1-1 of Mario, Megaman is apparently their next target.
GitLab SSH broken
> "I get there are different needs."

What are those different needs? What do the top end phones do that the mid range phones do not, other than take better photos? Battery life is comparable, screen size is comparable, they run the same apps. I'm struggling to think of a single reason (other than the camera) why people buy high end phones anymore. There used to be a big difference in quality, but that gap has pretty much evaporated.
This was said before fancier soft drinks were sold, I assume.

For example, some bars round here sell this cola: https://en.wikipedia.org/wiki/Fentimans_Curiosity_Cola
Professional Search Engine Optimization Services
I don't have a strong view about the particular case of women attorneys, but this argument that discrimination can't be real because the free market would stamp it out is tired and obviously wrong. Do people who forward this line of thought believe that job discrimination (against women, racial minorities etc.) never existed anywhere?
Was the study experimental and awarded participants millions of dollars for acting rationally (i.e. against their biases)?
It's easy. Go to instance, join instance, start tooting. There's nothing complicated about it.
How to Use Side Effects to Improve Your Domain Modeling?
Much of this logic is why I stopped buying new computers or phones. I'd rather use a $70 T440 that I've upgraded and know how to repair most everything on than haul a MBP that I'll need to get a pro to service, that also happens to have terrible ventilation. I mean, my last MBP literally cooked itself, comparatively this T440 has a giant grill that it rapidly removes heat through (though its 15w i5 doesn't make much).
So, there are two main areas of development in the automation of theorem proving.

The first one is proof assistants, such as Isabelle/HOL, HOL Light, HOL4, Coq, PVS, Lean, TLApm (and others). These are typically languages to be used directly by a human, and share many common features with programming languages. In a sense, you "program" your proof. There are some large developments in such languages, as pointed out in other comments, including the Kepler conjecture (in HOL Light), the 4 colors theorem and Feit-Thompson theorem (in Coq), a fully verified micro-kernel (SEL4, in Isabelle/HOL), etc. It's an active research area with multiple teams around the world, but the provers are still difficult to use for non-experts. Isabelle/HOL has some nice features and good documentation that make it a bit more approachable to newcomers, afaik, and Lean has promising design decisions, but clearly right now it's a lot of effort to formalize anything consequent in proof assistants.

The second area is fully automatic provers — an endeavour started very early (50s, 60s?). Such provers accept a logic formula as input, and try to compute if it's a theorem or not. They typically accept more restricted fragments of logic (because it's a super hard problem!). Even first-order logic, which is less expressive (and convenient) than the higher-order logic usual in proof assistants, is semi-decidable only because of Gödel's incompleteness theorem. This means a prover for this logic will never terminate on some inputs that are not theorems. There still are interesting provers for FOL, e.g. [E](https://eprover.org). More restricted fragments that tools can effectively deal with are SAT (purely propositional logic, solvers are very good nowadays) and SMT (SAT + theories such as arithmetic) which is very useful in software verification (e.g. liquid haskell's type system, why3, boogie, F*, etc.).

There are people trying to join both domains of research by developing so-called "hammers", that make automatic provers available in proof assistants to make small proof steps entirely automatic.
This is a terrible way to try advertising a specific crypto currency. Infomercial on HN? :-( flagged.
Both. I'm curious to see what it's like. I organize a programming group in Berkeley (codeselfstudy.com) and would show it to them to see if people might be interested in working on algorithms problems during the meetings. I think that unusual format might make a good conversation starter in the group.
What might be interesting is if the iPhone X ends up being a device that combines more laptop-like features into a phone.

Better keyboard/mouse/display integration. Support for laptop-like apps. Then it could be worth laptop-like pricing.
Those were organized moves by various people not by a company for profit. They have proven to be advantageous to society. I utterly fail to see what advantages are made here.
[NSFW] http://i.imgur.com/5eNLKVo.png
Indeed, here is the video: https://www.youtube.com/watch?v=3KPYIaks1UY
For 5 years i worked as an investment analyst for a global accelerator. A few months ago i left the job to ship my own products. Datastarta is the first one.

During the accelerator journey, I met thousands of startups and hundreds of investors from many countries. Some of them were looking to work with accelerators. From my experience, 50% of startups who apply to an accelerator actually need a program. Another part is strong enough, has a great team and just want to setup meetings with seed investors on a demo day. Why spend 3-6 months to do that?

I set down for a month and made a solid research on markets I know. I collect a lot of data, structured it, analyzed and decided to launch the first product as a database of angel investors from around the world.
> Also, iPhones are extremely economical because no other phones receive OS updates for as long.

Good point. Also they sell extremely well on the second-hand market.
iPhone provides software update much longer (typically two times longer) than any Android phones in the market, so it actually has longer life. If you plan to use it for a long time, it makes sense.

I agree if you plan to use iPhone for less than 2 years it's probably expensive.
Most of the time, I flip between two books. The trick is to pick books that complement each other. Like say maths and machine learning, or a book on JavaScript and a JS framework. I usually read on the mornings & weekends and then spend an hour or two doing the exercises/projects at night, after work.
Sure, I always dump stock in companies I manage while sticking to standard industry procedure after not sticking to any industry procedures until I had a massive failure. Sorry, I am not into business people the benefit of the doubt when all the facts point the other way.
Internxt will be the most undervalued coin ever if people don't buy more
In Guatemala, ex-taxi drivers tell me the daily spend on the car went to 1/3rd the amount when they bought a car versus renting a taxi. So they were paying 3x as much per day, and in a few years would have nothing to show for it. So even with Uber's 25% cut and lower prices, they say they're doing way better.

In the US, I'm not sure you can compare a medallion costing nearly a million dollars with a car loan for a few dozen thousand. The medallions can swing in price (as we see), a car probably will follow a well-known decrease.
But it is used that way for the lack of a better alternative. In my opinion the solution is a free federal ID card, where all the information on the card (including the picture) is digitally signed, to make forgery nearly impossible.

The only non trivial element is how to sign the photo. I guess there must be a way to sign a degraded version of the picture so that even an average scan of the ID card would be verifiable. Or the card could contain a small, cheap, water resistant memory chip which contains the picture in digital format. Then you can have a high degree of confidence in this physical document.

And there could be other usage of that card. Like if you make it a chip & pin so the card could become an unforgeable digital signature (physical signatures are absurdly unsecure too).
HCG Diet: Easy Way to Lose Weight Quickly
>>In the 1970s, deregulation took over and worker wages began to stagnate and decline.

Labour productivity growth has been very tepid since the 1970s, concurrent with an expansion of regulations and social spending.

To give just a couple of examples: the EPA and OSHA were both created in the early 1970s, and have had a documented negative impact on manufacturing productivity. The Empire State Building was built in 18 months. With today's regulations, that would be totally impossible.

This idea that the US saw a rise in neoliberalism in the 1970s is a myth. The opposite is true. Only at the international level is it true, with the market reforms of China, India and numerous other developing countries, and the international situation is looking better than it ever has, with average wages doubling over the last 20 years.
How often are you away from a charger or a portable power bank, really?

We can all imagine theoretical situations where one would need to swap batteries, but they're just that - theoretical. In practice you can either find/borrow/buy/steal a charger or you carry an USB powerbank with you if running out of battery is an issue for you.
The chromecast pairing can be rather unintuitive for a first timer. Hell I always fumble around when I have to set the thing up once a year when I travel to a random ski lodge.
I see your 6 year young iPhone and raise my 14 year old Nokia 1100. I bought it new in 2003 80~ dolla. It still works flawlessly, the battery is fine as well (~31 days of normal use on a single charge or ~16 hours of screen time). If the battery were to fail I could just replace it, no tools required.

Oh, the thing is bulletproof (although it must be taken with a grain of salt, chuck norrys managed to break the glass on his after about three years).

In other words, it does not take an expensive iPhone to last longer than a contract period. Well-built phones can last a long time, much longer than the 10 years which most people seem to consider as normal.
His work is building on the observations of commentators Stephen Bax's blog.

https://stephenbax.net/
I like paying $1,000 for a device like this because I want Apple (and competitors) to know I would absolutely spend $1,000 - BUT it had better hold up, perform beautifully, bring me something technologically compelling, and do some damn cool stuff.

At $1,000 sets a very high bar. Excited to see if they meet it!
Eh, there have been plenty of "blockchain, but controlled by one entity" projects proposed. The fact they make no sense and have negative benefits doesn't stop them from being deployed. Also see zCash's trusted setup which possibly allows them to mint unlimited money.
I have a Nexus 5X and then I bought my wife a Moto G4 plus and I was really impressed with her phone which was a good amount cheaper than mine.

We've both had them for a while now and they are both good phones but I think I'll spend less on my next phone since I can and still get something that works very well.
Peaks have never been a useful benchmark of Bitcoin health, and I don't know where you're getting that from. Your thoughts on Bitcoin are basically being driven by popular media, and popular media is a terrible way to judge anything.

I've already responded to your points, but let's rehash it again: Silk road closed, and everyone expected BTC to completely fucking fail. It did not. In fact, it barely went down. It also recovered swiftly.

If you want to call that a drop, go ahead! Personally, I'd save that classification for when BTC dropped from $1100 to $300, for example. But sure, a 15% decrease for one day followed by a recovery over the following week could count, I guess.
It is also a little scary.

Human civilization and progress associated with it is a function of continuity and inertia. And that requires all the right inputs . Else it is perfectly possible to keep going in infinite loops between the past and the current.

I remember reading somewhere the human race would be way more advanced had the hellenistic period continued.

War, politics, economics, social conditions, religions they have to be all perfect.
After recently doing a bit of research into a new smartphone, I begun to understand why people buy Iphones, even if they're really really expensive. Firstly, you can explain it away financially with monthly payments, like any phone through a provider, but the biggest pain point I had is proven reliability. Take any popular Android phone, and you'll see a history of unsolved hardware problems from the manufacturer, such as boot loops. I can't afford to have my phone just 'break' itself and have to deal with my provider or some such nonesense. It was a real problem looking through dozens and dozens of different phones and knowing that each one of them tried to re-invent the wheel in some way that will probably break.

In the end, I settled for a Moto Z Play, at the recommendation of a programming blog, and that it had excellent reviews on the outlets I could find it. But, even with that, I accidentally bought an international version from Amazon unknowingly until I tried to purchase accident protection from Motorola, and they had to direct me to Indian support, which their phoneline was offline for all the times I tried to call. After ordering the proper U.S. version through motorolas site, though, everything has been fine. But thats a lot of technical stuff and throwing direct money (no monthly payments) at a single item. I can understand why people would just go to their providers site, and order an Iphone after trying, or not trying, to do research into smartphones.

For reference, I was able to return the international version even though I had used it for a week or so, and once refunded bought the U.S. one. Motorola tries to provide a monthly payment mechanism through 'Affirm', but Affirm was... Firm in that I didn't have a checking account in my bank, because my bank gives it a different name (though still is a checking.). The main saving grace of motorola is that AFAIK, their accident protection can send me a new phone before I have to send a broken one back in the future if(when) it does break.

And after all of this, still no 4G on it, because AT&T doesn't do that unless you have an 'AT&T' phone IMEI supposedly.
You make it sound like the MBP is a weighty piece of burden compared to a dainty T440 (use a T440 vs. haul a MBP.)

And the part about cooking itself sounds like a manufacturing defect for which you should have gotten a replacement - in normal conditions it should just shut down, if temperatures get high enough that ventilation and throttling don't help.
That would make it unfair for indie developers... Then they'd be competing with institutions. This would actually kill open source as we know it.
Competition is a hell of a lot better these days. A phone at 1/5 the cost will cover the same needs.
3 Types of Product Managers: Builders, Tuners, Innovators
> So easy to lose it or forget it.

Or break it. After I broke my Nexus4's screen three times I gave up and bought some cheap Zenfone (and it cost as much as one screen repair for Nexus).
Thanks, 'free market.'
Becoming Berlins
They're common even in South Florida convenience stores. Not every single one, but maybe 25% of stores.
I've recently started using Windows again on a gaming computer. Here are the problems I found, that felt "ugh, Windows":

- I'm now used to the "inverse mouse scrolling". To enable this for my mouse (logitech something?) I needed to edit the registry. Every time I plug it into a new USB port it's now a new device with a new registry entry to hack.

- I installed the various device drivers that came with my hardware. The Realtek on-motherboard network card had some driver, which actually stopped the hardware from working - Microsoft's own standard driver was better. But every time I rebooted, Windows would helpfully install the "updated" driver from it's local cache. I ended up fixing this by setting the permissions on some c:\windows\system32 file to such that the system itself could not update it

I'm also not yet familiar with the changes to the Start menu and Windows Explorer, so those also feel confusing. But it's a gaming computer, I turn it on, play games, then turn it off. Presumably if it was a development workstation I'd have more opinions on the rest of it.
Stories and Epics
To actually provide a system for everyone, you'd need more than DMV, or another specialised department. Not everyone needs a driving license and not everyone can get one. This is likely to apply to other agencies in a similar way.
"Of course" is not an argument. Please explain how customers are harmed by having more choice in the marketplace.

The medallion racket was certainly not an advancement for organized labor. Quite the opposite, really - it prevented common drivers from being able to make a decent living and instead transferred more money into the pockets of the established players. Rather than paying off cars and building businesses, drivers end up spending a great deal of money renting medallions (or going into debt when presented a chance to buy one, as the guy in the article did).

Even if you buy the idea that this was to "protect" drivers, would you accept that same logic in your own industry? What if you built a new CRM (sorry, I don't know what you build, if anything) that was better than any other CRM... but you aren't allowed to sell it because the government quota for CRMs is already full... but if you enter you name in an annual lottery, you might get a very small chance to buy a CRM Medallion someday at a reasonable price... or you could buy an existing medallion from another company for $233k and bring you CRM to market now. Does that sound reasonable to you?
Watch the Bose suspension videos; they include a car vaulting over road obstacles.
They updated the certificate recently.

https://twitter.com/gitlabstatus/status/905862774340939777

There are also some replies on that tweet reporting current problems. "ssh_exchange_identification: Connection closed by remote host"
Not to mention the music industry or really any industry whose business model is enabled by copyright.
> perhaps similar to automatic royalties for pop-song airplay

From http://www.nolo.com/legal-encyclopedia/copyright-compulsory-...

In order to take advantage of this compulsory license, a notice must be sent to the copyright owner along with a fee set by the U.S. Copyright Office, known as the statutory fee or statutory rate. The fee for recordings is currently (as of 2017) 9.1 cents per song (or 1.75 cents per minute of playing time). To verify the current rate, check the Copyright Office's guide to compulsory licenses. On the site, you can click “Mechanical Royalty Rate.”
I do exactly the same but with X220s. With an SSD and Debian they make a great coding laptop. I buy stacks of them and just move the SSD across when the break.

Also means I can leave one in the office and have one at home then just move the SSDs between them.
This is still true of Stonehenge, Avebury, and some of the less well-known archaeological remnants in that area. (Durrington Walls, Marden Henge, and so on.)