skysight-inc/HackerNews huggingface dataset:
Your point about support is well taken, but while Rust is being supported by Firefox, it was Graydon Hoare's side project for 3 years. It is at least possible for an individual to run with an idea for a static language and get community or corporate support, even if it is tremendously difficult. And I don't know if you can say that the language sprang from the requirement. It did, so far as a lot of people have had longstanding dissatisfaction with C++, but I'm not sure Mozilla originally was looking for a replacement (ditto for Google and Go--though lessons learned there may not apply to people who aren't Rob Pike...).

I agree with you so far as it can't be a language you don't want to make. I don't think this article describes that, but a more modest set of constraints. Elsewhere, the author mentions Julia as a positive inspiration.

I think the idea of compromise depends on the idea you're trying to bring into the world. You can't compromise your core idea, but you can compromise on other things. I guess I'm making assumptions about what the author is compromising that I'm not entitled to. Perhaps you know that I'm wrong.
Well, it's not my only comment, I think that older ones only show up to me though past a certain point and I haven't commented in a while. And surely I'm not too crazy to think he could be serious, I mean there's so much on here that talks about the same thing, maybe just not all together, and I hope I'm not the victim of some long running hyper-trendy startup joke.
Since that's as close as we can get to the original source in English, let's just change the URL to it.

Was https://www.washingtonpost.com/news/wonk/wp/2015/11/30/why-i....
Personally, I agree with you that, once you know the type system, you're more productive with it. However, TypeScript is new, and can be difficult to transition to for some people. One example is dealing with some gotcha's like adding new properties to things like window: http://stackoverflow.com/questions/12709074/how-do-you-expli...
Low water in Great Salt Lake reveals ‘rocks that are alive’
> That assumes setupBase(), etc are either void-returning or return the this-instance (newModel).

This is Incorrect, it doesn't assume anything. Dart's method cascades just returns the receiver, it doesn't matter what the method returns, it's value is ignored and receiver is returned instead.

http://news.dartlang.org/2012/02/method-cascades-in-dart-pos...

Since the return value is ignored, it's only useful for methods with side-effects.
The statement “My father had one job in his lifetime, I will have six jobs in my lifetime, and my children will have six jobs at the same time.” makes a pithy statement but is generally not true.

My father had about 6 jobs in his working life. Looking at my uncles they varied in the number of jobs but none of them had just one, over a working life of more than 40 years each. Thinking wider still, I cannot think of a single person in my parents generation that had just one job.

It might be that people average more jobs today than they did in the past. Maybe you can project that forward and guess that a future generation will average more. But to say 6 concurrently is wild speculation and hard for me to take seriously.

There is no reason to think our children will have many concurrent jobs. Certainly no more than people do today.
That's pretty cool, do you know how it's powered? I don't see any cords, which implies battery, but I can't imagine it would be battery given the wifi connectedness etc.
On could argue that was why Aaron Swartz died. Of course discussing this is considered "CT".
We use a local toy lending library. $40/year for unlimited access to toys for 2 weeks at a time.
How do you maintain your business development back home? Is it all word of mouth?
One reason for these tough requirements is that a very large portion of U.S. passenger rail routes go over track owned (and used) by freight rail companies. Therefore, passenger train collisions and other such risks are weighed not only against other passenger trains, but also heavier freight trains.

This is one reason why U.S. trains have (relatively) 'harsher' requirements than other countries where track is not shared to such a high extent.

Separately, this degree of track-sharing is one of the reasons why average passenger rail journey speed has decreased in many places over a 100-year time period!

Obviously, in both cases, there are many many factors involved - but, an important element.
...unless they were very obviously made up and the person making them of little public importance, in which case it would probably be more damaging to even acknowledge them as being worth discussion.
I also originally thought he had an array of arrays, but now I I think the run-times he mentioned for insertion and deletion would only work for a single array, not an array of arrays.
Plotting the two functions might help in understanding why that's not the case:

