skysight-inc/HackerNews huggingface dataset:
Some doctors do that. Certainly not all do. Example: I went to see my GP recently, and as part of the conversation I brought up a drug he had me taking. I said I'd read up on it and noticed that it's considered highly addictive and not a very pleasant drug, and asked if there was any other option. He proceeded to rattle off a list of options and the implications of each, and said "what do you want to do?"

I said "let's try X for a few months and see how that works." He agreed that was a fine course of action.

Similar story: at a recent checkup, my cholesterol numbers had mysteriously shot up by a huge margin. He called and said I should double my dose of the statin blocker I'm on. Well, I don't even want to be ON a statin blocker, and I was doubtful about my cholesterol taking that big a jump for no reason. So I suggested it might be a bad test, or some kind of weird outlier, and suggested we wait a month and test it again. We did and my cholesterol was back to perfect. So no change in the statin dosage.

I can also ask him to order specific tests for things I'm interested in (c-reactive protein for example, or the NMR LipoScience lipid test) and he's fine with doing that.

Now maybe my doctor is really weird in this regard, but he really treats me as pretty much a peer when it comes to decisions concerning my health. Not "peer" in the sense that obviously I'm not a doctor, but as in it's my health, and he acknowledges that it's my health and my decisions, which I can make with his consultation.
How much risk are "customers" taking when they buy it through Kickstarter? If the product is never delivered, will they get their money back?
nginx is one of those things that requires its own mentality to really get. Like SQL's set logic or CSS's forward-looking selectors, it's not quite like traditional imperative, control flow-based programming. But once you start thinking the way it wants you to think, there are benefits.

I'm in the middle of a project built entirely in nginx and it's astoundingly performant. The restrictions on what I can do in (mainline) nginx force me to think through how I structure the blocks and directives with better logic representative of a web server and not an application server, which is what I'm used to.

DigitalOcean has a decent tutorial on now nginx decides on server and location block [1]. And, related to ifIsEvil, this blog post [2] goes a little into explaining how nginx "traps" a request. If someone has better resources, I would appreciate them.

[1] https://www.digitalocean.com/community/tutorials/understandi...

[2] http://agentzh.blogspot.com/2011/03/how-nginx-location-if-wo...
Demeter – Security Group Management for AWS
Same here. Only differences I've hit are fonts and most of the time I can't get adb to work on OSX.
I wonder why Coca-Cola went with that ~supergenius~ idea instead of just minting their own "redeem for one Coca-Cola" vending machine tokens and selling rolls of 20 tokens for $1.50.

Then, if you need to raise prices to $0.08 each, you can raise the price of a roll to $1.60, or keep it at $1.50 and replace one of the regular tokens with a non-redeemable collectors' token. And you definitely wouldn't have to follow up with a request for an $0.0833333 coin, or a $0.0925 coin, or any other completely useless fractional denomination.
This is exactly what I meant. Most companies don't care about providing good documentation, and so when new people join the company and don't know what's going on they blame the platform or the package manager or something else.

There aren't very many good alternatives to writing good documentation.
I'd love it if you could share your story at http://submit.howiwork.xyz - this really interests lots of people (especially me!)
Are the hardware specs available somewhere? Is it possible I'm confusing this with an interface for launching EC2 instances at a premium disguised as being actual dedicated hardware?
Optimizely and the Dunning-Kruger Effect
This shouldn't be any faster than normal EC2.

(Edit: I may have misunderstood the comment. This will certainly have a faster interconnect to EC2 compared to a non-EC2 dedicated server.)
At 1:23 into the video, is that the DEATH STAR moving right to left?!
WordPress.com Gets a New Face and Joins the JavaScript Age
Great analysis (and interesting idea regarding large funds recently raised by accelerators, etc.).

However, if the implication is that this situation is even somewhat common--your analysis doesn't match the data.

If you look at Fenwick's VC Survey on Unicorn Financings[1], a paltry 5% involve participating preferred while even less (3%) involve multiple liquidation preferences.

