skysight-inc/HackerNews huggingface dataset:
Broadly, as others have highlighted, you appear to be mixing modes between internal algebra and external algebra. That's fine and in agreement with my argument: "nobody cares about using [categories] with [side effects], they merely want you to be explicit".

The only intensifying bit is that you need some kind of ambient category to build your notion of categories internally to and this one, by long tradition, is typically cartesian.

Differential equations are a great example, but I'm going to use them to again intensify my point instead of yours ;)

Differential equations clearly involve a vital component of state. However, it is benign in its usage. In particular, an enormous amount of work done in diffeq (from designing the models, to analyzing them, to solving them) is done statically either via algebraic manipulations of state free equations or via analyses such as, e.g., Laplace Transforms.

The point is that diffeq equations, by being explicit about state (e.g. external to it) enable many useful interpretations. If diffeq were truly about state alone then you would have no other choices---if I handed you a differential equation then the only thing you could do would be to observe it as it is now or press play and watch.

Clearly that's an important POV, but equally clearly it's not the only one.

So, if your argument boils down to the fact that there are many topics of study which have destructive internal algebras then, yes I agree wholeheartedly!

I just am emphasizing that you need a place to study them externally because it's damn powerful. This external place is, by mathematical convention and the seductive power of cartesian closure, usually side-effect free.

In particular, if you want to dive down into the internal algebra of a side-effective category then you have monads to do that with.

---

Complete inference in any interesting type system stronger than HM is probably undecidable. Personally I don't actually see that as such a big problem. Replacing complete inference is a compiler which will, in real time, tell you everything it knows about relevant names in scope which is pretty powerful. Not being able to ignore types entirely is actually a good thing.

---

And w.r.t. laws and the like, I disagree that TH is much of an answer, would rather suggest that "interpreters and compilers" are an ideal solution and essentially the best we can do while retaining constructivity, and suggest you look closer at the dependently typed languages if you want to learn more about law expression in that kind of tool.
Which is why, as a tech community, we should have attempted to come up with a better solution. A session identifier controlled by the client (Say, just a UUID and can store no data from the server) and with the associated UI to cleaning "logout" or "reset" a session with a website, may have alleviated privacy concerns without breaking the functionality we originally were looking to add to HTTP.

Yes, this would not have been able to be rolled out to everyone immediately, but neither is any other addition to JS, HTTP, HTML, CSS, &c. We should help build the future, not simply accommodate the past all the time.
> Most of those languages have made a spelling reform or two

This includes English! http://en.wikipedia.org/wiki/English-language_spelling_refor... covers several major successful (and unsuccessful) English spelling reform efforts since the 16th century.

The Atlantic article discusses the shenanigans of Belgian printers inserting unnecessary letters into words, changing e.g. "frend" to "friend". Spelling Reform 1 (SR1), a failed effort from the late '60s and '70s, would have addressed that and more.

Noah Webster -- of Merriam-Webster Dictionary fame -- spearheaded early American spelling reform. This is why American English writes "favorite" instead of "favourite", "center" instead of "centre", "catalog" instead of "catalogue", etc.
And Android saved us from an iOS only world.
aha must be a bad sign but I can "hear" half of them in my own voice :D
Latest LibreOffice Viewer for Android Improves Stability – Project Manager
Well, yes.. but the person giving you paper money in exchange for BTC will make their own exchange rate based on the capital risk incurred in transacting volatile goods, which is very different than transacting gold or jade figurines. Unless of course you meet a BTC collector who has no immediate plans on capitalizing on his investment.
Automated search and rescue, or really anything that needs a higher resolution search/delivery than overhead can provide in inhospitable areas.
Yeah, this is kind of a serious problem. People want to use popular, or at least well-advertised platforms. People also don't want to pay any money if they can help it. So we end up with advertising-funded spy-clouds and addiction-funded IAPs as dominant business models.