http://www.wolframalpha.com/input/?i=plot+sqrt%28x%29%2C+log...
On Effective Altruism and Utilitarianism
Cool, you must be OK with your friendly trustworthy government controlling and using far more devastating means to commit war crimes then.
For a variety of interesting reasons I wasn't surprised, but there were moments where I could see how other people could be surprised by it. I spend a lot of time thinking about this stuff, so I saw it coming. The average Joe, well, maybe they didn't.
I'm with you. Choice nugget from the description of entangled particles: 'Like Paul Simon and Art Garfunkel, no matter how far they spread apart they would still be helplessly conjoined.'
>no track related really to "Alice Coltrane", that's probably because you just do an OR on your query, ok, clear.

That's right, it's OR operation, but all you need to do to perform AND search is to specifically use quotes.

>in the web client, in result track list, song names appear truncated... by example I'm not able to read the Cocteau Twin complete title track, in the above example.

Unfortunately there is nothing I can do about it. I mean I could truncate it myself but the bot doesn't know anything about UI.
Some other algorithms with O(sqrt(n)) runtime: https://www.quora.com/Are-there-any-algorithms-of-the-order-...
That's not a legit reason to flag a story.

When a paywall has a workaround, which ft.com's does (albeit at the annoying extreme of the spectrum), submissions from that site are allowed here. This is in the FAQ where, to judge by how frequently the question was asked, it belongs.

https://news.ycombinator.com/newsfaq.html

https://news.ycombinator.com/item?id=10178989
How Coinbase Ships Product
I would have pointed out "If poetry is emotion recollected in tranquility, then science is tranquility recollected in emotion" but its not fair because its a quote
I've got the pro tech toolkit, and it's worth it for the case it comes in alone. The plastic case with all the little bits is clamshelled together magnetically, and then sticks to the roll with additional magnets.

I don't have much experience with industrial-level toolkits, but the convenience factor on ifixit's kit is off the charts. A worthy gift, imo.
A pity crowdfunding for Calyx ISP failed: https://www.indiegogo.com/projects/the-calyx-institute#/

I'm still puzzled why so few people cared. In today's techno-social climate, it should go like hot cakes.
Fun nugget: the ifixit HQ has a car repair shop on-site, with lift, for employees to DIY their car repairs. They're seriously all-in on diy.
When Bobby is accused of stealing Sally's idea for the Halloween costume contest, no one wrings their hands about the non-excludablility of an "idea". Nobody tells Sally, "Bobby didn't steal it, he committed idea-infringement, Sally."

In layman's terms, "steal" is perfectly acceptable. Everyone understands what it means in this context.
The OP must not live in a city. Package theft is a cottage industry.
A co-worker explained it thusly: if you want to attract folks who have (or plan to have) children, you have to offer them a way to do so while working for you... Or they'll go with a different employer who does. Of course, in the past it's been common for NO ONE to offer such benefits, which also works. If you simply don't care about attracting parents, you can not offer these benefits (though nowdays you'll be limited in how much you can cut them by various employment laws).

If you want a job that gives you a few months off every year or so to go on a spiritual journey, then your best bet is to negotiate that up-front, keeping in mind that - like parents - you'll be reducing the number of places willing to hire you by doing so.

Don't like it? I don't blame you. But I can tell you about plenty of folks who lost their jobs when they had kids and didn't like it either.
Aaaaaand downtime
Again, copyright is all about permission. Copying is just fine if someone has permission.

And who is the only person who has any idea who has given whom permission to do what? Well, that would be the only person who can give that permission: the copyright holder and their agents.

Note that this is even the case for identical items. Just because one person wasn't authorized to post a video to Facebook doesn't mean that someone else was not.

I do not have an account on Facebook, so I have no idea what video sharing there is like. Maybe it would make sense for them to do something, but the law at present does not obligate them to do any such thing. Quite the contrary: they're not responsible for their users, other than to respond to DMCA complaints.

