skysight-inc/HackerNews huggingface dataset:
The language is a less-restricted (and less verifiable) Esterel descnedant. Esterel and its derivatives have been used successfully by the industry, for many years, to write fully verifiable, safety-critical, real-time reactive systems.

[1]: https://en.wikipedia.org/wiki/Esterel
From what I saw the shutdowns began on Friday evening and subs started coming back on the Saturday morning (EST, and it was a holiday weekend in the US).

As it was a spur of the moment thing, subreddit mods couldn't have polled users for more than an hour or two or the momentum would've been lost
actually there have been plenty of rebuttals to this sort of statement, so I will briefly paraphrase the general content for you. Most users dont care, they dont care about reddit, they dont care about the mods, they dont care about the drama, all they want is their new content. They have no loyalty and would jump ship to an alternative site quite easily if the content was appearing elsewhere first. So if those mods/content creators to go to voat.co, or whatever alternative is being suggested, so will apathetic users who dont care where they get their fix.

Redit wasnt the first social media sharing site, digg.com was way pout in front for a long time, then came along v4 and killed the site dead in its tracks. Users fled because they changed the way stories were submitted and who submitted them. All those apathetic users jumped ship to mainly reddit and whilst reddit was growing and catching digg in term sof page views etc, Digg's failure is what boosted reddit to the number 1 position and the same thing can happen again.
How can the random large splotches be translated into usefulness or meaning? The gif seems to imply that the areas are resized based on their value, that is SUPER not helpful. And the bucket $40b - $1tr?! Almost everything falls in that bucket! I don't think this map is of great value.
One of the neat features of Céu is that it has Simula-like objects with coroutines. Method calls are asynchronous, can be paused while they wait for events and many objects can be simulated run concurrently. One of the students here in the lab is experimenting with using Céu to code the logic for some simple 2D games and according to him the event system allows you to write code in a very "natural" way.

Another special feature of Céu is "strong abortion" with the par/or primitive. par/or lets you run two computations concurrently and if one of them completes the other one is aborted and all its resources are freed. Aborting asynchronous computations is not something that all asynchronous programming systems let you do very well.

(btw, if anyone is wondering, Céu means sky in Portuguese)
> When I wanted to hire women, I looked for women. I have been very successful in hiring a diverse team.

This never sits right with me. Diversity for the sake of diversity.

> Once you’ve learned one or two computer languages, you can learn any computer language.

It helps but going from one disparate stack to another can be troublesome for many I've worked with. Almost a complete non-starter, ie going from .NET + sql server to python + django + web services or from Java + hibernate to nodejs + angularjs.
Part of the challenge with that is the available tools.

If there were more tools for re-parenting, editing and revising, or otherwise going through an editing process for submissions, the process could be far less confrontational. Medium operates in this manner, from what I understand.

On Reddit, there's no such cycle. There's no concept of an editorial submission queue (though some subs can and do hold all submissions for approval via AutoModerator hacks). Moderators cannot edit self-posts, even to correct obvious issues (misspelling, broken formatting, broken links). Not even the submitter can correct errors in titles, for which the only option is to delete and re-submit content (losing, of course, all discussion). I'm OCD enough that I do this, though my own subs are small enough that the content loss isn't overly significant.

In other words: many of the apparent limitations of Reddit moderation are the result of poor and or outgrown moderation tools.

Though even at best, the editorial process is brutal, and for newbies can be quite frustrating. Take a look at Wikipedia, where even with collaborative editing, revision history, controls, etc., I'm told that conflicts occasionally occur.
> What I'm wondering is, was the object a Magnetar, prior to the Supernova?

