skysight-inc/HackerNews huggingface dataset:
You can play creatively in a particular nexus of math and software engineering called Djinn [0], the Haskell program that writes your Haskell programs for you.

1. An ancestor of Djinn is automated theorem proving. Why can't machines prove math theorems for us? This quest goes back to the dawn of computing science.

2. A more recent development is the Curry-Howard Correspondence. Programming in a (typed) FP language is like playing tetris. Solving symbolic logic problems [1] is also like playing tetris. Djinn exposes the connection in a REPL you can play with. And see how the computer plays tetris for you!

3. Don't want to install Djinn? No problem, just hop over to the Haskell IRC [2]. Lambdabot has a working Djinn plugin.

[0] https://hackage.haskell.org/package/djinn

[1] https://www.coursera.org/course/intrologic

[2] https://wiki.haskell.org/IRC_channel
> Then why didn't Feynman simply say so?

When introducing complex or rather unfamiliar concepts -particularly ones that run contrary to their understanding of things-, people tend to remember stories and analogies better than simple, short, declarative sentences.

Many non-technical people either never knew or had forgotten that the real answer to even the most straightforward "why" question can be mind-crushingly complex.
You're essentially saying that people won't be able to survive and that's the reason Free Market Water is a bad idea.

People will pay a premium to keep their lawns green and if you can't afford to hydrate or bathe, tough.

People will die so people like this can continue living like they aren't in a desert: http://www.chicagotribune.com/news/sns-wp-washpost-bc-calif-...
Incidentally, the California courts have erected enormous barriers to transparency, perhaps inadvertently, by using a collection of differing docketing systems from county to county, and then charging outrageous fees for records.

A scathing letter I sent to the California Judicial Technology Council was successful in lowering Los Angeles County's search fees from $4.75 per 20 results to $1.00 per search back in March. They rarely get any comments at all from the public (because no one knows they exist).

See http://www.courts.ca.gov/jctc.htm. And send in comments!
Your links are terribly long, do you have anything specific to show that exercise won't help you lose weight?
2015: Is there a better answer to this question ? :)
http://www.businessinsider.com/social-mobility-is-a-myth-in-...
Many laws try to read intent. That's what mens rea is.

https://en.wikipedia.org/wiki/Mens_rea
I agree with you, but my main message isn't that he can't do it, it's simply that he needn't, and moreover he definitely shouldn't.

I can't relate to what he's going through but I know he's looking for an out from his current situation, under a great deal of stress, and from that vantage point it's usually difficult to see how varied your options are.

I meant for my overall message to be positive - OP, you do not have to resort to this plan! There is virtually zero chance that this plan is your best option. Assure yourself of that, and take a serious look at the vastly better alternative options you have - some great ideas for which are on this thread!
We are dogfooding the program on a small (free) openshift gear which provide only 512 mb of ram (and we have in the same "gear" a mysql instance).

It does not use _that_ much of ram. (And yes, it has a basic trello import functionality).
They knew they weren't tourists. They applied for a tourist visa in lieu of the proper visa. They may not have been aware of the consequences but they were aware that their actions didn't represent their actual intent. If I visit Canada and steal socks from a department store, I might not be aware of the penalty, but I am aware of the crime.
The Quick Fix
The visual analogy is more jarring:
http://thefuturebuzz.com/wp-content/uploads/2013/09/sugar-co...
I just published my first app. It isn't very good. I still consider myself in the learning process. What I find the most difficult is the UI/UX creation. How about you? What's the hardest thing about iOS development?
Total agreement. But curious, you've had to explain this to progressives until you're out of breath? The progressives in where I live are the only ones talking about this, and the (so-called) conservatives are the ones able to deftly brush the subject aside. Trippy.
Be Ready for the Next Investing Crisis
I think there are a lot of answers that miss the big picture.

It's making money. Specifically, getting discovered.

