skysight-inc/HackerNews huggingface dataset:
Medicine is probably the second best place after military where we can observe how greed and corruption are literally killing people.

I'm living in Russia and recently have been involved in medical devices market here. The local market for cardiology stents (little springs they insert non-surgically into your heart to remove artery clogging and prevent heart attack or stroke) has been long occupied by the three US companies. The Russian company I invested in, made their own stent design and launched a production factory in Western Siberia. Our prices are three to four times lower that prices for the same class of stents from the US competitors and the quality is the same or higher. We fought out 15% or the market for the last two years.

I have to say, that almost 99% of all stents in Russia are installed at the cost of the state medical insurance - every person in Russia is covered by this insurance, and that insurance is just sponsored by the state or local budget. The budget allocated to this kind of medical support is fixed, so if the yearly budget is 100M rubles (our local currency) and cost of a manipulation and a stent is 100K rubles then you can install stents in 1000 patients in one year. If the price goes down four-fold, then it will be 4000 patients. And this stent manipulation is a life saver in true sense of this word. So, basically with our stents we can save four times more people's lives, which on a scale of Russia would be tens of thousands of people.

Here enters the greed and corruption. One of the US companies approached one of the most powerful Russian oligarchs with good ties in the government. He lobbied a government decree stating that this US company will be single supplier for cardiology stents starting Jan, 2017. So, all hospitals and clinics are obliged to buy stents only from them, at the price they set. Tens of thousands of Russian people will die each year because of the greed and corruption - and we can't do much about it.
> I find it quite remarakable that Python is so popular with maths people, even though it's so horribly slow.

It's popular because of Numpy/Scipy, then the speed of native loops doesn't matter.
There's a lot of misinformation going on in the Reddit thread. These "Heroes" get better tools for flagging videos faster (among other things), but it's still just flagging. Every flag still gets reviewed by a human at YouTube, according to their documentation:

> YouTube staff review flagged videos 24 hours a day, seven days a week, and videos that violate our Community Guidelines are removed from YouTube. Videos that may not be appropriate for all younger audiences are age-restricted.

> Flagged videos are not automatically taken down by the flagging system. If a video doesn't violate our guidelines, no amount of flagging will change that, and the video will stay on the site. [0]

And that documentation is still true for the Hero program:

> As always, the policy team at YouTube makes the final determination of whether content should be removed. [1]

[0]: https://support.google.com/youtube/answer/2802027

[1]: https://support.google.com/youtube/answer/2803402
I thinks it's "all extent modern humans migrated in one wave", they also bumped uglies with a few other not so modern species along the way.

Personally I want to see more study into mungo man (https://en.wikipedia.org/wiki/Lake_Mungo_remains), that has some potential to upset things.
"This will fetch a 92MB framework containing a binary distribution of the Chromium content module".

Go needed a GUI, but this?
Because JavaScript has semantic types like List, Date, Number, String, Boolean, witch can easily be figured out by their context, like age is a number, name is a a string, married is a boolean, children is a list, born is a date, and adding type declarations are unnecessary, witch would only add extra cognitive load to the programmer. It's possible to be an productive JavaScript programmer without even knowing about types and how they are implemented.
If the programmer however makes a mistake, like concatenating name and age, it will be caught during runtime, manually testing, automatic testing, runtime testing, or real time static analysis, or all of these five.
Being able to concatenate and mix types like number and string is also a language feature that avoids a lot of boilerplate code.
Before getting too excited, realize this is for solar in Abu Dhabi, where umm...they get tons of sunlight as it were :) Though his other graph "predicts" that solar in more temperate climes will equal natural gas in "2020?" http://rameznaam.com/2015/08/10/how-cheap-can-solar-get-very...
* A database (transaction, lock managers, buffer/IO management, etc).

* An MVC web framework.

* A GUI validation library.

* A JavaScript UI library.

* An iteratee implementation.

