skysight-inc/HackerNews huggingface dataset:
This example does not fit my experience of "exploratory" programming. Here the author implements DPLL from a textbook, and while there is a gap to fill between pseudo-code and Haskell, the problem is already well-defined. Think-upfront-then-code works quite well in those cases. Having compiler feedbacks surely helps to get it right.

But exploratory to me means that the problem is not really well defined or understood in the first place. Just as you draft things on paper to get a clear idea of what you want to do, you can use your programming language to express parts of the problem more or less clearly. That also means not being afraid of getting things wrong in the process and being able to code generically. Now, with some languages, you can't explore. I tried in Ada, which I actually happen to like, but every choice was a commitment that would take much time to adapt later, so I actually sticked to pen and paper. I think it can be easier with ML type systems, where it might be easier to have loosely coupled definitions, but I am not sure.
Of course they don't send all that back, but they didn't train the original on that data either.
> I would like to hear what platform bits of AWS that you find lacking in Google Cloud.

RDS instances with Postgresql.
For me, the most compelling attribute of AWS is familiarity. Google Cloud has traditionally been more forward with bespoke services that need to be adopted in order to use the platform effectively.
That's all fine, but surely there is a middle ground between 'single letter variables or bust' and 'parody of enterprise Java'. It wouldn't kill anyone to use short words instead of re-using phi.
I saw that some years ago and made downloadable nanoseconds to print on A4 or 8.5"x11" paper: http://blog.jgc.org/2012/10/a-downloadable-nanosecond.html
BigTube
Top Best Universities in the World
A downloadable nanosecond
It would seem to me that this concept of the strongest strain taking over only would happen if there were some sort of competition for resources. If you have one strain of HIV it seems weird to think that it would stop you from getting another strain and then passing both on. But "not my area of expertise" either.
Does Google have an equivalent for DynamoDB and Lambda? If so, I might consider switching.
Don't the different namespaces conflict with the idea of burdensome cruft?

Just as finding a complete and consistent set of axioms for all mathematics is impossible, a universal syntax without namespaces sounds inefficient.
Not doubting you but has anyone produced metrics to show a drop off in adoption, install, usage of Ubuntu after Unity came around? I was one of those people but I suspect I can't be the majority. Today I use it and honestly dunno why I was so resistant. On a dev box, however, I'll use i3 or something.
Facebook fake news row: Mark Zuckerberg is a politician now
(Benny Hill music, I guess signaling humorous mayhem?)
I would like to see the app equivalent of this.
I left Linux in the days of Mandrake (that was its name then) and KDE, because it was a bad copy of windows XP.

I saw the GUI of that era as something without character, only copying XP and later trying to copy OS X, but in an incomplete way, and mainly, without something that can be perceived as original.

In fact, the Ubuntu I saw before Unity was almost a carbon copy of OSX. Macbuntu 10.04 was a thing. And it was a thing because of the lack of identity the Linux DEs had before Unity.

I read about Ubuntu, and decided to try again, and this time I forced myself to learn the keyboard shortcuts. That's the main difference and what made me swear this is the DE for me.

The HUD is a game changer. The keyboard shortcuts to switch between virtual desktops, and to move windows between them are second nature now. The same to maximize or half-screen maximize them.

I went back to using Linux full time, because of Unity. I have changed some of the default keyboard shortcuts, and enabled virtual desktops but otherwise it is the vanilla experience.

It helps me work faster and better. And it really feels like its own thing. I know it is not Windows and I know it is not OS X. I understand you got used to the previous thing, but Unity is better for me and for many others.

I always miss the Unity keyboard shortcuts whenever I'm using any other DE, including when I use Windows.
"There is no requirement that every word the President of the United States utters be clean-room engineered"

* It's not 'clean room engineered' *

* He called Mexicans coming to America rapists

* Full Stop *

"Again, you can't just say "Stop thinking about everything else, please focus exclusively on my soundbite in isolation, I've carefully stripped it for optimal damage"

No - it's not stripped, isolated, out of context.

