skysight-inc/HackerNews huggingface dataset:
You cannot. It reduces to the halting problem, relatively trivially:

<arbitrary code that cannot open foo.txt>
do something with foo.txt

This will use foo.txt iff said code halts.

You can, however, prove that you've found a superset of the required files for an arbitrary binary. Or prove that you've found the required files for some, but not all, arbitrary binaries.
I'm not sure if this was intended in jest, but it's a bit interesting to treat it seriously so I'm doing so... I think it would not be a very good choice to implement a dynamic language in Haskell, because what it makes flexible is choice of Haskell type, and you likely don't want to tie implemented-language type to Haskell type like that. It would seem more likely to be useful if you wanted to host a dynamic language within Haskell.
https://news.ycombinator.com/item?id=9437892
A lot. Both are even from different Kingdoms
The difference is that it's a company with a track record of providing awesome customer service in their mobile phone service, so the prospect of a fiber isp with fantastic customer service is exciting in this land of Comcast and Verizon.
"I don't know about it so it doesn't exist."
Yeah, I don't understand the objection to exceptions either. I _think_ the reason is because people treat them much the same was as errors in C/Go/etc., i.e., "I have to catch them here and recover right away." If you're doing it that way, you're doing it wrong. Design the system such that exceptions can be rethrown (bubbled up) and defer the handling as long as possible.
If you imagine everyone's personality is formed by their experience and strangers are strangers because you've had completely different experiences in your life - then by having different experiences than your family they would begin to feel more like strangers than before. It's not necessarily 'more' or 'less', I've been to half a dozen countries in SE-Asia and my cousins have been to half a dozen countries in Europe and America and I feel very disconnected from them.

I went on a trip to Pakistan and on return, it's like I can strike a conversation with a Pakistani/Indian/Nepali anytime anywhere but with a Chinese or Caucasian (I'm Asian Australian)? It's harder to build rapport and feel connected in conversation. It's still possible, but I notice it takes a little more time. I think it'll even out over time, though, since I wasn't in Pakistan too long.

The author of the parent comment may have a different perspective.
How many Starbucks customers pay with cash? Any transaction involving a debit/credit card, a gift card, or the iPhone app is going to require communicating with a system outside of the store.
Should YC Accept a Rapist?
For anyone that finds this article interesting, I recommend the Retronauts podcast. http://www.retronauts.com/

