skysight-inc/HackerNews huggingface dataset:
Wait you think Musk doesn't value communications? I think it doesn't make sense to jump to that conclusion simply because he doesn't rehearse for PR events. I think any company that doesn't value communication as a top priority could not have made it as far as spacex or tesla. It's the reason he puts machines next to designers and programmers at both tesla and spacex. It's the reason he'll push people to work 80+ hours, because it's more efficient to have one person work 80 hours than two people at 40 due to communication/knowledge transfer efficiencies. It's the reason he has banned most acronyms at spacex. I mean I feel I could keep going on because you have to have to prioritize communications internally if any company, especially a startup, is to do well.
I would add the 1930s Gee Bee Racer. It won many races, but it was essentially like strapping the pilot onto a big engine, with barely any wings and tiny control surfaces, and it frequently crashed.

http://www.fiddlersgreen.net/aircraft/GeeBee-Racer/IMAGES/Ge...
Gmail team should fix the problem before Linus writes a email software that takes over the world :)
The 15" rMBP will apparently throttle if you load the CPU + discrete GPU at the same time. That said, I have no use for GPU, and I've been pretty impressed by how cool it stays given the thin profile and quad-core CPU.
It's a fairly reliable signal that once you start to use words like "mansplaining" you're well past having a useful point to make in a reasonable discussion.
Harvey OS, an effort to get Plan 9 running on gcc/clang
Hangouts over taxes just about any machine, it's ridiculous. FCP exporting a 4k video uses less CPU than Hangouts does to show a choppy video feed.
I guess it's what you get when all your customer focuses on your 'wireless battery duration' benchmark