What I'd like to see, and hardly anyone is talking about, is the cooperative model for this. Servers run by a community of interest; paid staff to manage the things which really require central clearing (anti-spam and anti-abuse in particular) and develop the system; users paying on an ongoing basis and being given a voice and a vote in the way the system is run. Federation with similar systems.

Bits of this exist already, but only on a very small scale and with the political/organisational infrastructure - basically individuals running Minecraft servers and the like.

I suppose I could gather thousands of recruits for something like this if I said "blockchain" a lot, but in truth it's the opposite: a system that requires users to trust individual other humans.
It's available on Scribd: http://www.scribd.com/doc/111696461/How-To-Solve-It-By-Compu...
The IoT search engine
Yeah it'll be interesting to see how this plays out, but two things seem true:

1) Native apps were better than web apps because of native performance was better.

And as you say, we're seeing smart phones become mini PCs. I'm actually typing this on a PC I built years ago on which I still play the latest football and strategy games, but my girlfriend's smartphone has 1 gigabyte more RAM (3gb Nexus), twice as many cores at a similar speed and a 50% higher resolution, for a quick anecdotal example. I know it's apples and oranges technically but smartphones are becoming insanely powerful. And with the web evolving (things like GPU driven CSS animations being commonplace now) the majority of non-game apps are going to run just fine on PC-like hardware on phones in the next years with no performance difference from native. And with WebGL becoming the standard, one can say the same for many games now, too.

2) Native always had more access to the hardware. Things like the contact list, photos, file system, social accounts etc.

Here too we're seeing the web evolve, but we're also seeing hybrid frameworks like Cordova or Ionic become very sophisticated which allow plugins to deal with native features using web technologies. Of course this hybrid app still goes through the app store in which Apple/Google are all powerful. But even on the web we're seeing tons of integrations for the core functionality like accessing the camera.

I think 1) will be a no-brainer, native won't be much better than web. 2) will see a difference for quite some time, but here the difference is shrinking, too. Things like the camera or geolocation have been possible for quite some time.
These Resources Will Help You Master Ruby on Rails
Why Embracing Legacy Is Wise
As a further intensifying point, this is why Djikstra spent so long making sure he understood and communicating ALGOL and FORTRAN and the like so well. He wanted to explore new notations and needed to be absolutely clear how they worked.

This is similarly why Milner, Tofte, Harper, MacQueen completely specified the behavior of SML. [0]

[0] http://www.amazon.com/The-Definition-Standard-ML-Revised/dp/...
The BSDs doesn't ship with bash and their wordexp shelling out to /bin/sh doesn't suffer, so I don't see how this is a reason for the GPL.
I'm skeptical Mir is going to be a serious split, and even then it'll be Mir/Wayland - both of those will still run X.Org apps via shim-servers, same way Mac OS does.
Analyse Asia #16: Dim Sum and Startups in Hong Kong with Casey Lau
Is this a reasonable complaint? Why would you be browsing the play store from Android in a browser? If you try to open it in the Chrome browser, it just forces you to the play store app, which rather makes sense.

Every platform and browser requires support and attention, and in this case they chose not to support an edge case that really makes no sense, and simply causes usability issues (so how do you install an app from the Play Store in Firefox?). But cue the typical "don't be evil" sorts of comments.

EDIT: Wow, five downvotes within 2 minutes. The Google hate is strong in this case (and is probably a coordinated effort), where an app ignoring Android URL intents is used in a comically irrelevant fashion....don't be evil, hurr durr.

