skysight-inc/HackerNews huggingface dataset:
"""Gödel’s masterpiece was his incompleteness theorem, which ranks in scientific folklore with Einstein’s relativity and Heisenberg’s uncertainty."""

nitmode: theorems (there's two). It's mentioned later in the article but a little odd that they don't just add the s and be done with it.

Great article though. Sidenote: I always thought a tragedy about Cantor would be fun to write.
Then you are not in functional programming place anymore, and you may want to use an imperative language.

I think it is John Hughes that said "The real question is not 'when should i use functional programming?' but 'when should i use imperative programming?' And the answer is 'When you need random access and complete control of your memory'"
Do you have an ETA for when the Windows version might be available for us to try?
At this rate, apple has to start paying me to use their phone. I am already bummed out due to the lack of a jail break. I feel so trapped without any option to customize.

The only reason why I use iphone 5s is due to the size. Just that. It's a pity that android does not come in small size.
I don't think everyone should be out to make the world a better place, some folks just want to earn a living which is totally respectable by itself.

I am saying I think people should avoid doing things which are clearly evil, especially when their only real motivation is money. You can make lots of money without being evil. I absolutely believe money-for-evil is a honey pot to identify and eliminate evil people.

You don't have to agree for it to be true.
The Brexit Plan
http://ebb.org/bkuhn/blog/2014/06/09/do-not-need-cla.html
Introducing Alert Costs
> Oh, you noticed that this 500 line copy paste function could be replaced by three 80 line functions? Sorry buddy, before you can change this you have to fill out this form in triplicate and what for a decision from three middle managers. Maybe we can fit this change in the next release, but don't get your hopes up.

Well, there is some merit to it, isn't there? You could make a mistake when splitting up that function, like with any other change you make.
If sub-domain ends in a hyphen then wild-card certificate is rejected
The design seems only suitable for low-speed operations. So for your use case, it might work.

But I see this as solving one problem and introducing three more, e.g. would this design be safe for cruising speed (>60km/h) or cornering, and how would the tyre wear out uniformly over time?

PS. Why the downvote? It was a genuine question.
Looking forward to using Servo one day, keep up the good work.

First thing I noticed almost immediately after launching is that everything breaks when dragging the window across monitors (that have different densities) - OS X. I dragged from my Macbook's display to an external monitor with a lower DPI and everything went huge and most of the UI got cut off. Dragging back to the Macbook display does not resolve the issue and instead introduces some weird redraw flickering with garbage data.

EDIT: Reported - https://github.com/servo/servo/issues/12009
I see a lot of pro-Erlang/Phoenix pushing in here, which is (as a polite reminder) an announcement about the rails framework. Not to say that one shouldn't, just that I think it's deviating from the main topic in hand. Interestingly, I wanted to find out what's the real reason behind these pushes towards Erlang/Phoenix and I realised the discussion is mostly around how you can save a few bucks worth $20-50 by opting for a faster programming language.

Any framework can be tuned to do anything. Rails right now is the only truly comprehensive framework with tight integrations to Coffee, LESS, CSS, etc. As someone who is writing his own framework in Scala, I learned this the hard way after under-estimating how much of work is already done for you in Rails.

If you run a business, then all this small talk shouldn't matter as much as how profitable you are. In the end, if your business failed because of your choice of framework (which usually reflects your philosophy), then you need to fix your business model and not the framework.

As a polite reminder, I'd like to link to an old comment of mine I made at the time of Rails 4.2:

https://news.ycombinator.com/item?id=8201244

Have a great weekend everyone!
I'm not qualified to say whether this is good advice from an individual's perspective, but from the point of view of a society that would like justice to be done this is just extraordinarily screwed up. How are the police going to solve crimes if nobody will talk to them?
Social Media faces some special challenges, Twitter is a great example. In the past year they've made various changes to their platform, in an effort to drive up their revenue. All of the changes they made were loathed by users, which reduces their membership and hurts their revenue.

This is my opinion, I might be wrong, but I think social media is not a viable business. I do not believe anyone has shown a way to monetize it yet. Facebook hasn't monetized social media, they've monetized Facebook, one fraction of which is a social media product, which makes no money.

Social media only exists, I believe, because the technical hurdles of setting up a personal blog were too great at one point. But it is becoming easier and cheaper. I think in the long term people will abandon corporate controlled products like Facebook and Twitter in favor of user controlled products like Wordpress. The 'following' system is the only feature which keeps corporate social media afloat, and RSS or something like it will always be around as a viable alternative.
Bad words follower
Those believes manufacture the circumstances that lead to atrocities. Enough of this chicken egg blame game
I suggest you get in touch with them, and ask:

http://www.stubhub.com/contact-us/
A revolution in recruitment -Chatbot
Why such an usage is "out of context"? [Not saying it isn't, but I'd like to see some proof. :-)]
The most amazing small towns ever in Europe
Looking at https://en.wikipedia.org/wiki/List_of_countries_by_traffic-r..., India has 16.6 deaths per 100K inhabitants per year, which is close to what you stated.

