skysight-inc/HackerNews huggingface dataset:
When I was a kid my Mom used to tell me "if you can't say anything nice, then don't say anything at all."

While I usually follow her advice, I won't here: I don't like this article. Why be judgemental on someone's else's work and philosophy? Yeah, I am being judgemental here also.

It is a wide world of information technology and diversity is a healthy thing, even in the case of the FSF who 'wish' that the world would go their way and have less diversity. Yeah, I see the contradiction.

With their strident philosophy, I feel like the FSF does good work and I am grateful for their work.
We see about 15% of Slack connections failing at https://sameroom.io

As an aside, we highly recommend having a contingency plan with another chat system on hot-standby. Here's more: https://sameroom.io/blog/when-team-chat-goes-down-are-you-re...
Trimage (lossless) X-Platform Image Compressor
One thing to note is, if you have your own Windows disks (some organizations might have) or if you use Linux this might not really matter to you. I wish laptops and desktops were sold without Operating Systems by the major companies, outside of server space.
This is why IRC is superior.
> To power this tool, Google partnered with Zillow and LendingTree.

I hope Google isn't just pulling in LendingTree data and using their backend. I just moved 4 months ago, and thought I'd give LendingTree a try. I singed up, and the only real "offer" I received was from Quicken Loans, which I suspect was actually just a blanket offer/advertisement in the system. I also got a lot of bad credit-fixing "advice" that actually wouldn't help me at all - Get another (better) credit card! Take out a personal loan! Reconsolidate student loans! (when all mine were already consolidated at a low rate with EdFinancial). Overall, a bad experience that were clearly just ads/referrals that made me never want to use LendingTree again. Who knows what they have done with my personal and financial data.

In the end, I went with a local bank, and secured a mortgage with no hassles at a much lower rate than the only LendingTree "offer" (ad) for Quicken Loans gave me.

If you're shopping for a mortgage, just call a few local banks and credit unions. You will most likely get a much better deal there.
Google's relationship with the real estate industry has a history. At one point, you could see foreclosures on Google Maps. The real estate industry hated that, and Google took it out.
You right well be able to get a job but I am not sure how you would do on the immigration side when you are not married. I'm Irish and sadly it is quite a bureaucratic country, so without qualifications you could have quite a difficult time getting a work permit, so you might just have the same problem in reverse.

Now if you were a corporation, you would be welcomed with open arms and also given the lowest tax rate in Europe :-/
Maybe it is different in the West, but a "good" fire is one that burns through the undergrowth and only scorches healthy trees. I see them regularly here in the southeast.

The problem is that if you go without fire for too long, when it does finally burn it will be so hot that it'll burn up even healthy trees.

So, I am not an expert, but I can easily imagine that logging (and the side effects of logging) would have a beneficial effect, because there isn't as much fuel to burn, but that wouldn't be necessary if we'd had controlled burns all the time.