macbook temperature envelop has been optimized for idleness way to long, even on MBPs. Mine (2015 first retina) gets unbelievably hot, especially since we got steam on mac it's running floored most of the time, but so far hasn't died.
Respectfully disagree. He ridicules the simplistic solutions proposed to certain issues (lack of women in a math competition in this case). In my opinion, it adds a valid (and funny) point - you may agree or disagree with him, but it is not a reason to downvote. Sarcastic - yes, ad hominem - no.
That may be, but I've pegged both and not noticed it throttling in a way that harmed performance.
Firefox runs faster on windows than Linux.
From the point of view of (global) pharmaceutical research, I was a humble witness of this precise issue being particularly badly managed. Within the research groups we understood these problems of technical communication and begged that projects be divided so that only geographically proximal sites held 'whole' projects. But, the executive world had been trained to some shiny new global view of spreading projects out 'evenly' over sites. Problems incurred were immediately declared to be a correctable flaw of middle level management communications. I tried to promote viewing the sites as one might view separate CPU cores, and to divide projects only when they were "Embarrassingly parallelizable" (https://en.wikipedia.org/wiki/Embarrassingly_parallel ), this was instantly overruled for lack of formal management training, (and failure to use the 'correct' terminology).
I wonder if this has anything to do with Apple soldering on plenty of the hardware components (such as ram) or not.
I get quite a lot of spam that is meant to look like it's from a recruiter, but are clearly sent at random.
I use hangouts daily and unless I'm on a high end PC I switch to audio only to avoid the jet turbine effect. They really need to optimize.
I wonder if the ability to see a face (ie in a hangout) increases communication - I worked remotely from UK with several Texans, and anecdotally when we switched to hangouts / video Skype we had notably more breakout sessions etc.

Phone did not cut it
It's significantly worse than Safari, and that's saying a lot. http://html5test.com/results/desktop.html
"The problem is that within a reasonable proximity of these founders, there are no venture firms, so they will not be discovered. Without the capital needed to hire additional engineers, sales people, and build infrastructure, their idea will wither and die."

It's still possible to bootstrap a company without venture capital. For example, the founders might live off their own savings for a couple of years until they have a product to sell. Or the founders can supplement their income by doing contract work on the side.

Also, not all startups need huge investments in infrastructure because not every startup creates a consumer product that's used by millions of users. For example, if your product is a developer tool, all you might need is a simple $50-per-month virtual server where the product can be downloaded.
How else would you follow blogs? Do you visit 20+ blogs to see if they've been updated recently?
Looks like really cool tech - at a first glance reminds me of the UI.Next reactive rendering model in WebSharper/F# (http://www.websharper.com/docs/ui.next) which also has an OCaml/ML heritage.

Have been thinking about using OCaml again for a new project - does anyone know the state of libraries for common web tasks, like AWS, these days?
I had the original rMBP, now the 2014 one, and don't see the same problem. A lot of it is in the persistent services that are running on the machine; I'd take a good look at Activity Monitor's "energy" pane. One thing I noticed: if you're using Chrome and have persistent pages open (cough, GMail, cough), this is probably a big part of your general heat issues. It made me go back to Firefox for a while, but Firefox's habit of occasionally just locking up because something crunchy is happening in a page was even worse.
???

Wouldn't it be better for mankind ... if as many people like these kids as possible pursued math and science more vigorously ??? Especially kids like these, who have what I would term "creative" intelligence.

Why would we want those people in law ??? That gives us far less than having them in math and science. And we will get the MOST by having them in art AND math and science. Then we'd really get their creativity going as they look for solutions to problems.
A-Bike Electric: light and compact electric bike
She specifically says that she only told friends about the bonuses being withheld
The costs include TWO new cars and a ton of other miscellaneous fees. I'm sure that the point being made is valid to some extent, but the calculations are way out of proportion.
Crypt.Chat for EU users on EU servers
Russia’s Cold War Mapmakers
Discussion of the original post by Torvalds from yesterday: https://news.ycombinator.com/item?id=9905363
Whether religions uphold good or bad moral codes is inconsequent to my point, which is that they demonstrate the existence of broad agreements about morality between millions of people.

This is simple consequential ethics, which has guided society for millennia. Societies that follow these simple principles thrive, those that don't wither out and die.

Those principles you're talking about are exactly the principles that asgard1024 mentioned; and that "societies that follow [them] thrive" is exactly why legality is rooted in morality - be it consequential ethics or not.

And you don't need any knowledge about morality to achieve it.

How can you have "broad consensus" without knowing what you're consenting? I think you're trying to separate "consequential ethics" from "morality", but that makes no sense, because as a normative ethical theory, "consequential ethics" is morality.
I am in fact running Ubuntu. Thanks!
Some things that are important to remember:

(a) "Proof of security" is a term of art that doesn't mean what it sounds like. In cryptography, you "prove" specific things about an algorithm, often in the context of a "game" with one or more adversaries. You need to know more than that an algorithm has a proof; you also need to know which proofs those are, and how they apply to your application.

(b) Proofs generally apply to algorithms and low-level constructions. Once you start composing proven primitives into whole cryptosystems, typically, all bets are off. Proofs of entire protocols are an active research area.

(c) A proof will almost always apply to the abstract, mathematical notion of an algorithm or construction, not to the code that might implement it.

I apologize in advance at how little this has to do with the actual resource linked here; I'm just sort of predicting what the thread on HN, if any, would look like.
If anything, I'm more confused after that. You're comparing the case of a $20 share price without a reverse split to the same share price with the split. That's absurd, since changing the number of shares changes the price (market cap = number of shares * price of a share -- and the market cap is to a first approximation fixed).

The proper comparison would be a share price of 20 -> 60 with the reverse split, or a share price of 2.5 -> 7.5 without. And with those numbers you'll see that the split had no effect at all.

Maybe there's a scenario in which a reverse split screws up the employees. But I don't think it's the one you're describing.
Apologies. I was thinking if HIPE, not BEAM. You're right a lot of languages are disqualified. A lot just suck and have strange hacky stuff thrown around helter skelter. Erlang isn't that bad, but it is just questionably verbose and not fast.

And apologies, apart from playing a bit with some custom ejabberd code (which was terrible, but it was written by an inexperienced coder so nothing expected), RabbitMQ is the only high profile Erlang thing I've got experience with. I hear couch or something is also written in Erlang, but I've not heard of amazing HA, more than, say, Redis.

It's just nothing that Erlang has seems that special, apart from the process controller/network stuff. Which is straightforward to write in another language. The forced serialization, eh, I'd like the option to share memory when needed. Hot code patching? From what I understand, it has very strict compatibility requirements, and under those constraints, you can do it in another language. So apart from OTP, I really don't get the point. Erlang's big thing seems to be something that should be a library, not a language.
Technical standards would be vastly improved by adding a because-clause to all of the do-this and don't-do-that requirements.

Section 9.5: "NOTE: Do not use spiral wrap sleeving on mission hardware including launch vehicles."

If you knew why, then you could make intelligent decisions for cases to specifically covered by the standard. Possible reasons: Poor strength to weight ratio, unreliable under high-g load, makes visual inspection difficult, there is a better but more expensive substitute, etc.
So, as an unknown percentage of population will do that, treat everybody as thieves.

And the music industry will ask themselves why there is such piracy.

Well done, they are doing everything possible to be irelevants and to die
Oh. Woosh.
VS C++: Generic Parallel Computing (GPC) API http://parallect.codeplex.com
FWIW, one of the above is widely used in production systems.

and none of the above have solved preserving types across machine boundaries (or at least not in a stable/non-experimental let's-bet-the-bank-on-this release).

Quasar looks pretty insane at first blush; if Java 9 or 10 delivers on the missing piece [1] for this library, watch out.

[1] "Quasar fibers are implemented by creating and scheduling continuation tasks and since the JVM doesn’t (yet) support native continuations, Quasar implements them through selective bytecode instrumentation: methods that can block a fiber currently need to be explicitly marked through annotations so that Quasar can insert the continuation suspension and resumption hooks."
For the audio, here is what I hear from
the first of the video clip:

??? one.

My name is Art ??? I am the creator
of Audio???.

Today I'm excited to show you another
example of ??? AudioKit live coding
playground.

I have been presenting AudioKit at
??? universities and I ??? example

He can speak plenty clearly enough, but
in places he just drops his voice
volume. E.g., for what I heard in
"Audio???" it might have been
AudioHit, AudioKit, AudioSit,
AudioIt, or something else.
He just dropped his voice
on the last sylable of AudioKit.

For his last name, he again dropped
his voice.

"Live coding playground" is clear
enough, apparently from
"another" there is a prerequisite
of earlier examples? And,
really, there should be
something like:

"The software AudioKit
permits finely grained interactive
usage with what we call
the AudioKit live coding Playground,
and we will demonstrate that here."

Okay, that's good.

Then to the computer screen, we're
supposed to know that that is
on Linux or Apple? We're supposed
just to assume that? Observe that?
Not good. Instead, just say
what the computing platform is.

These are constructive remarks, not
"rude".
I haven't finished it yet, but what I've read of Wasserman's All of Statistics I've liked. The chapters are a bit terse, so I'd plan on doing a bunch of the exercises. The good news is that there are lots of exercises and most of them feel well chosen.
> Crypt uses AES-128 encryption to secure the connection between you and our servers, once at our servers all the data is encrypted at AES-256. All of our servers are located in the EU, currenly France with uploads such as images and documents being stored with Amazon Web Services in Ireland to increase the performance of our App.

So everything is available in plain-text on their servers, and in case of uploads on servers within reach of US agencies? That's not great compared to other offerings, and makes the entire "EU only!" advertising pointless.
The OP also fails to take into account the utility of having a vehicle. It's not like you will not be using your car for personal errands.
I suggest you take a look at Elixir, it's an incredibly well designed and powerful languages. FWIW, I am pretty sure that it will take off exponentially in the coming years... the support for concurrency is amazing, and it also allows for simpler software to be developed easily.

Definitely worth taking a look at it.
Uber has been running TV ads in New York City that specifically say:

"Mayor de Blasio's plan to stop Uber will cost 10,000 jobs..."

So it's fair to have some more detailed discussion about what these purported jobs are.

Also, we live in a country that protects workers. We try to make sure they're safe. We try to make sure they're fairly compensated. Not everyone has the same degree of life and career flexibility of the average young techie. So even though this particular guy can probably go find another gig, "if the pay's so crappy they can just go get other jobs" isn't a universal solution.
Assuming PAL with 50Hz refreshrate (interleaved), that would be max 50 bit/s.
It's not page load, its the actual application running.

It does some fairly heavy image manipulation in web workers using typed arrays. The app loads a little faster in IE (the code comes in just under 1mb), but the runtime of my few test cases are magnitudes slower.
Another possibility is that there's a steady outflow of drivers, but it's matched by a steady inflow of new drivers. The fees stay the same.
The ability of a definition to change in light of new evidence is an essential quality of a precise and useful definition. Definitions, to be useful, must be precise and falsifiable. That a definition is changed because its earlier version was falsified is evidence of precision, assuming the new definition is also falsifiable with evidence.
Not parent, but I visit about 6, yeah. What should I be using instead? Setting up RSS feeds seems like a pain.
It's exactly the same way in large C projects (minus the "design patterns" bit). The project is divided into libraries and programs that are clients of those libraries, each team member gets a couple of them.

If you understand how a large Java program is organized, you understand how it works on C projects. Just remove some of the fluffy Gang-of-Four stuff, and add back in a tiny veneer of DIY interface/object abstraction.

(The first 8 years of my career involved shipping C and C++ on 3 different large projects).
Go https://golang.org/
That 'tweet' is fake.
No. Google Apps for Work.
There was an interesting article that looked at what the USA Mathematical olympiad trainee candidates in 1980 were doing now (This batch included the famous Noam Elkies) -

http://andrewgelman.com/2015/03/17/1980-math-olympiad-progra...

HN Discussion: https://news.ycombinator.com/item?id=9225683

A bunch of them went into academia, though not necessarily pure math. Some became engineers and only one ended up in finance.
We've made something very similar for Java/Clojure as part of Quasar: http://docs.paralleluniverse.co/quasar/#dataflow-reactive-pr...

Every Var keeps track of the inputs that affect its computed value, and has an associated continuation responsible for carrying out the computation whenever an input changes (which, in turns, triggers recomputations further down in the graph).
Why You Don't Need 2 Factor Authentication
The article's title breaks the HN guidelines, so we changed it to a representative sentence from the text. Happy to change it again if anyone suggests a better one.
I'm relatively new to Macs, but it seems like it's partially a cultural thing. When I first got a macbook for work, I found my fingertips got really uncomfortable from how hot the keyboard and mousepad got, and assumed there was a problem to be solved, but several Mac-centric colleagues said they just got used to it.

I wound up downloading some random app that lets you control when the fans turn on - and voila, a cool(ish) keyboard. As near as I can tell, by default OSX intentionally just leaves the fans off until well after things get uncomfortable.
What seems to be happening here is someone saying "I did a self-reporting survey of salaries, and there's an existence proof that someone at my level is getting paid $X, can I get paid closer to $X than my current salary." Which is sound.

It's sound modulo the assumption that everybody is being honest when they report their salaries, sure. Of course, in a company Google's size, there are always going to be outliers, so "someone at my level is getting paid $X" is a long way from "everybody at my level should be getting paid $X".

If I apply for Google and try to negotiate a $200K salary, is that low? high? so high I'll get my offer revoked? (I've heard of that happening in tech!) I have no idea.

Right, and that's the proper use of such anecdata -- to help you formulate your bargaining strategy, not as a bargaining chip itself.

Ironically, if information like this had been available back in 2006, I might be working for Google: A few months after I rejected their offer, I was told that it was "pathetically low" and that I could have negotiated at least 50% more. If I had been offered that much more it might have factored into my decision; but I didn't know I could negotiate, so I ended up simply rejecting the offer.
For those unaware, Elixir is a language that runs on the Erlang VM, so its amazing concurrency is the same as Erlang's.
Good lord I know. It was like reading a short story via telegram.

"once upon a time STOP i got bored at work STOP so i made a spreadsheet STOP ..."
NSA Shares Cyber Tool on Agency’s Corporate GitHub Website
Previously: https://news.ycombinator.com/item?id=9902057
JavaScript teams face a similar issue, due to its dynamic nature. I find that strict coding standards (ex: making sure code aligns) goes a long way.
Someone used to live in Florida, and went to the parks there on vacation just last year, I can confirm that even with 3rd party wait time optimization tools (yes, they exist and they are awesome, I never go without using them beforehand) it is impossible to do everything in a park in a single day. Hollywood Studios might be possible on a slow day, but unlikely. Even skipping attractions I am not as interested in, I am there from opening until closing. So I would say that the only concern for the company is that vacationers who go to a park over the course of two days(which the vast majority don't) may only go for one. I would think that the improvement in visitor satisfaction would more than cancel this out.
Well, I would rather have a throttled Mac than one that overheats.
feedly.com is fantastic. Not sure what's painful about setting up an RSS feed. Just paste the URL in once.
Scala with Akka.
http://www.scala-lang.org/
http://akka.io/
The cost needs to be decomposed into two pieces: consumption and investment. These two are very often conflated when discussing home ownership.
Apple’s ‘Back to School’ Details Coming Soon
In keeping with the topic, I don't think developers are unionized in those countries either.
Edgar Allan Poe’s “Eureka” and the Machinery of the Universe
If you use NetworkManager, you can right click its icon, choose Edit Connections. Then select the desired network, and choose "WiFi Security" and then "Show password".

Connection configuration, including plain text passwords, are stored in /etc/NetworkManager/system-connections/ for connections that are available to all users. They are readable by root only, obviously. Otherwise the password is stored in your keyring (e.g. Gnome Keyring under Gnome).
> Setting up RSS feeds seems like a pain.

What seems painful about it for you? IMHO handling feeds is only painful if you have/want to switch readers or if you want to browse old archives. Other than that, you just drop a blog URL in your reader and it gets you the updates.
> I assume most countries picked the best candidates for their teams

The fact that there are statistically significantly more men among the best candidates is already enough to conclude that there was a gender bias. The bias can be in the education or in the selection process, etc.

The fact that Ukraine and Bosnia-Herzegovina have gender balanced teams mean that they have managed to avoid this bias, one way or another but not necessarily though positive discrimination, maybe they simply a more balanced education, maybe they have a more extensive selection process where they retrain the students from scratch before selection etc. Eitheir way, they deserve some credit for that.
Not really. Soldered ram should actually produce a tiny but less heat, since you're eliminating the resistance of the connector on the system board and the circuit board the ram would be attached to, to slot into the connector. It should be measurable, but small. OTOH, eliminating the connector makes a significant different to the system height.
Claudia Alexander, who helped direct Galileo mission to Jupiter, dies at 56
It's hypotheses that are falsifiable, not definitions. Definitions simply give values to symbols.
I've been using OCaml to build a language and runtime system for cloud orchestration[0]. As part of that, I've developed an AWS library whose code is generated from the service descriptions published by boto. It will be open-sourced at some point in the future, along with a few other things that should make developing web stacks using OCaml much easier.

If you're looking to try out OCaml, I'd say the time to do so is quickly approaching.

[0]: http://www.inhabitedtype.com/
Regarding H1-B it depends on the position and role - but please feel free to send us your info at jobs@rescale.com to see if there is a good fit.
What's an example of a protocol that has been well-served by formal methods prior to 2015?

Contests have fared well at selecting algorithms, but (prepared to be smacked back for this), ad hoc methods have done OK with algorithms as well --- you might say MD5 is an exception, but MD5 didn't have much competition when it was "selected". You might also say RC4, but RC4's history is very complicated.