And the decline of HN continues.
I recommend to read this story by Charles Stross "A Tall Tail":
http://www.tor.com/stories/2012/07/a-tall-tail
Episode 16 synopsis: With Casey Lau (@casey_lau) from StartupsHK.com in this episode, he share with us the origins of the interesting nascent Hong Kong startup ecosystem and why Hong Kong is now a port of call for prominent investors out there. We discussed the culture, infrastructure & the type of start-ups (financial tech, logistics and ecommerce) that are exciting in the Hong Kong ecosystem. From the top 5 he has picked in 2014 to the hot exits in Hong Kong, we also discuss other notable companies such as 9GAG which are changing the landscape considerably. Casey also helps us to navigate the investors, the co-working spaces, the networking groups and the conferences which form part of the ever vibrant and active Hong Kong startup scene. Finally, we discuss the comparisons between Singapore and Hong Kong and the next port of call where Hong Kong startups will scale to.
Tinychart.co – create and export beautiful charts in minutes
Well recommendation is surely better than any resumes but unfortunately not everyone has some high connections and they must take the long road of making a good looking resume.
So why doesn't the website say anything about the part of wrapping it for Android/iOS? I'm just as confused as unwind.
Homeboy wants a job but lives in the States.
Can you link to particular proverbs?
No, didn't view it as condemnation at all. My response was due to a couple things. One, some people feel the restrictive diet punishes in that you may have to take away a favorite food. We did have to do that, but my wife had the time and patience to learn how to make alternatives that she ended up liking quite a bit.

Some people fear the diets because they are afraid of lacking nutrition. You do need to be aware of which diets may end up naturally being deficient in certain things, and you need to make an effort to include those things (like calcium or perhaps D in CF).

The biggest concern of mine when talking about diet is effort. Many people don't do it because 'it's too hard', and they don't want to spend that amount of time in the kitchen. Some allow a level of cheating ('one piece of pizza won't kill him/her'), which defeats the purpose of the diet entirely.

So the 'stress to the child/family' objection your doctor offered is the weakest of the usual objections, and if you really wanted to try diet your doctor likely wouldn't object.

In our case, daughter had diarrhea and loose stools for almost an entire year, every day. We started on SCD (Specific Carbohydrate Diet), which was originally designed for Crohn's or colitis patients I believe, and within a short time (weeks maybe?) she started being entirely regular.

We all (wife, daughter, me) did the early part of the diet together, so when we sat down she was eating what we were eating. First few days was basically broths, then it gradually introduces easy to digest foods (well cooked meats and certain vegetables). Her stomach has been fine ever since. We're not still on SCD, but we still eliminate several things as I mentioned before.

If you want more details on anything about my experience, my email is in my profile.
I've been messing with Eto.Forms recently. You define everything through code (or optionally in a JSON blob) rather than in a designer, and it tries to use native controls to display your design.

It's pretty solid and easy to use and I'm quite happy with it. If you want an exquisite, beautifully-designed OS X app then you should be looking into having separate frontends per platform anyway, but having tried Eto I find it fits my needs.

It's much better than I expected.
That's funny because my impression is the total opposite. The situation we are in now is the result of the disolution of traditional gender roles. When the norms were to marry young and marry forever, this problem did not exist.
> What I understood here, is that they were redundant systems, but running the same software, with the same bug present, so both went down.

a.k.a. "flailover"
At the end, I just imagined the robot dog running out into traffic.
Yes, probably OS X is a bit left aside nowadays.
For me, the problem with Tinder was the ease of saying "next!" as soon as you found the slightest flaw in your date. "Oh, she talked too much/little" "She didn't share my exact political opinions" etc. It was too easy to jump right back on Tinder and find another date for the next day. I keep going back to that show Next on MTV where as soon as the person found one thing they didn't like they'd yell "NEXT!" and they got a new date. This cheapens the dating process so much because you are so much less malleable. Great app for having fun though.
That's a shame. I love Firefox mobile and use it pretty much exclusively, so this just means I'll spend less time browsing the Play Store.
The Pirate Bay Domains Targeted in Legal Action
Why Google Will HAVE to Buy Twitter
The Voice of the CISO: Interview with Robb Reck
> But cue the typical "don't be evil" sorts of comments.