(NB that the linked opinion article claims that is not the case - but that's the logic.)
The Hacking of Hollywood
WordPress Calypso
It's definitely possible. JRebel for Android [1] has been available for quite some time now with none of the limitations on what kind of changes are supported. Will they get it stable? Time will tell.

[1] https://zeroturnaround.com/software/jrebel-for-android/
There ARE some HOAs that fine home owners for lacking green lawns. There's still the option of zero-scaping (covering your yard with gravel), but that is a big up-front investment.
Would be awesome if you had some sort of status page for all chat services.
It's not a gigaflop but a gigaflops and the flops part of it doesn't stand for a floating operation but floating operation per second.
Python 3.5 type hinting in PyCharm 5
We actually do, but it's way too ugly at the moment (raw JSON).

We plan on beautifying soon.
Free trade traps agrarian societies into eternal peasantry enforced by the WTO and clinging on to the Ricardian comparative advantage of nations.
Official announcement on the Android Dev blog: http://android-developers.blogspot.com/2015/11/android-studi...
The HTML Song (Drake – Hotline Bling Parody)
And if they start funding a huge basket of subprime stuff they will have all the funding they need to really soar their Alphabet internet balloons into the stratosphere.
What's the real world analogy to Slack being down? Locking your entire team out of the offices?

Since the start, at our company we've used Slack. We have never experienced an outage like this. Definitely a strange and uncomfortable feeling not having Slack available.
Apparently not many now, I haven't had the opportunity to test it with >1Gbit/s equipment. But for people who need network filtering at those bandwidths, usually there are other solutions that perform better on equal hardware.

This should get better soon as there's a lot of work being done in OpenBSD to make at least some parts of the network stack SMP capable.
Netflix Tech Blog: Creating Your Own EC2 Spot Market – Part 2
Right. Instead of stopping search spam, Google has figured out how to monetize it. Search for "credit card". Instead of spammy sites being at the top of the search results, you get Google's own spammy ads.

Ten years ago, there was a Web Spam Squashing Summit.[1] Google was a sponsor. The next year, Google was a sponsor of Search Engine Strategies, the web spammer convention. That was the moment Google turned to the dark side.

[1] http://www.sifry.com/alerts/2005/02/web-spam-squashing-summi...
Quizlet raises $12m from USV and Costanoa after bootstrapping for 10 years
If anyone has enough information on borrowers to properly price the risk, it's Google. Far more information than any traditional lender or mortgage broker is going to have.
> Why should any exceptions not be checked?

Because there are exceptions you can't do anything about (e.g. OutOfMemoryException) and exceptions that you don't know what to do with (e.g. an NPE where you didn't expect it).

NPE is the poster child for an unchecked exception: if you know your code is throwing an NPE here, just fix it instead of catching the NPE.
Engage Website Visitors with Personalized Video Using Pure Chat's Widget
It's not just about the JSX part. That's a piece of the larger problem: The fact that the HTML & CSS are being built up in JavaScript at all. This troubles me at a deep level, and no matter the approach you use, it won't likely be portable to another framework.

Templates using a "handlebars" syntax are pretty portable with minor tweaks, in general.
Depends on what you mean by that, I guess. There is no such thing as software engineering. If there is software that can do what you want it to do, just use it. You don't need to build it again, like you'd have to do with a bridge.

I am currently developing something very new, and the road to where I want to go is plastered with new concepts I invented. Half of what I need to do is inventing new mathematics as well (in the form of making up new definitions, theorems, and proofs of these theorems) so that I know what exactly my software is doing.

Will a computer one day be able to do what I am doing? I definitely hope so. In fact I'd love to have a computer at my side right now that could prove this freaking theorem I am working on right now. I am pretty sure it is true, but I will need 2 or 3 more days until I am really sure. It would be nice if a computer could tell me in a second if it is true (or not), together with a proof.
You can always enumerate all theorems (i.e. all provable sentences of formal logic) by systematically applying rules of inference to axioms and previously obtained theorems. You only need axioms to be recursively enumerable. Though most theorems obtained this way are going to be dull tautologies like "every even number is even"; the hard part here is finding out which theorems are interesting. And it's prohibitively expensive computationally; in fact, it needs infinite memory to store all the previously obtained sentences.
Wow there's definitely material here for a board game - play the Socialists, the Catholics or the Liberals, vie for power, influence and wealth! Build your 'pillar' by coalescing local power into regional influence!
But they don't "have to" justify anything. They aren't forced to come up with any explanation, and "I just don't want to" is roughly 0 effort.
> What's the definition of "fixed" and "broken" you're implicitly using in your argument?

Functionally according to its function. One's digestive organs are meant to digest; one's reproductive organs are meant to reproduce. Reproductive organs which can't reproduce are broken: fixing ones which are broken is indeed healthcare, while breaking ones which are fully-functioning is an elective procedure.
It's almost like the text editor wars.
Hi mraleph, if you're still reading this thread, how are you getting these result?

Is worrying about this for normal web apps just a micro-optimization or can you see instances where this would affect an application's speed significantly?
5 years ago Google had a very similar service, which was canceled in 2012. I wonder why they decided to resurrect it.
> I think one of the greatest difficulties in completely automated mathematics would be the discovery of mostly those things which are interesting.

But isn't 'interest' subjective?
IIRC this error message is throw when an AWS ELB is empty(in my experience). I'd imagine it could be thrown if all servers in the ELB are maxed out.
I also can't connect and status slack seems down.

What I saw was their twitter status :

> We’re having sporadic connectivity issues, and we’re investigating, and working as hard as we can to resolve them. Updates will follow!

[1] : https://twitter.com/SlackHQ/status/668879517922914304
Using the Device Camera in Your NativeScript Mobile App
My company is unaffected because we use MatterMost internally
are you... are you serious?
I haven't really used it myself, but there is RemObjects Elements (http://www.elementscompiler.com/elements/silver/).
(Bad) Hackers have Hollywood totally spooked
If you can't get to the status page, it's probably a good indication the service is down :)
This is a perfect response because it exemplifies the importance of relevance in what excites you.

If you don't play MC already or have no friends/family interested in the game, then a project like this would seem quite boring.
I'm pretty sure that both the topic and the story gratify the intellectual curiosity of quite a few good hackers, so the lines you quoted are the answer to your question. Certainly not all of us are interested in this, but that's true of nearly everything on the front page, so the standard can't be that tight.

Articles on divisive issues are often so tendentious that the threads inevitably become flamewars, so users have gotten in the habit of flagging them. That's ok in some cases, but we don't want it to become mechanical; the purpose should be to foster quality, not exclude topics. So it becomes important to keep an eye out for the exceptions. I think this was one.
Arch. Of course arch. Just like everybody else. Or rather, not like everybody else. That's the whole point of arch. The wiki is a godsend, the AUR is excellent, the system is simple, and all the distro-specific tooling is incredibly well designed, to the point that I can forgive adopting systemd as a default. Besides, you can always change it.

I also run i3 as my desktop interface, and hats off to those guys, it is amazing. You should check it out, if you're into tile-based window managers, and good design, without the horror of configuring dwm.
Agreed server side swift will be awesome. My only complaint is that JSON parsing is kind of a major pain. Libraries like Argo and SwiftyJSON help, but code can still get really verbose.
Oregon and California Move Towards Prescription-Free Birth Control Access
> there is a very wide range of balances that work and have worked in the modern developed world

Oh, absolutely.
Apparently you've never experienced repeated netsplits under DDoS.
>The ability to speak was clearly favored by evolution, and the
>same might be said of the ability to count from 1 to 10.

Actually: https://en.wikipedia.org/wiki/Pirah%C3%A3_language#Pirah.C3....
This is the type of question that quickly runs into problems wrt incompleteness, but there are a few key points that show that there are infinitely many theorems

For any given statement P and any given theorem T, P OR T is a theorem, meaning you can generate infinitely many theorems from one.

More worryingly, there are infinitely many theorems that are true but impossible to prove. From Gödel's first incompleteness theorem, we know at least one such theorem must exist. Any theorem of the form Unprovable AND TRUE can be proved only if you can prove the unprovable theorem.

From a more general perspective, it's worth remembering that theorems can always be described as a finitely-long string of symbols in some formal logic system, and so running out of theorems to try and prove is like running out of strings.
Cython would definitly be possible. It would probably work the same way the C quasiquoter does where it creates a function that accepts the scope and then executes the code. It would even be easier because it wouldn't need to do a first pass compile to get the missing names. I will try to work on this soon.
That's a great idea. "Belgium: The Board Game". Just be careful with the "Scandals & Corruption" expansion pack, it's pretty NSFW.
Software projects can be hard work, sometimes spanning decades. It's perfectly reasonable that a project should want to remain open, and not want companies to be able to make millions after contributing almost nothing to development.

The difference between LLVM and GCC is also not purely ideological. By LLVM's own comparison page [1], while licensing is a difference, there are far more significant advantages to LLVM such as the fact that it is easier to integrate with things and build new tools for.

And while it may be unfortunate if two similar, large projects emerge, is this really unique to open software? How many decades of pointless rework have occurred across dozens of projects due to the Microsoft Office file formats, for example? Something like that could have used a lot more GNU ideology in the beginning, frankly, and the world would have been a lot better off with a totally open document platform attached to a "viral" license.

[1] http://clang.llvm.org/comparison.html#gcc
> That said, I find strange the fact that so many corporations choose to support GNU/Linux over BSD in terms of driver development or funding, given that the BSD license is way more permissive. This was the reason Linux picked-up early on and became way more popular than BSD among hacker, but when corporations jumped-in, they didn’t choose BSD, they went with linux. I am not sure if this was a data-driven decision or it was just a matter of technical people in decision-making positions have a lot more sympathy for Linux than BSD.

Linux was already showing a bit better momentum by the time corporations starting contributing.

Also I suspect some of it came down to legacy Unix vendors (IBM, HP, SGI, Sun etc) deciding that if they were going to contribute to open source projects, GPL was actually preferable to BSD. IBM didn't want their contributions ending up in Solaris and Sun didn't theirs ending up in AIX etc. Maybe the same with competing hardware vendors and drivers too.
I agree with you only in my case I was 35. Now, I'm in my early 40s with 3 kids, one as young as 2. I wish I had my kids when I was younger because who knows how many healthy years I'll have to spend with them. I think often how I'll be in my 70's when my 2 year old is 30.
My mother says a specialist is someone who knows more and more about less and less until they know absolutely everything about nothing, and a generalist is someone who knows less and less about more and more until they know absolutely nothing about everything.
Can you actually do that? I was under the impression that the kernel driver root certs aren't under user control, and you basically have to boot your Windows in debug mode to run an unsigned driver. Surely people would just self-sign instead if that was possible.
The UK mortgage comparison tool was launched in December 2012¹. Possibly the market for comparison tools is more developed in the UK — there are high-budget advertising campaigns from comparison websites encouraging people to switch energy provider, ISP, insurance etc.

The service isn't run by Google: "Google Compare, the trading name of BeatThatQuote.com Limited..." ²

² https://www.google.co.uk/compare/mortgage/qs

¹ http://www.which.co.uk/news/2012/12/google-launches-mortgage...
The Architecture of Open Source Applications: Nginx
If you write a AWS-native service that uses S3 as a back end (a very reasonable thing to do), it may create many small files in S3. It would be unreasonable to incur the costs to retrieve them and tar them up, and it also does not make cents to "click the box" to have them archived to glacier.
I was considering linking to the README (the index of the readthedocs page) but I wasn't sure if that would highlight the C inlining as much as I wanted. To summarize from the readme: After `pip install`ing the package, you can run quasiquoted code by including `# coding: quasiquotes` and then running under the normal CPython interpreter.
Spherical Trigonometry, Circle Packing, and Lead Generation – A Journey
Another Denisovan from Denisova Cave
Lets not pretend these choices don't affect other people. It affects everyone when someone does or does not decide to reproduce. It is meaningful.
I found this to be quite insightful. Is there a school of thought or further literature on this view?
Ironically, everyone at our company is heads down and working uninterruptedly. Productivity seems to have gone up without the interruptions!
I'm getting SSL errors from httpie:

http: error: SSLError: hostname 'status.slack.com' doesn't match either of '2015-06-25.dev.slack.com', 'slack.com', 'slack-files.com', 'slack-redir.com', 'slack-redir.net', 'dev.slack.com', '.dev.slack.com', '.enterprise.dev.slack.com', 'dev.slack-files.com', 'dev.slack-redir.com', 'dev.slack-redir.net'
Ada was rejected as an implementation language for DoD projects by developers, so much so that the DoD reversed its Ada requirement.

Ada the language is awesome. In particular it requires you to be VERY specific about types, as well as things like pointer aliasing, but it also gave you enough flexibility to manage this complexity, in the form of generics and parameterized types akin to Standard ML's but in an imperative language. So why was it so universally loathed and detested?

Part of the reason is resistance to change. But another part -- a BIG part -- is shitty compilers. Before GNAT came along, Ada tooling was expensive and sucked balls. All vendors had to do was conform to the standard and they had the possibility of winning DoD contracts without having to compete on ease of use, performance, or non-bugginess.

So it is with Common Core. Common Core is a standard only and it may be a good one, but it's not going to solve the problem of curriculum authors shitting out bad curricula and passing it off in the school board simply because it "meets the standards". That's a structural problem and requires fundamental changes in how education is procured, distributed, and administered in the USA.
You're missing the point. It is for communication to your customers. Give them an outline of what is happening and an estimated eta to being back up.
They turned out to be a less than optimal way to publish a book.

http://www.wonder-tonic.com/books2barcodes/index.php
> It's also that later "remorse" about parenthood makes you considered a monster -- so most people would spin the experience as something amazing for that reason too.

"Remorse" about parenthood is more like "remorse" about having bought a Ferrari. People might curse the maintenance and expense, but push come to shove, few would actually give it back.
503 = at capacity, default response an ELB returns when all the servers in the ELB are OutOfService (or missing).
Also AWS's error code for no healthy nodes in elb.
I can't tell if you mean to imply that it's there to be served by them, or that it is there to serve "regulars".

I think he meant that USENET works best as a collaboration between users, whereas the users being complained about see it closer to visiting a restaurant where the other users are the waiters and they are the customer.
I found this document : https://github.com/kriskowal/q/tree/v1/design very helpful to understand how promises work behind the scene
Also liked being able to access the author's reasoning and the motivations behind his design decisions
Denny's actually makes a profit.
Elon Musk doesn't.
Almost won?

If you have to talk to the application over HTTP, then it's not your application: you don't control it, and you don't control the data it works on.

From my perspective, we're very close to losing the whole thing.
> I'm just in the process of cutting a clients hosting costs by about 80% by ditching AWS for a setup on managed servers...

And what are the additional long-term development/sysadmin costs of having to manage those servers and infrastructure?

And how did the client factor in the risk of being tied to you and your knowledge of this particular managed server setup?

And how did the client factor in the risk of being tied to a particular vendor's managed servers?

It may very well have still been the right decision for the client to move from cloud to managed servers.

However, my point is that if you solely base the cloud vs. managed decision on hosting costs, you are ignoring other real long-term costs and risks that are not as readily apparent, but can still have a significant impact in terms of upgrades, maintainability, downtime, availability, changes in personnel, etc.
They were experimenting with reverse auctions on software contracts, and the first contract went for $1. http://www.brendansudol.com/writing/18f-micropurchase/
I primarily wanted to note that I used 2^X notation in the math, in case it was confusing for folks. I used KB/MB/GB to be consistent with the language AWS uses on their S3 pricing page (https://aws.amazon.com/s3/pricing/).
How Do You Code? Are You Focused, Disperse, Stressed or Over-Achieving?
For the few people that managed to get to their status page it appears that they're also having problems there: https://pbs.twimg.com/media/CUhbPDOW4AA35Y-.png:large
Except when you have to manage it yourself and something breaks or the infrastructure you have to manage needs managing.
Well, you're right, but Google explicitly has said that "X for Android" is ok because they allow it for apps on Google Play (whereas naming your app "Android X" is forbidden and can get you banned).
According to John Sculley’s in the book Points of View a tribute to Alan Kay, Apple invested in Cray hardware in order to simulate what the computing power of a desktop 10 years ahead would be and what kind of possibilities it would offer.

In 1987, Apple also invested in a Cray XMP 48 super computer which enabled our engineers to experiment with what real time manipulation of multidimensional objects on a screen would look and feel like many years before such computational power would be available on general purpose personal computers.

You can buy the book or download a PDF of it for free here: http://vpri.org/pov/
Work from a virtual office...in space!