skysight-inc/HackerNews huggingface dataset:
Speaking of time-wasting sites, Google and Slack have managed to get an at least passable support of multiple accounts working.

I understand it's difficult to do, but if you're a service that encourages it's use across work and personal life, you eventually need a way to manage people separating that.

Perhaps they can have the concept of you always have a personal account, and you get /invited/ into an organisation? As apposed to Google's approach of having seperate, distinct accounts and you can 'easily' switch between them.
Yes—Apple Watch records your heart rate every 10 minutes during the day, and every five seconds when you put it in workout mode.

For example, here's what my heart rate looked like during the Game of Thrones finale:
https://cardiogr.am/c/gameofthronesfinale
Carmack on patents: https://news.ycombinator.com/item?id=451283
HTT Breaks Ground to Make Hyperloop a Reality
Bitcoin is mentioned in the article, but only in the context of "thousands of tiny thefts from ordinary people".

That description doesn't match the bitcoin heists over the past few years. Mt Gox alone was $460M USD. I suspect some of the individual losses weren't uh, tiny.
You are hoping that tax dollars were appropriately directed toward honest black site work. I suspect a significant portion found a more prosaic destiny, theft.
You're right. go down to page 26 of this pdf: http://www.environment.nsw.gov.au/resources/threatenedspecie...

Makes for scary reading!
How Ruby on Rails is better than ASP.NET?

Most answers say the opposite:

https://www.quora.com/Has-C-and-ASP-NET-MVC-been-replaced-by...
This sort of thing is comparable to sending humans to the Moon. In and of itself, there's not much of a point to it; but the technology you develop to get there has a tendency to become useful in other, perhaps more useful, areas.

In the case of the Mersenne prime hunt, you need the fastest integer multiplication algorithms (and concrete implementations) you can. Fast integer multiplication is a big part of several useful number-theoretic algorithms. An interesting (to me) application is, for example, to check whether a number is only divisible by small primes. This is an integral part of the most efficient integer factorization algorithms known, and one way to do it is with a product tree followed by a remainder tree [1]. This would be unacceptably slow without quasilinear-time multiplication algorithms.

[1] https://cr.yp.to/lineartime/multapps-20080515.pdf
+1 post-heist plan. Every good heist movie addresses this.
SCaLE 14X – The 14th Annual Southern California Linux Expo
Newer machines detect clenching and the practitioner will tell you to stop.
Disruptions: Life’s Too Short for So Much E-Mail
Check out Clojure for the Brave and True - http://www.braveclojure.com/
I don't think it's that tricky to put a general distribution on it, Chi-Squared.
No, they should (and will) pay for themselves. On the other hand they will subsidize the rest of us. Kinda like how first class subsidizes the economy class. We let them board first, but our ticket becomes cheaper because of that.
You could modernize an old idea that used to work pretty well for some people:

Cue the Village People singing: "Y.M.C.A...." :-)

Nowadays we live in a less Christian society that's also less accepting of even nominal gender segregation, but I think the old YMCAs and YWCAs still provide some evidence in favor of your idea.

So I hope to see the Young People's Rational Associations moving into small towns. :-)

Maybe some YMRAs can even cooperate with other educational and religious organizations that favor healthy exercise and the study of logic. :-)
> "front-end" and "back-end"

How exactly do these functions work? Can you specify a front-end that's outside of the wolfram platform/domain?
Specifically, it's probably a modification of Minecraft Windows 10 Edition, which itself is basically a Windows port of Pocket Edition.

A Mojang dev has said that they are still supporting the Java version, that they ultimately hope to have feature parity across all platforms, that they know modding is a critical part of Minecraft's popularity, and that they want to add modding to Pocket Edition/Windows 10 Edition but probably not soon. (http://motherboard.vice.com/read/why-gamers-are-worried-abou...) So that's all kind of confusing, and who knows what Microsoft will decree in a few years, but in theory they're trying to do the right thing eventually.