* The PUSA called an entire group of migrants coming to America 'rapists'*

That is morally repugnant and nobody in that position should ever come close to making that mistake.

I don't think you understand what it means to have public office, or to have any public image or personae.

100% of CEO's of public companies would be fired instantly for making such a comment.
This is the one that comes up. Hit me up offline. Also, you can always use any number of partners that provide this functionality.

Let me know if there are any others.
Present your work better
As an Austrlaian living in North America, this is something I feel on a daily basis.

When somethings stops working, needs repair, or just some attention, it boggles my mind when my suggestions of repair and improvise are completely ignored in favor of "order a new one with overnight shipping".

I personally derive great satisfaction from fixing the stuff I rely on, and it's working out really well for me now I'm traveling through West Africa.
As of September 2016, you can buy a convertible reservation that allows you to move a reserved instance to a different AZ within a region. Your greater point still stands but I just wanted to correct one piece of it.

Source: https://aws.amazon.com/blogs/aws/ec2-reserved-instance-updat...
Actually I consider a web application performance/memory sensitive unless it is a small side project that I know will never scale.

I was thinking more about small apps that'll be used by a single user at a time and that deals with a known amount of data, where iterating fast is more important for me than performance/memory.
When will start the beta testing?
How many months will you need to run in GC to break even on the engineer time spent moving at $400/month savings?
That unaffected 1% will still be limited by the rate of transmission which has been falling globally for decades because of growing access to birth control and antivirals, anonymous needle exchanges, and education. HIV isn't like a bacteria that grows out of control because the probability of transmission is highly dependent on the viral load, which varies significantly over the different strains and patients' lifetimes as their immune systems battle the virus. Even if eliminating 99% of strains only cures 50% of patients, those cured would have to have sexual or blood contact with the remaining 50% in order to get reinfected with the resistant strains.

HIV is a very expensive disease to treat and since it's no longer a death sentence, a significant amount of resources go towards a lifetime supply of drug cocktails for long term HIV patients (which is all of them). Even a 10% reduction in the number of infections would free up a massive amount of resources at the NHS, CDC, and other agencies best suited to put them to use dealing with the remaining infections. Like with cancer and drug resistance, there is no single panacea but that doesn't mean we can't make big leaps that help a lot of people. Fighting a virus like HIV takes a lot of victories, big and small, that chip away at the problem until, like with smallpox or polio, there are so few cases left that each can be dealt with individually by the public health infrastructure.
I couldn't agree more.

In so many situations in life, it really only comes down to how you view the situation.

If you see it as a pain in the ass and horrible, it is.

If you see it as a challenge and enjoyable and something to learn from, it is.

Your happiness really is your choice.
Maybe it's not obvious from the WebKit article: Custom Elements aren't new, their native implementation in WebKit is what's being announced here. Custom Elements are part of the Web Components collection of cross-browser standards introduced in 2011 (and still not finalized). React was in its infancy at the time, Angular was just getting off the ground. Polymer has always been built on top of the Web Components standard(s). This post isn't about "Yet another new framework competitor!"
In the real world, the hyper-productive & remarkably successful are often rewarded, while mundane participants don't get medals, snowflake.
Google has Bigtable and Datastore. Bigtable can be thought of as an events database, and Datastore is entities. Both very very compelling for DynamoDB users.

Google's Lambda equivalent is currently in Alpha. That said, there are bits like Cloud Logging and AppEngine that offer unique-to-Google functionality that's somewhat comparable.

(Work on Google Cloud)
> "good for business", which translates to "bad for consumers"

I know it's trendy to be left leaning so you easily get away with such generalising statements but ask yourself these questions before hating on all businesses:

Would you buy an iPhone or a laptop designed and built by a government agency? A car? How about a pair of shoes or pants. Would you prefer sending your children to private or public schools. Same goes for universities. Would you rather participate in evil Capitalism to earn a living or live under government social security regimentation, possibly even with a job provided or forced on you by government.

