skysight-inc/HackerNews huggingface dataset:
This is so that F# could have higher-order types and interop them with other .NET languages. F#'s type system is simple partly because it strives to use the existing CLR type system, limitations and all.

If you have no such requirements (e.g., Scala, where there's no requirement that Java be able to consume or interpret all of Scala's types), then you can most definitely define a language for the CLR which does this.

F* is not a typo -- that is not F#, it is a separate language.
Wow, this is incredibly useful for planning touring routes.

I often ride 100+ mile trips to areas I don't know very well and the hardest part is knowing what roads are more-or-less bikeable to plan a route.

Google Maps bike directions are basically worthless on long trips since they divert you way too often into neighborhoods and side streets. Strava is a perfect data set for this use case.

This is damn useful as-is, but if someone could turn this data into long-range bike directions I would absolutely pay for it.
Did da Vinci Create a 3D 'Mona Lisa'?
No big loss. Energy storage is going to hit the scene big time in a very near timeframe, and the "but baseload!" arguments for nuclear are going to hold much less weight.
50 states, as many as 50 ambitious state Attorneys General looking towards higher office ... absent something at the Federal level, it's hard to see how this won't "undermine kickstarter completely"
SnakeDoc: You have been hellbanned, apparently due to your comments on nuclear missile silos.
10x growth of your blog
[T] => Vec<T>

It's ~[T] that is now Vec<T>, which was a good change in emphasis (the former is still valid, though it will become Box<[T]> with this RFC).

Besides the implementation differences, I think readability is improved when `Vec<T>` is written.
A positive aspect of this is that the AG is suing the creator rather than Kickstarter itself, which sets a good precedent.
Yeah. Street harassment is another thing like that. E.g., I naively assumed that my girlfriend's experience going out and running alone was exactly like my experience when I was with her. Until she started telling me about the frequent whistles, comments, and sexual propositions she would receive.

It just didn't happen when I'm around, because people who are jerks and abusers are, unsurprisingly, very crafty in doing it only in contexts when they are unlikely to get called on it. So male perception of this bullshit is almost totally unrelated to how much it happens.

As an aside, it made me really happy to come across a poster last week for the #stoptellingwomentosmile campaign: https://twitter.com/williampietri
The scare-mongering is the very reason nuclear is so expensive.
The problem with fossil fuels vs. nuclear is that everybody thinks of fossil fuels as SAFE. They are not.

"Nuclear waste is bad--but I'm okay with you guys destroying the Gulf of Mexico."

Dumping every ounce of nuclear waste we have at the bottom of the Gulf of Mexico would cause less damage than Deepwater Horizon did.

And that's before you start talking about things like coal dust that actually adds MORE radioactivity to the environment than nuclear waste.
why are you serving on the fly? Are we seeing live data?
With IPO Hopes Fading, Square and Box Face Reality Of Commodity Products
I went to CMU and am a software engineer at Facebook.

Out of curiosity, why do you think that having an Ivy League degree is necessary? Is there anything we did to convey that impression, or anything we can do to combat it preemptively?
Founder here.

1. when we'll charge a credit card (which should happen in the coming weeks as we're incorporating the company), we'll be already cheaper than Heroku in a price/performance ratio
2. to be honest we're more pessimistic than you about the number of containers that we can host on a single server like the one you cited (at Appsdeck we use only SSD equipped servers with more cores than in the machine you cited)

That said, our price could change a little bit depending on the real workload that our cluster can handle in real life.
If the redirect URI is registered and compared by the Authorization server as required by the OAuth2 and OpenID Connect specifications this is not a issue.

The OAuth 2 implicit flow encodes the access token in the URI fragment to prevent leaking in referrer or 302 redirects.

It seems that the person who discovered this Facebook vulnerability somehow broke fragment processing in there browser to make there YouTube video work.