Now, if what you meant was difficulty from an engineering standpoint (e.g. you just want to develop iOS apps as an employee or contractor), then the answer is: synchronizing data and UI.

Notice I stated something broad, rather than something really narrowly specific. Provisioning is incredibly annoying, but spend a day reading some tutorials and docs and you're done, so it's clearly not the hardest problem. Same with backwards compatibility. Apple does a good job at maintaining compat. And even then it's not the problem you spend most of your time hammering against.

The single greatest source of bugs, engineering effort, design patterns (MVC, MVVM, etc.), and attempts to build huge new frameworks (see: React Native, ReactiveCocoa, Realm, etc.), and so on, is synchronizing data and UI.
Run Python Bytecode in Your Browser
Elvidence – supporting Australian Investigative Journalism – join us
If Feynman didn't know of a better analogy, why didn't he just say so? That would have been more interesting and useful than a sermon.

I see however that people are certainly more satisfied
with a bad answer than somebody telling them "it's to
hard for you to understand it."

Why do you assume I, or the interviewer, was looking for an easy answer? This whole discussion wasn't intended as an argumentation, but rather as a statement of opinion. It could have ended up there but people want to be "right" when there's no such thing. Either you find his behaviour offensive/undeserved/useless or you don't.
But on the top of that you still need an iPhone, right?
> But he definitely could have talked about magnetic fields, and electrons, and spin, etc. instead of giving a sermon.

Name-dropping magnetic fields and electrons and spin isn't an explanation. Neither is telling someone that Bohr had proved 70 years earlier that classical mechanics was insufficient to explain the phenomenon. An explanation that imparted some understanding beyond mere word association, some ability to predict consequences or recognize other manifestations of the same underlying phenomenon, would have been many times longer than that video.
No mention of epoch time in the article? Just store using epoch and convert to local time zone when displaying. That's how *nix does it.

https://en.wikipedia.org/wiki/Unix_time
> largely non-technical audience

A largely non-technical audience who wished to have an expert explain these matters to them.
That's a pretty broad brush to paint a country of 350+ million citizens.
I agree, comparing is probably unfair, but still, 5-6 times higher water consumption is quite a lot and I found the numbers interesting. Actually, most poor people living in deserts around the world use a fraction of the water we use in Oslo.

Population is Oslo is increasing, and the city wants to keep the cost of treating waste water down, and one way is to reduce fresh water use.
They didn't make a mistake. They clearly were aware that a J1 and a visa waiver weren't the same thing. These were supposedly educated people. Why did they think the J1 existed? I would be slightly more sympathetic if their first language wasn't Ebglish and they weren't highly educated.
The Unique Weapons of Ancient Japan
I think the main thing to remember is that dates and times have very different semantics when used for different purposes.

If you are referring to an instant in time, then just using UTC is reasonable. If you are referring to a past event and both the local time and precise instant are relevant, then the local time with a timezone offset is reasonable. If you are scheduling events on a calendar, however, like "8 AM every monday for the next four weeks", then yes, you need to store the abstract time zone name so that the calendar program can translate each instance of that schedule to the appropriate instant.
On the other hand, it's never been easier to:

1. get educated
2. start a business
3. access the global marketplace
4. invest
I agree. I would suggest http://www.typingstudy.com to learn to touch type...
Which is why you are both right: Offsets are good for past events, time zones for future ones. It's a real pain to deal with..
How SMS set back the mobile Internet by ten years
Don't businesses use wikis?
Yeah, exactly. My impression is that Bernie Sanders (and to a lesser, but more ironic extent, Trump) are getting traction precisely because the mainstream candidates are all more-or-less beholden to different flavors of generational wealth.