If this were an isolated incident, I could see your point. But Google has been steadily closing off services and putting up walls over the past couple of years. It's becoming a trend, and not a good one. In a time when even Microsoft is accepting and supporting open source, Google is increasingly looking like the bad guy with every move like this.
Doesn't have anything to do with web. Other developers are just as bad with security, but it's not so visible.
I do like seeing Scala being used more.
Your bank has not done this for your benefit and it hasn't done it in a way that benefits you. They've done it to pass on (to you) the liability for any fraudulent activity.

From http://www.cl.cam.ac.uk/~sjm217/papers/fc09optimised.pdf:

"We reverse engineered the UK variant of card readers and smart cards and here provide the first public description of the protocol. We found numerous weaknesses that are due to design errors such as reusing authentication tokens, overloading data semantics, and failing to ensure freshness of responses. The overall strategic error was excessive optimisation. There are also policy implications."

"The move from signature to PIN for authorising point-of-sale transactions shifted liability from banks to customers; CAP introduces the same problem for online banking. It may also expose customers to physical harm."

Meanwhile, I switched to a bank that uses SMS as a second factor and only where it's necessary: I don't need to use an inconvenient calculator.
It remind me at these enemies from Half Life 2 ep2: https://www.youtube.com/watch?v=mT-tV7zOEPU
I saw big dog in action way back when those videos came out. But for some reason, I find the confidence and obvious dexterity of this thing way creepier. Not to mention the fact that big dog had a noisy ol' two stroke engine so I could hear it coming - this bad boy could sneak up on me if I was sleeping soundly enough...
It seems much less noisy than the Big Dog.
My Yosemite fails frequently resolving common domain names (.com). Has that something to do with .local domains and how could I fix it?
wow. hope --Maemo--, er... --Meego--, er... Tizen can gel, or I guess we can wait on Firefox OS to show up on a device that isn't terrible in the US.
Material Design Theme with Dragablz Tab Control WPF/XAML
Used Car Loan with Bad Credit
See also, lawsuit over similar: http://entertainment.ie/wtf/Chinese-man-divorces-and-sues-wi...
THE FUTURE OF NETWORKING: DECENTRALISATION
I don't think the use of LiDAR indicates any connection to the car group. You can pick up a Neato robot vacuum at Wal-Mart for $100 with a spinning LiDAR on top, and that's been on store shelves since before Google acquired their first self-driving car team. It's just the go-to sensor for mapping your surroundings in near-realtime.
The Quantified Self Movement Brings About the Quantified Worker Movement
ESR hasn't been a role model for anything related to programming since, like, 1998.
The opposite also applies: don't unplug a sleeping MBP from external displays.
Episode 3: Building Your Startup with PHP:  Geolocation and Google Places
Yes, the system going into "watching mode" with more than 151 Atomic Functions caused the illegal state.

It's interesting where in the flow the number of Atomic Functions was being checked against the theoretical maximum - surely that would be checked if you pressed "Select sectors" too, though perhaps with the correct higher limit rather than the incorrect limit.
Learn How to Prevent Eye Strain
why in god's name would you browse the play store in Firefox instead of the app?
He meant MacBook Pro.

That said, I still have an iBook G4 from 2004 in perfect operation for mail/web/music (though one button is missing).
I interpreted that to mean the top end of entry level
I think you might have misunderstand the Feynman Algorithm (alternative possibility, I misunderstood it).

My understanding of the Feynman Algorithm was that it was basically a joke by Gell-Mann. Gell-Mann was pointing out that no one else on earth (even himself, a Noble prize winner) could work the way Feynman did, the joke being that he only needed three steps: (1) Write down the problem. (2) Think real hard. (3) Write down the solution. It was about the absurd brilliance of Feynman, not intended as any sort of useful model to follow.
Working for me now (14.08 GMT).
Chinese grammar is pretty similar to English ex. tenses (which are much easier for an English speaker going to Chinese than a Chinese speaker going to English).

Tones are no big deal unless you think about them. Ever thought about your breathing? Tones are a bit like that. Just don't think about them, let the sentence flow.