I will say that ESPN went to a lot of work to create a open redirector that preserved query parameters from the origin URI, you don't see that every day. So if anything the discoverer should get some credit for finding a ESPN issue, but it is not more general than that and could not be used to exploit Facebook unless used in combination with some other browser bug to turn of fragment processing in the browser.
They might have a number to call.

Our online form had basic functionality like that, but calling let you talk to a staff member who could help you clarify what you might actually need.

(I worked as a web developer for a number if years there, and the form didn't get updated much while I was there.)
Thanks for the clarification. I know Strava takes the issue of privacy seriously!
I can't believe that you're receiving this poor of a response for acting like a normal person. It's as though everyone on HN is a hypersensitive person.
Attractive woman are going to have such problems as a matter of course. Men are attracted to woman primarily based on their looks and confident men are going to act on their desires. If you are an attractive woman and want to do business under such potential circumstance, then your best bet is to try to make yourself look unattractive. You can't have it both ways. You can't lure a client with your looks and then always expect totally platonic behavior from them. And if instead, you just want to pin all the blame on men for being pigs and expect them to change, well good luck with that. Mother Nature quite clearly has other designs.
Can you recommend a source where to get some?
Show HN: Stash, an evernote for command line
Here's a worthwhile TED talk on the topic: http://www.ted.com/talks/itay_talgam_lead_like_the_great_con...
It's not just OSX, it's a problem (in general) on windows, too. I was trying to create my first haskell project as a web crawler. Every direction I turned I had issues installing libraries to the point where I decided it's a deal breaker because I can't write code on my preferred OS.

Even if they eventually make these transitive dependencies OS agnostic, the libraries that already exist will depend on the versions that aren't.

> I'd be willing to bet that a great many developers like me wanted to try Haskell, but gave up when they found out how many Cabal packages don't compile. I think fixing that would do a lot for Haskell's mainstream acceptance.

Exactly what happened to me.
Virtual reality in the classroom
Future of Physical Retail
cut her some slack, she's just a woman :D
My parents are in their early 50s and their speech is peppered with uptalk. The both grew up in the San Fernando Valley (the origin of the "valley girl" sterotype). This is by no means a new thing.

If anything, it's a developing regional dialect like South American English, Cockney, Scouse, Australian English, or any other spin of our language. Small minded people will always look down on those who don't speak just like them, but the rest of us appreciate the fascinating variety.
Why would she kill the daughter when she had an ex-husband to take care of it? what the hell?
Reston area, VA. Relocation is OK. Full time.

Stack highlights: Java (including concurrency), JavaScript (browser, node.js, and phantomjs), C++/STL, C, SQL. Netty, Jetty, Solr, Storm.

Contact: bpgordon / umd.edu

I'm an entry level developer (15 months experience) madly in love with Java but my current employer is moving away from it. I'm looking for a job that will allow me to continue working with Java-based technologies.

Bonus points if you have things developers love like a clean codebase with tests, CI with automated deployments, standups, code reviews, etc. Source control is a must.

My current domain is NLP but I'm not married to it. I don't really care what you do as long as I get to work with developers who are better than I am. I want to learn, not just draw a paycheck.

Check out my blog and some projects that I worked on in college:

https://briangordon.github.io/

http://www.brian-gordon.name/portfolio/

(I'd also appreciate feedback from any other HN commenters who happen to read this.)
A better SciFi that fits this book is:

http://en.wikipedia.org/wiki/A_Canticle_for_Leibowitz
Quickly Install Microsoft Windows Server 2012 in Virtual Box
No, no, no. I agree with you. Fraud is fraud, I'm just saying this is the wrong law to use, and the outcome a successful prosecution under this law is uniquely troublesome for kickstarter.
Would Strava be OK with people using this data to trace paths for Open Street Map?

I noticed there are quite a few paths through Golden Gate Park in SF (as just one of many examples) that are pretty clear running/biking paths that are not in any of the typical basemap providers' maps and not currently in OSM. If you reached out to the OSM community and gave the go ahead, this would be a great way to improve the trail data in OSM.
I understand the argument and I think it is

a) unrealistic

and

b) especially true for a certain time and place

