skysight-inc/HackerNews huggingface dataset:
I think you're suffering from Stockholm syndrome. I have never experienced a bug using scala's type inference that could have been prevented by more required boilerplate. Type inference is 100% benefit with zero drawback.

If you really want to know what a type is resolved to, you have both compilers and IDEs there to tell you. Relying on an IDE to write code is just hacking over a weak or broken language.
Tried to install on android emulator, works deadly slow, i can't understand what's the benefit as porn consumer for me. Make webapp, running fast enough, so i at least can use it...
> Less readable code

Maybe it is because we are used to our own paradigms, but the following is no less readable to me because of inference. And these are the 95% of cases.

var index = 0;
var name = "pwaivers";
var names = new List<string>();
var nameMap = new List<string, Dictionary<int, Address>>();

> more bugs

I have never seen a bug arise because of type inference. Do you have an example?

> unnecessary burden on the compiler

The compiler does a lot of work and this would probably be insignificant to add to it. However, I am totally open to learning more about this.
What exception(s) might happen in this context? It should be possible to examine the disassembly (or the code) of the relevant exception handler(s).
State Dept. seeks social media checks in tough new visa rules
Have you opened a bank account ins South Africa?
If so, what economic bracket do you belong to?
Why does it always have to be US-citizen only. FeelsBadMan
Good points. After further consideration and from the other comment, I was basically thinking of a 3FA system.
Did I read that correctly?

Isn’t this sweet? I am searching for a dialling application for my smartphone. A DIALLING application.

Does this mean he can't practically call someone outside his contacts list as there's no way to key in phone numbers? Or would he still be able to make regular voice calls?
Georgia Tech manages to teach a CS degree for $7k
Considering the core algorithms behind proof of stake have been around since the 80's, and that Bitcoin's core contribution is usually cited as PoW, there are probably some good parts.

It's a weird concept to accept but actually the really interesting and useful property of PoW is that you can provide a proof that you destroyed physical resources (provably wasting electricity) which are committed to one and exactly one interpretation of history.

Stake based systems lock or burn or manage coins, but there's no provable tether from those coins (defined only within the system) to the real world.

PoW has an undeniable tether to the real world in the form of waste.
It's the old military-grade 4 factor authentication: Something you know, something you have, something you are, and someone who shoots you if you try anything funny.
Long-time lurker, first time commenter. I've seen several people mention that there have not been meal replacement products like Soylent ever. The nutritional profile reminds me of EAS Myoplex + additional vitamins. Myoplex has been around since the mid 90s and was always marketed as a meal replacement. Learned about it from a bodybuilder website when trying to gain weight and easily "eat" extra meals. They have never marketed in the way Soylent has but it serves the same purpose. I took it to replace at least one meal a day for about two years. Blood work during that time period was normal and it worked well imo. Nothing against Soylent but the product is not a new concept.
This is the way to bring jobs back to the US. Start with investing "small" sums of money to create an enterprise that will require manufacturing expertise in some area. The ecosystem will then expand. Other companies can then take advantage of the same expertise. Also, the radius of expertise will grow as supporting jobs crop up.
Penrose is unique genius. His deep geometric intuition is extremely rare even among mathematicians. He uses his superior geometric intuition to teach physics in the book "Road to Reality" in a level that surpasses even Feynman.

There is common underlying assumption that the hard problem of consciousness is tied to high level cognitive or computational capabilities. I don't see the connection. The crux of being conscious is having the cognitive ability of being aware-consiouns-attentative-reflective at least tiny amount of time. If we could scientifically determine/agree what consciousness is, we should be able to make nice hyper-aware-of-blue-and-knowing-it robot and it would be relatively simple one.
I've waffled on office location several times. My equilibrium is "home office first", use WeWork or shared office spaces for one-day to meet with clients, and use AirBnB for #DigitalNomad "workations".
Feinstein Dependent on Encryption in Efforts to Pass Encryption-Destroying Law
The point is, this should not happen to core functionality. Specially not sneaky like this.
I don't think being like C++ is a negative and it is far easier to learn compared to Haskell.
-1 Off-topic.