* An Erlang-style actors library in another language.

* Implementing for-yield, async-await, etc on top of delimited continuations.

* Interpreters, typecheckers, code generators.

* Some of an ECMAScript implementation.

* Concurrent data structures: futures/promises, queues, etc.

* A simple roguelike game.
Or just subscribe.

(though private mode is the easiest way)
Reddit moderation is very dysfunctional, especially since a large part of the job is automated and the criteria for getting banned are largely unknown to the masses.
I cannot comment on hackability since I've only used it for a few months several years ago but it looks to be under active development [1].

https://git.enlightenment.org/core/enlightenment.git
When I added one to one of my project, the change was immediately detected.
Incentivized Mesh Networking Platform
> Abnegation, Amity, Candor, Dauntless, and Erudite.

She tried so hard for ABCDE, but couldn't find the word "Benevolence" ?
True that. Of the three programs I can see on my desktop right now (Chrome, WebStorm and Outlook,) none of them are even remotely trying to look consistent with the rest of the operating system. On the other hand, Office 2000 looks right at home on Windows 2000. Even though some controls were technically non-native, they still fit in because the 3D bevel was universal.
Plain Whitted-style ray tracing has a lot of shortcomings and in general doesn't look great compared with what people expect from modern graphics, but I don't think it's fair to say that ray tracing is "just a hack". Global illumination methods such as path tracing, Metropolis light transport, and photon mapping are much more accurate and are all fundamentally based on ray tracing. (Radiosity is not, but then radiosity is tremendously slow and doesn't handle non-diffuse surfaces.)

My goal is real-time rendering. I've met with some success; it's definitely nowhere close to the fastest ray tracers around, but I can manage to pull off around 30 fps on a well-behaved static scene with maybe a few tens of thousands of triangles at 720x480 on a dual-socket broadwell Xeon setup with 24 cores. This means that it's fast enough to make simple interactive simulations and/or games, which is what I mostly care about.

Ray tracing has a lot of advantages when it comes to building applications. I can define by own geometric primitives that are represented by compact data structures. I can do CSG. I can create "portals" that teleport any ray that hits them to another part of the scene and use that to build scenes that violate conventional geometry. I can trace rays to do visibility calculations, collision detection, and to tell me what I just clicked on. I can even click on the reflection of a thing and still be able to identify the object. There may be ways to do some of these things in scanline renderers, but I find it satisfying to be able to do them purely in software with a relatively simple codebase.

I don't have the CPU resources or the skill at optimization to attempt global illumination in real time, but there are other projects that are working on that sort of thing. I have done non-real-time photon mapping before in an earlier incarnation of my ray-tracer; maybe I'll port that forward some day.

