skysight-inc/HackerNews huggingface dataset:
Thanks have passed your details on to our expert in this space.

For the public record this was mainly down to the problem of client reliability and migrating data live when there are 8,000 people hammering it with reads and writes. We went for a read/write through system and background synchronisation. The latter we had real reliability problems with and the upload performance wasn't great.

Also ROI didn't stack up in the end versus our SAN so we canned it.
Ya the example app. They have some really nice tips on User experience, but the code is dense. I need a few days to sit down and read through it.
I've been running a heavily customized WordPress with literally dozens of plugins since 2005 and that has most definitely not been my experience.
Indeed. For this I prioritized readable and JS-like output (and no runtime) over handling things exactly.
There's a different project doing it via a VM in JS: https://phpjs.hertzen.com/ and it handles most of the PHP test suite.

On the language level most stuff works well enough. However, the biggest blocker is impedance mismatch between PHP and JS environments, e.g. request-per-process vs shared server, `echo`, modules vs autoload & namespaces, etc. so even 100% accurate PHP execution is going to be doing odd things in the JS world.
Here is an interesting development contradicting edA-qa mort-ora-y's premise, AI Software Learns To Make AI Software: https://www.technologyreview.com/s/603381/ai-software-learns...
The true eye-opener for me was reading Number - The Language of Science by Tobias Dantzig. The philosophy part of math as an abstraction layer for what is observed or deducted was a nice touch.
On the other hand, things like exercise and learning a new language have pretty conclusively shown benefits when it comes to reducing symptoms of dementia and brain function loss. [0] [1]

If you'd like to improve your memory I suspect you'd be far better off studying the masters from Aristotle to Dominic O'Brien whose memory palace techniques seem incontrovertibly proven if you consider the techniques of the winners of the world memory championships. [2] [3]

Finally, meditation is not causally linked to higher levels of grey matter but the research seems promising [4]

