skysight-inc/HackerNews huggingface dataset:
I don't know of the details of the Math World, but probably this isn't true. Till now, a country as big as Brazil, one of the biggest economies of the world, never had won none of the most important scientific prizes. Argentina, our neighbor, has 3: http://en.wikipedia.org/wiki/List_of_Nobel_laureates_by_coun...

The medal is not just Artur brilliance and hard work, but also due to the IMPA: http://www.impa.br/ A sixty years old institution that gathered Brazil best mathematicians and gave Artur the resources to become a great researcher. Brazil had to cultivate and invest in this institution for decades.

Iran has great universities: http://www.newsweek.com/surprising-success-irans-universitie...
The Medal is is probably just crowning their hard work.
Can you elaborate or know where I could read more?
Python may be slow, but it's only relatively slow. It's still fast enough for the vast majority of use cases.
Sorry, I should have mentioned water. But that bond is very strong, and the methods of breaking it are thus very poor.

Another compound worth mentioning is ammonia. A lot of the current hydrogen harvesting research revolves around ammonia. Unfortunately, ammonia is very scarce in nature and certainly soon exhaustible as a global fuel.
'Internet of things' is the most over-hyped technology
Well, what are you trying to say? Could they care less, or could they not care less?
This is great. Every few months I will spend a day on http://reddit.com/r/battlestations ogling workstations. This will hopefully scratch that itch in a more metered way.
Irrelevant. I was calling the previous poster out for his Tesla nut-swinging. Problems that render a new car inoperative are not "minor", loaner car or not.
> The low denominator fractions make a lot of sense for a lot of people.

There's a funny story about fractions and innumerate Americans. The McDonald's hamburger chain had a successful product in their 1/3-pound hamburger, such that they decided to upgrade to 1/2 pound. But the marketing campaign failed and they couldn't figure out why, so they interviewed their customers. They discovered that people thought 1/2 pound was smaller than 1/3 pound, on the basis that 2 < 3. True story.
If breast feeding isn't an option (wasn't for us), use glass up until they're old enough that they want to start holding their own bottle.

After that we've used the playtex liners. They're LDPE (polyethylene) and not known to leach any chemicals known or suspected of causing cancer or disrupting hormones. The nipples are 100% silicone, with the only cautions coming from cooking in silicone (primarily baking) far exceeding the temperatures you'll ever get warming a bottle. Make sure any glass bottles have silicone nipples too (some brands don't).

The reason to use the disposable liners is basically: no concerns about BPA, less hassle, you can warm the milk faster, and you only have to sterilize the nipples (most important in the first few months to prevent thrush, which can stop them drinking).

Using stainless steel is risky due to manganese, which means they're either coated with polycarbonate meaning BPA, or PET. So you've got a stainless steel coated polyethylene liner... kind of redundant.

We used to float the liners in a Thermos full of hot tap water, it was usually at temp within 5 minutes (you can do the stir and shake in emergencies, and you get it warmed in about a minute).

Good luck, don't panic! You need to conserve that vital energy for sleep. My son is almost 15 months. I've been so long without sleep, that the rare occasion I get 8 hours or more I think my body just assumes I'm dead and starts breaking down.
Just Kill All of the Comments Already
Interesting, how about performances of mono? The thing that attracts me to it is F#, however as others stated I'm out of windows development since 98.
I used the wireless charging on my Nokia Lumia for two years, every night. Loved it. Problem is, it's dog slow compared to how fast my iPhone 5s charges. And when I tried to charge my Nexus 4 on the same charger as the Nokia (they use the same technology, why not?) it would go haywire and never actually charge.