If you're surprised by a mere hundred or so notices on a site of that size, I shudder to think what you'd say if you knew the true scope of the notices received by, say, Google search. They get 10 times as many per minute.

https://www.google.com/transparencyreport/removals/copyright...

~66M URLs removed this month / 30 days * 24 hours * 60 minutes
What skills should every software engineer have?
Microsoft PowerApps
The gimp already has this feature. It's called presets and it works well enough. Just set up your tool exactly the way you want it and then save a preset. You can even configure the preset so some settings (such as colour) pass through the preset.
I came here to say this.

workflowy.com is a great product. I wish there'd be more development on it though. It seems to me the product has become stale and the devs just sit back and collect revenue.
I recently tried to go to their site. It auto-corrected to allthongsd.com, which thankfully is still unregistered ;)
They shouldn't prevent it, but there should be some rules in place to ensure the procedures, practices, treatments and results are well documented so others can benefit from the trials.

Also, there should probably be some rules around peer review prior to starting a procedure that would include reviewing past procedures.
Tried Trello?
I mean increasing the number of people on their payroll. I think power is secondary to that objective.
Popcorn time revived
A conversation with a friend a few months ago:

"So-and-so is coming to speak at my university, but there was a bomb threat."

"What?"

"Yeah, it's pretty crazy. I think her talk is going to go on anyway, though."

"Can't the FBI do something?"

"Not really."

Apparently stuff like this happens a lot. It wasn't till then that it sunk in how pervasive the problem is. The bomb threat was apparently due to the speaker's public remarks about gamergate.

I don't know. Bad situation all around.
They don't last in a pro shop. We have about five sets right now at my shop and have gone through more. Of those sets more than half of the phillips head bits are chipped and broken. Anything marked J0* or PH0* is particularly fragile.
The material doesn't feel anything like the tool steel that my auto repair tools are made of. The iFixit bits feel light and flimsy.
I have no problem with an argument about why you shouldn't believe something. I do have a problem with "vacuous skepticism"—a comment saying purely "this is doubtful and I remain skeptical" is the photonegative of a "this" or "me too" comment: a way to say "I [upvoted/downvoted] but I also want to say words to the same effect to call attention to myself, without adding anything to the discussion." It's an applause light; a magnet for upvotes from the same people who voted in a given direction on the story itself.
There are some (very few, rare) scroll-hijackers that work pretty well. This one is not one of them. In fact, the one used on this site is one of the worst. Why I say this is its behavior. Instead of smooth scrolls, it seems like there is a certain threshold at which the scroll bar "ticks." They mask this tick by slapping on it a tween animation. So it's a bunch of ticks that result in tween animations. There are beautiful scroll-hijackers that use complicated math to make it an actually smooth experience. This one is neither smooth nor helpful. There are also those scroll-hijackers that are employed to do card/slide/page based interfaces. Those are still awful, much more understandable than this garbage.
The wikipedia page uses 2009 figures, versus 2005 from the article. Overall the wikipedia page is a more useful article.
Have you looked at Pearltrees?

http://techcrunch.com/2015/03/12/pearltrees-brings-new-editi...
A lot of folks have pretty good foresight, too.
I think the build up is intended to put you in the heads of the doctors who thought they were onto something... to help us understand how such a thing can happen.

It also makes for a great narrative since you are cheering the doctors on because it seems like they are onto something big.

But, if you hate reading long articles then steer clear of the new yorker. It's kind of the opposite of Reader's Digest.
Until we have electric airplanes

While I believe battery-powered cars like the Tesla S make more sense than hydrogen/fuel-cell based cars, perhaps fuel cells make sense in airplanes. For cars, the weight of batteries are an advantage as they provide down-force and can be readily charged by virtue of being close the ground where there's infrastructure, in stark contrast to flying at 36,000ft where infrastructure is non-existent.