In my experience, progressives are the ones who are pushing the class issue.
Unix time is awful, since converting it to UTC is a real pain, as it doesn't count leap seconds which are included in UTC (thus, some seconds in Unix time are longer than others, or all of them are longer than standard SI seconds and the exact length fluctuates based on the introduction of leap seconds, or the like).
Was he forced or escorted out? More like he was told to leave. He could prob stay as an illegal if he wanted to.
I'm currently in the process of sorting out a temporary work visa in Christchurch (+1 for the quality of life comment seriously). It's definitely harder to get a work visa without a degree in your field of work (I switched to software from another field of engineering), but 5+ years of relevant experience can serve as an alternative to a degree.
You're not just claiming that his answer wasn't useful, you're claiming that it could have been even within the context and constraints of that interview. Feynman, who had far better knowledge than we of both the subject matter and the purposes of the interview, did not think that it was possible.
I want you to print out this thread and look back at it in thirty years time.
This was also true when i took Economics of Inequality at university in 1997. Western Euro countries and Canada were ahead of America back then. From an outsider's perspective, if you're gonna make it rich, do it in the USA to make it crazy rich, but you're going to have a hard time making it from the bottom 10th to the top 10th.
Actually, they never said it's "in lieu of proper visa". It may be, but that's not what they wrote.

The only indication about any work may be the "colleagues-not-to-be", but that may well be just a description related for the J-1 process, not their later situation. If they already had friends in the US, what's wrong with deciding to just visit them anyway on the visa waiver? (and not going to work)
Agreed.

I'm even more puzzled that folks on HN would misunderstand Feynman's rhetorical style.

I get the impression that most folks on HN work in a technical role. Most technical people find themselves performing some combination of either explaining complex concepts to folks with varying backgrounds or requirements gathering from folks with a variety of backgrounds. In both activities you will sometimes find yourself obligated to provide background information in order to either steer a conversation in order to make sense of someone's request, or to help someone understand your explanation.
This sort of attitude just shows how great the disconnect is between the haves and the have-nots. Many of these individuals who lack privilege may not even have proper internet access, or the literacy skills required to harness the internet even if they did. Deep-seated social ills cannot simply be solved by ubiquitous internet access and ever cheaper consumer electronics.

Indeed, recent studies on MOOCs have shown that the majority of their users are (surprise, surprise) young, white males with college degrees and a privileged background. One could even make the argument that MOOCs are actually exacerbating inequality, rather than reducing it.
I had read somewhere that LuaJIT specifically warns about avoiding branches in loops
Just do a search on 'u.s. Education decline'.

Sure, there are always individuals that buck the trend but overall the u.s. Is an embarrassment and getting worse.

Anecdotally, I am in the Midwest twice per year and have to listen to people complaining about the Jews and the niggers, and about various conspiracies about global warming, and how there's no way we're descended from monkeys.

I don't hear any of at shit where I live in Europe, except for some of the racist stuff but in a more nuanced manner.
Can those who 'lost' the post at Java describe what makes it 'lose' them? Curious.

Also, is the implication that the merit of the tool is decided based on your personal liking/disliking for the language it is implemented in? That seems childish! If you are responsible for any decent business, dangerous!
> And concerning your last paragraph, I assume you're talking about the interviewer and not me.

No, I was talking about you. The interviewer seemed to slightly misunderstand Feynman's hesitation in the beginning, but then he was willing to listen and apparently saw the value in Feynman's response (otherwise this wouldn't have aired the way it did). You on the other hand are the one taking offense.
Brash equates to irreverent though, and given Feynman is a brilliant teacher first and foremost, you'd do well to shut up, sit down and learn something from him. <--That's irreverent. :) Honestly though, I don't see him being dismissive or scornful. In fact, I see him rise to the occasion to teach something well beyond what was asked of him. You can't beat that.
Without knowing anything about OP, I could think of a probably too simplistic explanation, which is that both the perceived problem and perceived best solutions would differ and he belongs to the "other" camp.

Left: "there's an inequality of ability due to economic conditions, and the solution is redistribution"

e.g. affirmative action to push women/minorities/etc. into the workplace, taxes on the wealthy to finance programs for the poor, social housing quotas in every new development...