Apple may be behind their competitors in some way, but they have a way of not pushing out technology until they're sure it's going to work the way the mass market expects it to (which is how the general public lets them get away with calling everything "magic". To a non-technical audience, it might as well be). My Nokia is full of cool features that don't work. If the battery dies, it takes half an hour before you can turn the phone on again. My Nexus 4 has a big screen but the camera is shit and it can't hold a charge through the day. My iPhone doesn't have a single "wow" feature to me, but then again there are no features that make me think "this would be so cool if only it worked". The last non-iPhone I didn't truly hate was my Palm Pre+.
Even NY Times has bugs
http://i.imgur.com/Fsbrmyy.png
I think it is mathematically proven that that's a sphere. Once something is mathematically proven there won't be anything ever that invalidates this.

Also: Imagine any shape. Now imagine to inflate it. What shape will it more and more approximate?
Me too, glad to help. My mail is in the profile.
> And they turned out fine.

Except for that they didn't turn out fine. 1 in 5 couples in the US is now infertile, which is why this thread is here in the first place.
/dev/urandom on Linux only has an internal state of 1024 bits [1]

As Python's Mersenne Twister is seeded with urandom...

[1] https://pthree.org/2014/07/21/the-linux-random-number-genera...
Yeah, but as the Wikipedia article states: not even diamond is strong enough. So don't hold your breath.
As with most things in software, speed can't be measured only by the running program -- the time required to write the program should be included in nearly all cases.

Python: fast to write, slow to run.

C/C++: slow to write, fast to run.

To put it succinctly, you can write fast programs, and you can write programs fast, but you can't write fast programs fast.
Nice to hear from Jessica on this. I'll be keeping an eye out to see if they follow through on this (female founders aren't afraid name names, just not to the media or on Secret, for obvious reasons).
If you were to sit down with a pile of beads and try to build a big HCP stack and a big FCC stack layer by layer, you'd quickly understand why the densities are the same. The bottom two layers (call them A and B) are identical between the two (without loss of generality), but you then have two distinct ways to proceed.