Has OP identified a possible strategy to "fudge" one's way to a Unicorn valuation? You bet.

Are many companies using this strategy? Absolutely not.

[1] https://www.fenwick.com/publications/Pages/The-Terms-Behind-...
In Defense of Desperation
This particular certificate has no constraints, so if my understanding of x.509 is correct then it can be used for everything.

Of course if they had known better they probably would not have shipped it with the private key protected by such a obvious and weak password.
Never considered the sarcasm and social critique in that movie to be all that subtle. "Would you like to know more?" (https://www.youtube.com/watch?v=faFuaYA-daw). Loved the movie for it.

Could never get over how different the book felt though. No hint of what I liked so much in the movie. Basically the complete inverse message of the movie.

Don't think I've ever seen this kind of "same story, inverse message" between a book and a movie before.
> In February 2012, the Apache 2.4.x branch was released to the public. Although this latest release of Apache has added new multi-processing core modules and new proxy modules aimed at enhancing scalability and performance, it's too soon to tell if its performance, concurrency and resource utilization are now on par with, or better than, pure event-driven web servers.

When was this written? Is it still too soon to tell? 2.5 years seems like enough time to tell?
> Google has the resource to build their own text editor -- so why don't they do it?

Because they realize that reinventing the wheel for the sake of being 100% google-made is a pointless endeavor.

> It seems displeasing to have to work with 3rd party software in order to develop an Android app.

People work with third party apps all the time in the development of applications whether they are mobile, web or something else entirely.

>And this is not to say IntelliJ is a bad choice, but it would seem that they could rid away with any extraneous portions of the editor. It could also be optimized for Android development, unless that's what this "Android Studio" is.

How is it not optimized for android development. What, in your opinion would be an optimized version of the current IDE?
Someone asked me just a couple days ago, why don't use use Slack instead of IRC?

This. IRC just works. It's not a walled garden.
AGPL is designed for software like yours, however because of the legal hassle most companies will just avoid your software. As a comparison your competition both tornado and twisted use very permissive licenses without any issue.
I suspect most internal IRC nets just consist of a single server
Thanks! :-) All suggestions or criticisms are welcome!
Car Wreckers Melbourne – Melbourne Car Wreckers – Car Wreckers –  Car Wrecker
The technology of mathematics is not theorems. Think of theorems like unit tests: no matter what framework you use to get a result, it should match the corresponding results that other approaches have yielded.

The technology of mathematics is words. Words that define the barriers between abstract objects and their different properties. The set of words that a mathematician uses to approach a problem is where progress is made.

Until a computer can conceptualize a problem outside of the words used to describe it, it will never mimic this aspect of abstract thought.
I didn't downvote you, but I suspect the reason you were is because it smells like opportunistic astroturf.
Ask HN: How can I leverage my Open-Source contributions to further my career?
Have you abandoned vantage[1]? Why is this necessary? How is it different from vantage?

[1]: https://github.com/dthree/vantage
Here's why these articles are written:

http://imgur.com/zgYvwmj
It's low hanging fruit ... too good to pass up for the potential revenue, and they already have an idea how many people have searched for this info using Google as their starting point.
Slack has become business critical at many companies - quite possibly including TechCrunch (lots of media companies with distributed journalists use Slack to co-ordinate everything).
Meanwhile, I'm still waiting on Apple to keep their promise of open sourcing Swift "by the end of the year"
Could P=NP be undecidable?
Common Core standards don't require that, and that kind of bad teaching can happen with any set of standards. This is especially true if the teachers implementing the standards aren't well trained on the intent of and intended application of the standards, which may be particularly problematic for Common Core, not because of anything inherent in the standards, but because the standards are far from the models many teachers are used to. This more of a transitional issue than anything else.

There's also a packages curriculum problem, which is basically a combination of the problems that exist worth oligopoly educational material regardless of the standards plus the same kind of transitional problems that impact teaching, where people will don't understand the outside of the standards address developing materials to be used under the standards.
Answering myself:

