skysight-inc/HackerNews huggingface dataset:
>unnecessarily showing pictures of the damage

I just want you to re-read that so you can think about what you just wrote
We were talking about this at work today. Most interestingly, it is significantly faster than regular Atom.
As someone who has no problem reading this (or many of the things linked to by some of the child comments), can you explain what part of it you struggle with? I'm not on a particularly fancy resolution or anything, just a standard, non-retina Macbook. I'm also only 24, so perhaps my eyes are just "still young.
Who's the scary looking bearded kid?
Also in tonight's news: chewing glass is bad for your mouth.
Okay but what if this contract contradicts itself with another contract on other level?
David Simon on Baltimore’s Anguish
Not completely unaffiliated: The project is the brainchild of Jason Scott, who straddles both.
My first thought is any game written in Unity. Works on desktops and android more or less out of the box and iOS with a little bit of tinkering.
How do I make sure I never miss anything interesting on hacker news?
One piece of advice I like to tell people when interviewing: make it a point when you are at the "are there any questions" phase to take the bull by the horns.

Let the interviewer know that you are interested in _their_ company. One of the biggest mistakes I see is people letting on the fact that they are interviewing at multiple places.

Mention things about their culture that might be a little harder to find out. Bonus points for casual name dropping of blogs you read from the company blog etc.

lastly make sure to let them know this is the company you want to work for, and really do not want to work anywhere else.
See this:

http://content.time.com/time/magazine/article/0,9171,689438,...

"Two years ago, Dan Stillman and Matt Eaton, then sophomores at Wesleyan University in Connecticut, launched WesMatch.com, a site featuring a humorous, elaborate personality questionnaire. The service allows students to rate themselves and their potential mates in categories ranging from sex drive to "socialisticbutterflyosity." "
Maybe. It's just that I hear of stories that talk about founders giving money back to the investors as if it were admirable. Admirable implies that a decision was made. But maybe I'm just misinterpreting.
I enjoyed the deck, a few ideas:

1. I had to skip around a bit to learn what FP was, then I came back and started reading from the beginning again. I think it's be helpful to provide a small amount of background in the very beginning (perhaps even just a tagline would suffice), so that the reader understands the context before they read the market overview.

2. This probably goes without saying, but the financials aren't filled in yet. For a product that has a beta launched, I'd want to see traction and revenue numbers above all else. If you don't want to share financial/growth numbers publicly that's fine, as long as the investors you're pitching get to see them.

Hope that helps.
There's a second reason I think that they're phrasing it as "long term" computation, but their requirements discuss formal verification in some detail.

It's true that building up a large bank of formal proofs could take large amounts of super computer time -- eg, dealing with something the size of drivers or a kernel -- and that with the current upgrade cycle and manner that hardware is specified, this might not be practical.

However, if you developed a framework for your proofs that generated a proof generator which generated a final proof easily when given a schematic of the hardware to execute the algorithm and made such a framework general enough that you can use it to make schematics when you upgrade your hardware, then your time spent making the proof generator isn't wasted every hardware cycle.

Once your proof system isn't reset every time you upgrade hardware, it begins to make more sense to develop things like your firewall, IDS, routing, crypto, etc code in terms of formally verified systems (that generate machine specific code in automatic ways).

When you combine this project with other DARPA cybersecurity projects, it becomes clear that DARPA is looking to transition key infrastructure in to formally verified, machine upgradable systems in preparation of high-speed automated cyberwarfare. (Think the difference between HFT and a guy on the E-trade website applied to scanning software for vulnerabilities and generating things like Flame automatically.)

tl;dr: DARPA's plan for the next 10-20 years seems to be that they're afraid of AIs beating them at cyberwar, and this is a piece of their solution.
Once upon a time, we weren't supposed to downvote to disagree. Then there was a capitulation, IIRC, and that became kosher. Now, I think things may be back to where we started. I don't keep miniscule track of changes to the moderation policy. (Maybe I should?)
Microsoft 2.0. This is a promising sign that a full IDE for Mac is only around the corner and I am legitimately excited for that.
From wikipedia; http://en.wikipedia.org/wiki/Microsoft_Foundation_Class_Libr...