Is there even anything where you would prefer the government option over something offered by private businesses?

If you don't want private businesses to offer products and services, and government products and services suck, then who is going to provide this?
As Microsoft demonstrated - if something is equal in power and free- the cost drops dramatically. Cant see that happen with Adobe CS or Autodesk 3dsMax.

And its not a hour, even if you know other solutions. I guess in this sort of discussion, that is considered a defeat of the "opponent" - winning by him/her admitting in anecdata that he/she is stupid enough to take this or that longer to learn. Unfortunately feeling smart , doesn't help the cause of open source one iota.

I always wondered, why some people get full zealot for open source? Does explaining the problems away, instead of building a user-friendly OS/ 3D editing Software, supplies some sort of elitist "invites only Treehouse" kick?
Or there's just so much work being done that people are stepping on each other's toes. There were like 5-10 papers at ICLR this year on just the same 'let's treat NN hyperparameters as a MDP' idea. Or look at the concrete distribution - two different Google groups published papers on almost the same exact idea simultaneously apparently in total ignorance of each other. Or the lipreading NNs the past week - two Oxford groups working on different datasets with different architectures publishing >human results. The pace is so fast the left hand doesn't know what the right hand is doing. It's fun for the spectator (you have no idea what will come out tomorrow, much less next month or next year) but it strikes me as rather inefficient.
We hope mid December will start. Will announce all subscribers one week before.
Pftt. You can be fast with both. Any Starcraft player knows that.

The fact that you are slow with the mouse is not something that can be generalized to all the population.

Yes, I know I always get down-votes whenever I mention this.
The issue is that we users don't know what they'll bring in an update. And mind you it's auto updated without warning, you have to basically rename couple .exe files, disable some tasks in the Task Scheduler and Services on Windows to stop the auto update. This combined with the notion you don't know what changed is asinine.
> The climate is always changing and we have a very short history of data.

At least 20000 years, visualized nicely at https://xkcd.com/1732/
I also found that it's easier to launch an Elastic Beanstalk Docker app with a Postgres RDS instance. I'm hoping Google's Flexible Environment will address this, but I was not able to get it to deploy. To be fair, I only tried for a bit yesterday and gave up.

It'd be great if you can share how to best spin up a managed Postgres instance.

I'm using GKE and it has been working like a charm so far.
I tweeted the Vimeo link to the Rolling Stones so hopefully we'll get to the bottom of whether Tesla paid or not. Why is this of any importance? Because if it was my song they were using I'd pursue the $250,000 per infringement max penalty for being a billion dollar company and shamelessly ripping off an artist. Just because it's the Rolling Stones, who I wish would retire, doesn't change the rules on the books, as much as Elon & some of the culture might wish was the case...
Presidential Transition 2016: Selected Congressional Research Service Reports
Indifference - bad choice of word. It makes it sound like apathy.
New MacBook Pros have non-upgradeable SSDs, seemingly under-sized batteries
Q&A session about Startup.ML fellowship starting right now
Wait. That's just the set of all functions from naturals to naturals whose image covers the entire codomain.

Mind, set-builder notation is a horrible crock, since you wind up not being able to say "image covers the entire codomain" in plain language.
So, do people here still believe Twitter didn't censor anti-Hillary hashtags? If you were paying very close attention to what was happening, it was relatively easy to at the very least notice that something is wrong, and that couldn't be explained just by "well, that's just how the algorithms work!"
> The reason I dropped the math major to a minor was because of the amount of time mathematicians spent proving obvious things.

I think this is a poor reason to drop a math major. The point of a majoring in math isn't learning "obvious things." Rather, the point is learning how to prove things—it shows you how to get from point A to point B when the path isn't immediately obvious.
This is a perspective which is easier to pull off in the first world.
One of my first C compilers was only free without floating point support.

I guess it was crippleware...
Alien life could be so advanced it becomes indistinguishable from physics
If you create an instance group of preemptible instances it will automatically try to fulfill your demand - no need to write a thing!
This argument probably should be settled by primary documents like contemporary Apollo org charts and development milestone reports rather than modern press releases.
> Also, you can always use any number of partners that provide this functionality.