(I tried to find decent links but being at work can't spend a significant portion of time on the post, these should be good starting points for anyone interested).

[0] - http://www.health.harvard.edu/blog/regular-exercise-changes-...
[1] - https://www.livescience.com/46048-learning-new-language-brai... (sorry for the ads, and I think it autoplays a video :( )
[2] - https://en.wikipedia.org/wiki/Art_of_memory
[3] - https://en.wikipedia.org/wiki/Dominic_O%27Brien
[4] - https://www.sciencedaily.com/releases/2015/02/150205142951.h...
Apple required/asked for Credit Card from me to upgrade a Desktop to (I think) Mavericks. It was an old computer that an employee of mine used to use. I logged in, had a look, saw an available upgrade and clicked to install it and - boom - please can we have your CC.

I do not like that.
In soviet Russia, severe ball plays you!
Exactly.
People pay real money and get nothing in exchange.

Plus, its amazing how people don't get how the system works.
The link and communication is always there and it is strong. I spent 12 years living/studying/working in the west, such experience is shared by millions of other Chinese in my generation. Most western media are freely accessible from China, e.g. BBC/CNN/Foxnews. Comparing today's China to eastern Europe back in the USSR days is not a good idea, e.g. did USSR encourage its youths to study in the west? China has been doing this in the last 39 years.

It is also questionable whether the so called non-free-speech environment is the same here - not judging what people can/can not do in those old USSR days as I don't know anything about it, but you can openly criticise CCP in China as long as the criticism is not coordinated, I have been doing that for ages, never got into any trouble.
A professor of mine who was quite bad at arithmetic used to say, "I'm a mathematician, not an arithmetician."
They're using computed tomography techniques, which is exactly the way I would expect.
It's worth mentioning on a post like this that there is no legal (or historical) basis for the idea that maximizing shareholder value is the primary concern of a corporation. See these two sources:

https://hbr.org/2010/04/the-myth-of-shareholder-capitalism

[pdf] http://scholarship.law.cornell.edu/cgi/viewcontent.cgi?artic...
Most of my customers are small business and they only update their website like 2-3 times per years. I built all of these websites with a static site generator and all text is extracted from a YAML/JSON files. If some customers requires editing the data themselves, I put a dead simple frontend on top of it for them.
I didn't read that comment as hate. The rise of Bit Coin is absolutely fueled by criminal activity.

Bitcoins utility in facilitating illegal drug purchases is possibly its greatest asset. As long as people want to buy drugs on the internet and use Bitcoin to do it, the BC value will rise.

Can you imagine if Bit Coin becomes the most popular way for people to buy prescription medications from other countries? It would be a necessary to people as Western Union is now.
I wonder how many programmers secretly work on their pet projects during work time.
They had a "Discover" section at the top of the stories which are essentially sponsored stories companies (like Buzzfeed) pay for.

Now they've changed them and it looks like sponsored snaps appear in between your friend's snaps when you view their stories.
Yeah I burned hours on powertop and TLP.
Yes, hopefully those sites will not be successful because they do not provide any value to consumers. I don't see how sites like that could get high rankings on search engines, though. Who actually wants to see those? Then again, I know nothing about SEO.
If it's working for you, no need to dig it. That's my principle.
Thanks for sharing madcaptenor! Very interesting to know this!
WebRTC in Safari First looks
How to Stop Short-Term Thinking at America’s Companies
Wow this is very impressive. I was thinking originally they were using the milk scanning technique - http://www.instructables.com/id/GotMesh-the-Most-Cheap-and-S...
Is it? Maybe some 3D content aware fill + deep learning and it's not so far away?

https://www.youtube.com/watch?v=QVCiknbQ7KM
They address this in the paper, but from the opposite angle (ho):

It should be noted that our dipping scheme assumes that the
object has no vertical _caps_ in any orientation. A cap is a vertical
cavity that forms a vessel, in which water can be accumulated if
the object is elevated vertically and air can be trapped, generating
air pockets when the object is dipped in the opposite orientation.
Most caps, if they exist, would be small and would have a minor
effect akin to noise on the dip transform. Nevertheless, caps can be
detected by dipping and then lifting back the object with the liquid
trapped in the cap, yielding two different water levels. Flipping the
object vertically allows detecting air pockets as they become caps.
When I go thru Netflix UK, their catalogue listings would make me think they have something for Hitler. I mean, sure he had great negative impact n the UK, but it seems overboard. Or maybe it's me overreacting. I mean, seems so obsessive.
I bet you'll find that ppl will rip out the chip and return just that, unless there's a human checking the returns.
Old Masters and Young Geniuses: The Two Life Cycles of Artistic Creativity (by David Galenson)

Influential to someone whose practices and path to success in engineering doesn't follow the normal pattern but is still valid. (At least it was influential to me.)
Lms WordPress elearning theme
Volatility isn't particularly an issue with the store of value function of money; it is a problem for the medium of exchange, and, even moreso, unit of account functions. Those latter two functions are what distinguishes money/currency from any other durable asset.
You're agreeing with him.

Gold and tulips are commodity currencies, they have value outside of their uses as a currency.

The dollar and bitcoin are not commodity currencies, i.e., they have no value or use outside of their use as currencies.

Whether bitcoin can be called a 'fiat' currency is debatable because it's not a currency "by fiat", though "fiat" currency has come to mean a non-commodity currency.
systemd's session killing stuff will happily kill anything that's been daemonised by the standard approach :(
There is no "better" or "worse". The S&P500 is less volatile than Bitcoin, the flip side of that is that historically Bitcoin has appreciated relative to the S&P 500.

Bitcoins are far more practical than an S&P500 ETF. For instance, I can carry bitcoins across a border, whereas if you want to move shares across a border it will involve a lot of paperwork -- if you are a US citizen it may be impossible due to FATCA.
That is an incorrect analogy, because that claim would be about enhancing performance for peak performers.

This study shows that there is no basis for the claim that you can enhance performance of normal/healthy performers.

The researchers state the have insufficient evidence to determine the effect on low/unhealthy performers.
There are now several competing nice services, that give you and your customer a UI to edit your static site with a webtool.

https://cloudcannon.com / https://forestry.io/ / https://www.siteleaf.com/

With all of them you can set up nice content type templates and get your client to put structured content.

edit: formatting
> Having a period does not require a visit to the doctor. Should I have brought in the bloody adult diapers as documentation?

I know, neither does being out cold with the flu for a week, but the person footing the bill is still reasonably entitled to some form of verification (regardless if this is the right approach in terms of good will or not) that you were unable to work (at least on location). Don't you agree?

I don't think your doctor would need verification for that note, diapers or otherwise. I assume it could be handled by phone.
There is no fox?
How could it help to create something that was created long before it? As I said in my original comment, the best you could say is that the GFW helped sustain it recently, which seems like it might be what you're actually trying to say here.
This is	interesting. It will take me some time to digest this paper.

As an aside: is there a terse description of Lean's type-theory? Also: Lean is Curry/Howard based, it's not an LCF-style architecture?
OT but I really like the website - do you mind if I ask who created it?
This post is a list of links you'll find on the natural Google searches. That's fine as a gateway drug, but you'll get more mileage out of frequenting one of the AR/VR subreddits or chats.

For things in the early stages, plugging yourself into the community is more valuable than consuming the right news or tutorials.
Home Cloud: User Management System for the Server (OpenSource / GitHub)
liteCloud (https://github.com/liteCloudRVA/liteCloud) – is a user management system for the server (Home Cloud). This application is suitable for everyone who has their own server and wants to structure their files on it, have easy access to their files from all devices, and write their own additional applications under liteCloud and use them.

More information is indicated in the post on the Medium (https://medium.com/@eorgiose/home-cloud-user-management-system-for-the-server-a36e699789fb).

1. GitHub repo (https://github.com/liteCloudRVA/liteCloud)

2. Imgur screens (http://imgur.com/a/1ownV)

3. Getting Started (https://github.com/liteCloudRVA/liteCloud#getting-started)

4. Information, Community (https://github.com/liteCloudRVA/liteCloud#information-community)

5. Types of applications in liteCloud (https://github.com/liteCloudRVA/liteCloud#types-of-applications-in-litecloud)

> The project is Open Source and gradually modified. The developers will be grateful for any contribution. RVA (https://github.com/rvasources) & eorgiose (https://github.com/eorgiose).
Microsoft to employ unused TV channels to offer rural broadband
But they all do. Are you going to avoid every single service that exists?

You are missing my point - I'm not saying it's fine. I'm saying you are missing your target.
Idris language encourages type-driven development, and can make guesses about holes in your program based on the types. I expect (and hope) we'll be seeing more of that in programming in the future. It's not a silver bullet, but should definitely help.
> it's about learning how to think

It's about learning a set of thinking skills, not how to think. Many people who know no math can think and function very well in their domains and many people who know lots of math function and think poorly outside of math.
> An AGI system should be able to write computer code based on vague specification. If it's intelligent it will write back clarifying questions.

What makes you think this approach is faster than just writing down the specification in your head? Is it because you assume the machine can guess important design decisions that you leave out?

To me, what you describe sounds like what every programmer does: enter code and look at what the compiler says. There's nothing qualitatively different from what you describe and a sufficiently powerful type system.

You have to somehow communicate a specification to a computer; this is programming. Languages might become more powerful, but you always want to be able to point to the place in the specification that implements your important feature, and not have some computer hopefully deduce it.

If you have some extremely important implementation note, would you rather specify it in exact terms via code, or give vague hints about it and depend on it being deduced by some AI compiler? What if you have hundreds of important implementation notes? It all ends up being code.
Ah, I generated a file once and now it is sitting on my disk drive instead of generating it every time. This also allows me to guarantee that I have the data that I have written so I can see if there's a specific set of corruption that happens. That's for example how I found that certain cards do 16GB loop.
Elon Musk Buys Back X.com from PayPal
I'd guess that what our ancestors did would be more akin to endurance, stamina, and agility training exercises than strength training exercises.
In 1955 Soviet Union was already built. The peak of Soviet period is 1965, which is pretty close.
Cities where women are having the best sex of their life
Then there's the fakes that modulo the address. Write beyond the end of the actual flash and you'll write over the start!
I think there is a some truth to software being hype driven and MS being uncool. Even when discussing new MS ~since Nadella, the fact you have to add that modifier makes it come off as forced.

However MS did everything to make people angry itself. Basically taking control of their PC, forcefully upgrading to Win10, pushing whatever updates they deem necessary, opting in to telemetry and making it (almost?) impossible to disable it, are all things Windows users experienced first hand.

I would not short MSFT just yet, but would not be surprised if your last prediction would come true.
Bicycle Racing in Space Could Be a Thing
Also * https://datocms.com * https://prismic.io/ * https://www.contentful.com/
> The users control both comments and links.

That's just wrong. The moderators on both subs are actively curating the front stories and removing 'duplicates'. I don't care about TheDonald as they are not a pre-set sub nor proclaiming neutrality. But you can't be seriously claiming that the 16 out of 25 front page stories of some variation of 'DT colluded with Russia' on /r/politics are unique newsworthy stories.
SegWit needs 95% to be activated, it's not even close.
Intel ME is effectively the result of a corporate alliance... large organizations want central control of the computers they give their employees regardless of what that employee, the computer's user, wants.
Sounds like an awesome place to work. I love autonomy and the ability to make my own plans and follow through with them. However, if it's a team effort then you definitely need buy in from everyone involved!
Exactly, as ordinary hacker i was always afraid of math. But after taking mathematical Analysis I realized how wonderful math is. These day i am in love with pure mathematics. It literally corrected my brain pipeline in so many ways and it continues to do it further and further.

I have thought about changing my major to pure mathematics too.
Learning "how to think" is just one part of it. The other part - the one that makes it much more difficult for many, if not most, people to learn math - especially the more abstract branches of it - is learning to think about math specifically. The reason is that mathematics creates its own universe of concepts and ideas, and this universe, all these notions are so different from what we have to deal with every day that learning them takes a lot of training, years of intensive experience dealing with mathematical structures of one kind or another, so it should come as no surprise that people have difficulty learning math.
At least it's not footage of the Liaoning.

In German newspapers often pictures of planes are plain wrong.
What are these symptoms an indication of?
That does seem like a good system.

> And my work contract states that I can take leave for any personal reason if needed for up to two days, but after that a doctor's note is required.

That might be the case in Sweden as well, I don't remember. Since I started contracting I've only been my own employer, and I'm the best boss I've ever had, so it hasn't been a problem.
So money should flows with no barriers but love/affection isn't allowed? I find your reasoning despicable.
The avherald article has a slightly more factual account of the event (with links to the ATC recording): https://avherald.com/h?article=4ab79f58
Thanks. That's what I get for posting on my phone :)
I think my mistake is in the crypto, so… stack exchange it is.
Entraide-YouTubers: Forum d'entraide YouTube
I don't think automating programming is the next big source of productivity but what should be the next big source of productivity instead is to make programming available to end users.

What we really lack is a modern VBA, simpler and less clunky than VBA, that end users can use to automate their most mundane tasks.

Unfortunately we are going the opposite way, with IT departments locking down ever more end users' machines and Microsoft / Google / Apple dumbing down their OS.
Down to 76% now, so pretty accurate. That with Chrome with several tabs, and a GPU/CPU heavy application called Slack/electron running.

Message to OP try 16.04.2 LTS (or a later version) and I think you'll find very different results with Asus laptops and Ubuntu.
And I wonder how many companies have benefited from the experience said programmers gained while working on pet projects...
If we're honest we have to admit that any difference between dev/test (where you're running tests) and prod (what you're deploying) can introduce subtle bugs either due to configuration errors or something like a missing dependency that you accidentally put in the development group but it was actually needed during production. I've seen this happen and to a large extent it's unavoidable unless you're actually able to run your integration tests with production environment settings (I don't know anyone who really does this.)

On one hand, having dev/test gems in the image should be innocuous, if I recall correctly bundler will not activate them when the environment is production. So other than some additional image size (is this really a problem?) it doesn't have any material effect. But I empathize with wanting to have a completely minimalist prod image, regardless of whether it has measurable benefit.

iron.io has for quite some time advocated having two parallel base images, one dev which has the build tools, and then copying the built production gems to a prod image. [1] If you do this, then the build tools (gcc and the like) are never in the docker image which is used for test or prod. But yes you still need test gems in an image that runs rspec/capybara/etc.

Maybe the real solution then is to take your prod image, and deploy it to some staging environment which then gets treated to a functional test suite. The approach would necessitate running the suite in one container, targeting the application running in another container however. (This is naturally how you would do it if you were using webdriver/selenium-based testing tools.)

[1] https://github.com/iron-io/dockers/tree/master/ruby
I have Dogecoin! It's actually worth a few hundred USD at current prices!

I mined some for shits and giggles years ago.
> OK, so I don't have much of an expectation for older plane models, but my interpretation of the above is that in newer models, autopilot need not disengage before landing and require manual intervention in order to align the plane with the correct track (barring bad weather or other unusual situations like bird collisions, etc.).

What is your definition of manual intervention? Pilots get updated instructions from the tower - the GPS path of the flight within 10 m is not programmed from the beginning due to weather issues, turbulence, traffic at the terminal ends, etc. The pilots hands may not be on the yoke, but they certainly are sending changes to the flight computer throughout the flight.

> So it seems clear in normal situations autopilot has plenty of positioning available to it, enough to find the runway and locate the plane on a display of some sort. That goes pretty clearly against what you said. Am I missing something?

Autopilot landings require a Cat III approach. There are currently no GPS (also known as GBAS for Ground Based Augmentation System) Cat III approaches approved in the US. The autopilot when landing is not using GPS for final approach. The pilot has pre-programmed in the waypoints labeled in the approach plate for the specific runway approach they've been told to take, and then they will switch over to the ILS approach.

The tone of many comments here (yours too) call out people who actually know how the system works and question them. The person you're trading comments with has said twice that GPS is not responsible for the autolanding portion of the flight. They even gave a summary of how instrument landing works - microwaves transmitted on specific frequencies in a specific pattern. You twice try to refute it. And then in your last paragraph you do exactly what he says the software engineers here do and you take offense to!

> sensible software engineers seem to regard aviation as a problem trivially susceptible of perfect solution

> And, as a computer scientist, what seems ridiculous to me is the idea that "Oh, but this system you just described won't work if there is a hurricane and there are turkeys getting rammed through our engines while the pilots are asleep and ATC happens to be on strike in the middle of a nuclear holocaust, so let's "be conservative" and never approve it because it's clearly going to make things worse on average".

Landing a big aircraft is not the easiest thing in the world, if only because the fate of hundreds of people rest in your hands. If you have a system that is designed to cut out the human component, it has to be all or nothing. As we learned from Asiana 214, when pilots have no actual practice doing something even in the absolute best of conditions and still cause loss of aircraft and life, how are they expected to perform when everything is going against them at the exact moment autolanding fails? Everything about flight training is preparing for the worst case, and practicing your skills over and over and over. Complacency can kill people when the margin of error between life and death is razor thin.