Keep in mind, you're just below the world average (17) at that value. So while Im sure Indian roads are as bad as their reputation, there are worse.

I live in Thailand, on the same list (when sorted by deaths by 100K inhabitants), we're #2 (right behind Libya), with 36.2; the deaths per year for here was 24K, based on a population of just 65 million.

My point is, I know what it's like to drive on dangerous roads, and I still dispute your claim that driving is either boring or dangerous.

Even driving across the Eyre highway from Adelaide to Perth (~2700km), part of which is the '90 mile straight' - a section of road with 0 bends for 145km - is something I can look back and be glad I've done it.

If you personally don't enjoy driving, or feel unsafe driving, you personally can take actions based on that, such as taking a bus or taxi, or car pooling etc.

But don't somehow think that because your homeland has a reputation for bad roads, and America has apparently boring roads, that no one else on the planet enjoys driving.
I came across this while building the ASP.NET Core Library and Framework Support matrix (https://anclafs.com).

One of the contributors has a hyphen suffix on their GitHub name so their pages site has that as a sub-domain. The *.github.io cert is rejected in Firefox.

Try https://ah-.github.io/rdkafka-dotnet versus http://ah-.github.io/rdkafka-dotnet in FF47. Obviously a pain if you have the HTTPS everywhere add-on.
Passenger author here. Phusion is excited about the Rails 5.0 release! Rails is one of the most productive web frameworks out there, and 5.0 just makes it even better.

We have release various Passenger updates to ensure that Passenger plays well with Rails 5, Action Cable etc:

https://blog.phusion.nl/2016/02/18/passenger-5-0-25/

https://www.phusionpassenger.com/library/config/nginx/action...

However we found a bug in Action Cable yesterday which may cause issues with app servers such as Passenger and Puma. Unfortunately the fix didn't make it into 1.0. I recommend anybody who uses Action Cable to apply our patch locally for now: https://github.com/rails/rails/pull/25615
Most people think there are only 5 senses but you are missing the sense of balance from the vestibular complex of the inner ear. Spacial orientation is an important sense for animals.
The way society is presently arranged, military personnel are absolved of (a great deal of) their moral agency. They have surrendered it to a higher authority, to the state. You can see it experientially in the Milgram experiment. It's incredible more people don't find this troubling, it has me at a loss for words.
Fair enough, but the wordpress software itself can be installed on a private server. Hosting solutions are cheap as heck these days.
> "I feel like "trying to turn their life around" is code for doing the bare minimum to live in a civilized society. (Get a legal job, pay your taxes, take care of your kids, and don't break the law)"

For some people, that's a massive change compared to what they've experienced in the past. Those things may all seem easy to us, but imagine if you had the opposite habits and how difficult it could be to take the unfamiliar path towards civilised society.

Out of interest, do you feel the same about drug addicts and alcoholics who make an effort to break their addictions? Are they deserving of respect in your eyes?
I haven't noticed but I wonder if the complexity of making the infinite results pop into the page as you scroll is causing the difference. For me this feature alone is worth a mild slowdown in responsiveness. On Google you gave to click to get to results >10.
Correct. Which is strange, because both "intern" and "intra" mean as much as "internal". I never understood why "externational" isn't a word.
Why is the knife supposed to be concealed? What difference does that make?
It's extremely simple to set up a wordpress website. What is not simple is completely customizing a wordpress website. But you can't really do that with facebook _at all_. And the level of customization Facebook does offer is replicated in free Wordpress plugins. So they are comparable.

I suspect Wordpress appears more complicated because it has more buttons.
We're working on it. Keep an eye on http://soft-dev.org/events/vmss16/ over the coming days.
Hey guys, the Wikipedia article didn't teach BanzaiTokyo anything new -- can we start making sure every article is selected just for him from now on? Thanks.
Spain's GDP is not falling...
Yup. These articles much more than their focus on Godel and his fan club would do us all a favor to focus on -

How do people day to day deal with ambiguity, where the truth is uncertain or unknowable?

The default action always is - they choose the truth they want to be true. And this has long term consequences. They should develop self awareness that it is a chosen truth and feel a sense of responsibility for its consequences.

The example I given students when I teach where things worked out well, is Thomas Jefferson's - "We hold these truths to be self-evident, that all men are created equal".

We still know 240 years later there is nothing self-evident or truthful about equality. We don't know if it will ever be.

Jefferson knew that. Yet he made a choice about what he wanted the truth to be. We face similar choices everyday in life. Choose well.
...but why do you want to access it by index?

Since you refuse to be more specific, it sounds like you're just not willing to learn the language and the way problems are solved with it.

Expecting mutable C-type arrays in elixir/erlang is like expecting classes and lambdas in an assembly language. It's just not a good fit for what the language was designed to do.
A comparison also needs to include the fact that Autopilot is really only used on highway like streets, which are much safer than most other types of driving.
I don't begin to pretend to understand the delusions that people are citing as reasons for supporting a "work" culture. Are the people who believe this rhetoric blind to the destruction that is being caused to the Earth by billions of people needing to "make money to live"?
Poachers do not poach because they are too stupid to understand the value of the life they are taking. They are poaching because that's the only way to provide the resources their family needs to survive. The same is true with every type of destructive behavior humanity is practicing in response to economic pressures. Children in mines and sweatshops, farmers burning down rainforests, or fishermen exhausting the endless ocean's bounty.
People need access to basic resources in order to survive and prosper. They need food, water, shelter, healthcare and education. Our monetary economic system CANNOT provide this to everyone, it is built on the scarcity of money, and it distributes this scarcity efficiently through the demand/market system. Until society steps up to the plate and implements a system where these needs are met, we are effectively living in middle age serfdom!
"Civilization" is a society where we recognize the needs of that society, and implement systems to meet those needs. What we have today is a free-market slavery system. You are enslaved to the bank that issues your currency against the "work" you will provide in the future. Your National ID number is your bond number, and your countries credit-worthiness is dependant on your productivity, en masse. Your money is a debt note, owed to those banks, issued to you by your financial reserve system.
Most of the beneficial work performed by the participants of society goes unpaid. Parenting, teaching, volunteering, caring about and helping your friends and neighbors, not vandalizing public spaces, reporting crimes, speaking out about abuses of power and educating your family and friends about social issues.
These things are the best things we do, and they are priceless.
The jobs you get paid to do, are because no one would do them unless they needed the money to survive. Maybe they are the things that didn't need doing in the first place.
I want to suggest that people who believe in this imaginary money system remove their head from their anus and find out what a resource-based economic system looks like, and why it is superior to any type of system that could ever be built through coercion.
'Civil war' in immune system can fight disease
Another good argument is: having 5 passwords is not more secure than 1 really strong password.

I also think 2fa is ridiculous for 99% of applications. The widespread adoption we've seen is largely the result of developers trying to solve for user error, which as I stated in a previous comment is a waste of time and can never succeed (unless your goal is to find the flaws in your system).
From the article you linked:

> Turns out, the 2017 E-Class is just playing coy when it comes to self-driving capabilities. It is the first production car to receive an autonomous driving license in Nevada.

So the technical system (hardware+software) is as good as or better than a Model S, but Mercedes believe it is irresponsible to call that Autopilot and pretend like the car is fully autonomous, so they've put in restrictions like requiring some tiny driver input once every 60 seconds so it knows you're paying attention.
Yet another Privacy Oriented Search Engine: Oscobo https://oscobo.co.uk
Turning Java into jobs: how to master the coffee chat
UK firm that helped track MH370 will fit 'cloud black box' on Airbus jets
I did read them before making any posts. I apologize and I'll try to ensure my comments have substance.

I dont recall ever being 'uncivil'. My problem is usually being too kind, in fact.
Does anyone think if it might have second background related to this:
http://www.latinpost.com/articles/116806/20160226/brazils-ns...

and it could be just a nasty attack on US corporation that cooperates with NSA?
The 7 Office Chaos Makers
Ym... you're sorry for this and I which judges in my country had enough courage to do such thing.
Daaaamn that was fast. Keep up the good work!
The natural borders of Azure Cloud Queue scalability
> Embedded in the sense that you embed a browser in another application

Yes, this is it.
To my mind the big news is Turbolink, A simple tech to build SPA with the following roots :
- the robustness & ecosystem of the rails server side (great testing stack & battle tested backend)
- the lightweight approach of rails/javascript, which is opting out of jquery : meaning that SPAs won't have to include jQuery and the whole JS world (client side speed will be greatly enhanced)
- the overall simplicity (no huge javascript stack pilling angular, react, redux, flux, webpack etc...).

That's rad.
In the current state, when you can't relax and do your things while on autopilot, I would prefer to drive the car myself.
Haskell/HalVM EC2 Unikernel: One Step Haskell Unikernels
Not clear why did the car continue to travel after the impact. Didn't the systems detect the negative acceleration from the collision?
Bitcoin mining Website Hashocean is down. Hacked or scam?
Stop paying retail prices for everything. In a market based economy, we need everyone shopping, every week. But, in a resource based economy, we would build things to last longer, and design things that are more efficient. The cost is not the issue, it is the design of the product that is so wasteful. We need waste in this system, it is profitable. I'm sure you"ll ignore me as some quack. Too bad (for you and me), because this is the main problem with our society. Try reading the book "The Best That Money Can't Buy", if you don't understand what I am talking about.
But he hasn't accepted responsibility. He continues to deny his involvement. And it's the rest of the world that did him wrong.
You don't really need to change that 500 lines of code with a shorter version on a rover trekking around at Mars.

But whatever you do change, you really want to make sure it is worth the risk, screwing that up has greater consequences than asking someone to restart the web server.
I do not pay for subscription models. I am happy to buy a standalone product every few years, but not subscriptions which can go badly wrong if you have dodgy connections
As a counterpoint, I've been off on a sabbatical for 4 months now, and I wasn't sure exactly what I was going to do.

I honestly thought that I would be bored and craving work at this point. But it turns out that I have enough open source ideas that 3 months can fly by with pleasure, and I extended my sabbatical for another few months.

I also have neighbors who I'm friends with, which helps tremendously. And I get to go to all the nice places in SF during the daytime, when it's not crowded.

I agree it's good to take a break from your job, but for me that meant working on stuff I've wanted to work on for YEARS.

I don't think you'll ever get sick of 8 hours of sleep :) That really helps the brain, and mental health. (Although I always got of 8 hours of sleep, even while working)

