skysight-inc/HackerNews huggingface dataset:
You are arguing for and against the same logic, but defending one level of abstraction as good and another as poor.

Functions that you define take parametrized input and use predefined logical constructs and produce some output. Self-healing (diction demands a more appropriate word, perhaps rectifying as code isn't defined ontologically as holistic, though a reordering of ethics might serve that purpose one day), so: self-rectifying code does so by working in the boundary conditions set by the logician who defines its instruction, and merely iterates through code chunks and tests against user defined output until it is successful. The big O to achieve fairly complex goals makes implementation very manageable, I presented a paper on this at my alma mater a few years ago and was a bit surprised it had yet to receive much traction. Every parameter can be included in the logic to ensure space and time complexity restraints are met, as well as code style.

Would you argue against a medical procedure that heals your cells instead of healing your organ at the tissue level?
Every economist knows homo economicus is an approximation to reality. Large amounts of economics is about mathematically modelling deviations from it and then checking the results against data.

I feel like you are criticizing some "econ 101" straw man.

If you can find violations of transitivity that apply in aggregate (rather than just to one guy being in a funny mood one time), congrats! Now go figure out how to exploit this money pump to become rich.
I don't know how much more confirmation you can get than an official statement. If you want to believe speculation over an official statement that's entirely up to you.

But if you stand at that particular intersection for an hour, I'm pretty sure it's the one on 3rd street by the MOMA, you'll probably see half a dozen people blow by that light. It's entirely reasonable to think that a human driver would drive through, but it seems rather standard for software to detect the redlight. But you are free to believe what you want.
I think the typical SDC taxi will be a two seater. Getting rid of the driver not only saves on wages, but also space, weight, fuel etc.

By "unreliable" I mostly meant the primitive "call your local monopoly, and they may or may not send you a car in 1-30 minutes, so just stand there and wait and worry" system as opposed to the quick and visible Uber/Lyft experience.

I agree that taxi could work like that, I've just gotten used to the thoroughly rotten SF taxi system.
Ravi Vakil's advice for potential PhD students
Interesting in that almost all those problems are share-nothing, i.e. no shared state.
If my worst case is paying a few hundred dollars for a hired car to get to and from places as remote as Zion, places I don't go more than once or twice a year, I say good riddance to the cost and hassle of owning, maintaining and operating a car. All of this only gets easier when cars drive themselves.
George Michael, Wham lead singer, dead at 53, publicist says
https://github.com/smarr/are-we-fast-yet

It is not about optimal performance. Ruby, or specifically MRI here, is anywhere between 20-100x slower. And there are other dynamic languages that is much faster then Ruby. If Ruby is only 2-10x slower no one would complain. But right now it is so far off the chart that is why you see a shrinking usage of Ruby.
Controlling for time availability and motivation seems both crucial to getting relevant results and damn near impossible to pull off. I'd be happy to CMV but it's not the kind of thing I'm willing to spend a day doing a deep-dive over.
You will have carseat cars, cars with sports racks, larger minivans where you don't need the sports rack and so on. Uber today has a car seat option for example in NYC.

I could see cars that let you just move the stroller in and lock it in with standardized connection types in the wheels, no carseat ritual required, no waking up the baby. I can also see cargo delivery cars that you just drop your shit in and it delivers it securely to your house after you have gone shopping. Or even more likely, you just use an app for that and not even go to the store. Malls turn into showrooms.

All of that is for a self driving future.

What you do today is use something like car rentals when you want to go do outdoor activities. A friend of mine uses uber to go kiteboarding and rents a car with friends when he goes skiing.
One of my 2017 goals is to help others market themselves better. Im also a consultant (code and marketing). Feel free to get in touch if youd like some help from me. Email in profile.
Pretty sure he abandoned the car project when he realized how much of a massive liability that was.
Feedback for Christian Airbnb-type website
An example would be water heater must be installed with clearance meeting standards as specified in NFPA 3.1.6 (made up number). You still have to get the documentation from the private group.

It is much easier to get access to those now, I did have to register an account and I believe I was limited on the number of codes I could view, but I only needed to view one so it was a non-issue.
Just like most people have encountered a software engineer whose been in the industry since the Nixon Administration... and still can't code.
Actually a comma is needed because that is a compound sentence. The 2nd independent clause has a subject of "you" (implied) and a verb of "learn."
> This one seems weird to me as someone who is part of that community; the two issues seem orthogonal unless we're talking specifically about things like discrimination against LGBT employees

That's what we're talking about. I mentioned employment and housing protections. It is a fine and wonderful thing that bigots can no longer prevent you from getting married, but they can take away your job and your home at will, in large parts of the USA. That seems like a backwards way to go about it.

> I guess the best explanation is that some people base too much of their identity on their sexuality

That's kind of a nasty thing to say about people who are legitimately worried about their survival.
Power surge: Chinese electric car battery maker charges for global market
The soft bigotry of "I don't see a problem from here, therefore there isn't a problem and don't you dare imply otherwise, because I don't think of myself a bigot and that's all that matters."
How Google.org Stole the Christmas Spirit?
No, you'd rent a car is what would happen in reality. Same way as the vast majority of people who visit Zion. I went to many remote areas in the western US before I moved from the east coast, and it was often in rental cars (and not once in the personal car I owned, which remained on the east coast.)

This just isn't the obstacle you're making it out to be.
This store is selling gold-plated Trump iPhones to the super rich
For work, Spark, Spark, more Spark. Also Spark. I already know how to use it, but I want to know how it works in detail from the ground up.

For not work, I want to improve my oil painting and my drawing skills! I got a Pi this year and want to use it to dabble in digital sculpture.
I really hope this project gets built. It will be such a huge boost for California. In the longer term it will be completely essential and people will wonder how the state functioned without it.

It would massively increased the bay area's effective commuting area too.
The Infuriating Math Behind Airline Overbooking
stickk .com
[OSM-talk] Beware Pokemon users
I love public transit, but there is no doubt that this is in fact a boondoggle that shouldn't be built. That money should be used to expand commuter rail in LA and SF, or better yet, implementing BRT. When we have driverless cars on the horizon, and the possibility that the hyperloop could work out, sinking what will likely turn out to be $100 billion into yesterday's technology makes absolutely no sense.
True, but at this rate, maybe it'd be wiser to hold out for hyperloop?
I want to learn how to create an AI to solve tasks in OpenAI's Universe.
>Wages in Shanghai have more than doubled in the past seven years, and the company that owns the factory, Cambridge Industries Group, faces fierce competition from increasingly high-tech operations in Germany, Japan, and the United States.

It seems we found a solution to the fabled race to the bottom that globalization was supposed to bring. Instead of competing through reduced wages and lax environmental standards, it seems that technology is the main arena of competition with technologically advanced nations being able to edge out those with lower wages. . .

Now we just need a solution for the massive unemployment this may produce.
Show HN: Just open sourced that crypto.cat alternative I made today
Not sure about the Google Home but I really wish Siri could handle a query like "set my office lights to blue 25%" or "dim my office and bedroom". I end up having to issue several separate commands in a row to get (close to) the result I'd hoped for with the Hue bulbs.
I want to learn to kick myself to get out of my comfort zone.
There is also the empirical evidence that "mostly functional" C# has successfully been used in perhaps thousands of others around the world. It's hard to take "it doesn't work" seriously when it has clearly worked for me and many others.
I use dictation for text messages all the time when I'm by myself. I wish there were a way to use that in a controlled way around other people. Something like directional audio.
A blog for Minorities to share knowledge and experiences
I agree. The nature of Haskell and its type system means that the basic haddock docs are already pretty darn useful even without hand-written content (examples, etc.) being included.
Subscribe and write us at huesstartup@gmail.com about your journey and be featured once we launch!

Open to all who believe in our mission!
I like the article as a roundup of some ways in which programming is usually done in a non-pure way. However, this early quote is an example of why I disagree with the article:

"The slightest implicit imperative effect erases all the benefits of purity, just as a single bacterium can infect a sterile wound."

This is just not true. It's a fair rule of thumb that the more pure a function is, the easier it is to reason about its behaviour in a larger program.

If the article had stuck to a survey of common non-pure programming style and its pitfalls, I'd be much happier, but then it started on the "Informal Introduction to Monads", a topic which requires more ink and motivation than it was given here.
Why don't people understand the idea that a calculation based simulation is done to predict some information about stuff and not to actually create stuff. A nuclear reaction simulation will tell you how much energy is generated, it will not actually generate the energy.
My daughter (7 years old) still plays with one, but not that often. She still enjoys it.

We have the "Spiral Draw" by Klutz.
just a timer and alarm clock, that's about it.
Congratulations on head-on tackling such a tough problem! I wish you the best of luck as I"m sure it is not easy. Wanted to comment -- I'm not sure the extent to which this will be useful or relevant (so forgive me if its misplaced). I was interested in meditation (and to some smaller extent, buddhism). This book is short and generally well written from a buddhist perspective but may be of particular interest because the author previously suffered from panic attacks and believe's his use of meditation allowed him to control them: https://www.amazon.com/Joy-Living-Unlocking-Science-Happines...
He never was the biggest hacker.
Pardon me if this is stating the obvious, but the captcha images being decoded serve a second purpose. In short, Goggle is crowdsourcing the decoding of those images in a mechanical Turk sorta way.

Why street signs and house numbers? Because when your taken as much Street level photos as they have some are gonna need human review.
Well yeah. But we might have much choice this time.
Great idea. Adding it to our roadmap. The idea is that we will initially start off with in-app NPS, then explore other channels like email campaigns, SMS, Android and iOS SDKs.

Once we have the entire workflow for NPS worked out, we can look at customizable surveys and other survey types.
Any chance of running multiple timers?
> python is unfortunately the only realistic option.

https://medium.com/@Arafat./introducing-tensorflow-ruby-api-...

https://github.com/somaticio/tensorflow.rb
>> traffic will only increase as people can nap during commutes because people will commute from further and further away.

Napping or not a two hour commute isn't going to go mainstream anytime soon, even if you don't have to drive. That's four hours a day on the road and you can't just 'nap' through it every day.
Owning your own self-driving car would make sense there.

But in rural areas, you'd have to wait too long for a centralized service's car to show up because of lack of economy of scale, and the larger distances it'd have to service. In theory, you could schedule them well ahead of time to arrive when needed, but that's far less convenient and the scale & distance will still significantly affect the price.
I don't think the technology is convincing yet. You can't go hunting or fishing in a self-driving car.
How urban living affects children’s mental health
I have, but with zero success. I've read awful things about Toptal and PeoplePerHour, so I didn't really go for them. Upwork seems to be filled with developers from various parts of Asia where the low cost of living allows them to bid way lower than what I would charge. The quality of work also seems pretty bad, from what I can tell (one-sentence descriptions, bad grammar, crazy low budgets, etc.).

I've seen advice like, "If you charge high instead of trying to compete with low bidders, you'll be taken seriously," but then there's the issue of having 0 clients/reviews/ratings, which make it hard to command a high rate.

I did have one client on Codementor.io! He didn't give me a review, though, even though we had three sessions and he seemed to be super happy with my help :/
What you just wrote is a comma splice, by the way. You should read up on semicolons.
It is intentional. It allows a search for "pokemon" to match "Pokémon".
I didn't conclude that at all. It is trivial to produce a contradiction if you assume A <: B because Go will not let you substitute A in place of B for every type in which B occurs. Therefore A is not a subtype of B. This has nothing to do with []A <: []B.
Ask HN: Sierra macOS 4gb download without confirmation, is this acceptable?
I tethered my mac for a skype call a week or so ago, and when I was done my cell data usage had jumped 4.7gb or more...

This blew my cell data quota for the month. I wasn't possible that a skype call could have taken so much data, even a long one.

I didn't have time to investigate the cause I was just irritated, and assumed maybe OSX had installed a patch to El Capitan, which is annoying enough. While I'd prefer to be notified for each of these downloads, I know I'd opted in for this and I'd be warned this time to make sure I had it switched off.

Today, I figured I'd try Sierra, and of course, it was the full OS installer that had been downloaded on my cell, the date and time and size all matched.

I am sure the definition of "Update" could be twisted here, but holy expletives, this is a royal pain.

I wonder what HN thinks about this? Do we accept that a full OS update should be part of the standard opt in for "app store updates"?

Obviously for my case, it was a problem.
I'm pretty sure the people calling it a boondoggle are correct. Obama included $3B in the 2009 stimulus package for it back in 2009. Not a single yard of track has been laid.

https://www.nytimes.com/2014/01/07/us/high-speed-train-in-ca...

http://thehill.com/policy/transportation/263782-obama-high-s...

The project is hoped to finish in 2029, which is 12 years from now.

For comparison, China build the Qinhuangdao–Shenyang line in 4 years (approx half the SF->LA distance). The cost was $1.9B, which is less than what California has already spent.

https://en.wikipedia.org/wiki/Qinhuangdao%E2%80%93Shenyang_H...

Here in India, we've built an entire city Metro system for about $6B. That's twice what it cost California to explore the idea of maybe someday laying track, or what it costs NYC to build 1-2 miles of track.

If we are serious about transit, we will figure out how to get the costs under control. Anyone who talks about finding $64B and 12 years for what should be a $2-4B railway in 4 years is fundamentally unserious.

If we want transit in the US we need to fix the insane cost problem. Anything else is sheer folly.

(Incidentally, anyone mentioning purchasing power or worker costs doesn't know what they are talking about. Paris, Hong Kong, Spain and Singapore are all wealthy nations with costs far closer to India and China than to the US.)
How many people do you think live 50 or 100 miles from a store?
It won't produce massive unemployment, we still have yet to conquest the universe. Even with the help of machines, there's lots of work to be done. If you feel otherwise you're just not thinking big enough. Or else machines really will become better generalists than humans, but after that we simply won't be in Kansas anymore and all conventional economic arguments become moot.
Yes, Haskell is a very flawed language, however:

(0) The fact you need to modify value-level code to put it in a monadic context is a defect of Haskell's design, not of monads per se. See: http://www.cs.umd.edu/~mwh/papers/monadic.pdf

(1) Laziness has nothing to do with being purely functional.
Add the money you save by not buying a new magsafe charger every year as well because it will fail eventually.
My goal is to learn enough tech to build an end to end web based application. Planning to learn python, then html/css, MySQL and move onto learning deployment with AWS.... let's see how it goes !
Does Google still listen if it's face down? (Siri doesn't, at least by default)
> I think that self-driving cars may actually increase traffic and our dependency on cars.

Exactly. Remember how computers were supposed to give us paperless offices? They're automated paper-wasters and likely increased paper consumption in offices incredibly during the 90s and 00s. I've not been in corporatastic environments for a while, so I can't comment on the 10s.
I can't help but wonder how much of that technology is stolen.
To be fair, the way Rae Sremmurd pronounces Rae Sremmurd isn't even phonetic. It'd be content if it could get something like The Weeknd.
I've literally just started doing this, starting with category theory. Here's what I've been watching:

- https://youtu.be/I8LbkfSSR58?list=PLbgaMIhjbmEnaH_LTkxLI7FMa...

- https://www.infoq.com/presentations/category-theory-proposit...

I'm very, very, very open to suggestions... especially if they're presented from the ground up, and in lots of detail. I'm also quite open to material that can be read rather than watched.
> MITI...is considering a rule that would increase minimum production requirements for battery makers by around 40 times to 8 gigawatt hours.

Is this type of rule common in China? (Granted, we do the same thing in the U.S. by printing red tape.)
But that's not at all what subtyping means! It doesn't mean that you can substitute every occurence of “A” with “B” in the program text. It means that every term of type “A” also has type “B”. (Source: I have TaPL p. 182 right in front of me.)
There's also a legal/moral question of whether it's ok to capture the speech of children to build better models for this kind of thing.
If you are tethering it is on you to monitor your usage
Why emojis are failing to evolve into a form of language
One of the most illuminating technical books I have ever read. I now grok 2600 and can die happy.
In 2017 I want to learn what levers I can move to make my company more successful. If it's email marketing, then I'm going to learn everything there is to know about email marketing. If it's a neural net or averaged perceptron classifier, then I'll learn everything about neural nets and averaged perceptron classifiers.

And I also want to learn how to play the Stone Roses' I Am the Resurrection on guitar.

Happy New year, hackers!
What is this actually being spent on? Studies to study the feasibility of a feasibility study to begin a study?
George Michael, Pop Superstar, Has Died at 53
Hell no! Any agent a developer builds is owned and managed by them, and collects a payment for that developer every time it is contracted.
Building codes are not a one-sized-fits-all panacea, neither good nor bad inherently. They are both policy creation and enforcement to prevent as much harm as people can reasonably afford while balancing the tyrannies of the many and the few, the poor and the rich, the DIY and the commercial. Regulation isn't always bad such as preventing lowest bidders from building garment factories which collapse, using outdated/dangerous electrical technologies (ie, aluminum wiring, lead pipes) or lacking modern safety items to prevent classes of risks (ie hard-wired smoke detectors).

Certainly, people whom are more affluent could purchase additional safeguards (ie automatic external defibrillators, whole-house water-filtration) while those whom are elderly/poor will likely need assistance meeting minimum standards.

Also, clipboard auditing (timber stickers) shouldn't be a substitute for inspection common-sense.
....and we can add George Michael to the list...
So go into Settings, then App Store pref panel and uncheck Download newly available updates in the background.

As far as opt-in or opt-out; we seem to be in the always on era... where computers and devices always assume it's up
8 Retail Sales Strategies That Drive Success
Mine doesn't auto download OS updates. It only sends a push notification which can be dismissed with remind me tomorrow.
Apologies, that was not my intention. I have clarified the comment.
Interesting question, but I'm not sure why it would be any different from monitoring the adults who bought and installed the system. It would be part of the terms of service, I would think. The adults accept this on their behalf. Would there be another interpretation?
Top Toxic Fake Food Items Produced in China
I'd really like to pick up a functional language, but I'm faced with the paradox of choice. I'm presently torn between:

1. Haskell: all the cool kids are doing it, and I like its formalism

2. Hy: I write a lot of python, and really like the idea of working with familiar data structures.
Sure I'm not against reactjs and that is just one example. It's a good framework to solve problems, but I doubt I'll get deeper insights from learning it.
It is an embarrassment for the state and this country that we are unable to build something so trivial for other countries without such massive costs.
The US steals talent, say Chinese graduate students. They steal the results of that stolen talent. You can justify anything if you put your mind to it.
I don't think the original commenter is trying to save or solve anything. There are people there in his community that need help daily and he's giving and helping what/where he can.
There's research that shows people learn abstractions better when they also have examples. See e.g. [1] for references.

However, I find your tone particularly unpleasant. The sneer in "seem to be people who need worked examples of things to understand them" is repulsive. If this is a representative example of your community, it's one no-one should be proud to be a member of.

[1] http://www.maa.org/external_archive/columns/launchings/launc...
A Japanese girlfriend?
I'm still ambivalent. I think this tech will end up as another dead end. Playing music by speech is a novelty. I don't see anything really interesting coming from this space.