For HCP, you shift back and add a layer identical to A (that is, the beads of the third layer are directly above the beads of the first) and then repeat, making an ABABAB... pattern. For FCC, you shift to the one allowed position that is not identical to A, making an ABCABC... pattern. (Fig. 1 of this Wikipedia article is at least a little useful for visualizing this: http://en.wikipedia.org/wiki/Close-packing_of_equal_spheres)
I don't quite understand why more computer makers - particularly in Asia - don't pre-install an easy-to-use Linux operating system. It seems like the perfect market for open-source operating systems.
I love how Medium becomes my favourite "time waster". I remember about buzz in media about how pointless Medium was but since some time majority of articles I found on major suggesting websites from Medium are extremely interesting.

When reading articles from Medium I feel like I am not only not wasting time but acquiring knowledge in extremely fast pace.
Sometimes a procedural approach is better for certain (in my opinion, limited) problems. I'd rather use a procedural language for those cases.

Also, the .NET libraries we end up using were, to my knowledge, written in C#. Sometimes interacting with them feels awkward if done functionally.
It is weird. Doing great mathematics is like writing great poetry in a language only a few hundred people can read. And yet, every once in a while a mathematical poem changes the world.
Did you give F# Power Tools a go? It gives you a lot of what is missing out of the box. It's still not as great as C# IDE support, but for most things it gets the job done.
I am now starting to write some tests with libtap. If you are game, come help out! :D
I'm curious about the actual statistics of ADD/ADHD drug abuse in the tech community. I do have friends that have started taking Adderall but stopped quickly, or only take it rarely, because of negative effects. By negative effects I mean it made work and relationships harder, not just adverse side effects of the drugs.
What is the significance of this? I read the article and found it interesting, I just don't understand why it's on the top of HN. Stupid pranks like this happen every day in every city.
Live Stream of the Perseid meteor shower [NASA]
You can but the majority of your 23 year old coworkers will annoy the ever living shit out of you. They may even implicitly put you first on the chopping block because not hanging out with them outside of work means you're not a team player.
Someone posted a video of part of a Mirzakhani lecture a few hours ago https://www.youtube.com/watch?v=XMWJW-AVVCI
> 2. FBFatal has the same semantics as assert(), so that's correct.

Ah, this makes sense to me now. Thanks!
Yes, and it's often the case that, faced with such a "poem", the world changes without ever understanding the mechanism of the change, as with both relativity and quantum theories.
Thanks for the tip! Done.
Wow. That's really obnoxious.

All human beings should care about what other people think. Ignorance of other's thoughts and feelings isn't something to be proud of.

Disclaimer: neither European nor US citizen.
And they where also exposed to high amounts of environmental lead, and we know how that turned out: higher crime, lower academic achievement, more teen pregnancies, etc. Just because most of a society is exposed to something does not mean it's healthy.

Two interesting papers: Lead Exposure and Behavior: Effects on Antisocial and Risky Behavior Among Children and Adolescents [1], and How Lead Exposure Relates to Temporal Changes in IQ, Violent Crime, and Unwed Pregnancy [2], estimates serious deleterious effects ranging from lower iq, lower self control, increased violent crime, etc, stemming from childhood lead exposure via tailpipe emissions.

[1] http://www.nber.org/papers/w20366

[2] http://pic.plover.com/Nevin/Nevin2000.pdf
Source? There's a lot of potential confounding variables there...
This is Samsung's VR headset
1 in 5? That seems, well, like nonsense.
So apparently it's impossible for the academy to have this problem that we all agree tech has? Please. Summers' comments were barely a sketch of a hypothesis. He blustered until some percentage of people just assumed he had a real point. (Basically his career in a nutshell.) A critical part of his hypothesis is "there is no Pareto-efficient change to current educational practice that would reduce sex differences in variability". That claim is ridiculous on its face. Nothing to see here! Move along people!

http://media.swarthmore.edu/bulletin/?p=145 (read past the first three paragraphs; why is the sex variability inverted for Asians? perhaps Nature doesn't so completely dominate Nurture after all...)
"We should let Russia take a bit of Europe and buy the rest for pennies on the dollar."

You do realise that the EU is a larger economy than the US, right?
Why mono website built on Jekyll instead of .net with mono itself?
'Carolyn Chen, a Princeton undergraduate who took Bhargava’s freshman seminar on mathematics and magic, called the course “super chill.” '

Classic Carolyn
Some Hardware Transactional Memory Comments (2009)
This one has been updated: http://www.intel.com/content/dam/www/public/us/en/documents/...
That's mostly just a transfer of wealth from the middle class to the wealthy via defense contracting.
Scientists learn secret of how geckos cling to vertical walls
Apparently, smoking related fires are deadly, but rarer than you'd think (causing only 2% of residential fires, though surprisingly 14% of deaths). But point taken with regards to smoking in bed, which is apparently still a thing..

http://www.usfa.fema.gov/statistics/reports/smoking.shtm
> I don't quite understand why more computer makers - particularly in Asia - don't pre-install an easy-to-use Linux operating system.

I think the reason is that they anticipate that their customers expect Windows. If they install Windows, they only have to sell the computer to the customer. If they install Linux, they also have to sell the customer to the computer.

It's really a shame, because Linux makes economic sense -- lots of free software, idealistic developers, good documentation -- as shown by the number of regional governments and municipalities that have switched from Windows to Linux for economic reasons, mostly large-scale projects in which computer end-users are coached and educated through the change.

When individual computer buyers start preferring Linux to Windows, that will be an important turning point. But not yet, it seems.
Thanks! I'll stick with i3 even though I am a fan of lisp, because it did what I wanted with very little configuration.
Here's the current list of Errata's from June:
http://www.intel.com/content/dam/www/public/us/en/documents/...

I see two about TSX:

HSD87 X No Fix Intel® TSX Instructions May Cause Unpredictable System behavior
Problem: Under certain system conditions, Intel TSX (Transactional Synchronization Extensions) instructions may result in unpredictable system behavior.
Implication: Due to this erratum, use of Intel TSX may result in unpredictable behavior.
Workaround: It is possible for the BIOS to contain a workaround for this erratum.
Status: For the steppings affected, see the Summary Table of Changes

HSD114 X No Fix Intel® TSX Instructions May Cause Unpredictable System behavior
Problem: Under a complex set of internal timing conditions and system events, software using the Intel TSX (Transactional Synchronization Extensions) instructions may observe unpredictable system behavior.
Implication: This erratum may result in unpredictable system behavior. Intel has not observed this erratum with any commercially available system.
Workaround: It is possible for the BIOS to contain a workaround for this erratum.
Status: For the steppings affected, see the Summary Table of Changes

HSD114 above seems to be the bug from the techreport article.
The person you're replying to doesn't know what they're talking about, though I will admit they are expressing a relatively common chauvinism among US conservatives that they exhibit instead of intelligent dialog. They're the same sort of person that thinks renaming "french fries" to "freedom fries" is some sort of rare genius.
She isn't from Saudi Arabia. Apart from having a few nutty leaders Iran is closer to countries like Turkey than it is to Saudi Arabia.

Anyway, academia is generally one of the few "liberal" institutions in Islamic countries. The issue is usually of female graduates finding work outside academia (eg Saudi Arabia graduated its first batch of female law students in 2008 and still hasn't let them practice law).
The truth is there isn't that much work to do anymore so the tech employee convinces their boss' boss that some hyped up tech will make them even more efficient. After a minimum of 3 months to integrate the new tech into the workflow, that same tech employee will AHDH his way into some other tech seen at Velocity and leave the internally wiki documented mess to some poor sap to maintain.
I am well aware of the quality of the schools in Iran and can directly compare it US schools, having gone to school in both countries. That Newsweek article is not surprising to me, but in some areas it is inaccurate in my opinion. You do see high quality individuals graduating from Sharif university, which is highlighted in the article, but concluding the school itself is "successful" or competitive is incorrect. The fact of the matter is that there is a nationwide exam to enter college level education for all schools and you basically choose your school (and major) based on your rank in that exam. In that society, engineering majors, specifically Electrical Engineering majors, tend to have high status, so if you do well, you end up going to study EE at Sharif University, probably not because you are a fan of EE or you think Sharif is any good: it just has to be better than other schools.

The outcome of this is simple: you'll have selected top N individuals from an exam of half a million people and put them in a single school. Of course you're going to see those people shine. That says _nothing_ about the absolute quality of what that school gives you, just how good it is relative to its peers in the country, and I define quality as "output - input". The "input" is high quality, but the delta is merely meh in my opinion. Also, the students are high quality--the faculty are generally not (unlike what's mentioned in the article), but they do end up taking some credit.

In terms of the contribution of the country, I can just say that she is a survivor of an accident years ago, where seven talented math students died, whom had similar achievements to hers at the time. Overall, the contribution of the country to its mathematicians has been negative, specifically so to the female ones.
Fragile contrasted with USB cables, perhaps. I have used several counterfeit lightning cables from Shenzhen, some of which just failed after about a month to half a year, the reason of which I guess was mechanical stress. The genuine Apple ones are still pretty solid and work fine, though. There may be some pretty tough requirements in the process of production or the materials.
Checking a series of logical statements is just arithmetic.

Generating a series of logical statements is only hard because the formal statements are not generated axiomatically, they are sourced from ill-understood human creativity. Once a formalism is defined it is trivial O(e^n) algorithm to generate all proofs of size n.

http://math.stackexchange.com/questions/324867/automated-pro...
I don't think there is anything dynamic happening on Mono website. Why use backend when there is no need in it?
X to close
This explains the problem I had with LastPass earlier today. None of my computers would let me log in for about a 10 minute period.
Web Developer Needed- Rosemont, IL
I currently have a client looking for a Web Developer with experience working with ASP.NET, T-SQL, and JavaScript Frameworks (ExtJS, AngularJS, KnockoutJS, jQuery, etc). I was wondering if you knew of anyone in your network who is currently on the market.

I am having a hard time finding someone that matches this skill set. Do you have any advice as to where I should be looking to find these types of people?

I do offer a referral bonus for anyone who is hired!

Ralene McDonald
rmcdonald@awistaffing.com
The industry is obsessed with shipping the same way humans are obsessed with breathing
If you're asking about web performance - it's as good as it can be. It also fully supports async for quite some time now.
What is the definition of "efficient" in this context?
I hope not. It would be bad for both companies and the platform as well. Microsoft has a proven track record of flat-out failing to execute in the spaces where Xamarin operates.
Your comment comes across as very entitled and pretty damn jerky.

As someone inside of a large corporation working really hard (try pinning down the CTO of a 10k+ person company to sign legal docs sometime) to try and open source some of the amazing tools we have created so they can be used to make the internet a better place, nothing is more demotivating than people like you.
If the guys on the label are American, then US regulations apply, too.

Even if not, the US stick their nose anywhere, even where it does not belong...
> is no longer a top 10 download, despite still being the second-highest grossing game on iPhone in the US.

Are current top 10 games using different monetization techniques than Candy Crush's F2P approach?
> But SA/V isn't the important ratio here. The important ratio is weight to volume.

Don't forget crush resistance with a minimum of construction material. But as it turns out, a spherical shell is the optimal shape for all the stated requirements -- it evenly distributes the compressive force across its surface, it represents the optimal ratio of surface area to volume, and it therefore follows that a sphere represents the smallest mass per enclosed volume.

> But if you have a a structure from which you've removed the air that is too heavy to float in air you get no prize.

That's certainly true. But for a vessel with a fixed wall thickness, making it larger greatly increases the chance that it will rise, because the enclosed volume increases so much faster than the surface area.

This would all be easier on Venus, where the atmospheric pressure is vastly greater than here, but the gravitational force is less. If only it weren't so damn hot.
> You need to conserve that vital energy for sleep. My son is almost 15 months. I've been so long without sleep, that the rare occasion I get 8 hours or more I think my body just assumes I'm dead and starts breaking down.

I feel your pain. My daughter just turned 1. Up until a month ago, she was still waking up 3 or 4 times a night. Sometimes more. We had gone so long without regular sleep that my wife and I had gained over 30 pounds. We became irritable, tense, and we were getting ourselves noticed at work for poor performance and tardiness. And despite being happily married for nearly 15 years, our mariage was in jeopardy.

We decided it was time to try sleep training. We first tried a gentle, "fewer tears" method[1]. It sort of worked, but my daughter quickly regressed and became worse than before. Our presence stimulated her rather than soothed her, so staying in the room just made things worse. So, in desperation, we tried Jodi Mindell's more old-fashioned method[2].

It worked. Beginning on night 3 of sleep training, we got 8 hours of unbroken, joyous sleep, and we have gotten regular sleep ever since. My daughter still wakes from time-to-time, but it's no big deal now. We can put her back to sleep in a matter of minutes rather than the hours it used to take before.

The best part though is that my daughter is so much more rested as well. We didn't realize that her poor sleep habits were taking such a toll on her. After a few days of good sleep, she began to smile and laugh more often. She began babbling like never before. She was less cranky, more patient, and her daytime naps even improved. It was like a damn miracle.

Anyway, long story short: take your own advice and prioritize your sleep. If you haven't tried sleep training yet, do it.

[1]: http://www.amazon.com/Sleep-Lady%C2%AE%C2%92s-Good-Night-Tig...

[2]: http://www.amazon.com/Sleeping-Through-Night-Infants-Toddler...
> After that we've used the playtex liners.

Why did you wait until then? Is it that you prefer glass bottles but they're too heavy for the baby to hold?

I have a 6-day-old (breastfed so far, but pumping means bottles get used too), so I'm trying to figure all this out. Maybe I'll order some glass bottles.
> How do these links imply any misconduct, or anything other than disagreeing with feminists?

You're talking about these tweets with rape jokes, tweets where he's an asshole toward poors, and "ironic" use of the N-word?

...

Are you high?