Addendum: The infrastructure issues that come with fuel-cell distribution and refueling would be eliminated thanks to the centralized nature of airports.
It doesn't mention one of the main advantages of planes: air resistance is much lower at 40,000ft (although that is obviously offset by increased speed of jets compared to trains, which results in increased resistance).
Having seen pervasive API arity changes that would take 2 hours in Java take a week in Javascript, I couldn't disagree more strongly. Sure, you can write 10x more unit tests to replicate a compile-time type checker, but you basically have to hold a gun to the head of every developer to enforce it. And unless you're the boss, you don't get to hold a gun to your teammates. The compiler does.
> If I have to perform another model checking routine

Why model checking? TLA+ is not a model checker. It's a specification and proof language. There is a model checker that can check TLA+ specs, just as there is a proof assistant that can check TLA+ proofs.

> must have an extremely low opinion of quite a number of very smart people.

Why low opinion? Type theory isn't "smarter", it's just more obscure.

> The "set theory" you see in a discrete math course kind of barely scrapes definitions. I think most people who posit that "set theory" is nice and simple must've never really dove deem into the actual theory of set theory...

Thankfully, that basic set theory -- the one that barely scrapes the definition -- is all that's required to specify real-world programs.

> Did you read this dissertation's explanation of why separation logic is important?

Skimmed it. Unless I'm missing something (which is quite possible) it seems very straightforward to use in TLA+: you just define the operators just as they're defined in the paper. There's no need to "code" the logic in any arcane or non-obvious way; just define it. In fact, this short paper describes doing just that and it seems pretty basic: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.570...

> Anyways, I think the argument over whether type theory is a successful foundations for CS research and practice is already a closed issue. It demonstrably is.

It never even crossed my mind to make the case that it isn't. That type theory is an interesting topic for research is obvious. I also never implied that dependent-type tools can't do the job; as you say, they demonstrably can. I simply asked if I -- a programmer working in the industry -- had a program I wished to verify, whether there was a reason why I would reach for a dependent-type tool vs. a classical logic tool. So far, I don't see why I should. It seems to basically boil down (at least according to the responses in this thread) to whether I prefer working with direct, classical logic or with dependent types.
For a few msecs I have read Donald Trump.
Wow this book is really interesting, thanks for the recommendation!
I use the annotate gem in all my RoR projects. It adds comments to the model files based on the structure of the DB table. I find it very helpful. Haven't really thought about taking it a step further and _enforcing_ it with code.

https://github.com/ctran/annotate_models
I think you are confusing two issues here, but yes, I am happy for the government to have a monopoly on assault rifles, tanks, missiles and artillery.
The leaderboards are built on top of Khan Academy infrastructure, but the "hustle" calculation is not reflected (or computed, for that matter) anywhere else on Khan Academy.
Yes, I would not dispute your statement, but that does not contradict the fact that airframe weight is minimized to increase efficiency. I did notice the seats were mostly metal, but I also noticed their (essentially) honeycombed design: they are mostly the rigid frame, rather than solid metal. I'm sure if they could reasonably remove the ram air turbine, they absolutely would (both for cost and efficiency).
No, it's his only comment (his account's about two months older than you, funny that it happens to be that close).
Cloud Connected Pollution Monitor
12 free hd metal textures backgrounds vol1
These are regions in which we were able to get sponsors, school district support, etc.
I'm in this boat right now as a 22 year old junior in college. I honestly don't have anyone I can call to just chill. I go to movies alone, I eat at restaurants alone, I go to concerts alone, most things I do I do alone. It makes me sad to think that this point in my life is supposed to be a high water mark for having a social life, and I shudder to imagine how much lonelier things are going to be after college graduation.

For the most part I've made peace with loneliness and being by myself to the point that it's not crushing, but the emptiness of not having anyone close is always there. I think the problem - or at least my problem - isn't necessarily a lack of basic social or people skills, but an inability to escalate from casual acquaintance to close friend.

Sorry for the stream of consciousness post. I guess I just wanted to say that I relate to this article, and I don't know how to fix myself.
Hi,
Alooma uses batch size appropriate to the data volume, the bigger the data volume is, the bigger the batch size will be.