(I just explained why Lego is expensive. Nothing else.)
Bitcoin is pseudonymous, not anonymous.
It's: "Look! I'm busy! I'm important! I eat special food!"
No, but who has better reactions? A human or a machine?
One reason to consider keeping your experimentation on the server side is that the browser is an untrusted computing environment and can be easily manipulated by hostile agents.

This is a general problem with client-side code, I'm surprised it doesn't come up more often.
This would be more accurately titled, "I survived 10 years as a solo developer and here are the choices I made". Here's my version:

1) Craftsmen pay good money for their tools. Invest in your office space, whether its a dedicated space in your home or a coworking membership. But be honest about what tools you need. You probably don't need a $1000 aeron chair. But you do need one that's comfortable. You probably don't need that super-cool triple-panel 17" laptop Razer pumped at CES for web development. You probably do need something with enough RAM to run a few VMs sometimes.

2) Outsource everything that doesn't make you money or that you aren't good at. Taxes and bookkeeping, for example. But know enough about it so you can tell if you've hired good help there.

3) Invest in yourself. Learn some new technology at least once a year—whether thats a framework, a language, or a skill like design. Go to at least one regional conference, and at least one national conference if you can afford it.

4) Work the shit out of your network. Set a limit on how many unpaid lunch meetings you'll take to hear about other people's problems, and always try to find a way to help them even if you don't wind up taking the job. And then try to hit your limit most of the time. Farm favors like they're a cash crop.

5) Find a way to keep yourself accountable, whether that's a mentor, a coach, or an accountability partner. We all need someone to keep us honest about our motivations and rationalizations from time to time.

6) Try to exercise some self control over how many self-indulgent HN comments you make in a given period of time. :)
Sadly, even countries with universal healthcare systems don't have universal health informatics systems (the NHS is a prime example — they spent £12B trying to build an integrated system [1]). Lots of countries attempt, including the US — HIPAA was actually originally about data portability [2], and we just spent another $40B [3]. Thus far only smaller countries have had success with integrated health IT systems [4].

[1] https://en.wikipedia.org/wiki/NHS_Connecting_for_Health
[2] https://en.wikipedia.org/wiki/Health_Insurance_Portability_a...
[3] https://en.wikipedia.org/wiki/Health_Information_Technology_...
[4] https://en.wikipedia.org/wiki/Healthcare_in_Denmark#eHealth
Or an extended exposure to electro magnetic radiation?
> This past March, when I called Penrose in Oxford, he explained that his interest in consciousness goes back to his discovery of Gödel’s incompleteness theorem while he was a graduate student at Cambridge. Gödel’s theorem, you may recall, shows that certain claims in mathematics are true but cannot be proven. “This, to me, was an absolutely stunning revelation,” he said. “It told me that whatever is going on in our understanding is not computational.”

This is a very strange conclusion to make. Maybe someone can elucidate. Godel's theorems apply to tightly-controlled formal systems. And they do not, in fact, apply to particularly weak systems (e.g. sentential logic). Why would Penrose think that Godel has anything to do with consciousness? All it seems to have done is prove that, in some systems, there are known unknowables (specifically, that the consistency of sufficiently-complex systems cannot be proved).

If anything, it should lead us to take a train of thought similar to Chalmers': consciousness is unknowable (maybe kind of like God), but even that's a stretch. Because, like I mentioned above, Godel's theorems are about formal systems. Not only is the real world not a formal system, but (at least on the quantum level), it's also non-deterministic. Now, there are probabilistic logics out there that follow Godel's findings, but there's a lot of work that needs to be done to bring that in the real world.
Edge displays “123456” in PDF but prints “114447”
Not that that's a virtue, but it's a proof that it's a different thing.
It would be secure if mobile companies gave us APIs to pull information about number like has it been ported recently or number has been forwarded. Banks would even pay for it.
The Google Docs spam attacks played off Google’s most fundamental weakness
One advantage that software TOTP provides over hardware TOTP, is that you can print the QRCode w/ the private key, and lock it in a safe.