"MFC was introduced in 1992 with Microsoft's C/C++ 7.0 compiler for use with 16-bit versions of Windows as an extremely thin object-oriented C++ wrapper for the Windows API."

Thinness is probably in the eye of the beholder, but as one of the many MFC victims back in the day, I found using MFC to be endlessly frustrating because it added a layer of complexity and pain to Win32 programming without giving me anything I really wanted back in compensation - you still needed to work directly with arcane Win32 mechanisms to do simple things, like, change the background color of a window for example. Admittedly there was some (less thin) Document/View model stuff thrown in there, but the impression I got was that this was an afterthought bolted on the side.

In contrast, Qt and wxWidgets for example are toolkits that are designed to make a programmer's life easier by providing a genuinely convenient abstraction of a Windowed GUI.
Your question is about execution and details. That can be figured out, and that should not make the higher level principle (contracts over people) less relevant.
> Valve doesn't always think things through all the way

Sure, but they are not like in the early days, they have experienced people now, and tons of cash, and should not be making the same mistakes over and over again like they were beginners or something. It just reflects badly on the whole company.
He is right about GPL. But there is a loop hole behind it, which all the open source companies use it. If the software is behind a web UI it does not need to be released back as a open source. Thats how all other big companies like Google, Facebook does not need to open source their source code back.
If you can't imagine why, for example, Samsung would want its own browser, your imagination is severely lacking.
> Developers will also be able to recycle their Objective-C apps for iOS using new tools in Visual Studio.

Why am I suspecting that Apple had an additional agenda with Swift?
Errrm, you are right so long as nothing changes. As soon as anything changes the merrily chugging COBOL becomes a weird frizzie step aunt from an obscure island near Antarctica and, well, stops the chugging and starts jitterbugging.

Then everyone does a "what the hell is going on" dance and wheels barrows full of cash into a carpark where "consultants" pour lighter fluid onto them and burn bonuses in a horrifying money sacrifice to the dark gods of bug fixing.

After awhile everything returns to normal.

Where did you hear the thing about fault tolerance from? Is there a seat at that bar for me?
Just obsessively visit every five minutes. Like everyone else who should be writing code.
They can close-source it again, they can't stop you using the open source version they did release. If you have the licence, you have the licence, and it is perpetual. You can't unscramble the egg.

There are quite a few products around which fit that type of scenario - where an older, free version is still circulating while the company now distributes a close source paid version.
There is, but the problem is that not every amenity listed is something that all customers would want, thus they won't knock a host for it being incorrect.

For example, I stayed at a place in Germany that said they had a washer and dryer. Indeed there was a washer and I thought it might be one of those all-in-one units (washer and dryer), but it was just a washer. I asked the host about the dryer and she said she didn't have one. I pointed out that she listed one on the AirBnB site under amenities.

The problem here? Language barrier. She thought "dryer" meant hair dryer, which she had. It sorta screwed up my trip because I did a multi-city stay and that was the place I decided to do laundry and forewent laundry facilities and the previous and next places when I planned everything out beforehand.

And as grandparent here alludes to: people have wildly different ideas about what a particular amenity is. "Wifi, but only when you're sitting on the couch" isn't up to snuff for me. It may be that most people who stayed at that place were not in the apartment much and only checked email occasionally. It may be that I need to use the internet for a couple of hours each day to deal with work or some other commitment.

What I've found is that you need to find out which amenities are REALLY important to you for each place you stay and send messages to the people ahead of time to make sure the really important stuff is what you'd expect and not "just true enough that I can probably check this box for the amenity".
Haters gonna hate. Where comes all your frustrations from? I've never had any issues with dependencies on Windows. If some C++ redestributables are missing, they are commonly installed by the installer. .NET Framework the same.