I started listening to it about a month ago, and immediately dove into their back catalogue and have listened to about half of the episodes from their current and previous season. Even when the episodes are about something I have little knowledge of, hearing about a game or producer's impact and legacy is really interesting and makes me want to go back and check the games out.
ZDc6YWRkcmVzczIyOnVkcDovLzEwLjE4MS42LjEyOjY1ODAyOmlkMzY6OTFmYjMw
Y2QtYzQzNS00ZmE2LWE3NjEtMWQxZmVkYTFhODg4NDpuYW1lMTM6bWVtcGtvLWxh
cHRvcDQ6cGtleTgwMDotLS0tLUJFR0lOIFBVQkxJQyBLRVktLS0tLQpNSUlDSWpB
TkJna3Foa2lHOXcwQkFRRUZBQU9DQWc4QU1JSUNDZ0tDQWdFQXhRenlzNUF6bXM1
T050YVY4Z0x2Ck40NVNjZHNRU3lrK1R4NVFoQURUUG1ldWo1ajAwRnNwUFBuMWRE
Y1c5OUU0ZGNhcnRWU0o0NUNKcmFidFJwdGQKTXFqTmtadXZHZWFzK05pNmV0YmNl
UXN6RncwZzQ5RFlKQitaSm9ybEMvSXpMQjdSREJ1cnNIMUhGeW1CNjBiTwpma1Bo
QmR0ZE9aNG5xdklYYy9TeXhwNldaM0RQZGtUWVFKVXBheklaL2c5VFlaQ25uT0FX
TXR5KzhzbUtOUFJaCjdrcXFJeTk3U0R6MStLZzJacEUwMnBPTlZ5YkpYRjV5am5C
Um1jZ0pDaFZvd2JkY3BlUDMxTXlRRHRRbUU0MVYKQ3gyVDhwWTI3SHc1b2d0VmNi
TXBkYkdvMW5HNWY5SjB2Z1ZwVWEyd2V2VWM1aC9McUNmczdaQk1wRWFzOWF6LwpS
b0RPZS9FUFNKQlg5aGZkejlVdVFxRmVXcTFsay96QmVBNFJYYklNTFFHV3h6LzB5
amw0S1FHSDl1U255UHdSCmNBRG9hd1FhRWF4NGhQMUpxWDgrckM1RGl0bTUwSGpO
dExvSWJBVkxndEYwbkNTVWhQVk5Kd0c4a0FNMzVxUUsKN1RGdldCWldsSTFEZ2hj
V1VaRGhOakVMNkJoWlF6eU1HWEhPdTRadDNqYVVZcXJ3RVBMMldBN0xFZVI1SVNW
cwpBajM1R0t2bEl5K1pveFp4UGRaMUJjL3BzSElURFUzSWlNR1Z0YTZMaFNvU3BP
bEEyaS9UKy9JeVVydHZ6K01oCitnQnpBVWxGQnZrU0Z3TjA2a2llenNGK25HYjRN
L1Fkalk5N3RudG85QTJDK0k0N2lzcUcvVFM4eVM5d3N3Y20KbG1QZE11YkpyNW1G
L2ovT0JQc0RxREVDQXdFQUFRPT0KLS0tLS1FTkQgUFVCTElDIEtFWS0tLS0tCjsx
NTptZW1wa28uY29tOjgwODA=
Got let go after showing up late to mandatory retraining (I found out the day of, and we didn't have smartphones then), which resulted in moving to another company across town for a contract where conversion was a "sure thing" just to have the contract run out 3 months later and not get renewed. No official reason given for either, but I can read between the lines.

As I was still reacting to the news about the contract, the IRS seized my assets based on a clerical error on their part, resulting in an already tight financial situation turn into a nightmare. After being unable to find paying work for months, my vehicle was repossessed and I was evicted, broke with no support network.

Over the years since then, I've hustled to get back on track, but that one year's repercussions are still being felt today.
that was one of 10 demos, which I thought was the most representative. All the demos (and the rationale) can be found at www.menuoptions.org In short, I wanted the absolute minimum of keystrokes and mouse clicks for data entry. You can select from a list with 1 mouse click. If your most frequent response is the top item on a list, it can be selected with the enter key (one keypress).
I love the sound of jingling beer bottles every time he closes the car door.
Targeted combination chemotherapy. With new improved blood tests that use next gen sequencing to detect cancer mutations this will get even better. We won't have to wait for symptoms to diagnose and can instead focus on treatment.
> This new implementation was created from scratch, carefully, with modern coding practices by a very proficient programmer.

Cool. What happens 10 years from now, when we've wanted all the missing features back, and when writing C code (let alone C code without tests) to run on untrusted input is no longer "modern coding practices" but firmly legacy?

This seems like a great way to have a version of file(1) that works great in 2015, on the subset of filetypes that are in-scope for the initial version, on this version of OpenBSD, but I'd like to know how it becomes sustainable.
WordPress 4.2 released
Yes, it is. Hoogle is brilliant and I highly recommend it to anyone that programs in Haskell.
The article is referenced by the Arch Linux FAQ in response to Why is Arch Linux Using All My RAM?

https://wiki.archlinux.org/index.php/FAQ

It's a useful model.
I believe in cases like his, where you take language lessons, the language school provides the opportunity to stay with a host family.
Point missed.

It's not that it's the President's email that's vulnerable. It's that _all_ people's email is vulnerable.

Some of those people are key to national security, many aren't. But they all deserve privacy and protection.

And yes, one of NSA's mandates is to secure U.S. communications:

"The Information Assurance mission confronts the formidable challenge of preventing foreign adversaries from gaining access to sensitive or classified national security information. "

https://www.nsa.gov/about/mission/index.shtml

It's not just the President the NSA are failing.
Or object capability systems in general ... like the material at http://erights.org/ and the security kernel work from long long ago: http://mumble.net/~jar/pubs/secureos/ and http://mumble.net/~jar/pubs/secureos/secureos.html
To save everyone else the googling: Zimmer Frame = Walker
> What do you think the median age of managers, HR employees, and executives are? They're the ones doing the hiring.

Software engineering employees tend to have a lot more say in hiring than in other fields. I have not participated in a single interview process, on either side, where a single engineer expressing doubt about a candidate would not at least be seriously listened to and discussed. And sure, none of them are going to say right-out, "This guy's old!" But, if they are truly discriminatory, they will consistently find other things wrong with those candidates and overplay issues that they would normally not. And that kind of discrimination will play itself out over time into a skewed distribution of employees.
Possibly relevant: http://en.wikipedia.org/wiki/Third_culture_kid
> is an infinity to an infinitieth power still countable?

It shouldn't be. You can use the same principle as showing that reals aren't countable:

Suppose you have an ordered (infinite) set of the infinite-dimensional vectors. Doesn't matter the ordering.

Then construct another vector by the following: the Nth dimension of the vector is different from the Nth dimension of the Nth element of the set. Could be +1, could be -1, could be whatever, long as it's different.

Note that this doesn't actually require infinity^infinity, it's just {any set of >1 element}^infinity.

The new vector is, by definition, different from every element of the set, as the Nth dimension's value is different than the Nth element of the set's Nth value, for all N. Hence the new vector isn't in the set.

(Alternatively, you can biject {0-9}^infinity with the reals between 0 and 1. And the reals between 0 and 1 aren't countable.)
While capability systems are totally awesome, for this sort of application, you don't really need it. Open the target file read-only, open the magic database read-only, keep stdout open, and then even something as restrictive as Linux's seccomp mode 1 sandbox (read(2), write(2), exit(2), nothing else) should be enough to let you print out an answer.
It would seem ideal if we could come up with a system in which your activity in court would lead to additional liability when you lose.

In other words: the more you sue the more you will find yourself culpable for fees. The little guy who files one or two claims? He's fine. The trolls? Those guys pay.
Review: Asus ZenBook UX305
Nobody is saying this is a perfect implementation, however, it has been written in-line with existing best coding practices that any OpenBSD developer should be comfortable with, and hence maintainable until it is deemed not to be. If everyone suddenly stopped depending on file(1), then it would happily be removed from the tree.
I've been threatened when announcing my resignation at two jobs. I work in a niche market, but the level of paranoia is unjustified.

The first time was a very uncomfortable five days where they tried to convince me to say where I was going. I was heading to a competitor and they figured that much. I finally had a heart to heart with my manager and explained that if they trusted my integrity then they would know that I was not going to take any "trade secrets" with me. They backed off at that point and the rest of my stay was more pleasant.

The second time was at the next job. They asked me to stay and I said no. Then they said, "what if your offer were to disappear?", implying that they were going to somehow going to make enough trouble to have my offer withdrawn. I made it very clear I wouldn't respond to their threats and they denied making threats and didn't make them again.
From afl-fuzz page (http://lcamtuf.coredump.cx/afl/):

https://www.freebsd.org/security/advisories/FreeBSD-SA-14%3A...
http://bugs.gw.com/view.php?id=409
Awesome site. Great way to fill in some of the gaps in my math education.
The docs indicate sysvinit will be replaced by systemd-sysv for wheezy upgrades
Ping Pong analytics by Keen.io
Sharecropper Boy: 1937
Compile it yourself, problem solved.
This sounds like good advice, even when not in jail.
I had planned on making the nomad transition permanently, but now I think 3-6 months is the way to go, like an extended vacation. I thought I needed a complete lifestyle change, but I just needed some time away from everything.

some more points I thought of:

- I packed a full suitcase with everything I thought I'd need (mechanical keyboard, projector to replace my tv, a full week's wardrobe etc) and it turned out to be impractical. Next time I'll just bring a single packpack with my laptop, camera and two changes of clothes.

- discovery is a big problem that I haven't solved. The best experiences I've had were when I knew someone in the city and they could show me around.
Admittedly the first sentence in the README.md points to relevant information (http://setosa.io/ev/) However, yes, they should have included the one sentence description on that page it links to in the README.md itself.

Explained Visually (EV) is an experiment in making hard ideas intuitive inspired the work of Bret Victor's Explorable Explanations. See http://worrydream.com/ExplorableExplanations/ to learn more about Explorable Explanations.

See "Media for Thinking the Unthinkable" (Bret Victor, 2013) https://vimeo.com/67076984 and videos from https://vimeo.com/worrydream/videos for more context. Also, http://explorableexplanations.com (by Nicky Case) is a.... page that exists.
Previously discussed here: https://news.ycombinator.com/item?id=9433580
Yes, to be clear, this is a huge improvement.

But it's sort of like living in a world where modern medicine has been discovered, and celebrating that one city has started moving away from leeching to treat fevers, while every other city is still practicing it, and that one city still uses leeching to treat many other diseases. Strictly speaking, it is an improvement, but....
Aren't there much better sweeteners these days? I tried erythritol a while ago and it tasted just like sugar to me. Why aren't we using that in more products?
Not a lot of energy, probably. The big question is... if salamander embrios are photosintetic, why they tan?. Why they need to have so many melanin?

I think that if someone put salamanders in the dark with a non luminous source of heat we will probably see a very different result. Dark is just colder.

The fact that salamanders could absorb a lot of chemicals just by the skin does not implies necessarily that they could avoid it if they want. If you live submerged next to a radioactive source, how could you stop the radioactivity generated outside entering your body?.

Maybe the article answer all those questions, but I'm a little sceptical about this theory right now.
I like the simplicity of http://getmagicnow.com, which appeared on HN semi-recently.
Cost. Aspartame is SUUUUUUPER cheap.
Random Generator Parodies Vapid Startup Websites
Aspartame is "one of the most thoroughly tested and studied food additives the [FDA] has ever approved"[0]. Most other sweeteners are relatively new and the long term affects on humans and the environment has yet to be proven.

[0]http://en.wikipedia.org/wiki/Aspartame_controversy
I wonder if the bios is locked to prevent installing Linux.
"Some VCs won't believe that a 25-year old white woman (who -- gasp! -- wears skirts and makeup) is capable of being a technically solid engineer. We soon figured out that pitches to potential investors went better if I was dressed like a slob in sweatpants."

I've seen that one happen, and I had a lesser version of it happen to me because I dress east coast prep. I started wearing sloppier clothes for some outside meetings and got treated better. Even inside the company, it took new hires a while before they realized that I have skills.

SV culture on appearance is every bit as stupid as the culture of the dinosaurs, it's just flip-flopped. Instead of 'you must dress professionally', it's 'you must wear unflattering hoodies, t-shirts, and jeans.'
Fuzzing is like rolling dice- there's only a chance it'll find the lurking issues. Unit tests enforce contracts and assist future maintenance.

I sincerely hope the lack of unit tests is because it's covered by existing tests.
OS X Continuity Activation Tool
Aren't they used already, e.g. Diet Coke vs Coke Zero? I thought the difference between the two was in the sweeteners used. (No idea which, if any, are 'better')
You go to a new place and start doing things differently. You discover better ways to do things and realize people back home don't understand what they're doing.

For example, in New York City, it seems the main activity for young people is to go out to bars and restaurants.

You pack your bags and head somewhere tropical. You pick up a water sport like surfing or kiteboarding. You start waking up at 6am with the sunrise and realize it's amazing. Back in NYC, your awake hours were more like 10am to 2am. You start cooking at home.

Now, you look back at your friends and view them as wasting their life in bars and restaurants. You start identifying with the older crowd who comes to the office at 6am or 8am instead of 11am. You also start wondering why your friends don't ever do anything outdoors.

When you move, you end up with new habits. Your brain has a need to feel correct, so it views any changes as improvements; therefore, the ways of before (and of your friends) are now considered wrong, otherwise your mind experiences dissonance. You'll find a way to justify things to stop the dissonance.
Down voted? Really? It's no wonder there are so many throw-away accounts these days.
http://stripe.com/connect
http://www.facebook.com
It has always delivered a clear message: you must have an account to use this service.
I bought my parents' old house and spent 2 and a half years cleaning and fixing and renovating. We have a young family living with us, and I spend some time mentoring them and helping with their small child. I handle all the cooking, groceries, yardwork, etc.

I also run a competitive gaming site (with my wife and another friend): http://descentchampions.org/
Best way to reach me is tchad@me.com Alternately, linkedin.com/in/tchadrogers
Reading your post I can understand why the remuneration for SW devs isn't proportionate to expertise/experience/study.
Also explains why recruiters take 30% cut of the pay and why managers get paid the big bucks.
Nice trip but your daily driving distance is insane. 428 miles/day is ~7 hours driving per day. It's pretty much driving the whole day. I recently did 2500 miles/20 days trip and felt that I was driving too much.
Best Deals – The Best Educational App Collection for Kids with Amazing Features
I'm curious as to what you see in Shrek-without-satire that is harmful to children. What's the negative foundation that it builds?
"This solution isn't perfect therefore we shouldn't do it"?
As product landing page is first that user sees on screen, it should give idea what the product is, what it solves, and why would I want it. Till now i haven't seen many good of those.
http://www.luvthings.com/about-luvthings/

It looks like Fuqua is the CEO's surname.
This explanation cleared it up for me completely.

Thanks!
wheniwork.com has a great humorous video
I think you're absolutely right. This touches on the de-emphasis of game mechanics in modern games in favor of story-telling (see 'The Order' as an extreme example of this -- I'm not saying this to criticize the game, I actually really enjoyed it for what it was).

I think games like Dark Souls strike a chord with people BECAUSE they have great mechanics that are fun in themselves without the need for story. For an EXTREME example of this, look at Flappy Bird. That game was pure mechanics. I'd also put Angry Birds in there as a game with very strong mechanics (with some framing elements). I think Doom is another game that did this wonderfully - to me at least, it plays very much like an arcade game.

I guess what I'm trying to get at is that I don't think it's the hand-holding per-se that presents a problem. I think what happens is that many games with very weak mechanics happen to have a lot of hand-holding, which leads us to blame the excessive hand-holding when it's just that the gamePLAY (emphasis on PLAY) was weak.

That's why I think it works fine for Dark Souls to have fourth-wall breaking text telling you how to play. The mechanics are strong enough that even when you're told what to do, actually doing it is a fun and playful challenge.

When I say 'play' what I specifically mean is - freedom to experiment within the game's mechanics to find a solution or defeat an obstacle. For that to work, the game has to provide enough mechanics and enough agency for the player to be able to explore them.

When I use the word 'mechanics', I mean anything that can be interactively explored in the game. So, a game's level design can provide mechanics. The way items or weapons work might provide mechanics, etc. A game might have really boring levels but interesting enemies. It might have no enemies and a really interesting world (Myst, for example). A game can make up for a lack of agency in one area (eg- a racing game set on real-world tracks) by providing lots of agency in another area (an interesting AI system that gives the player lots of ways to manipulate the AI in order to win).

The other factor with games like Dark Souls that does go back to hand-holding is that when you play them, you actually feel like you're becoming more skilled as playing the game, as opposed to just being really good at following instructions, or increasing some stat which basically amounts to the game artificially making things easier for you (I'm not saying this as a criticism, just as a point of difference to consider).
This is so true... and clear.
Pretty good one http://www.stumbleupon.com/
You say it isn't a problem of introversion; I say it is. It 99% is. What you have described is absolutely the opposite of travel experiences I have. Once you solve the introversion part, you will absolutely have a great time, meet amazing people and do really enjoyable things.

Funnily enough, we seem to have taken very different roads. Travelling was the the thing that actually turned me from being semi introverted to not being introverted at all. Hostels are great in that they put me in touch with very extroverted people and showed me how easy it is to approach people, as most are friendly and welcoming. Once you get that down, you then hang out with people, go on pub crawls, go sight seeing or on road trips together etc.

"It's not a matter of introversion, as I know plenty of introverts who can strike up a conversation with a stranger. I can't, no matter how hard I try" - this sounds disillusion. Perhaps you should look up what being an introvert entails. What you have just described is a person that's less introverted than you. Being introverted occurs at different levels in everyone. You having a lot of trouble talking to people actually means that you're more introverted than him. If you think it is something else, then what is your diagnosis? Do you have a physical speech impairment that prevents you from talking?

"Trying to solve anything by running away is just that - escaping" - so what? You "escape" into a totally different lifestyle to make new relationships, enjoy new activities and cultures, and ultimately change your life. It can be a permanent "escape" for some.
Coke Zero uses aspartame.

To me aspartame tastes bitter and metallic, not sweet. Diet soda is undrinkable.
most simplest : http://getsirclesapp.com