(In case anyone is curious, my ray-tracer minus a lot of changes I've made in the last month or so and haven't bothered to push yet can be found here: https://github.com/jimsnow/glome)
> Scientists identify 4 basic heights: super tall, tall, short, and very short

One of the big problems with bucketing is that personality is almost certainly continuous and probably gaussian as opposed to bimodal.
Big Problems Big Thinkers Episode 2: Financial Crisis [video]
Sorry, I can't magically fix all the mobile device screens of the world so they will start displaying images in a gamma-correct way... The fact is, the owners of such devices will never see gamma correct images on their screens, at least until the manufacturers fix this. It sucks but I can't help there.

Anyway, I think you have bigger problems than gamma with those devices anyway (glare, reflections etc.), so that's probably the least of your concerns.
This really show that the catholic position is barely an improvement on the baptist creationists. Their only point of disagreement seems to be on the time line.
The whole "desktop widget / workspace" thing in KDE4 was a complete waste of time, like the "tabletization" that followed. It felt like they were chasing fashion, cranking out slow and half-broken me-too implementations of very debatable concepts. That's when they lost any hope of ever challenging in the mainstream market.

They're also cursed by the typical open-source churn, where they replace battle-tested programs with unstable "new shiny" just because nobody wants to maintain old code.
Statement hopefully obviated by seL4 Isabelle to/from C compiler.
Hence "not to be confused with PCREs", which most pseudo-regex implementations are based off of.
And if you want to use a WebGL engine with gamma correct rendering... https://playcanvas.com ;-)

http://developer.playcanvas.com/en/user-manual/designer/sett...
4 simplistic patterns, and one group of creative thoughtful people. I wonder how well "Unclassifiables" are represented among the most accomplished and powerful people in society.
A number of people expressed the need to edit large files. For the development of my own editor[0] I would be interested to know what kind of usage patterns most often occur. What are the most important operations? Do you search for some (regex) pattern? Do you go to some specific line n? Do you copy/paste large portions of the file around? Do you often edit binary files? If so what types and what kind of changes do you perform?

[0] https://github.com/martanne/vis
EncFS, sshfs, ext3, on the fly Amazon Drive, Google Drive reading etc. etc.
"Universal"-ness is just one dimension of health care costs. What about the malpractice liability environment in other countries, for example? What about the attitudes towards end-of-life medicine? What about medical tourism to America for advanced care? How much of the cost savings for universal health care is a result of saying no to procedures?

Insisting that moving to a single-payer system is the only solution is very one-dimensional thinking.

It can also be said that drug companies use Americans to make their profits and sell to other countries for the best they can get, we could well be paying for an unfair portion of the "real" cost and other countries are only doing better because we're paying the bill.

---

I'll switch to talking about something entirely different to expand on the last point. You'll often see people arguing about how the US has the highest military budget, higher than the next N countries combined.

The thing is, we're providing security for those next N countries, and the world as a whole. Many of those N countries are NATO allies who would have to spend a whole lot more if the US didn't. And also by making real war outside regional and civil conflicts impossible for the whole world with military dominance.

In other words, in an American military spending blackout, the game would change and everyone else would be spending a whole lot more. We couldn't simply reduce our defense spending to something comparable without significant consequences.
> students at my collage

In the arts program, I hope.
I'm from Poland, where we have 100% national healthcare, and it's literally illegal for people or companies to donate to politicians to do anything. Or fund their campaigns, or pay for their holidays, or whatever - politicians are straight up forbidden from taking money from companies/people no matter what reason. So basically, our healthcare system plays hardball with suppliers, basically saying that we can pay X, or we won't buy your product at all - because it simply can't afford to pay any more.
That does not in any remote way answer his question though.
This is a good idea, as is the Javascript one above.
similar to:

https://www.theguardian.com/science/2016/sep/21/cut-throat-a...
I swim. Often. No phone. No internet for 2 solid hours.

After that my mind is clear.
And I do not want to reach for a smartphone.

One great feature on this phone is the ultra energy saving feature. Basically turning it into a black and white display reminiscent of a Nokia 3310.

Notifications are turned down for everything.

My life is better. Walking the dog and looking at the scenery is feeling good.

I like to have my life back from the social internet blackhole.
That would be even worse - he knows the limits of the designs and chooses to ignore them anyways and publish anecdata.
The position doesn't matter, as gravity doesn't act along the surface of the Earth -- it only acts radially. So the work is only affected by the height above the ground (or radial distance from centre of the Earth if you prefer).

So if the person puts the weight on the floor where they picked it up from they will have done zero work on it. Your attempt at pedantry was misdirected -- I would've said that because of the change in density of the Earth's crust that technically the force of gravity does change and thus is not an entirely conservative force.

Also, I wasn't getting pedantic. I was quoting the definition of work, which I believe that GGP misunderstood.
"Easily approachable" doesn't mean I can just go ahead do it. It means I can see how one would start working on it, and in fact many people are.

In fact, I am currently working in a nanotech lab, so I am hopefully helping a bit ;)