Honestly, most of your friends and family are probably all working and busy with their own stuff. You can hang out with them a little more, but it's not like you'll ever go from hanging out once a week to hanging out every day. And at least to me, travelling is boring if you don't know anyone there, or have any larger purpose. It feels like I'm constantly getting ripped off too.

Travelling feels like consumption; programming feels like creation. Consumption is only fun in the moment, IMO. The difficulty of creation provides some of the ups and downs that you need for an interesting mental life.

And exercising is harder on vacation for me... I end up getting antsy and uncomfortable because I'm not biking every day.

But yeah I think it is good to spend some time semi-retired and see if you can bear it!
softwareheritage is a good idea, and I'm heartened to see that they are collecting provenance information and restricting their collection to open source.

My enthusiasm for code search outside an environment like Google's internal environment is tempered, even for an archive which is only open source (unlike Github), because it facilitates some bad behavior in the wild and because its usefulness over simply having source available is questionable.

The tendency of users to copy-paste without regard to license leads to a lot of unethical and legally hazardous behavior. I need a fizzbuzz - great, here it is on my screen, why not just paste it in without checking the license or even adding an attribution? If I see it, it must be open source, and if it's open source I can do whatever I want. That is a behavioral problem when people find code in this bottom-up way instead of starting from relevant projects and working through properties like licensing to get down to code.