Alooma not loading into a JSON column, but provides mapping UI and transformation layer to in order structure and normalize the data into different appropriate columns, thus leverages the columnar storage properties.

FD: I am Alooma's CTO
My cats are very neurotic when it comes to me feeding them. Sometimes they don't eat when I am not standing right by them. I am looking to disassociate myself from feeding time as much as possible.
I have a vague recollection of this coming from the discovery of pulsars. One of the candidate theories about the regular pulses was extraterrestrial life. Seems like it would be hard to rule out ET if you're encountering something genuinely new. New theories would take weeks or years to cook up.
Oh Dear Lord.I will love to work here.Your workplace sounds like a mini-United Nation.
Negotiate for that benefit. I don't control what benefits my employer provides to my colleagues.

I have a colleague who got a sabbatical that wasn't tied to family leave. This is with a mainstream industrial company, and he was a mid level engineer.

I've noticed something at my workplace. Granted, I don't know what it's like in Silicon Valley, but I work for a fairly large employer in the Midwest. There are certain jobs like Project Manager, that are just grueling -- thankless, boring, stressful, with the potential for long hours. Without exception, the people with those jobs, are parents of kids. I've seen more than one engineer, including myself, apply for one of those jobs upon the birth of a kid. A single colleague was complaining to me about the lack of advancement, and I suggested that he should become a Project Manager. He said: "Are you kidding? I like my evenings and weekends."

People without kids often leave the company in pursuit of jobs that are more fun or risky.

There's a chance that without various family benefits (health insurance is probably the biggie), parents of kids would compete aggressively for jobs with higher pay and better benefits. So the imbalance would materialize anyway.

As for benefits that the employer is required to provide, lobby for them. Vote. Parents are a significant political force. We vote. But in addition, there has historically been a policy argument for encouraging relatively affluent people to have kids. Today's kids are the people who will pay for your retirement, through payroll taxes and working for the companies that comprise your 401(k).
"Stuxnet functions by targeting machines using the Microsoft Windows operating system and networks, then seeking out Siemens Step7 software."[0]

Needless to say, if you run Microsoft software, you're going to have a bad time.

[0]https://en.wikipedia.org/wiki/Stuxnet
> that is a little bit hand-wavey

True, but the internet abhors a vacuum and your fellow users are typically eager to show up with details.
So you expressly support torture and genocide?
Your account had actually lost vouching rights because of those, which I'll take as a data point that something is functioning correctly. It's all fixed now though.
I am working on specifying a weak memory model system in TLA+ right now, and have yet to encounter any issue.
Of course, since TS compiles down to JS.
The Project Method to Getting Shredded: An Experiment
My primary machine is a MacBook Pro, and it has no problems scrolling Firefox or Chrome. Neither does my dual boot Win10/Linux workstation downstairs. I think choppy scrolling is mostly a trackpad issue in this case, TBH. The settings aren't quite right. Disabling pinch zoom gesture improves things a bit, but for $2900 I expect that I wouldn't have to resort to hacks to get the core functionality working.
Spoiler Alerts: Three Books on Trash
You can do it for a couple hours by clicking 'edit'. After that, we have to do it. We did it.
The most troubling part of this is that Apple staff accompany ICE on raids.

It reminds me of the time the Gizmodo guy got a visit from the Feds after doing the article about the iPhone 4 prototype that they purchased from the bar (or the guy who found it at the bar, or whatever). Apple staff accompanied the cops then, too.

What other property owners get to ride along on federal investigations when there is a suspected case of theft?

It smacks of special privileges and private-government integration. This is not how competition is supposed to work.
The most troubling part of this is that Apple staff accompany ICE on raids.

It reminds me of the time the Gizmodo guy got a visit from the Feds after doing the article about the iPhone 4 prototype that they purchased from the bar. Apple staff accompanied the cops then, too.

What other property owners get to ride along on federal investigations when there is a suspected case of theft?

It smacks of special privileges and private-government integration. This is not how competition is supposed to work.