"Right" (usually more libertarian than where the GOP stands these days): "there's an inequality of opportunities due to regulations, and the solution is removing regulations"

e.g. Milton Friedman observing that the minimum wage increased black teenage unemployment and pushed many low-skilled black teenagers permanently out of the workforce as they were unable to get that first step on the job ladder; or Uber as a second, ad-hoc source of income for low earners being regulated out as an option as any Uber driver becomes an "employee"; or most extreme, that public schools are always a bad thing because the government monopoly on education means no effective oversight or pressure for teachers to perform.
..and I thought my daily dose of crazy was over!
Don't have much to say about how the compound affects your metabolism, but I'm weary of any kind of 'workout pill'. For years I too hoped that were would be some machine or pill that would automatically get me ripped without having to put in the conscious effort. However, once I finally got into the habit of exercising, I think what was more valuable than the results on my body was the habit of pushing myself to the limit every time and going beyond my comfort zone. It's something that touches everything you do.
leap seconds, or the like

What else other than leap seconds are you referring to? Leap seconds are a problem for all time storage since most time parsers consider second 61 invalid [1]. They also only happen about once a year. Google just pretends they don't exist [2].

Converting from epoch to the local timezone is supported in pretty much every language. I'm not sure why you think it's such a pain.

[1] https://dev.mysql.com/doc/refman/5.0/en/time-zone-leap-secon...

[2] http://googleblog.blogspot.com/2011/09/time-technology-and-l...
The Bohr-van Leeuwen theorem [1] pretty much says there won't ever be. You will always have to explain some QM first, and that precludes a short answer.

[1] https://en.wikipedia.org/wiki/Bohr%E2%80%93van_Leeuwen_theor...
Also not fully true. Not working at google doesn't mean you live in the margins of society. It's possible to have a pretty okay life as an illegal immigrant here in the united states.. It's also possible to have a bad life as well... you def won't have a job at google but many times whatever you can get is still a better life than what some people get in their native country...
But then by your definition, name-dropping is what Feynman does during the entire series of videos. How does the train stay on the tracks?

Any question asked by the interviewer could have been answered in a lot more time than Feynman took. It just always felt odd to me that he stuck with this particular one. And notice that in the rest of the series we don't always hear what the question was.
I'd hate to be this guy's customer...
Although I don't agree with you, the way you put this is unnecessarily antagonistic.

I'm 6 foot tall, I used to weigh, at peak, 340 pounds. After exactly one year of diet modification alone (I chronically under-exercise), I weighed 214 pounds, and now weigh about 190.

I did not reduce my caloric intake, instead I removed all foods that are known to screw with human biology, and decided to follow the Paleo diet: no grains (pasta, bread, cereal, corn, etc), no legumes (peanuts, peas, beans, soy, etc), no seed oils (vegetable oil, corn, canola, soy), no refined sugars, no dairy (to reduce hormone and lactose intake; I limit myself to small amounts cheese and full fat greek yogurt only).

What I do eat? Meat, vegetables, fruits, the aforementioned limited fermented dairy, mushrooms, and if I weren't allergic to them, I could add nuts to that list as well. I use healthy fats like bacon fat, coconut oil, and olive oil instead of seed oils. I also limit myself to one cup of coffee a day, and sometimes even then I don't feel like one, I don't really need it anymore.