Obviously a C++ version will never be as moddable as the Java version, since modders won't be able to get at the source code, and will require Mojang to add formal mod support to work at all. On the other hand, if all this drives them to actually do that it would be awesome; they've been promising it for years now, and in the meantime all mod development has been shackled by the requirement to reverse-engineer deliberately obfuscated code that breaks all mods with every new version release.
I did a lot of Googling and tried a few things and still seemed to find it easier to start over.
The website looks very nice. It also does a good job describing the atmosphere of the place, which is what makes it unique.

However, its hard to tell what the options for accommodations are. The "villa" name is confusing, since a villa is a house, but the villa is described as being inside the farmhouse. In general, I'm not understanding how the property is laid out - a map would be very useful, to make it clear how the different suites are connected. In addition, its hard to tell the options apart. Without clicking on each individual item, I can't tell how big each room is, which is something I would want to know when picking a room.

More photos would be helpful. I would add a photo of the interior on the homepage, and some photos of the food on the Food page.

On the "accommodations" page, I would make the entire photo of each accommodation clickable, not just the button.

The logos of the different review sites should be clickable, so that I can easily go and read the reviews.

Finally, I would consider adding a section about the surrounding farm, and the pool. Reading the TripAdvisor reviews, they sound really nice, so I would want to read about them on the website.

Edit: typo in the description: "100 ectars" should be "100 hectares"
Net neutrality does not preclude QoS.
The Azure credits can be used to run 'GNU/Linux'. A full one fifth of workloads on Azure run Linux.
AWS Certified Solutions Architect Study Guide
About 70% of storage used by the latest version 10.3.1 is the documentation, for what that's worth (maybe nothing).
I know other people already suggested writing test, carefully documenting etc so I won't repeat that. Just want to add one more thing: try to prune the code first as such a large codebase is likely to have redundant code built up over time. By doing this you will have some time to understand the code (to know what you can kill and what you can't), and also save yourself some time as the codebase you have to refactor now is now much shorter and probably cleaner.
I wonder how much of the drop is due to simply having less physical cash lying around to steal, as most economic transactions move to electronic payment methods. I know pickpocketing has fallen off as lack of cash means thieves end up with quickly cancelled credit cards and hard to pawn smartphones instead of untraceable cash.