and

c) a standard for behavior which may have unintended consequences. If you want to regulate a behavior, you should be able to demonstrate that the harm imposed by the regulation is less than harm prevented by the regulation. In my opinion a blanket ban on sexual comments in the workplace probably does more harm than good.
PostgreSQL Devs: Add a web API to your cluster
Much more comprehensive version of the story submitted here:

https://news.ycombinator.com/item?id=7679553

Sadly, no up-votes, no discussion, sank without trace, unnoticed and unloved.
I live 10 miles from the last operating one in California (Diablo Canyon, just south of San Luis Obispo, run by PG&E). I have several friends and parents of friends who work there. It's the #5 employer in our county behind only the county itself, prisons, and the university.

One friend said he expects it to be shut down (or at least announced) by 2020.

Maybe this is an uninformed opinion but it will be a bummer if they do. That's a lot of lost jobs for our area (1,700). I've lived here most of my life and no one hear feels unsafe (despite being near fault lines). They spend so much money on this thing, seems crazy to shut it down. (I heard they spent $70M on their SAP installation).
> Sometimes people are actively looking to be offended. Take this one for example: https://www.youtube.com/watch?v=oc1zGRUPztc

That reminds me of a conversation I had nearly a decade ago with a black (African immigrant) friend. I don't remember the details, but basically he said that he was annoyed that the words "dark" and "black" had negative connotations. I knew him well enough to know that he wasn't trolling, and that this was something that had seriously taken an emotional toll on him.

Ever since then I've been thinking about this -- maybe it does bother a lot of black folks? And, think of very little whose conception of words is primitive, and how they might associate the words together.

I don't really know what I'm getting it. It's very hard to make any sort of conclusion here. I mean, what's the cure -- we make a prescriptive linguistic change that color-based words can't be used anymore? That's not happening.
This is a women in her 50s trying to make herself feel like she's still attractive to men, and almost everyone in the plea is borderline autistic. That's fine though, because every women without an attractive husband eventually does that, and tech attracts people with low social skills. Considering recent trends, this is a perfectly appropriate article for HN.
Industrial parks are popular for criterium races ("crits") and practice races, which is probably what you're seeing there.

Here's one I've raced in a few times. Looks like it's not quite as popular, though!
http://labs.strava.com/heatmap/#16/-89.48204/43.05660/yellow...
Haven't done much bicycle touring, but I've had motorcycle wheels in all of the lower 48 and parts of Canada. Something I learned years ago is to never ask locals for directions. First, a lot of people know how to get to work and to the grocery store, and that's it. Oh, they'll pretend to offer directions because no one wants to look like an idiot who doesn't know their own town. Second, even if the local knows the way their directions will be filled with all kinds of assumptions that are valid for someone who lives in the area but not for someone who is seeing the area for the first time.

Now, convincing my wife of this truism has been something I've worked on for twenty years of marriage ("why don't you stop and ask someone?" "Because it likely won't do us any good."). Thankfully GPS navigation units have made the debate somewhat moot. :-)
In India I studied in a school that had only one electric bulb per class and a second hand MS-DOS machine donated by a politician. The school and teachers were glad to let me use it and I am eternally thankful to them for the same. It changed me totally.

We also had awesome electronics equipment lying around which we could use. I used IC-555 when I was in 8th grade to program a flashing LED and I can not explain the joy of doing it in words.
Awesome! I wasn't meaning to imply any wrongdoing. It's nice that such an API exists although I shouldn't be surprised given the add-on market in Heroku.
I dunno. If I were the AG, I'd want to go after someone who was mentally competent to defend themselves. Everything I'm reading about this Pictures for Sad Children guy seems to indicate that he's at a minimum severely depressed and perhaps not quite all there. Plus, there seems to be near zero chance of recovering damages, and a default judgement does little to establish precedent.
I feel like perhaps if the creator can't deliver, he should make public all work produced by the deadline. That way, at least if an interested party among the backers wanted to pick up where the creator left off, they'd be able to do so.