None of the problems you linked to are things that need to take a hundred years to solve. It's probably more accurate to measure development barriers in R&D costs than years. At the very least, we could just reverse engineer biology.
I thought it was obvious, but I'm sure OP meant that if you have an accident, you can't shop for providers - an ambulance or a helicopter takes you to a hospital, and you wake up with a gigantic bill. Not exactly "voting with your wallet", is it?
Eddie Izzard points out that the French don't distinguish between monkeys and apes... and then goes on to suggest that the French translation for a line in Planet of the Apes must be interesting: "We are not monkeys! We are apes!"
Voting with your wallet is very short sighted. Some examples:

A manager replaces free coffee in the office with a paid vending machine to save expenses. Moral goes down. Production goes down.

A team member is fired because she has the worst production level of the team. What they did not know is that this team member was holding the team together.

So there are a lot of side effects to every decision. And therefore I think voting with your wallet is a bad idea.
"3.1.24 The health economics model assumes that people who receive adrenaline auto-injectors will be allocated two epinephrine pens (EpiPens) with an average shelf-life of 6 months. Each auto-inject EpiPen costs the NHS £28.77 (British national formulary 60). This equates to £115.08 per person per year."

https://www.nice.org.uk/guidance/cg116/resources/costing-rep...

From 2011 - but I can't imagine the cost has gone up by that much.
I think it's a bit unfair to compare Swift with hotspot jdk. Try Android? (don't get me wrong I'm a big fan of Java, I just want to see the real world comparison)
There are some discussion on Reddit: https://www.reddit.com/r/programming/comments/53thtt/zuul_2_...
But in this case it also works very well, I think. I know very few people willing to pay $70 for a text editor, but getting to try it out and verify that it's a really good text editor does change things somewhat.
Don't know about your teeth, but that sugar is pushing for diabetes. Drinking juice straight (not diluted with water) at 100+ kCal/cup rate, in quantity, is a bad idea
I think we're going to get better vision before we get hard AI. Just my two cents.

(Then again, I'm biased.)
In how much of the code are you actually applying those best practices?

Are you verifying interactions between all modules?

True formal verification checks everything, because anything unchecked shows up clearly as a baseless assumption (axiom).
I highly doubt you perceive light intensity radically differently to your fellow humans... :) Most likely your monitor is miscalibrated.

Try a few different gamma calibration images from other sources (Google Images -> "gamma calibration") and if they consistently indicate that your monitor is miscalibrated, then you have your answer.
Agreed. It would be nice if the Google guys could do something like Qt with Go, but more Go-ish and in pure Go so you can still easily cross-compile. I'd even settle for a faked native look using OpenGL.
I'm not seeing a collapse of the market, but I'd expect summertime A/C costs to be less than they would otherwise. Here in California, that's a solid win.
A Demo App of Zhihu Daily Based on MVP and RxJava and Retrofit2 and Dagger2
I wouldn't care about the size of the package. I do care about performance, and there ST blows Atom out of the water, especially with large files.
Picking your technology stack based on "what you prefer working with" rather than "what works best for the application you're building" is piling on technical debt before you've even started your project. That isn't saying Gallium is necessarily the wrong choice over Electron; it's saying you should evaluate them both and use the one best suited to what you're building, even if that means learning a new language.