On the other hand, the productivity bonus of wholesale copy-paste is easy to overstate, since it comes so often without understanding of what is being pasted or what it will do in the context it is being pasted to, and results in a great amount of duplicated effort and failures to patch serious bugs. (That's aside from the whole argument that somehow it is okay for a project to have 150 versions of the same routine). Again, there is a strong advantage to finding code in a top-down way, based on understanding of its function.

Most of the perceived benefit of code search comes just from having readable source code available for relevant projects. These projects are not really discoverable from code search (how would I know what someone else will name the variable of interest?)

Most of what remains is copy-paste. Although copy-paste might be a LOC multiplier in typical corporate environments with poor review and bad incentives, that is not a good thing for quality.

There seem to be few unexploited technological productivity "multipliers" which are not within, say, the range of 0 to 1.5. They keep being promised, but they either don't materialize in general practice, or they do not have the promised benefits in general practice.
The England rugby team do a lot of work with the military and other organisations to look at how to develop leadership. After a win they spend a long time analysing how they played and what they, individually and collectively, could have done better. After a loss they have a much shorter washup. It might sound counter-intuitive but it is much easier to get people to say "if I had done this we could have scored even more points" after a win than admitting that they could have won except for something they did wrong.
Your comment might be read to imply that he shouldn't be exonerated unless proven innocent, but giving the benefit of the doubt I expect you're just wondering whether the evidence does in fact prove innocence, or whether it was simply shown not to prove guilt beyond a reasonable doubt (both of which should result in exoneration). I'm curious myself.
Sista: Speculative inlining, Smalltalk-style
Fix for parser https://github.com/servo/rust-url/pull/208
Ha ha... somebody took my comment from https://news.ycombinator.com/item?id=11892239 a bit too seriously.

There's no need to skew the data even with a few issues it's still a good place to work or make a start-up.
The things that got me were the mosquitoes, sunburn and lack of a decent cup of coffee. I hate tropical islands now.