This seems like something Kickstarter could fairly easily work into their TOS.
I have occasional differences of opinion with Shanley on tactics, but I think her contribution is invaluable.

Some people listen well to a quiet, compassionate word. But many need the application of a clue-by-four before they even begin to listen, and Shanley is excellent at applying that. She is also brilliant at expressing the anger that a lot of women feel. So I think her approach, although not the only useful one, has been immensely productive.
Surprised, isn't this something that everyone does on OSX right after install / opening a new computer anyway? I don't understand how they came up with the slow-as-molasses defaults.

Mouse responsiveness has also always been inexcusably sub-par compared to Windows and Linux.
Niven used a similar idea for the Library on the Pak Protector homeworld (Protector) for persisting knowledge through constant warfare.

And with David Gerrold (who wrote The Trouble with Tribbles Star Trek episode), The Flying Sorcerers, with "pull up" lines: needing to make the things to make the other things. (Niven's Ringworld also has a problem with restarting civilization: no ore beneath the surface - though, why not use rusted cars etc?)
Games like Civilization arguably also use this idea, with their tree/graph of technologies.
A Fire Upon the Deep (FUP, Vinge) does a little of this, also talks of restoring technology in the Slownness as a hobby of Uni Depts.

It's always reminded me of people in the Renaissance wondering in awe at ancient greek civilization (and even today, we use many of their ideas, particularly civic/municipal/government - arguably, a kind of "technology", a way of organizing people).

FUP also notes there are some very simple mechanisms that aren't discovered until technology has progressed well beyond what was needed (because the principle needed to understand them was very advanced). IIRC the example was a torsional quantum antennae (with I assume is related to a waveguide antennae).

Dragon's Egg (Forward) has the fascinating idea that it's more important to let people know that something is possible, than to explicitly show them how. Because then they understand it fully for themselves.

I think also, it has far superior effect-per-information: as another commenter said, you can't really fit all of modern technology into one book.
> personal training log

I find it perfect for that purpose.
Any idea what this starburst over the USC campus police headquarters is all about?

http://labs.strava.com/heatmap/#17/-118.29075/34.02060/gray/...
There wouldn't be a problem if the original kickstarter campaign refunded all the money back to the backers.
Yea--end of study.
IMVUs average spin-up time for new engineers that don't know any Haskell is ~8-15 days.

I don't recommend LYAH and don't think it's an efficient way to learn Haskell at all.

My guide for learning Haskell: https://gist.github.com/bitemyapp/8739525

Should get you going quickly.
I couldn't really tell you anything about category theory. But I am beginning to grasp monads. (At least in the context of Haskell programs.)

I think the important thing is to see how they work, see what they do.

btw, you might try this video: https://www.youtube.com/watch?v=o6L6XeNdd_k
Popularity is different from oddness.
If we assume that it was going to go through if she was receptive to the deal, then it's probably safe to assume that it would have gone through otherwise.

It's not good business sense to make a bad business deal just to get someone to touch your junk. If you're working for a large company with lots of money, you either find women yourself or find a way pay for them on the company card.
>I would still fail this test.

that is the point. If MI (or any other government force agency) got their paws on you, then you're guilty, and it is just a matter of routine effort to come up with what you're guilty of. The only choice you have is whether it happens a hard or an easy way... As they say in my old country - "for a given man, he always can be found guilty of something" (original - "byl by chelovek, a vina naydetsya" :)
>>Makes you wonder about how many women do accept such offers and get ahead that way. Which is "unfair" in a way to the men who don't have such an option.

Oh yeah, that's another thing that happens: when a good-looking woman is successful, others (men and not-so-good-looking women) will assume she must have done sexual favors for someone in power - as opposed to because she's smart and capable.

(You may have asked the question innocently, but... there be dragons.)
I think the idea is that the founder's mental context should be a superset of the investor's mental context, so that he can quickly identify and address the particular issue the investor raises, having already thought about it.

Big ideas are usually really simple to explain to users. Google Search is basically "Type anything into a text box, and we'll give you answers." Ideas that are complicated rarely become big (as in widely adopted by many people).
No, thats a bad idea if the only reason you're adding ads is to make the free plan worse.

If you're developing a SaaS there should be plenty of ways to introduce new features for paid users, otherwise, drop the free plan and let users try out your service 30 days for free.
Socially awkward people put as much effort into crafting their responses that a liar might. So the effect is in full force.
There is a scene in Polish crime movie "Psy" (great movie BTW, http://www.imdb.com/title/tt0105185/), where a bad guy answers this question by saying: "Noone ever lied with a car battery connected to his balls"
I am located in a town called "Not New York or San Francisco" (it's a really big place, check the map).

It takes me 10 minutes to get to my storage unit and back.

If I didn't own a car (like the other 5% of Americans who don't) I would borrow my father-in-law or neighbor's truck. And the cost would be the same.
Hello. I am an engineer at Facebook. My CS degree is from a small school. Our CS department had 5 professors and 50 graduates per year. One of our cafes on campus is called "Living the Dream". That is the kind of people we are looking for. We hire by talent not by school. That said, keep living your dream!
Out of interest, What hardware have you tried running your Postgres clusters on?
>if you don't understand category theory and type theory well, using Haskell will be either hard or impossible

Absolutely not true. I never completed a single credit of university and struggled with high school math. I don't know any type theory or category theory.

Not only am I comfortable in Haskell, I teach Haskell.

Here's my guide for learning Haskell: https://gist.github.com/bitemyapp/8739525
Don't understand why we don't start naming and shaming. It's a lot easier to not see as a real problem when it's always stories of nameless men in unspecified locations and situations. And the kinds people who are prone to this behavior are being given a free pass, only to do it again later.
Big focus on California, but I feel like this is just West Coast accent in general.
I attended University of Illinois (also a public university) and dropped out, and I'm an engineer at Facebook. :)
Hmm right. What about movies though? Those would sound super great, wouldn't they?

Edit: Or wait, they record sounds for movies individually too, most of the sound you hear is not there "live" or something... Or at least I think I saw that in some making-of once.
This is a trail-poacher's dream. It'd be wonderful to have this cross-indexed with any extant publicly available data sources (state/national parks, property lines etc.) to try to determine the legality of a given route. Illegal trails are likely illuminated by this heatmap, but their illegality is not.
Excellent book, and a great read. The moties took civilization regeneration to a whole new level!
and in case of Police the one sure methond to beating all of the above is "I want my lawyer NOW".
Short script for getting current git branch
That's because Ballmer couldn't sell much while he was CEO (that would look very bad).
ARC doesn't involve any sort of nontrivial lifetime analysis. The compiler simply inserts calls to retain and release at all of the same places where explicit calls to them (hopefully) were with manual reference counting. The only vaguely novel part of any of it was successfully migrating a language from manual to automatic reference counting.
There's an aphorism that true power is never given, it is taken. If that's the case, it actually is entirely up to the oppressed to take power, and the most the people in power can do to support it is not stand in their way.
Are you sure this is the right take away? It seems extreme to expect you to take full responsibility for some other total asshole. And also kind of immoral to live in a world like this.

I think the expectation of a moral adult is to seek mutual understanding to continually improve yourself to be a positive and constructive element in others' lives.

If you unintentionally offended someone, it's an opportunity to learn more about their world.

Conversely, it's also an opportunity for them to learn about your world. Maybe not everyone they meet is that total asshole, and there are in fact good people in this world. Just be that good person.
Seriously? What do you think is more likely to happen if the woman submits?-

1. She gets a promotion she doesn't totally doesn't deserve because she submitted to sexual harassment by her her boss at work. She's happy about this.

2. She submits to sexual harassment because she is afraid she'll lose her job if she doesn't. She feels dirty and exploited.

And this is unfair to men how? Because they don't have to put up with sexual harassment at work as much?