> Uh, wasn't this called Vantage?

> Vantage was built upon what you now see as Vorpal. As Vantage evolved, it became apparent that its CLI base had great potential for use as a broader framework, and this did not need a lot of the overhead behind Vantage's client / server interaction. As a result, the CLI functionality was extracted out and Vorpal was born. Vorpal was made as slim as possible: 1/5th of Vantage's size.

> Vantage is now an extension of Vorpal and inherits all of its functionality, while building in rich client / server features. In other word's, it's Vorpal with wings.

https://github.com/dthree/vorpal/wiki/FAQ#uh-wasnt-this-call...
> Actually, IPoIB was a customer requirement. In the Myrinet era, people frequently built clusters with a very poor ethernet, and used IPoverMyrinet to access storage etc.

Interesting. I know we had a general-purpose cluster wired together with IPoIB just because it was the fastest option at the time. The production systems we were building would have IB for main communications using RDMA primitives in our middleware and a gigabit ethernet maintenance network for coordination and monitoring.

> I don't agree with you about the way the ecosystem is headed. Tightly-coupled problems are tightly-coupled, period. It's true that there is a lot of interest in more loosely-connected clusters, but that doesn't get rid of the existing market.

My point was more that MPI forces a greater degree of coupling to cluster architecture than some problems require, just because it was the way MPI was designed. Maybe I am overestimating the portion, but some number of problems solved in MPI prior to the development of more modern MapReduce frameworks was done simply because the problem needed the throughput of a cluster and MPI was the only way to use it without writing your own network middleware. That portion of the market is going away.
A netsplit is just as annoying
> Not only is it still used commercially much more so than php in new ventures

[citation needed]
You want decent performance but your budgeting process only allows you to use AWS.
DoorDash is looking for fresh funding at a $1B valuation
> This more of a transitional issue than anything else.

Which will likely cause the whole thing to fail, and then we'll be on to the next "revolutionary concept" in education, and the whole mess starts again. Meanwhile, educating real small humans suffers.
Every "new" webserver tries to fix apache configuration syntax mess, and imho they all fail. Yes, setting up a reverse proxy looks simpler with nginx or haproxy for that matter. Now when it comes to complex configurations they all suck, and I'm not sure a json/yaml config format is going to fix that as long as webservers have such wide scopes (from serving static pages, to proxying traffic, authorizing, authenticating, encrypting...). At least apache is very modular on this regard and some credit should be given to it having survived and evolved along with all the newer options.
> your credit is pulled multiple times (making it harder to get a mortgage)

That's a myth. All mortgage credit queries within a 14 day window count as a single query. Lenders have not biased the system to penalise you for shopping for a good deal - they want to make offers to people who show good financial sense by doing that.
The simple answer is, because it's really, really difficult, for a very limited benefit.