(Obviously this is a ideological argument rather than a practical one because most projects don't have the budget for devs to do that much prep work like learning a new language, but practicality is boring. :) )
Right now, all tethered VR projects are arguably MS-dependent; there's no way to run those headsets on OS X or Linux, as far as I know. So it's an ecosystem thing.

And for sure, it seems that Microsoft is more interested in AR than VR. It's a big company, though. They get to do more than one thing at a time.
It appears the sarcasm was missed
iSpy, a new sophisticated commercial keylogger in the criminal underground
>> erase technical barriers by creating a virtual, map based infrastructure for easy deployment and management of mesh-networks (smart contract based) - enabling anyone to act as an ISP.
actually:

>> Just please consider making it free software for all of us
US city braces for unrest after police kill black man
My phone would be near-useless without data on - 100% of my messaging (like with my wife) is over data. I wouldn't get server alerts, urgent email etc. I'd rather disable voice/sms service than data service.

But I've also never had issues with overages. I use maybe 2-3 GB/mo, on a cheap MVNO plan where I have 6 GB/mo with rollover. Since I never use up the 6 GB, I effectively have 12 GB/mo in case something goes crazy or I need to tether.

When I tether I get super-paranoid though, since macOS has no concept of "this is an expensive connection" so it will happily download gigabytes of Photoshop updates. Little Snitch is useful for these occasions - just whitelist the software you need & trust (email, messaging, browser)
Another great thing about Abu Dhabi and solar is that they can use the extra solar power during the day to ramp up water desalination and store energy as clean water.
Like so many other things in the field of AI, general object recognition was the "holy grail" because it was assumed that it required AGI. Now we've figured out a way to do general object recognition without AGI.
I like the persistence at Trinity project. They are doing the project despite the initial backlash from upstream (like: it's nice that you're doing it but why would you???).
To enforce a minimum wage, you have to guarantee that people actually get paid at all. So in general, unless you're running a non-profit, you will have a really hard time legally with unpaid volunteers. If you don't mandate wages for employees, you have companies exploiting weaker people for their work, often under misleading pretenses.
Theoretically, just like they could prepare a broken version of iOS that disables security and push it to targeted users. In reality, such a software/infrastructure does not exist today, and we've been shown what happens when Apple is asked to write it.
Did you read the link? They were compensated (with free internet access) in return for which they had to undergo training, work for a set number of hours, fill in timecards, etc. It sounds like it was a part-time job in all but name.
for me, regex find and find-in-files is very important for analysing large codebases. Sublime is close to ideal for this (for me).
(Multi-line regexes also very useful).

Don't tend to copy large portions of files around, but goto-line is used fairly often and some kind of programatic interface (REPL-style) would also be good, similar to the Sublime console.

Plugins are also important for the long-tail features that are very niche.

...but... speed and lightness is also very important.... so don't use JS/CSS/HTML... please.
Not OP, but SSHFS is really nice. You can stand it up in basically one command, and tear it down similarly when you're done -- no need to worry about setting anything up on the server side as long as you have SSH access.
Bitcoin Price Analysis – Volatility in Sight
reddit moderation is more like the owner of a channel deleting videos or comments.
It's not anti-scientific at all. Looking for correlations to uncover causations in data is important, and it can certainly be the beginning in a scientific effort to build a model of the world (especially, I would argue but I guess this gets rather philosophical, when it's motivated by a belief in an underlying mechanic that drives the correlated observations, perhaps developed so fully as to be considered a 'hypothesis'). Finding natural patterns of associations in data is a totally reasonable starting point for finding a causation _when a causation exists_.

Feeding arbitrary sequences of samples into dbscan and deciding that because dbscan produces output, there is causation (or, that there is an underlying phenomena that can be captured in some type of model), is ridiculous. And there are tons and tons and tons of natural phenomena that will be happy to produce clumpable inputs all the time, with no underlying behavior (including noise).

I'm sure there are also tons of interesting models of human behavior that you can make out of some set of observations of human behavior via clustering. But just because you feed some data to an unsupervised learning algorithm and it discovers features doesn't imply that those features have any useful descriptive power to help us make sense of the natural world. THAT's anti-scientific thinking.
I can speak about Isabelle/HOL specifically only.

1) functional programming is a subset of mathematical proofs. Isabelle syntax is somewhat similar to what is offered in ML family of functional languages. Unlike functional languages, you can use more advanced constructs than bijections (can model superposition etc.) and it is easier to state things over sets.

2) imperative code is a subset to this too with added order of operations. Language is somewhat different though Isabelle has a module that has necessary proofs to verify imperative programs.