For development NuGet.
I'm not surprised that this could happen. I'm surprised that it has happened. The fact that anyone could have a great life with mostly any job in the US is what catapulted it to fame in the mid to late 1900s as the world's richest country.

Now we're back to the point where minimum wage jobs are poverty level at best and significantly below poverty at worst.

To really put this into perspective, I know families who have immigrated here from Mexico who actually regret it because they didn't realize how low the standard of living is for minimum wage jobs.
I'm going to write a package manager and call it F* ck
I still think there's a lot of room to do something interesting with social and mobile on the spectrum of Real Identity (Facebook) <-----> "Complete" Anonymity (Whisper).

Yik Yak and After School have taken a small step to the left by focusing on specific geographic areas (schools) and that has worked well - a community centered around a shared context/life experience. Secret also took a step to the left with the "Friend" and "Friend of a Friend" concept - one which was ultimately unsuccessful, I think because it threatened to pierce the veil of anonymity, so many people didn't feel safe posting their real "scandalous" content.

And of course with all of the anonymous apps you have the problem of bad behavior. So far we've seen community solutions to this (flagging, downvoting, karma - like here, Reddit, Yik Yak) and company solutions (moderating with 100 people in the Philippines, like Secret and Whisper - http://www.wired.com/2014/10/content-moderation/). It would be interesting to think if there might be others.

So the current "anonymish" apps have started from the right (anonymous by default) and either stayed there or moved to the left a bit. One of the things I've been thinking about recently is what would happen if you started from the left (Real Identity/FB) and moved to the right? Would the outcome be any better? I'm actually going to try it out and see with a new mobile app I've been working on - http://www.IAmOffTheClock.com

And as for them taking money off the table in their funding round - good for them. They weighed their offers and took one that eliminated their risk while giving the company enough cash to grow and still giving them a chance for a big payday. If Secret had hit it big, that would have been a very expensive $3M they took off the table. Investors wanted more stock, founders wanted some small amount of liquidity, and at the time everybody was happy, everyone believed, the graphs were all up and to the right, and nobody had a perfect crystal ball.
agree, it seems like just yesterday there were only desktop apps and mobile / web apps were a new thing!
I just rolled GNU/Hurd 2015 into a VM. It's early, but the first thing I'll note is that I felt for the first time that GNU/Hurd is a deployable OS. Still, I need that 64-bit version... killing me, here!
Having read the Wikipedia article, it sounds like DARPA is looking for research papers about making a formally verifiable version of that idea, possibly with some more modern architecture ideas worked in.
I think it really depends on what you're hiring for.

For example: If I'm hiring a business-development guru, or a new CEO, I'd want to see a track-record of long-term performance and value given to their former employers. Wanting to see 5 years doesn't seem unreasonable in that situation. The value they bring is over the long term, I probably won't see a return on investment from hiring this person until a few years in, so I should make sure they have long-term horizons.