Characters are the killer. Not hard, but slow and tedious. 2 per day... 5 per day... 10 per day... cram and 100 per day... but they're lost without constant reinforcement.

Then the thorn you were trying to ignore comes back, and idiomatic sentences (chengyu, based on 4 characters, 'long time no see' being of the form, or 'people mountain people sea' a super simple one) based on cultural or historical references come back, kick you to the curb again. Much as English idioms do.

And then speaking formally... different ball game. Pomp and circumstance rule.

But informal spoken Chinese is surprisingly easy to attain. Just get the accent down.
I'm not sure when that screenshot was taken but its probably an exaggeration.

Actual search results:
http://windows.microsoft.com/en-us/windows/search#q=facebook...

You do have a point about a free for all. There was this great blog post about a month ago about someone installing the top 10 free downloads from download.com and the mayhem that ensues.

http://www.howtogeek.com/198622/heres-what-happens-when-you-...
Heart of Earth's inner core revealed
Canon to Buy Axis
I think it is worth it to try this but it will likely go the way of Esperanto. English really is NOT especially challenging compared to other languages. And as anyone who travels in Europe will realize, there seems to be little problem with people learning it as a second language.
Unfortunately I only agree with a handful of these particular proverbs. The set of proverbs that I've found are truly useful to programmers would be "The Zen of Python" (open a Python session and run `import this`)

The Zen of Python:

Beautiful is better than ugly.
Explicit is better than implicit.
Simple is better than complex.
Complex is better than complicated.
Flat is better than nested.
Sparse is better than dense.
Readability counts.
Special cases aren't special enough to break the rules.
Although practicality beats purity.
Errors should never pass silently.
Unless explicitly silenced.
In the face of ambiguity, refuse the temptation to guess.
There should be one-- and preferably only one --obvious way to do it.
Although that way may not be obvious at first unless you're Dutch.
Now is better than never.
Although never is often better than *right* now.
If the implementation is hard to explain, it's a bad idea.
If the implementation is easy to explain, it may be a good idea.
Namespaces are one honking great idea -- let's do more of those!
...in this case they chose not to support an edge case that really makes no sense.

There's a difference between "not supporting" (e.g. not caring that an icon is positioned wrong) and "completely turning it off". All those sites that used to catch hell for switching on user agent string and telling us to "please install IE in order to use this site", justifiably caught that hell. I'm normally as big a G fanboy as anyone, but how is this different?
What happened to fixing the desktop monopoly? Two decades with Microsoft >= 90% of the desktop. It wouldn't matter if it was Apple with 90%. One company with that much market share hurts innovation.
> The patents span 10 years, starting in 1999. They cover a setting up a user account with single-sign-on in a federate computing environment; a way to present applications as an interactive service; a method for presenting advertising as an interactive service; and a way to preserve state information between a client and server.

So any half an hour of drunken developer's work is patentable?
Lots of people do though. He went with the majority instead of what outliers think.
I've never been able to reliably use debian without a /lot/ of frustrating configuration. I'm not a bored high school student anymore.

Back when I used sarge, it was okay - there was some configuration I had to do to get X working, and at one point I had a pretty sweet custom kernel build on a laptop that extended its battery life 35% over windows.

Decided to spin up a VM to use debian as a dev environment again recently, and -- well -- after three hours of futzing with it I deleted the VM and booted Ubuntu instead. Had issues getting virtualbox extensions working; some others that I can't remember.
Pretty cool. I really like that people are exploring ways to come in contact with one another. I wonder if someone would add a meta data filter that if a twitter /Instagram /vine handle is found, grab the max tweets, vines, posts (filtering out reposts/tweets perhaps) and see how they cluster compared to past selections/interactions.
Go is also a pretty good example, you have to search Golang to find results about Go on any engine other than Google's and I would assume I get results on Google, for Go, because I am profiled as a developer. I don't think a lot of thought is put into search brand-ability when it comes to some of these projects, until after the fact.