From what I gathered, a Magnetar is a type of neutron star, and a neutron star is formed from the gravitational collapse after a supernova. About 10% of supernovas become magnetars (src: wikipedia, so... ;)
But their claim is 5x longer lifespan, too. And where do you buy 250w led grow lights for 200$?
Flower weight is good enough (assuming flowers aren't 1% THC 1% CBD) :) Thanks.
New Look, New Name, Even Better Service
For me the nice thing is that we're converging. I like the features added by all of the languages that transpile to js, but I want to be able to use them consistently across every project I'm involved in and being an official part of the language makes that much more likely. Convergence is also a boon for tooling and interop.
off topic , Do you think they will do same thing for dart too ?
The significant difference is that it is Metrocoin. The fundamentals and guidelines are focused on Growth
I'm a founder at KarmicLabs. I used to expense stuff on my personal card at a previous company, but I don't think the points made up for the times I lost receipts or didn't bother to expense small stuff. YMMV.
EU Parliament Speech by Guy Verhofstadt to Alexis Tsipras
> Yeah, but at that point, you're back to the whole car commute thing, or a really long bike ride. And you're significantly farther from the mountains by bike, too.

Ahh, right, car-free commute is a good point.

> Fort Collins was something else that looked pretty interesting, but I didn't see many jobs there.

My reaction to Fort Collins was similar, really liked it too, but seemed more like Bend as far as lack of jobs/backup-plans go. I like smaller cities and I work remotely, so backup plans shouldn't matter as much as it does to me. I'm probably too risk-averse in that sense, as I also had the same fears when looking at a move to Corvallis before. I suppose I'll always need to be near a bigger city to compensate.

I'll be on the lookout for meetups as well.
Take Haskell, for example. It's good that Haskell is so single-mindedly driven to pure FP with no compromises. The only way we see what's at the end of that road is if some people drive it to the end. That's a good thing. Even if they're wrong, they're exploring the space, and leaving a clear trail.

It's not wrong for them to be advocates, either. "This set of problems goes away if you do it our way." Well, if they didn't repeatedly shout that in various forums, I probably wouldn't know that FP was a viable option with some benefits.

What's wrong is when some of them call everyone else unenlightened for not being on their road, when some of them insist that their road is the only possibly right road, when some of them state that any other choice is stupid. That's arrogant. It's not the whole community, but it's some.
This map is measuring the land value within a county. Land values are dependent on population density. It's not surprising that Manhattan has such a high value when you consider how many folks are crammed into the island.

If you create a map that was land value divided by population density it would be much more interesting.
Psychological motivation is a process. It's not a property that emerges automatically from pattern recognition or from any mechanical tropism.

This is the underlying problem with these kinds of arguments. You're simply assuming a recognisably competitive human-like psychology appears out of nowhere, with a near miraculous ability to strategise in some areas, but not others - because AI.

You use words like "interests" and "goal" as if they mean something in AI terms. But they don't. How does Watson define its interests? How about DeepMind? Do they even have a model for what interests - never mind their interests - are?

There are multiple levels of symbolic calculation and abstraction missing here. The argument reduces to "An AI will act like a robot with baked-in motivations while also being able to improvise and strategise like a human, only better."

I think it's unlikely that an entity that can metaprogram itself successfully enough to strategies and impersonate wouldn't also be able to metaprogram its goals.

You say it will pretend to empathise with humans. If you accept that's possible, how do you know it won't also be pretending to be interested in paperclips?
You're more than welcome to write C in the fashion that the go compiler enforces, and get much faster builds. Their compiler is young and immature relative to things like GCC and stating that it may be missing expensive optimization features is not "plain wrong".
Yes voat is back up.
Monies spent on rent are already included in the GDP; they don't depress it.
https://webcache.googleusercontent.com/search?q=cache%3Ahttp...

100k -> 125k, yep
As I understand it, the magnetar is created during the supernova. The phys.org version of this story (http://phys.org/news/2015-07-biggest-explosions-universe-pow...) links to another article with more information: http://phys.org/news/2015-04-strange-supernova-link-gamma-ra...
Scaling to Infinity (Part 3/4) – Blue-Green, Automation and Self-Healing
Ha! I was about to write the same. Too bad he recently emptied his Flickr stream. Go here instead: http://www.hinius.net/
What kind of restrictions are you thinking about here? I don't know Esterel very well but Céu is very restrictive in order to ensure that responses to events don't loop. There are no recursive functions, no dynamic allocation, etc.
The impact of fast networks on graph analytics
I was using a galaxy s2 but got frustrated with android (usability and stability issues). My wife bought a lumia 710 to replace an aging blackberry, and I was very impressed with the usability. A bit later, when they did a deal on the lumia 920, i bought it, and over two years later I'm still on the same phone. Very happy with it. I'm waiting for them to release a proper high end phone again to upgrade my 920.

Microsoft made three key mistakes with windows phone after the acquisition. The first was stopping the development of high-end models. No high end model means no evangelists which in turn means price is the only thing you can compete on. The lack of profit in the lumia division is a consequence of chasing after the bottom of the market. I'm convinced windows phone is good enough to win at the high end, but microsoft had to show up first, and they mostly didn't. They made some bone-headed decisions like releasing the high end 930/icon without the one lumia-only feature (glance), while shipping that feature on low end devices.

The second thing they did wrong was messing with the OS itself to make it more android-like (getting rid of hubs and panorama views, introducing hamburger menus, app-ifying the social integration, etc...). Every change made the OS less attractive to people already using it, while doing nothing to convince those who weren't, because those people needed apps which weren't there. Oh, yeah, that's the third and worst thing they did wrong: radically mismanaging the windows app store, both towards the users as towards the developers.
Debugging complex stuff is always so much fun. Also you usually figure out a trivial way to do it after you are done.
The website looks broken on my vertical monitors because of the way you are fading content in and out: http://i.imgur.com/LmzaezF.png

As I scroll down, the browser chooses a random div near the top to show content, and the others fade out. It's very frustrating and not what you intended for me to experience, so I wanted to point it out.
Backlash against who?
CRISPR Gene Editing
Naming things is hard, but this seems like a total punt. :) Help us out!
LA county has almost 10M people living in it. SF has only 800K. If housing prices were equal, you'd expect LA to be 10 times the size (assuming an equal number of people per dwelling).
From the standpoint of at least one "user", I would have gotten a lot more value out of the animation if I could control it (e.g. with a slider). The pulsing back and forth makes it more difficult for me to pinpoint something of interest (e.g. a less expensive city like Detroit) and then track it.
The digg exodus didnt happen overnight, I agree. But the v4 was the final nail in the coffin. It really started around the time digg banned anyone posting the DeCSS key. A lot of users started trickling away or splitting their time between reddit and digg. Reddit promoted itself as a free-speech platform at the time. Reddit self posts got posted to digg more often and more digg users came to reddit. After v4 there were some new accounts but actually the trickle had been going on for some time.

Whilst digg changed functionality reddit is trying to change its ethos, something that is much more dangerous than changing functionality. its ethos is what brought users in and people are more likely to leave because of changes to the fundamental ethos of a site rather than the functionality of the site.
How so? Their community shut down to regroup and protest, without anticipating others doing the same.
... Which makes me wonder why the OpenBSD hasn't filed for 501(c)(3). I'm sure it comes with strings, but given the donation revenue they've generated, tax-deductible status could be a big lever in pure dollar terms...
Curious to know in what ways you think so? Not that I disagree. I was at the intersection of Broomfield/Erie/Lafayette and we spend much more of our non-being home time in and around Boulder, Lafayette and Louisville than Broomfield. So, while Broomfield was our residence, Boulder was still the draw.
> This is definitely the downside of ruby's dynamic/duck typing.

No, IDEs were pioneered (and if you checkout Pharo you'll see they are still pushing the boundaries) by dynamic languages that allow runtime refleciton. Like smalltalk.
It must have taken a tremendous amount of work to get the payment gateways to work this way. How did you guys do it?
From second hand knowledge, I believe this is non-trivial. My good friend is on an H1B and just raised a $1M seed round, but he has to be an employee. His cofounder (a citizen) is the only person on the board and is the CEO. Technically, my friend can be fired which makes the situation a little awkward. They had to rent office space so the company is more official for the H1B process. You definitely will need legal advice. Wish this was easy for you, but my impression is that it won’t be, and you may need a cofounder who is a citizen. If your visa type is different, it may be easier. Best of luck.
Esterel is not Turing complete, and it doesn't allow dynamic allocation.
The original post from Metrocosm is here: http://metrocosm.com/the-housing-value-of-every-county-in-th.... It provides a link to the source data from the Economist for the county-level data.
Ask HN: How often do you change your phone's ringtone?
Or when was the last time you did it ?
"Did they really have a choice?" Well, yes, sunk costs are sunk, and they'd have been better off not wasting another 7 billion. That being said, for a fraction of that money, they could have gone Nexus route, and paid someone to adapt a hero model, that highlighted the best of their operating system.
uber would have no hope in the first place being a foreign, non-chinese company that relies on internet access to hosts not wholly controlled and hosted in china
I put in a San Jose zip code to test and it failed saying "not in my area".
> Why is there no professional return investing in the clarity that it would bring to their models?

Because if economists made their thinking clear, then it would become obvious that they are not actually doing anything of sufficient value to merit the compensation they receive.
I just saw it as someone throwing out a joke in the middle of handling a stressful situation. Reading his retrospective post on the matter, it sounds like he'd been trying to understand and address the situation all day and hadn't realized that the userbase at large didn't know that.

Given that most of the popular subreddits were offline for the day, I can't imagine anyone would seriously think they didn't care at all. Failing to address that situation would have been a great way to kill the site entirely.
Case law is largely irrelevant. You know what existed before 'case law'?

I think the logic is sound: Party A (statute) argues a->x, b->y, c->z. Party B shows a, b, c don't actually hold in reality and therefore you cannot conclude x, y, or z based on a, b, or c.

Statue is therefore meaningless.

Amendment 18 & 21 set the precedent. Amendments 4, 9, & 10 provide huge cover.

>By your logic, should slavery still be legal since founding fathers owned slaves?

I didn't expound my whole logic, but the largest difference is that slaves are human beings and cannabis is a plant.

Also note, slavery is outlawed by the US constitution. Cannabis is not.
What makes me sad is that they have been iterating on the site heavily over the past six months, yet they're still dealing with a large amount of confusion about what Atlas even does. I am all in on the Hashicorp stack (we use Vagrant, Packer, Terraform and Consul) and really want this product to succeed, but I am still confused about why I would use it.

edit: as far as I can tell, Atlas is designed for teams to better coordinate infrastructure changes. You can see when someone is building new images in Packer, or deploying changes via Terraform. You can audit these changes, and avoid conflicts
Well, you can tell I'm not a very successful vim user! I thought /g meant global throughout the file...whoops!

I still stand by the joke.
Depends. Many employers allow their employees to accrue Amex points off corporate cards. Paid for most of a vacation with those a few jobs ago.
In what ways would it differs from, let's say, Quora?
Probably true, but it's pretty nice being able to accumulate hotel points/airline miles/car rental credits/etc while on the company dime.
Never - phone #1 is on permanent silence; phone #2 is whatever the default iPhone tone is.
You're thinking of arguments in the conventional, everyday sense. The legal system deals in legal arguments.

The point ctdonath was making was that the Supreme Court has ruled that private, personal cultivation of marijuana, even when in accordance with state laws, has an effect on interstate commerce. The relevance of the effect on interstate commerce is that the activity - growing marijuana - falls under the purview of federal law and federal law enforcement agencies.

To bring it back to your suggestions and the distinction between conventional and legal arguments, ask yourself this: for each suggested argument, think of two worlds with one being a world where your argument is absolutely correct and the other being a world where your argument is absolutely incorrect. Is there a difference between these two worlds in whether or how personal marijuana cultivation affects the illegal interstate marijuana market?
There is a compilation-to-bytecode stage + lots of file look ups during start up of the Python interpreter and during every module import.
Thanks, @prbuckley, it was a painful two years of working very closely with one of the largest processors in the US, FIS, their core banking software actually powers thousands of banks, so we essentially, built a virtualization layer on top of their older systems. We intend to open these APIs down the road for others to build upon...stay tuned :) (I am a founder here)
That Quicksand font is extremely hard to read in Chrome on Windows. Even zoomed up to 150% or more it's still hard to read. And regardless of font, the body copy is much too small without zooming.

Know your market: a substantial portion of your patients may be older people who have trouble getting around and less-than-perfect eyes, unlike a 20-something web designer with 20/20 vision and a giant monitor.

You can still fit the same text in about the same space or just a little more: simply choose a more readable font, and reduce the excessive line height to allow for a larger font size.
> They are landowners

Landowners who don't actually own the land they spend so much time improving.

So more like sharecroppers, actually.
Broomfield is suburban white area where not much goes on. Boulder is a lively college town that's extremely liberal.
Quora is not realtime. I am talking about realtime results.
They allegedly were losing around $2B/year before the last model. The XBox One launch cost them $400M in the first 8 months.

http://www.gamesindustry.biz/articles/2013-11-07-huge-xbox-l...

http://www.ibtimes.co.uk/xbox-one-has-raked-400-million-loss...
If you think you understand the truly complex parts of finance, I would encourage you to re-evaluate. The world economy is still in turmoil and slow recovery because a huge amount of the experts didn't even properly understand the "innovative finance" they were using in 2008.

I don't understand it, and I have seen countless interviews and articles from respected economists who say there are financial products they don't totally understand either.

To "understand" something in finance is not quite the same as other disciplines. You can understand all the pieces and all the rules of something, but not truly "understand" it entirely. Economics involves a lot of sociology/psychology and difficult-to-predict human behavior. It is likely that no one is completely aware of all of these factors when it comes to any given financial instrument.

So, I don't think you should be laughing at someone and telling them to read books as if this is algebra or something.
Driver Whiz Setup and Registration Keys Free Download
This document failed to convince me that new systems are not "correct".

I think the author just doesn't like that all languages cannot specify what calls to external services look like in a similar way to the old COM IDLs (likely how he/she first learned about IPC).

WSDLs take that role when using many webservices and other documentation fills that role fine. It is not like IDLs added good compile time checks (at least not all the time anyway), I had plenty of fun expecting the compiler to stop me from jamming strings into ints and such. Now tools and languages are better everywhere, for example look at how external calls work in languages like Rust and the future only looks better.
I don't think you're correctly characterizing the subreddit shutdowns.

When someone in power silences someone else's speech or expression, then it's correctly a form of censorship, like what management did with r/fatpeoplehate. When the owners, creators or moderators of their own speech or expressions stop producing that content as what many subreddits did in response to r/iama suspending operations, purportedly not out of protest but out of a lack of understanding of a current situation, then it's protest. Censorship is a top-down use of power to silence a majority. Protest is a middle-up form of power to inconvenience a majority to apply pressure to the power holders. They aren't the same.
@saryant see new evolutions in merchant rewards such as http://www.paymentsleader.com/pointopia-rewards/.... these concepts will still evolve off of this new technology..
they didnt communicate the back up plan to anyone that would have needed it. In fact details of the backup plan only surfaced some 12-24 hours after the sacking and the subreddits going dark. SO whether there was a backup plan in place prior to this occurring is difficult to say for certain, that they have one now is not in dispute.