Getting people to Mars is hard. Keeping people alive on Mars is hard. Getting anything to work on Mars is hard. Manned settlement (which is pretty much the only point of sending wetware there), would require underground buildings. (No magnetosphere or atmosphere really to speak of in terms of protecting soft squishy humans from radiation means you need to bury your buildings under the regolith at the very least.

Beyond that, you've also got issues of power generation once you're there, consumables and resupply (growing food at scale means lots of buildings, which means some form of underground or buried village). Plus social issues involved with sending people in a small can into space for several months, landing them and enough stuff to keep them alive (because it's easier to land rovers than humans, generally speaking).

Beyond that there's more subtle issues - comms takes a while. If anything goes wrong, it's a very long way to send help. And that's before you work on getting people back.

You'd have to plan a multi-month mission at least to just send people there and back purposefully, or multi-year mission to make it really worthwhile.

And as it turns out, every single part of it is really difficult.
I spent an embarrassing amount of my life thinking epitome was 'epa tome' instead of 'a pit oh me'.
As someone who has been onboarded with docker like in the example, I can testify that this article is absurd. Docker increases complexity, not decreases. So much so that I question its value in most circumstances, and I will never on-board someone by throwing a docker image at them.
That is pretty hard for a human to parse and understand, though.

I think it could be reasonably easy to come up with a config file standard in XML or JSON, but that the format will have to rely on the strengths of each. Translating between the two just becomes an unreadable mess. If anything, if I were to write an application that allowed for either format, I would come up with a separate standard for each. More code/upkeep, but when the config files are intended for humans and to be hand-written, the focus should be on the user.
Oh man... reminds me of svn2git migration I did, an integration of gitolite, deploying on-prem AD, jenkins, JIRA, Confluence and all working together a couple years back. Getting the LDAP query just right is 90% of it.

These days:

- JIRA - for internal, complex project management because the plugins are really good

- Confluence - wiki w/ plugins

- Asana

- Slack/FlowDock - waay better than digging through HipChat/Campfire, IRC

- Hubot - integrations/CLI for everything

- jenkins - for private CI

- Github enterprise - or maybe Gitlab if one can get away with it

- Google Apps for Work / Zoho - because of AD integrations

PS: When deploying a portal page whether internally or for a client, a bespoke 404 page with either a game or random funny images is the way to go. Maybe a humans.txt too.
No, but ART's sole purpose is to run JVM translated programs. If you had another fm that run Java and other languages, you could argue that it is A JVM, but it is also a fm for what ever the language it runs.
Some pro/cons that would be interesting to discuss:

Other than licensing, an advantage I'm guessing is in reducing noisy neighbor affects. In our case, we use a lot of t2.micro instances, which seem to suffer from this.

A disadvantage is that the instances within a dedicated host might all go down together? (similar to if you put all your instances in us-east-1e and 1e goes down?, or of course if all of us-east goes down). Although I'm not sure a dedicated host itself is more likely to go down, while a datacenter remains operational. That's what I'm most interested in knowing - how do these fail?
IMO the Promise API in javascript is incomplete when it comes to error handling. If you use the native implementation, all you have for error handling is .catch, but that changes the result of the computation. It would be extremely convenient to have out of band onSuccess/Failure/Complete lifecycle callbacks which don't have return values, but do let you perform logging, etc. on the side without affecting the result. You wind up having to catch errors and re-throw them, which is error-prone and janky.
> How would one even quantify "human-friendly"?

Presumably in much the same manner as the Turing test, by showing it to humans (well, human mathematicians) and letting them judge it. In fact, one can imagine a Turing test for ATPs in which they have to produce proofs that will fool a referee. I can't decide whether I think that this would be harder (because who, including they themselves, knows how human mathematicians mentally explore their subject?), or easier (because of the much more specialised domain knowledge), than the full Turing test.
They also used them to share characters in the form of Miis and Mario Tennis Open characters and costumes. It was definitely an interesting way of implementing free DLC, though though it obviously didn't work with any paid stuff.
Nice and useful, I didn't know how many projects is using my project https://searchcode.com/?q=sorl.thumbnail
:) As you put, the primary reason is that Vorpal has a broader scope by itself, though Vantage is still very powerful.

Vorpal's already got a lot of cool use cases that wouldn't apply to Vantage, like this one:

https://www.npmjs.com/package/itunes-remote
Why WordPress Calypso is genius
Chris Lattner did comment less than a month ago they were still on track: https://www.reddit.com/r/swift/comments/3q2zqa/when_is_swift...

> We are still on track to open source Swift (including Linux support)
> "by the end of 2015" as promised, more details will come
> out when they can.
> -Chris
Apache supports SNI as well.
The simplest way is to put your contributions on your resume, and many (good) companies will actually ask you to explain what your contributions were. Many companies see active OS contributions to be a big plus.

So, you don't have actively leverage it, the companies that value your OS contributions will see it as a big plus point in your resume.

However, what you can do is leverage the power of the OS community to get jobs. This can be very useful when first starting out.
> Does anyone want to maintain old code as a job?

I actually think it's really fun. Of course, my attraction to engineering has always been to figuring out how things work and making them better. Unfortunately, most maintenance is just ticket-punching. I love the kind of maintenance that is "find a way to speed up the critical path in X" or "find the source of the intermittent crash in Y" rather than "change every occurrence of FONT_COLOR='#239a11' to '#239a33'".
An HTTP/1.0 server may recognize, and apply with its own semantics, non-standard headers. That flexibility is fairly key to the design of HTTP. So, Apache isn't wrong here.

OTOH, a client can't expect that behavior with out-of-band information about server capabilities. So using the Host heater with HTTP 1.0 requests is a risky proposition.
Also just for context remember that on linux forking and threads are basically the same thing so you can't just switch out one for the other and expect performance to change (it won't).
Calling "reflection" an ugly pattern is like calling onions a bad recipe. It's up to you how you intend to use it, but please, let's not be ridiculous and call it an "ugly pattern of other ecosystems."

