skysight-inc/HackerNews huggingface dataset:
Google launches its own mobile telephone service
A lot depends on how well the WiFi network works. If their WiFi network is good enough then your data might stretch a lot further.
If it's pure math, sure, like string theory in theoretical physics, but a lot of maths is well founded and needed for application. That drives the direction of research a lot.

"true for no reason" is oxymoronic
> Of course, it's also baffling that they built the airport so far away in the first place, but that's another story.

The Kanto plain suffers from a dearth of available flat land, even more so enough available flat land to build a major international airport (this being worsened by Japan's weak eminent domain and history of resistance to relocation, half a century later there are still families living on the site and farming in the middle of the runways: http://www.japansubculture.com/the-phantoms-of-narita-airpor...)
Same issue when people post GPG keys on their website. You can't verify them.
F# doesn't even have modules; although it's derived from an ML, it has cut out rather important parts of it to make it fit into the .net ecosystem.
Building a Developer Index
I've been experimenting for some time with an idea about building a developer index and aggregating some public users data. This is my first attempt to do so, would appreciate some feedback on it :)

www.dev-hub.io
This is nice to see and is a step to breaking down the ivy league snob high school mentality that Ive experienced with some VCs.

Case in point a VC whose east coast venture recently imploded was speaking at a conference. After the conference ended entrepreneurs started to approach and pitch him. He acted like he was king crap and he didn't to be bothered by entrepreneurs, but umm that's what he signed on for. He even later made a rude remark on Twitter about an entrepreneur he just met(didn't name names).

VCs like him... please get over yourself, be humble/nice and don't be D*&K! Because one day like the VC I noted above, your on cloud 9 and the next you look like a fool/complete failure in front of the community!
The feature to auto-block "commonly blocked numbers" is something most Android phones don't have built in. It's basically a spam filter for phone calls. (Although there are other apps that do this.)

I had to change my phone number a couple years back because I was getting several robocalls per day from credit card scammers, and a normal blacklist was useless because they changed their numbers so often.
If you're having to trick the optimizer, you're doing something wrong.

If the language is such that there are things in the language that inherently require tricking the optimizer, the language is doing it wrong.
What if you have it backwards? The top VC firms stay the top VC firms if they attract and fund the best entrepreneurs. The best entrepreneurs are the best entrepreneurs regardless of which VC networks they tap.

First Capital realizes this, and is making a move to capture the important opportunities they would miss out on otherwise.
My uni used student sysadmins to run hosting for Open Source projects. Great experience on production infrastructure without big dollars on the line when mistakes are made.

http://osuosl.org/about
this is excellent, someone well funded to take on the cellular companies that have been asleep at the wheel with pricing, customer service and innovation for years.
I'm happy to say your question led me on a very interesting adventure :)

Suppose x is an uninitialized int★ (pretend ★ is an asterisk---HN doesn't seem to allow asterisks in comments). Suppose we do

int ★y = x; (★x)++; (★x)--;

Should y-x necessarily be 0, in the language you're looking for? Think carefully. If x had been initialized (and pointed to a valid memory location, say), would y-x necessarily be 0? Surprisingly the answer is no! It's possible that x could point to itself. In that case, (★x)++; actually changes the value of x itself, so that it is no longer cancelled out by the following (★x)--;

I guess the moral is that what you're asking for is subtler than meets the eye
1.5" of "wasted" space? That surprises me.
Go Sens Go!
They could have pivoted this into a way for companies to send instant coupons to people that happened to be close.
Physics is about the way things are, whereas math is about the way things have to be.
That thing is offensive on so many levels
As far as I know, yes, that's how representative democracy works. There are some ideas around about how to make a subject-restricted representative democracy (but I don't really think that would work).

I have no idea how to change from one system to the other (although powerful people not ceding power to the demos is not a new problem). I'm also not completely sure that it's a better system (but I suspect it is). I was only pointing that the problem was caused by that, and won't get fixed in a representative system.
Once I've gotten used to his style, I agree, the content is almost invariably very good and well thought out. I tend to now just mentally rewrite his insistence that certain things are "wrong" or "idiotic" or "useless", to a statement along the lines of, "X is widely believed, but I would like to point out some of its disadvantages, and advantages of a different view". Since to some extent he's in the position of an ML holdout, in a PLs field where the Haskell researchers are lopsidedly larger than the once-larger set of ML researchers, and Haskell is often seen as the current theoretically advanced language (while ML was the theoretically advanced language of the '80s/'90s), it's useful to have a strong advocate for the minority view that ML was on the better track.

edit: On the subject here, the response he links at the bottom is also interesting. In the first comment, Harper even acknowledges one thing he actually does like in Haskell more than ML: http://augustss.blogspot.com/2011/05/more-points-for-lazy-ev...
Good morning… another one who woke up… finally. Anyone who was active in computer graphics in the past century knows about this. This is why there are contact color spaces like CIE XYZ or CIE Lab. Yet for some reason we're still using desktop compositors that work in imprecise and small gamut sRGB instead of a contact color space.
> But at some point, the aggregate network demand will exceed even the THEORETICAL network capacity, if you offer your customers unlimited data, and demand goes up the way I think it will.

At which point you build out the network so that it can handle the increased demand. The problem of congestion doesn't magically go away if you ditch unlimited plans for pay-per-gigabyte plans.

Even barring that, the wired broadband world already addresses this by making speed the useful commodity instead of quantity, and there's very little reason why the wireless world couldn't do the same. "Our networks are getting congested, so we're going to switch to a new model where you can pay cheap rates for 2G speed or pay more for 4G speed or pay something in between for 3G speed or pay top-dollar for our newfangled 5G" is a much better answer than "our networks are getting congested, so we're going to just cap users' usage of it and hope the problem goes away".

That, in short, is what Google Fi should be doing. That would be an actually-compelling reason to switch to it instead of T-Mobile.

Until then, T-Mobile will continue to get my business, and T-Mobile will therefore be at least that much more incentivized to provide unlimited data plans.
This is great! Thanks for sharing, I just got a bird feeder, this will be a perfect starting point for shooting images.
That makes sense. I would consider a concept to be an idea or a plan, not a working product.
Tesla billionaire CEO Elon Musk paid peanuts: $35,360
This is the most useful thing Facebook has ever done. It will change the way we do phone calls, and it will be for better.
One of the classic motivating examples (which is addressed in the 1ML paper) goes like this:

Both trees and hash tables can be used to implement map-like data structures. You could, in ML, have an abstract signature for Map types that gets implemented sometimes by a concrete TreeMap implementation and sometimes by a concrete HashMap implementation. HashMap would be a better choice if the expected number of entries is larger, and the TreeMap would be better if the expected number of entries is smaller, so what we'd like to do is write something like

module Map = if size > threshold then HashMap else TreeMap

so that we choose what concrete implementation we want at runtime—but we can't really do that, because the language we use to talk about modules in ML is distinct from the language we use to talk about values. That is to say, the size > threshold part can't coexist in the same expression with the HashMap and TreeMap part. Some MLs have added the ability to wrap modules in values, so you can write it this in OCaml:

module Map = (val (if size > threshold
then (module HashMap : MAP)
else (module TreeMap : MAP))) : MAP

but it's a bit awkward because of the explicit moving-back-and-forth between value-level and module-level, and the interaction between the two languages has some rough edges (which the paper explains more thoroughly, if you're interested.)

The motivation for 1ML is that we'd like to use the same language to talk about both modules and values. That way, we could write the first, simpler definition without having to worry about the fact that we're manipulating distinct 'things'. Of course, there are other tradeoffs involved in the 1ML solution, but it's an interesting, compelling experiment.
A lot of big projects are terrible to build.

Once upon a time minimising dependencies was considered good practice. Now I get a pasting if I write clean code without reusing someone else's library... even if the suggestions don't solve my problem directly or at all and comes complete with a sloppy 'no one click build/deploy' configuration... the kind I was embarrassed to produce on my stand alone projects in my teenage bedroom days.

Shame on developers everywhere for tolerating this mess. I (am lucky enough to enjoy the freedom of choice that I) would leave a job if not allowed to start fixing such a situation from day one.

That being said, good sysadmins and developers should work out these problems properly instead of shortcutting through someone else's half arsed effort via Google.
We would love to have build artifacts, see http://feedback.gitlab.com/forums/176466-general/suggestions...

I wonder what why of uploading people want to use. Have a special directory that gets uploaded at the end of the tests?

I don't understand what you mean with test integration. GitLab CI already allows for testing and deploy jobs.
Well... maybe. Keep in mind that the way YC judges candidates involves spending almost no time evaluating any particular group, because they have so many to go through. Even those who get an interview only get 10 minutes to talk after which the interviewers spend 5 minutes making a decision before moving on to the next group -- and ~90% of those decisions are rejections. Since the interviewers don't actually have time to review the next team's application between interviews, much of the 10 minutes is spent introducing the idea and people from scratch.

It's an approach that has clearly worked very well for YC and you can't fault them for doing what works, but it's good that not everyone uses this approach since a lot of good ideas and good people would never get funded this way. It's also pretty costly for founders: each team spends hours or days putting together their application and potentially several days traveling to the interview (unless they're lucky enough to be in the bay area already), all for a few minutes of YC's time and a tiny chance of acceptance.

On the other hand, most VCs, if they're going to talk to you at all, will schedule a one-hour meeting, which they're happy to do over Skype if you aren't local. Meanwhile, getting an intro typically requires far less time investment on the part of the candidate compared to a YC-like application process (you just need someone to send a short email). But, yes, you have to get that intro, so if you don't have connections, it's a problem.

I don't think you can really say that either method is objectively more or less fair; they are simply different kinds of processes that have different kinds of bias and costs. I think it's important that YC exists as an opening for the large number of great teams who aren't well-connected, but I also think that if every VC worked like YC it would make fundraising much more costly for founders and a lot of great ideas and people that get funding today would not succeed under such a system.

Really, the best thing is for lots of VCs to be doing lots of different approaches, even if each one has biases.
I am sure there are times where economics in a capitalistic society is racist. But I do not believe that is the case in this instance with Facebook. No one has yet proven that they are discriminating against a group of people. That would require that you come up with information which told us how many Native American's are actually being discriminated against. The articles name maybe a dozen or so people effected by this policy (which is rather low I am sure there are more than that, to be fair). Let's assume that all of these people were Native American and do some back of the envelope math to see what percentage that effects.

World population = 8,000,000,000
Native American population (2010 Census) = 5,000,000
Facebook users = 1,400,000,000
Percentage of world users who are Facebook users = 17.5%

If an even number of people across all nationalities use Facebook this would mean there are: 875000 Native American Facebook users, give or take.

That means that: 0.0014% of Native Americans are troubled by this policy according to those who have stepped forward in these articles.

Of course there are probably many many more. 10 times more? That would be 0.014% of all Native Americans. 100 times more? You get the idea.

On your second point you state that if Facebook designed an algorithm... are you sure they checked every possible cultural naming norm when they designed the algorithm? I do not believe they did. Does this make them discriminatory or racist? In fact, no. The real question here is, do the update their algorithm to become smarter and better at allowing in real users and keeping out fake ones? The answer here is yes. That would make them the opposite of racist. In order to be discriminatory, you must actually discriminate.

Facebook does discriminate. Look at what they do to small businesses that do not pay for ads and only want organic (read: free) advertising. They are very open and public about the fact that they do not care about and do discriminate against these small business individuals.
Announcing FL Studio 12 (with a “Vectorial UI”)
> stealing your valuables

> So, to recap: the TSA can break your stuff

A simple, free solution to this issue: check a firearm in your luggage.

It's a federal issue (violation of 14 CFR 108.11 [1]) for anyone to have access to said luggage except yourself. This includes the use of TSA locks - you are the only one who legally may retain firearm-containing-baggage keys.

I have never had an issue with lost, tampered, or stolen luggage. I routinely fly with tens of thousands of dollars in electronics and equipment, plus at least one handgun/ammunition. No problems.

In the event of an alarm, you're required to be present for any manual screening. Manual screening is often not necessary (depends on the airport/equipment/experience of the screener).

I should note: this only works if your "luggage" is one solid, hard case. I use a large, undivided Pelican case.
http://www.amazon.com/gp/product/B002E6R7NG

[1] http://www.gpo.gov/fdsys/pkg/CFR-1999-title14-vol2/xml/CFR-1...
The data is useless. My home city has had >0 OIS during the date range, but the data reports zero.
Of course. I guess there might be soft advantages from YC's participation that reduce the probability of getting into a bad situation, e.g. access to investors less likely to throw founders overboard and a network which may make questionable investor behavior higher profile.
ANN: Clojure Spark API Sparkling, Release 1.2.1
You hope.

And then you run into something like this [1] - which has been open for >10 years, and all of a sudden you're invoking UB without realizing it.

[1] https://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501
If you don't mind your connection being proxied there's always Opera Mini.
That is probably a really nice side effect, something akin to a vaccination. Excellent observation.
End of life care and Silicon Valley
Another reason: the student grew up in a rural community, and has rarely dealt with anyone they don't know and aren't related to, so are congenitally incapable of approaching a professor unintroduced.
Show HN: I decided to change careers, Random Chat is my first app
There's a well-known vertical farm in Japan which produces 10,000 heads of lettuce a day. But even with LED lighting, they need subsidies on power costs.

There are some special situations where this is a big win. Places with poor growing climates and difficult shipping, such as Alaska, where a big indoor farm is starting up. Indoor farms have been big in Saudi Arabia for decades. But for places within trucking range of good farming land, this probably will be limited to a few high-value crops.

Amusingly, vegetables grown under totally artificial conditions can be labeled as "organic", because they don't need pesticides. Probably "kosher" too.[1] The lettuce plant in Japan runs their employees through a shower and has them wear clean-room bunny suits, so as not to transmit some disease into their high-density farming operation.

[1] http://www.kashrut.com/articles/Bugs_in_Lettuce/
"Mature" doesn't make it necessarily better. I have had catastrophic data losses with Oracle and Teradata and none with Cassandra or MongoDB.

And I would disagree that Mongo is a "toy". We use it as part of our core EDW and we have petabytes of data in our data lake. No issues what so ever.
Maybe both Feynman and the author copied the explanation from a third source.
Google consistently tries to increase competition and make both hardware and network owners into a commodity.

Meanwhile hardware and network owners madly fight to stay relevant, like the aggressive customization of Samsung's android Touchwiz or the various telecoms lobbying against net neutrality.
The syscall version isn't much more complex. You can compare the syscall ABIs here [0]

[0] http://en.wikibooks.org/wiki/X86_Assembly/Interfacing_with_L...
> Billions of calls are made everyday on mobile phones and people often have very little information about who’s calling them.

I don't find this to be the case. Caller ID tells me what I need to know the lion's share of the time.
Separation of concerns?

Let ye olde business do the infrastructure, and Google - data mining.
Cool project! I guess that with the Pi2 you could do some basic image processing to detect changes and then decide which footage is interesting.
What Five Years of Fumbling Towards a Career Taught Me
> it's useful to have a strong advocate for the minority view that ML was on the better track.

Total agreement here. I also really enjoy his rather principled, HoTT-inspired perspective on type theory. I vastly prefer PFPL to Pierce's TaPL due to PFPL just being less preoccupied with the diversity of reasoning possible and more interested in explaining the "one right way" efficiently.
At the top ivy league schools, they do in fact also pay for rent, food, and even clothes (Harvard has a fund to pay for winter coats for students on certain levels of financial aid.) Harvard also has a fund to pay for some school-sponsored social events (like formal dances) as well as certain types of travel. There is still a notable class difference and there are still issues of money around different types of activities and behaviors, but it's not like they just pay tuition and call it a day.

(I mentioned Harvard specifically a few times because I went there and am familiar, but I believe the situation is the same at a couple of other top ivy league schools.)
Funniest clip ever! https://youtu.be/n_1apYo6-Ow
Fun story of becoming a Rust contributor: My first PR to Rust was actually rejected, due to a procedural error: https://github.com/rust-lang/rust/pull/4305 Nowadays, we follow GitHub norms more closely, so this kind of thing doesn't happen.
the monad example in 1ML is:

type MONAD (m : type ⇒ type) =
{
return a : a → m a;
bind a b : m a → (a → m b) → m b
};

map a b (m : type ⇒ type) (M : MONAD m) (f : a → b) (mx : m a) =
M.bind a b mx (fun (x : a) ⇒ M.return b (f x)) (* : m b *)

not too bad.. though I wonder if things are defined structurally instead of nominally, which monad instance are you going to get for a given expression. Haskell's "one instance per class" rule means the compiler figure out which monad instance to apply.

This looks more flexible, but also looks like it will require more annotations and explicit parameters.
You are thinking about only one side of the thing, and not about the more ethical/legal side.
For example you could sell your knowledge by helping developers to prevent hacks. Like the Anti-Cheat Toolkit for Unity: https://www.assetstore.unity3d.com/en/#!/content/10395
Sure it doesn't prevent motivated cheaters but it's still has value for the developers. Another useful thing could be to sell online curses about your knowledge.
In an ideal world, anyone trying to dazzle students with e^(i*pi) should immediately be rebuffed with the demand: "define complex exponentiation". While I was teaching calculus, I found that students have a tendency to assume that any function sufficiently familiar to them, must be defined for whatever values you can think to stick in it; if you were teaching the mathematics of chairs and tables, they wouldn't bat an eye if you mentioned cos(chair). This phenomenon also explains why there's such a ridiculously big deal made by laymen about the undefinedness of division-by-zero.
> Did you read the article?

Of course.

> In C, the compiler is perfectly allowed to compile "return x - x" with x uninitialized into "return 1". Accessing an uninitialized variable in C is undefined behavior. The compiler can do anything.

Sure. The peephole optimiser will pretty certainly run first and remove the whole expression though.

> For instance, "if (x == 0) y = someExpensiveFunction();" with x being uninitialized. With the "must be initialized to a specific constant" this sort of thing cannot be optimized, whereas with "must be consistent" this can be compiled down to nothing.

You've noted yourself in an other comment that the arbitrary value may be 0, the compiler can make no assumption about what's inside x, so there's absolutely no way to optimise this away, whereas with a specified constant the compiler knows statically whether the test will or will not succeed.
Wheel users (should) have to verify their password, that's specifically what the 'docker' group sidesteps.
$20 get's you a gig of 4G data in UK.

Probably more in other countries.

I think what's interesting here is that Apple tried to do something similar years ago and carriers revolted.
Was playing the goal song through home audio system triggered too? How (or is it Mac's audio piped through speakers)? Great idea btw
I don't think either syntax is nicer than the other. It's just a matter personal preference and familiarity.
Hang in there! I don't mean to sound trite, but if your personal situation allows you to go to college, do it. It will pay off in the end. I stress personal situation. You'll always be able to fix your teeth later - after college you will be able to get a good job with good health insurance. (& that can help fix a lot of things) I'm not sure about your personal situation with your parents - I can't moralize on that. Good luck - it's tough to deal with.
"Us and Them" makes it sounds adversarial, but it's not meant to be. It's about who is best equipped to fix the problem. More often than not, a problem with an in-house developed piece of code will be best fixed by the person who wrote that code.