Obviously banks still need to keep some cash on hand, but I'd think that most smaller banks (which are presumably the easier ones to rob) would've abandoned keeping the classic "giant vault with stacks of cash". (the article brings this up briefly, but doesn't really quantify it). And as the number of places that do have big piles of cash decreases, the amount of resources that can be put into protecting each one increases, so you'd expect the difficulty of robbing them to increase faster then linerally with decreasing numbers sites.
What? That is so backwards from my experience that I'm tempted to think it's a troll, or I'm completely missing what you're trying to say.

I have two Trello accounts and have never had a problem switching between them. I have one for work and another for personal stuff, just like you suggest, and it works fantastic. If I'm logged in to one and want to check the other I just log out, enter the credentials for the other account and it works exactly like I would expect. There's no mixing at all, they're completely distinct, which is exactly how I want it, and exactly how it should be, IMO.

Google, on the other hand, is an absolute mess. At this point I've resigned myself to the fact that my work Gmail/Google+/Google/YouTube account and my personal Gmail are inextricably linked together and there's no way I can unlink them. It's such a disaster that it was a big factor in my decision to start moving my personal accounts away from Google.
It not being Java-based may be a good thing. I recall that Minecraft, for all its success, was not terribly well-written code. The Pocket Edition was written from scratch, and so probably works better.
A better plan is the white collar crime done by the bankers up to 2008. Being too big to jail and having good lobbyists is the 21st century way to get away with a heist.
Scientific method: Statistical errors
What if one simply says that a monad describes a pattern of morphisms composition ? Adjunctions being the plumbing ?

(honest question, just trying to find a simple, grokkable definition)
A reasonable recommendation. The book I'd recommend as an intro is Programming Clojure. It can be found used for cheap.
I think you're misreading that sentence. "Examples are the programming languages Clojure, which is a contemporary dialect of Lisp, Rebol and Refal.", which claims that Clojure is a dialect of lisp (indisputable), rather than Rebol. Rebol is just another example of a homoiconic language.
Pointing out the expenses fb is ready to take. (450 per night is pennies to them but still. A non profit charity tries to divert all money on actual cause. )
That's not normal. You may have a defective unit.
>> The Copenhagen Interpretation of Ethics says that when you observe or interact with a problem in any way, you can be blamed for it. At the very least, you are to blame for not doing more. Even if you don’t make the problem worse, even if you make it slightly better, the ethical burden of the problem falls on you as soon as you observe it. In particular, if you interact with a problem and benefit from it, you are a complete monster. I don’t subscribe to this school of thought, but it seems pretty popular.

That's well put and explains the furor over Bill Gates' charity work while other immensely rich folks get zero heat for essentially hoarding their wealth like Scrooge McDuck instead.
Because if you give 1 billion dollars away, you are 1 billion less wealthy. If you give away 1 billion dollars worth of Azure credits, you are some much smaller percentage of 1 billion less wealthy, and the recipient is still receiving 1 billion in value.
It's an old joke at this point. If you're stupid and want to rob a bank, first you get a gun and a mask. If you're smart you get a banking license and a Federal Reserve account...
Why do people still call it "magic" then (the word suggesting that it's something inexplicable) rather than "metaprogramming"?
Ask HN: What is the best acronym you have ever seen?
Obviously it must be compelling on many dimensions, points for math or computer science, or whatever.

I'll start it off with CRISPR, Clustered Regularly-Interspaced Short Palindromic Repeats.
"First one's free."
This is true. The Django admin works out of the box. Getting the activeadmin gem to work for Rails 4? Not so much:

https://stackoverflow.com/questions/16426398/active-admin-in...
I am not sure Wolfram Research realize what they have.

If they would make their stack FOSS they would be absolute heroes and shape the future of applied math and computation software with a historic impact. Otherwise they will fade away, when other interfaces (Jupyter & Co.) catch up and/or surpass it in its capabilities. More and more people will just not accept the closed nature as it inherently contradicts with the idea of exploration.

There are basically 3 scenarios:

- they go FOSS now: best outcome for people and Wolfram

- they go FOSS later: good outcome for people, more difficult for Wolfram, as they lose developers/community

- the don't go FOSS (or not in near future): Wolfram SW won't be used anymore as open alternatives surpass it. People won't care.

Even Microsoft got it.
Who is a good designer then ?
How does this work when you are growing at 30,000 users per month?
I'm glad I started this stupid thread, and this is my favorite comment in it.
Hm, which bits of syntax are you confused by in particular?

At the beginning, when defining what types, expressions, contexts, etc. looks like. I use a bunch of BNF (https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form). I'm afraid I don't actually know a good introduction to BNF.

The clearest account I know of of the most critical part of my notation, namely inference rules (those things with the big horizontal bars), is in Frank Pfenning's notes for his course on Constructive Logic: http://www.cs.cmu.edu/~fp/courses/15317-f09/lectures/02-natd...
(the full course of notes is at http://www.cs.cmu.edu/~fp/courses/15317-f09/schedule.html, but the one I've linked is most relevant)

A lot of the rest of my notation (types like A × B, A → B, expressions like λx.e, the judgment Δ;Γ ⊢ e : A meaning "e has type A in context Δ;Γ", and the inference rules themselves) is borrowed from fairly standard type-theory-of-functional-languages stuff. Standard books to read here are Types and Programming Languages by Benjamin Pierce (https://www.cis.upenn.edu/~bcpierce/tapl/); or Practical Foundations for Programming Languages by Bob Harper (https://www.cs.cmu.edu/~rwh/plbook/book.pdf). Those are pretty heavy books that cover a lot of ground, including stuff that's mostly irrelevant to my work. If you're interested, though, they're a great place to start learning about formal PL theory!

Was there anything else in particular you wanted to know about?
Not willing to definitively say that is not the case ;)

But anyway, I was describing how one might have the perception of the person to which I was replying.
I don't exactly understand what you are building. Are you suggesting something like RetailMeNot?
You spend a lot more than I do.
MIT Developing Ionic Wind Thrusters as Efficient Alternative to Jet Engines
5 Reasons to Build Decentralized Apps
Turning? at what point of time in their entirety have they not.
Argentinian Ants. Those little critters... Come in when it rains, make trails through the house...

We went to Disneyland for a weekend. It rained like hell in San Jose while we were gone. Upon return, all was normal. I'd expected to have to go into 'ant hunter' mode and clean up, but there was nothing.

A couple of weeks later, I was moving things around in the pantry and bumped an open container of Dum Dum suckers [0] that the kids had picked up on Hallowe'en. They moved strangely when I bumped them. I pick one up and it had no heft...

The little buggers had worked their way through the wrappings around the sticks and managed to clean out every molecule of sugar in the entire bag. There was no clue and they left without a trace.

These ants are more thorough, determined, resilient and persistent than any other critter on the planet. There must be some value-add way to put them to work.

[0] http://www.candywarehouse.com/products/cherry-dum-dum-pops-1...
>I think it's much more effective to start with learning functors and applicatives before monads. I'm surprised at the number of tutorials aimed at teaching people monads who don't yet understand the more basic type classes.

I agree, we did this in our book. We actually decomposed it pretty aggressively - http://haskellbook.com/progress.html

There is a point at which you can just follow along with the types as you learn Monads, but it's not terribly satisfying without context and still requires understanding _the types_. That's pretty hard to do if you aren't comfortable with higher kinded types and typeclasses. Functor and Applicative let you break the problem down a bit more. We do Monoid and Semigroup before Functor so they get accustomed to seemingly very abstract typeclasses before coping with higher kinded types + seemingly-abstract typeclass. Prior to _Monoid_, we explain kinds and higher kinded types.

This approach has made it so the book works a lot more effectively; frequently, but also makes it longer. Lots more code, examples, and exercises.
>The problems you describe are problems anyone would have with an unfamiliar system, and it's not Ruby's fault.

Way to reduce what he's saying into the classic, "He can't be depressed! There's starving kids in Africa dying!". You've taken his /observations/, misplaced the usefulness of those observations, and then reduced them into some absurd argument that he's not actually making.

Accessibility to the unfamiliar access goes wonders and reduces the "magic" feel. If ruby doesn't have that sort of accessibility, then it IS Ruby's fault. If that's what Ruby actually wants, that's fine - but holy crap, it's this sort of mentality that completely fucks over usability.
She probably chickened out at the last minute. Don't worry, she'll work up the nerve one of these days... ;-)
Where does that data come from? It's significantly out of date. I guess because the tech stack blog post is so old?
If you buy listed shares on the nasdaq, and they fall you lose money. duh?

No reason to think it works any differently in a private company - in fact private shares often carry a much higher risk of becoming worthless.

There is no certain guarantee that shares in your current or past employer "is gonna pay for your house".

If you have such an attitude you really should be thinking twice.

This whole "share options for everyone" mentality is a problem.

Share options are for risk/reward seekers - which means you accept the RISK just as eagerly as the reward.

Options are not supposed to be some sort of freebie lottery ticket for everyone.

Its meant as incentive for people with an entrepreneurial spirit who may be taking risks in terms of job security, or those who bring highly specialized knowledge to a startup at below market salary, or as an incentive for employees to work far harder than they would normally be expected to be working.

Tax considerations - definitely get real expert advice

And see what others have said below.
Dude, fine. But the author wrote the tutorial with those assumptions, he's just trying to help you out bro!
Timid people are not a protected class. This isn't a diversity issue. Bringing it up is just muddying the waters.
...until you realize that you've broken every single NDA you signed, and your (already-tiny-sized) startup finds out who you are, and you're out of a job.
Databasic: A set of tools for introducing data analysis concepts
The place for that part of cooperation is the standards bodies. Having good, frequent communication between parties means that everyone can build their own implementation in their own style, yet still have an end product that renders thing the same. One engine may want to focus on raw speed at the cost of memory consumption, one may want the opposite, a third may want to strike a balance, and getting all of those parties cooperating would be like herding cats. So no, competing engines are a good thing, because it results in you being able to choose the best tool for the job, instead of needing to compromise.
They do a lot of things like most big companies, and some people seem to concentrate only the bad.

For example, they started funding OpenSSL and other core infrastructure[1] projects of the Linux foundation after the Heartbleed fiasco. But you don't find that kind of news on here.

By the way "$400m to fund ways to destroy GNU/Linux" seems to be quite hyperbolic, especially coming from 'The Register'. The link in the article goes to a 404 page, do you have any real details of the so called campaign?

[1] https://threatpost.com/group-backed-by-google-microsoft-to-h...
IIRC, this is a very old post that has been making its rounds for some number of years now.
Capturing the wisdom of Feynman
I don't believe that restricting free flow of ideas is compatible with an ostensibly democratic government. So it is more like, I consider it an unfortunate side-effect of freedom that people can say things I find of negative value.
This is essentially equivalent to what every startup does in the US with perks and team building. I don't see how this creates more trouble for a French company.
Introduction to Discounted Cash Flow
That's interesting. My day job is working as an IT manager at an international school. We have MinecraftEdu, but we're also an Apple Distinguished school. MinecraftEdu works fine on our MacBooks, so we're happy with that. It also works on some old Windows desktops we have lying around, but we're not going to move away from being Apple-centric anytime soon, just because of who we are.

I checked out minecraftedu.com and they say they'll have a FAQ up soon. In the meantime, they have post on their front page that says they'll continue to sell MinecraftEdu. I have to say that this is very disturbing to me though. Did we just purchase something that really won't be supported anymore in the future? If it will, why would Microsoft go in a completely different direction after purchasing MinecraftEdu? The words are all nice, but the actions are all contradictory. :(
Corporations are just collections of humans, which do pay taxes. The idea that they're a separate entity that is pulling one over us silly humans is ridiculous.
David Bowie now has a lightning-bolt-shaped constellation named after him
> Wouldn't it be more preferable to build a neutral layer on the top of a non-neutral network...?

How do you propose doing that?
> Folders were a great metaphor when our files were a handful of office documents. But today, complex hierachies make it hard to organize and find what we are looking for. The concept of a file being located in a single place seems outdated. Content is stored, synced, backed up and shared among many different devices. And our most important content lives in services or apps, not in folders and files. While mobile devices are trying to kill file management completely, it’s more important today than ever. With the enormous amount and complexity of content, we need a new solution.

Okay, buddy. Tell me how you're going to navigate a complex project built with multiple apps with your cool new tag-only scheme.

How would you re-organize the myriad number of source code files, library sources, images, image source files, readmes, and other things? Hierarchical structures are good for that kind of thing. If you're going to advocate throwing them out then I think it is imperative for you to tell me how you will organize real projects rather than just a handwave about search and adding tags to tags. How would I reorganize the directory full of 193 Illustrator art files and a ton of subdirectories, many with multiple layers of their own subdirectories, that make up the graphic novel I finished last year? It's got a total of ~2.7k files in it but all of that complexity is hidden behind a bunch of subdirectories so I can quickly find what I need at any moment.

(And also: holy crap those sample images are so much WHITE, using this will be like staring into a spotlight. And so impersonal - the user-set desktop picture is a wonderful thing that makes the computer feel like it's theirs and I kinda feel like this proposal completely drops affordances like that in favor of a blown-up iPad UI.)
Any time I've gotten stuck in learning Phoenix, I've found the community to be generous in offering advice and solutions. The documentation is good, but if it fails (or you just don't know where to look), Slack/irc/Google groups are a great bet.
Reminds me of construction equipment being used to pry ATM machines open. (construction crew apparently didn't really care because the machines were insured, iirc)

http://www.bigempire.com/sake/atm_robbery.html
Yes, the point is that decentralization consensus doesn't help.