Reflection doesn't get in the way of type safety (in fact, it's generally supported by it) and "ease of optimization" and "performance" is just BS. Ya, sure, sometimes reflection slows things down but web devs who use ruby for 90% of projects don't care about that. I'd love to hear you try and explain how reflection tarnishes "ease of optimization" and why it's so "ugly"
You missed SPIM as well! Despite being a bit long in the tooth, SPIM makes it really easy for students to step through MIPS assembly and get a good feel for how registers are mutated by the different instructions, etc.

I taught an architecture class using Patterson & Hennessy, and I wish I'd known about MIPSfpga at the time (maybe it didn't exist, it was a while ago). That would have definitely been helpful for the more eager students to dig deeper into how all this stuff works.
> A computer might "figure out" that it's easier to give us something that looks like what we're looking for instead of what we're actually looking for.

As a mathematician, that seems like my idea of a dystopia. Shiver.

On the other hand, assuming that it doesn't go off and develop sentience on its own, how would a computer figure out such a thing? Assuming that it is programmed in such a way that it only produces correct proofs of (possibly uninteresting) theorems, there'll be no way for it to produce those 'easier' deceptitheorems in order to be rewarded for doing so.
> Vision Engraving Systems

https://lwn.net/Articles/507651/

> A newcomer to the top 20 companies is Vision Engraving Systems, thanks to the Comedi development work from H. Hartley Sweeten. With his work, hopefully this subsystem can move out of the staging area of the kernel in a future release.

http://comedi.org/

> The Comedi project develops open-source drivers, tools, and libraries for data acquisition.

> Comedi is a collection of drivers for a variety of common data acquisition plug-in boards. The drivers are implemented as a core Linux kernel module providing common functionality and individual low-level driver modules.

> Comedilib is a user-space library that provides a developer-friendly interface to Comedi devices. Included in the Comedilib distribution is documentation, configuration and calibration utilities, and demonstration programs.

> Kcomedilib is a Linux kernel module (distributed with Comedi) that provides the same interface as Comedilib in kernel space, suitable for real-time tasks. It is effectively a "kernel library" for using Comedi from real-time tasks.
Unfortunately, expansion of the working home concept will be slowed substantially by the slow change of zoning laws, which are decided at a very low level and rather hard to overturn. This economic space needs an Uber or Airbnb to push those changes through. I don't know what their economic incentive would be, though.
If funding is not achieved, then backers get the money back. If funding is achieved, then it is up to the company to deliver the product as promised.

There have been some cases where the companies ran out of money before they could deliver on all or any of their promises.
Furthermore, writing ARM code in GNU Assembler is a fairly unpleasant experience, while writing MIPS code in GNU Assembler is literally an into to Computer Science course.
Kik's clever alternative to emoji stickers
Your condition `f(F) = 1` doesn't seem to do anything to distinguish your meta-theorem `F` from any other interesting theorem.
Yeah... um... you might do better with a bit more range in the professionals whom you allow to do your thinking for you...