Like AWS?
I have a loathing for claims put forward in the "Common Misconception: XXXX" format.

For example:
"Common Misconception: ...AI will necessarily increase inequality."

The question of whether AI will increase inequality involve long arguments that hinge on both unknowns about society and unknowns about AI.

Sure, it's not absolutely certain that AI will increase inequality but that's an empty assertion and the whole thing seems like an expert brushing off serious concerns about technological development impacting society.
> Does someone know why Google Cloud can afford to be so much cheaper compared to AWS?

They have better hardware utilisation and a lot of their infrastructure was fully-depreciated before they opened GCP.

Unlike AWS, Google couldn't design systems assuming a customer would bear the price of any moderate inefficiencies. So they've had more design pressure on cost from the beginning.

I also suspect their cost of networking is much lower -- they own their own fibre network and a lot of it will also be fully-depreciated.
God is perfectly just.

You can herd nigger cattle. I live with the gods.

I asked what punishment for Britain. God said he will not talk to them.

I asked what punishment for persecuting priests. God said Britain will have a priest shortage.

God says...
secondly paltrier ceremony's pussycat mumbled waggles Pansy declared attachment's spoor's oft malice cradle karakul acquiescence's dérailleur's miller sangs rightfulness's torquing Kong Miriam impoliteness fez classy solidly heartburn's Prius's outsourced nearsighted beehive's clarified
I wonder how much he will be a good "ally" to get crack-down-data from the CIA.

Problem is, this kind of "president" destroy civil society usually so much, that in the end, they get replaced by someone worser.
Sheet music is terrible until you try to design a better system.

It's easy to design a better toy system. It's very, very hard to design a non-toy system that encapsulates all of the information in a full orchestral score and makes it readable for players of all instruments.
This 'hack' is known to drug addicts for centuries. Cyclic withdrawal from the drug to increase potency. Stoicism is the same principal used to recalibrate hedonic treadmill so you don't have to keep running faster and faster.

https://en.wikipedia.org/wiki/Hedonic_treadmill
We accept that schools are boring and psychology isn't required to turn stupid people smart (or uninformed to educated if you'd like). Perhaps if we thought of news as education instead of entertainment, we'd accept it being boring and maybe get smarter.

I wish there was a way to measure if people actually are stupid and see if it is getting better or worse. I don't want to be arrogant, I want to be factual.
Would've been easier to try patching node to support multiple eventloops where you can have N event loops for N threads on the server imo.
Another young director that also deserves attention is Yasuhiro Yoshiura. For the HN audience I'd recommend his short Pale Cocoon about an archivist in charge of restoring humanity's collective digital history and his spin full of humor on Asimov's Laws of Robotics in Time of Eve.

Also, minor nitpick, it's Makoto, not Markoto.
Do people really use octave, the crippled matlab with gnuplot graphs? matplotlib is way more functional
Ooooh, threatening to shoot leftists on Hacker News. Really edgy.
Assuming a $400/month engineer, 1 month.
Hibernate is migrating its code generation to Byte Buddy
New Ceres views as Dawn moves higher
> they have close to no customer support.

In the last three days I have been able, in my day job, to personally ask a Google PM to pull Google Cloud engineers into a shared slack channel to help.

It took us longer to set up the slack permissions for the googlers to join than it took for Google folk to identify who to pull in.
Curious: Doesn't anyone use Maple these days?
Build a Recurrent Neural Network in TensorFlow
Great point. I think it's a matter of different philosophies, and both are great for customers!

- AWS gives you specific usage allotments per-month for specific services.

- Google gives you $300 cash for 2 months to use however you please. just don't mine bitcoins or generate email spam :)

- Some folks did the math on AWS free tier to total $247.20 [0]. That is, if you 100% utilize all the allotments.

- Google BigQuery, Firebase, and AppEngine also have perpetual free tiers.