This allows you a trivial means of cloning and backing up the token. Unfortunately, this is against best practices, since you have multiple copies of the private key lying around; but this has been an acceptable trade-off for me thus far.
Java Stakeholder API, 0.11.1 released
I'm not the world's closest observer, but those aren't perfect comparisons.

The C-series nearly bankrupted Bombardier, and a lot of it's competitive advantages aren't things the market once. It's also much smaller, and frankly I've never been in a good Bombardier. There's a lot of CRJs, but they're more expensive and lower quality than ERJs. I don't think the C-series is any better. I've also dealt with Bombardier's aerospace division, and they're kind of unpleasant. Not serious competition at all.

Mitsubishi - 80 pax is half of this, more in line with the E-jet. It's a regional, not a direct competitor. This is not going to run with the big boys of the DFW-LGA/ATL-ORD type flights.

E-Jet - Great planes, again not the same league. The C919 carries "158-174" pax - that's a totally class of plane. The E-jet line tops out at 120, as this line is regional jets, most are smaller. Bombardier is totally fucked here, CRJ's are terrible. I think the E-Jet is going to do great. The 919 competes with the 737/320 class, which until now has been a duopoly with some TERRIBLE Russian attempts to compete.
I just saw an ad for Shopkick yesterday on my Android. And this site says it's in Android.

http://app.shopkick.com/wr2/6Z48W52-6Z6LIDX

Unless it's something else with the same name.
Honestly, it just sounds like the field has managed to go from taking a big blob ('cpu'/'gpu') and finding basic relationships ('matlab vs games') to working with much smaller blobs that are closer to the base principles at work.