My caloric intake has not really changed (it has always been between 1500 and 2000 a day), yet the fat just melted right off. The whole obsession with caloric intake (unless you're clearing 3000 calories with low physical activity) doesn't fix obesity: chronically low caloric intake (below 1500 calories for an extended period) makes your body think it's starving to death, and it will refuse to release energy from your fat cells and start hoarding it instead.

In other words, unsafe caloric reduction for long periods may cause weight gain in some individuals already suffering from some form of metabolic disorder (including prediabetes and diabetes and just being morbidly obese).

Yes, I agree there is nothing to really treat: eat foods that promote the proper functioning of your body, drop the ones that are known to cause chronic inflammation, metabolic disorders, and with grains in particular, the fact they contain phytates and protease inhibitors in very unsafe amounts (both cause malabsorption of nutrients).
A tech boss with designs on the global fashion industry
Microsoft Translator
In my past studies of documents-as-they-were-in-another-point-in-time I understood that the best way to deal with time-related information is to store all the context that you have. In this case

* store the appointment date and place as a string "february 23 at 6pm here";
* store the time when the date has been uttered/written in UTC or, better, TAI;
* store the place where the date has been uttered/written: "Europe/Rome" or, better, GPS coordinates.

These three pieces allows you to convert the target date to any timezone, even in case the definition of timezones changes.

This three-pieces encoding is very helpful during legal disputes as it allows you to say "On a certain date we agreed on this date in the future. At the time the appointment was supposed to be XXX hours away. The fact that is now only YYY hours away is not our fault but the consequence of country CCC changing to a different time zone." It also works well for other imprecise utterances like "tomorrow".
Rick acknowledged that he had made bad choices. He
drank, took drugs and was arrested about 30 times. But
he also found the strength to give up alcohol when he
felt he was turning into his father. What distinguished
Rick wasn’t primarily bad choices, but intelligence,
hard work and lack of opportunity.

If you were arrested 30 times, I'm going to guess that bad choices are, in fact, one of the primary distinguishing characteristics of your life. There are a lot of poor people with backgrounds ranging from unexceptional to tragic who haven't been arrested once.

This doesn't invalidate Kristof's larger point, of course, but it does mean he's not very good at picking reasonable, actionable examples. Short of taking away Rick's free will, Clockwork Orange-style, there may not be much we could have done for him. I disagree that Rick's life story invalidates the "American Dream," or even calls it into question.
discussion: https://news.ycombinator.com/item?id=9504150
Ask HN: Free or not?
Hi HN,
Once in a while people from other companies contact me with technical questions like, should I use X in production, how does Y work, what's your experience with Z, can you give info about T, can you share your production experience with A etc.

What do you guys do in such situations? Do you just give as much information as possible and share your experience free OR do you prefer to have a formal relation with those companies and get paid to share your experience (like a consultant)?

Thanks.
> take the privilege of international travel too lightly

That's a weird expression. You mean too lightly compared to one country's overreaction of 9/11? Everything is light compared to that.

As for Australian border, I've seen people going in, just paying the fine for whatever was not right (like too much tobacco in the luggage) and getting in without much problem. I've also had the "pleasure" of being told that's the last time I'm allowed in as a tourist. All of those interactions were a lot simpler than every one of my arrivals to the US where people saying "you can go" were way worse worse than people saying "there's a problem" in other places I visited.
I'm wondering why this person's anger and outrage is so special, she gets her own article in the newspaper.

When people are jerks and rip me off - no one makes me a news article. And that's the problem, in the eyes of the law - you're not this VIP.

I understand her frustration in getting turned around. The rules are the rules. You wasted money on a ticket by hoping you could work on a tourist visa. No, you don't get "let off" or special treatment. Always double check to make sure you are using the correct visa!

Anyone who wants to see customs in action, I recommend the reality TV show "Border Security", they are in UK, Canada and Australia: https://www.youtube.com/results?search_query=border+security.
NSA Whistleblower William Binney: The Future of Freedom [video]
You're absolutely right. My answer was a bit broad. My question was very general because I'm a novice and I don't know what I don't know (so to speak). I want to see if there's a general consensus on an aspect of iOS development that brings frustration. Figure out the pitfalls and what not.

By the way, thanks for sharing. I agree 100% with UI being a pain. On the other hand, I still don't have much experience with synchronizing data since most of my projects have been with static data.

In addition, I agree that money is one (or the only) end goal but I guess that's true for any career. I think if I had asked "How do I make tons of money with iOS development?" I would've gotten little answers. LOL. It's very difficult and the ones making the cash probably don't want their competition knowing.