Then again, if I'm hiring a rockstar engineer, I'd be much much more concerned about their overall performance and work-ethic than their longevity (because I'd be happy to have them on the team for however long they want to stick around). If all they want to do is come in for 6 months and crank out some projects and leave, I'll probably still be grateful to have them for that time. Their value is short-term, their value is delivered (and I get a return on my investment) every day, with every commit and every deployment.

I think it depends on how you're framing the value the position brings to the company.
Codename Eagle Game Free Download Full Version
No. It's not disrupting anything. Yet. And maybe it never would.
Oh, do you check in the rewritten packages into git?
I see efforts like this getting part-way there, but the actual uptake being in ubiquitous profiles — signing onto any phone with your (iCloud|Google|Windows) credentials and having all your apps and data "just there", signing onto any desktop and having all your desktop settings and apps "just there", and apps which share data between phone and desktop have this data available to both (as it does now).

The concept of local data will diminish against the cloud, and the market won't have to deal with inflated prices on phones just so they can power desktop screens and TVs. Hook a ChromeBit up to your TV instead, buy a regular laptop or desktop PC as you require it, and let anyone move between them as they like.
There are few kinds of HN comment I hate more than the superior-by-dint-of-hindsight putdown.
I've found CodeEval.com to be a pretty fun way to brush up for coding interviews, maybe that would help.
That was indeed two years ago, with no further issues since. It was not most VPSs, though there were a few host nodes wiped. Regardless, we are in the process of fully replacing SolusVM with our own system.
Cat: C++14 functional library modeled on Haskell
Maintaining a fork as complex as Chromium is probably more work than these companies are willing/able to do.
Because she goes through the list of "what fires people up right now" and checks everything that has majority support to add to her speeches - while of course having no intention of following through if she becomes president, just like Obama.

I think that's the right answer to the posed question.
Rubycasts #2 – When APIs Change – TDD, VCR, Watch the Video Screencast
code: https://github.com/thatrubylove/fantasyhub
grade: https://codeclimate.com/github/thatrubylove/fantasyhub

When APIs change you have to deal with it. In this episode of rubycasts.io we will see that scenario, how to fix it, and how to test for it. We will also discuss fast tests vs slow tests and using VCR to records conversations with remote resources.
Yes, because there is no choice in the matter. The only durable way to stop mass illegal immigration would be to relieve the enormous incentives for both illegals to come in, and businesses to hire them, which means making it legal for a restaurant to hire anybody - including foreigners - to work 16 hour days for $3/hour vs 10 hour days for $9/hour. This will never happen, not even under the most hardcore Tea Party government, not even if Goldwater rose from the ashes and brought with his election victory a House and Senate majority somehow with the same spine he had.

I thought the (excellent) movie "Act of Valor" pointed out the other way this issue could be resolved. In the movie, terrorists use the people smuggling networks to allow suicide bombers into the US, targeting a few stadiums in Southern cities. This is not the first time enemies of the US try to smuggle people in illegally - the Soviets and the Cubans especially sent many agents that way, as well as infiltrating US criminal organisations (see for example Oleg Kalugin's biography [1] which explores the links between the Soviets and the Italian mafia).

In the real world, no criminal organisation would be mad enough to let that happen (much as gangs in Mexico try to avoid killing gringos) because it would mean a promotion from "criminal organisation" to "effective terrorist organisation" and we saw after 9/11 how the American public reacts to that. So long as you're "just" smuggling drugs and people, it's "just" the DEA and ATF and the odd border agent.

If they did facilitate terrorist attacks, you can bet there'd be an enormous appropriation and militarization of the border, coupled with a systematic destruction of virtually all smuggling networks on Mexican soil and maybe temporary occupation of the territory south of the border. Panama was invaded for less.

But this is not going to happen just because a few people go on strike, especially when the majority of manual labour (11m vs 3m) appears to be illegal already without much outcry from the public which tacitly understands that this is key to cheap food and service.

[1] http://www.amazon.com/First-Directorate-Intelligence-Espiona...
MongoDB Stale Reads
It gives contractors the power to unilaterally force companies to make them full employees by turning down work. Why?

Companies probably should have thought of that before they switched to JIT staffing and forced the government to do that...
I have an additional monitor dedicated to HN that refreshed on /newest every 30 seconds.
That's not a great example; Secret was legitimately controversial no matter what journalists said. A dozen people in my feeds are celebrating their shutdown.
Yeah, that's generally what "vendoring" means.
Few thoughts:

1. Don't fret about not getting offers, especially since you're just getting your start. It can take a while. The important thing is that you're getting the interviews; this makes it a lot easier figuring out how to adjust your strategy.

2. Your long term career prospects won't be hurt if you don't get a job right out of college. If this were the case, changing careers wouldn't be a normal thing.

3. Don't limit yourself to just companies you see on HN, there's plenty of startups that are't on HN's radar for numerous reasons. A few suggestions on where else to look:

- Reddit. Our company has found several quality candidates by posting in the appropriate subreddits.

- Recruiters. They'll be good about giving you feedback to help you refine your approach.

- Other online startup communities. Here in Chicago, we have builtinchicago.org, your locale may have something similar.

- Venture Capitalist Websites. Some VCs have recruiters to help source talent, but at the very least, you'll probably be able to get some leads by browsing their portfolio of companies.

As far as resume feedback, I'll point you to a comment I left earlier this week for another individual asking similar questions. While my feedback there is more tailored to his situation, you may find some value in the thoughts I shared: https://news.ycombinator.com/item?id=9450177
... and screwed up by assuming v is an array of char, so the number elements is the size. What we want is:

memset(v, 0, sizeof v);

If this is intended to initialize v, this may be suitable:

int v[10] = { 0 }; /* or whatever type */

By the way, all-zero-bit memory is not required to give us null pointers or floating-point values of 0.0; it's just de facto very portable.
From the home page:

Messages are not end-to-end encrypted, and this is not an anonymous system. See below for more details. We use the term 'secure' here to mean that we do not use plaintext transports.

Although to my admittedly meagre security knowledge, I would've assumed that "no plaintext transports" would mean it was encrypted end-to-end.
I made this a few years ago:

http://www.cueyoutube.com/
I can relate to this article.

At 21 my life was all in front of me, then OCD, which I had seen symptoms of as a teenager, reared its ugly head and pretty much destroyed my life. I fell into a deep depression and only now almost 7 years later do I feel like I'm getting back to where I was.

For anyone going through hard times, keep moving forward. It does get better. Sometimes tomorrow and next week look pretty bleak, but you never know how you'll feel a year or five down the road.

I love this quote from MLK:

"If you can't fly then run, if you can't run then walk, if you can't walk then crawl, but whatever you do you have to keep moving forward."
Bitcoin Startup Circle Raises $50M with Goldman Sachs Support
Four MLs (and a Python)
In this base case, no, it isn't too painful. But once you get to larger and more complicated structures, F#'s type provider system can be a tangible timesaver. Especially if you're doing exploratory programming.

TBH, I think the JSON example might underrate things a bit anyway. Where type providers really start to feel impressive is when you get to tricks like being able to noodle around inside undocumented (or poorly documented) COM interfaces with the help of CodeSense, or getting red squigglies in your editor (and compile time errors) when there's a problem with an SQL query.

F# isn't all roses, of course. I really wish it had typeclasses, and discriminated unions are less powerful than Scala's case classes in some tangible ways. But from a purely pragmatic perspective, my (almost certainly biased) sense is that I can usually Get Things Done™ with less ceremony in F#, and type providers are a shining example of that pragmatism.
It's not hindsight. When you play with fire you obviously end up being burnt once in a while. It's just common sense. And you should not play with fire with things you REALLY care for, like your home.
A Founder of Secret, the Anonymous Social App, Is Shutting It Down
That's the thing. There is no argument for one vs the other.

There is a statement of the following fact: "It is hard to express heterogeneous array type in most statically typed programming languages and verify operations at compile time." Well, duh. AFAIK this would require dependent types* (not something that you get for granted in mainstream languages).

But can we check types in runtime? Yes. Does it mean that it can only be done in a dynamic language? No. It can be easily done in any language that has integers and arrays. Even x86 assembly is enough.

* Scala's type system should be enough, if we use shapeless.HList's for column and row types and then a ton of implicits to resolve the resulting type and check that everything is sound.
> It's just that I hear of stories that talk about founders giving money back to the investors as if it were admirable.

The other option is they keep the company alive until $0 is left and return nothing.

Donating to charity isn't an option.