[0] http://searchcloudcomputing.techtarget.com/tip/How-much-are-...

(work on Google Cloud)
They were well-known by Einstein's time because by then they had been demonstrated many times. But someone had to have been the first to see and report the photoelectric effect.

What we need now is other physicists to test their own "Q thruster." If no one else detects a thrust, well, fine, chalk it up to weird error and move on. If other people do find a thrust, then we're into "we don't have a theory yet" territory.
Would this type of research lead towards a solution that is preventive (e.g. a vaccine) or something that would treat existing cases?
Python support needs improvement. The standard environment is limited, and the flexible environment is still in beta.
From the top of my head, a managed Elasticsearch a-la-elastic-cloud would be very interesting. Their offering is expensive and very frustrating if you don't have a paid support contract. AWS has something similar, but lacking features (kopf, kibana, marvel, etc)
I think in this case it's a reasonable approach to writing the `dpll` function because that function doesn't actually care about the specifics of the types. This is a nice example of encapsulation and implementation hiding, a concept familiar to object-oriented and functional programmers alike. He could have easily gotten it to compile by stubbing things out as follows:

data Clauses = Clauses
data Symbols = Symbols
data Model = Model
isTrueIn = undefined
isFalseIn = undefined
findPureSymbol = undefined
minus = undefined
including = undefined
findUnitClause = undefined

I think it's more a question of personal preference than right or wrong.
250 GB/day of logs with Graylog: The good, the bad and the ugly
There are 2 irksome AI memes in particular that I've seen repeatedly in HN comments. Even sillier, they contradict one another. The first is something like "That's not AI, it's 'just' ML." The second is almost the opposite (but just as misguided) and is something like "If you're not an ML expert talking about ML, then you're not talking about 'real' AI."

This Q&A counters both, and I found it refreshing.
>Function and Map are different concepts that should not be described together

Not in this context. Assuming you are using `map` in the CS sense, B is what is called the "image" of some_function (over the domain A).

In math, a function is a mapping.

Consider the type of `some_function`. In C like notation, it would be `foo some_function(goo x)`. Which indicates that some_function takes an arguement of type `goo` and returns a value of type `foo`. In other words, some_function maps Goo to Foo (where Goo and Foo represent the set of all values of type goo and foo).
I would say around 8, but then again, the goal was to use Kubernetes (which we do on GKE), so much of the time was spent configuring it, and we'd use at least some of that time even if we stayed on AWS's container service.

[EDIT] Plus I'm the technical founder, so enjoy this stuff, which means a lot of the work was done in my free time.
You're setting up a false dichotomy. You can find statically typed languages in-between Haskell and dynamic languages that are less demanding from the developer than Haskell is (my language of choice these days is Kotlin, which offers the best of both worlds in my opinion).
Ask HN: Where can I find a list of flagged HN submissions?
After a submission is flagged, it's removed from the main page. Can it be found again?

It would be instructive to see which attributes typically induce flagging by this community.

Sometimes it's tough to decide between "flagging this will maintain civility in our community" and "flagging this would be censorship". (Of course, both might be true...)

Having access to the list of flagged posts would let us figure out which way the community leans, and assess whether we're getting it right.
To be noted: this was from May 13, 2016 and discusses Swift 2.x

Swift 3 was released September 13, 2016.
Direct3D 9 Over Vulkan Hits New Milestone
my ee courses in dsp were heavy with matlab/octave
Yup, both leverage partners where their offerings are not present.
I'd imagine they use stereo cameras. AFAIK though, their main sensor is radar.
My reason:

Math is boring. Cryptic math is... cryptic.

CS is interesting because it's about logical expression. You have an idea, now figure out the steps to make that become reality. Sure, some higher maths may be required along the way, but almost always as an ancillary task.
Wasn't it Norm Macdonald who invented "fake news"?
Thanks for the update. The change appears to be relatively recent, and I'm not surprised being unaware :)
If you always require a short-term win, you will lose in the long-term. When the company is 100x the size it is today, the savings are quite substantial.