Illustrating from your example, current state of the art seems to have managed to break the big blobs into smaller blobs (e.g., now we're looking at 'memory that binds multiple features between objects'), and then found more complex relationships ('looking at separation or completion operations in similar memories').

That still doesn't tell us how the actual programming works. We barely understand the role of dendritic spines, and we're still trying to get a handle on the utter complexity of single neuron interactions in the neocortex. He might have oversimplified, but I don't think he's wrong.

(Just playing devil's advocate. Would love to know how badly I misunderstood.)

Edit: nearly all of your links are paywalled.
But what happens when thieves steal my phone? How do I authenticate then? Most places use SMS as a backup, which gets us back to the original problem.

People with popular YouTube accounts have to deal with this all the time and the advice right now seems to be to buy a burner phone on a false name[1] and never share the phone number with anyone, which is just crazy.

[1] Fraudsters are able to convince phone employees that they forgot their phone number and left their phone at home.
It might be that workers on a dictatorship will never have better conditions. The only way to reach an equilibrium is for the rest to lower their wages. Having no regulation is an illusion because dictatorships are heavily regulated and it is this regulation the one that takes effect.
I didn't read it that way at all. I read it as acknowledging the syntax as a problem in the beginning, but claiming that it became much easier to read once you really learned the language.
Making your inbox an actual “In” box
Was the house expensive?

The last time I lived in the UK without a TV, it was in a fancy part of London.

We replied to the first letter, and never again heard anything from TV Licensing.
Your games and movies can be ultrasound beacons too..a board game cannot.
In the short term that might be true. In the long term it seems likely that adding 3.5 million people (Twice the population of Nebraska), mostly in a single metro area, would contribute to the economy and society in a beneficial way.

As it is now they cost us more, getting them to be more self sufficient like every state is, would cost us less even if they never contributed after they fixed their problems.

Then there is the human side of this. Sentences like "Because the new obligations we'd be taking on wouldn't be offset by the benefits" entirely ignore the human cost. These are our fellow Americans and we are willing to just let them suffer. It says something that we don't help them, and it says something different if we do.
They still exist. Eat locally from farmers. All my beef is grass fed (which have higher omega 3's), for example.

And if you can't because of where you live, there's a good chance neither could your grandparents had if they lived there as well.
So basically you think the US government has been highly influential in developing 'globalism' and it's not entirely a natural phenomenon as a result of air travel, telecommunications, mature financial markets, lack of global war/conflict, the opening of the east to global markets, etc?

Most of the things you mention, poor enforcement of tax havens, immigration policy, low taxes on capital, massive military spending, coincided with the development of globalism or were a reaction to it.

But regardless I disagree with your thesis, as I hardly see globalism as something that's detrimental to America as a whole. That may be the mainstream narrative but it's largely inaccurate. The thing about capitalism is that it goes throw booms/busts and it evolves. This is just another phase and we've all been pretending we're in control but the reality of the situation has become apparent recently.

So the dichotomy between historical fluke and market trends doesn't really exist. Historical flukes are market trends.
Wouldn't going from Hawai'i -> Canada/Mexico -> US solve this?

Similarly for Puerto Rico, wouldn't Florida -> The Bahamas -> Puerto Rico solve some of the issues?

The only issue with adding foreign stops is the additional import/export regulations. NAFTA solves some of that for an intermediary stop in Canada/Mexico, but doesn't do much to help Puerto Rico's situation.
At my company we use ODB [0] with SQLite in a VERY large commercial application. We've been using it for a couple of years now. Rock-solid.

ps.: ODB is GPL v2. We have a commercial license to avoid it. ODB also offers a "free" commercial license that imposes limits on the size of your database.

[0] http://www.codesynthesis.com/products/odb/
This is basically what happens when capitalism is allowed to run wild. Massive industries consolidate into a few major players who have immense power over their workers. In this case, manufacturers realized that it's more economical to manufacture in China than in the US so that's what they've been doing. Simple economics. They owe nothing to the workers, only the shareholders. The manufacturing centers of the American rustbelt lost, and when you lose in a purely capitalist system, it's pretty shitty. It'll be interesting to see what happens. Trump certainly won't bring back their jobs in any meaningful way. The only way that will happen is if it becomes economical for companies to manufacture here again vs. China. But good luck with that.

I am not anti-capitalism by any means, but I think strong protections against monopolies and protection for workers are probably a good thing for everyone.
Pharmaceutical companies R&D costs for new drugs are heavily subsidized by tax credits and write offs. Capital is required to kick start the process but much of that can be recovered at tax time, the rest when they start selling or licensing the drug.
There is this false notion that the rich will throw in the towel or that the pot is barely sweet as is and asking to take out a bit of sugar would make it unpalatable. The reality of the situation is they're rich precisely because they're extremely good at leveraging things in their favor. Muting that a bit isn't going to change that base quality in them. I know I'm speaking broadly but it applies broadly.
Skynet v. 0.1 didn't build itself. Clearly, though, once it becomes a minimum viable product, it will produce the next generations of itself.

Or will it? If it's an AI intent on approximating human speech processing, why should it be any good at programming? See also https://www.fanfiction.net/s/9658524/1/Branches-on-the-Tree-....
It's frustrating that this problem is more of a political labyrinth than a technology endeavor.
PCI in general is patently silly.
The irony is TrueCaller was originally created to combat telemarketing calls..
The last 3 jobs I've had is to rearchitect a badly written non scaleable, brittle system, with no unit tests to one that was better architected with automated testing. They tried to get away with cheap (domestic) coders and people who were at the company for 20 years.
The primary draw to cryptocurrencies as a currencies is one of principle and theory - many people are enamored by the notion of a currency that is outside of the control of any government or other centralized entity. It's the same drive that draws people to any sort of cryptography.

The primary draw to cryptocurrencies as commodities is the mere fact that they exist. It's pretty much a universal constant that a speculative market will arise around anything that can be traded.
As for the second point, at least how I use it, is that I can create a higher-order class from those "atomic" classes like bold, etc. So I'd do in Sass:

.paragraph--emphasize {
@extend .bold, .text-decoration-none, .caps;
}

Then apply that class on the paragraph. This way, the resulting CSS is very compact: the above gets compiled so that the higher-order class uses the same styles as the atoms that compose it.
So get an old blackberry and turn on call barring.
Location: Quebec, Canada
Remote: Yes
Willing to relocate: For ideal role, yes.
Technologies: Go, Python, Elixir, Haskell
Résumé/CV: http://stackoverflow.com/cv/sridca
Email: srid@srid.ca

I live in Quebec with a «famille d'accueil» doing French immersion as part of my sabbatical.

I'm passionate about creating software; seeing it take shape and used by users. I take pride in that which I create. My experience has been mostly in the backend, but I've been learning the frontend side of things as well.

http://stackoverflow.com/cv/sridca
I can't but there are people out there who can, and have done it... http://www.ctvnews.ca/health/martin-shkreli-s-750-life-savin...
The bay area version is called Mealsquares: http://www.mealsquares.com/

Whole foods, in bar form. Pretty good when warmed up (think banana bread, but slightly gritty, from all the fiber) but not exactly recreational when cold. Short shelf life.
I wonder how you would prove that that a given transaction was fraudulent, and how much of a hassle that would be? And of course, that's assuming someone notices the transaction. If it was small enough, it could probably go unnoticed.
The big problem that SMS solves that nothing else does is that you can be completely irresponsible/unlucky and it still works. You can lose your u2f key , lose any one time backup codes on paper, and so long as you can convince your phone company that you are you you're fine.

I don't think most people are responsible enough to deal with more secure MFA. Most people don't know how to keep custody of stuff like that.
Yea, I remember the same was said when C# was introducing var, it's a valid concern but in reality it really isn't
Seems to be a bit of a cart before the horse issue, which is why they aren't going to court I suppose- no actionable issue.

Apple's big issue though is when they do actually ship they are likely to be highly exposed to patent suits from the incumbent video/3d IP holders. If Imagination/AMD/NVidia see that Apple is going to do what it seems to be doing- going vertical wherever they can to capture more margin- they'll feel free to sue without fear of loss of losing Apple as a customer.

Mac's are not a major revenue source for AMD and a non-existent one for Nvidia and Imagination.

Apple will have to come to some kind of agreement to keep shipping unless they have lots of patents they can enforce against the counter-parties.
I'm 6'5" and ~220lbs, every calorie calculator I've tried recommends 2400+ calories a day to maintain body weight with a sedentary lifestyle. At the time I tried this experiment I was running close to 30 miles a week and spending 2+ hours a week rock climbing.
If expenses fell at roughly the rate of wages things would be roughly-ok. But the costs of housing, healthcare, and higher education keep going up. Globalization has pushed down the cost of many manufactured goods for Americans but it's not an even trade if nice TVs go from $3000 to $800 while a year of college goes from $8000 to $16000. The cheap-ish stuff getting a lot cheaper can't quantitatively offset big middle class expenses getting even modestly bigger.

To be clear, I'm not saying that globalization is the cause of big-ticket items like healthcare getting more expensive. I am saying that globalization has not depressed big-ticket expenses along with the prices of manufactured goods and middle-class American wages. Many middle-class Americans are experiencing a real decline in material standard of living concomitant with globalization. If equilibration toward a happy new equilibrium takes decades, I don't think that political realities will permit the equilibration to take its own sweet time. Something will rupture first. Maybe it already has ruptured with the election of Trump.
The Brits have engineered some amazing propulsion over the years and they have some really cool tech in this engine. It's hard to see how the Skylon vehicle will be able to compete with Spacex on cost.
A similar project spawned recently on Security without borders' chat (https://chat.securitywithoutborders.org/)
EAS Myoplex.
It's a clear text transmission on the signaling channel. Unless you encrypt the message from originator to recipient, having info on number ports or forwards won't changes the risk or susceptibility. It's nothing new either, how do you think the NSA captures text messages around the globe?