skysight-inc/HackerNews huggingface dataset:
Battery propulsion doesn't need to get anywhere near the energy density of fossil fuels in order to have equal utility, due to the huge difference in efficiency (both theoretical and practical). Ignoring utility and just thinking pure kWh for a moment, do you have a source for your 100-200 year claim, assuming maximum Carnot efficiency for fossil and 100% efficiency in electric motor conversion?

From my armchair perspective, the Tesla Model S would be equally useful to any gasoline car for all but a handful of edge use cases, with only the minor change of adding a metal-air battery as a range extender for excessively long trips. And that's today, not 100 years from now.
This product looks great. I think that automating the sales process, from prospecting to closing will be a vertical that'll see huge growth over the next few years. Anything that helps companies make money faster and integrates with salespeople's existing workflows is an obvious winner. That's the good news, the bad news is how low the barrier to entry for this market is right now and will continue to be with the current business model. The company that becomes the leader in this will work out how to make something that is seemingly highly commoditisable (email sending and read receipts) solidly defensible so the next startup down the block can't just undercut you on number of prospects contacted per pricing tier. I suspect the answer will have more to do with more impressive mass personalisation rather than any network effects these companies can create. Fascinating space, this is a growth sector without doubt. The companies I recommend checking out: Stacklead, AutopilotHQ, Yesware, Streak and Docsend among others.
Interactive Design and Optimization of Free-formed Free-flight Model Airplanes
Static sites with Haskell, GitHub and Travis CI
There is actually a lot more discussion here: https://news.ycombinator.com/item?id=8169367

And it includes links to additional info about her and the other winners, like this link to a profile of her: http://www.simonsfoundation.org/quanta/20140812-a-tenacious-...
- Writing a WPF app in F# is a real pain (no partial classes, no nice MVVM framework support like Caliburn.Micro). C# is way better there.

- Accessing the DB is easier in C# (just select a nice micro-ORM), type providers do not always cut it.

- When using any kind of library that relies on anonymous types (e.g. Dapper for database access).

- Tooling is still not complete, not being able to create directories in F# project (!) from IDE level (and even if you edit .fsproj, it can be a bit buggy) is really annoying in both web and desktop apps.

- If you want to use some of object-oriented features e.g. co/contravariance in interfaces, protected access modifier.

- (admittedly, that does not happen often) no unsafe context/keyword

That being said, I agree that F# has a very sane set of defaults and I really like using F# for library work.
My senior engineering project in college was the development of a GPS-guided robotic boat for recreational purposes. Our team consisted of three electrical engineers with very little machine design experience (this was just the first of many aspects of this endeavor which were hilariously ill-thought out), so we ended up bashing together a makeshift thruster out of plumbing fittings and an electric trolling motor, with predictably awful results.

Seeing this brought back memories. A self-contained thruster unit intended for integration into a larger robot might just have saved our project, had it been available four years ago.
This is one of the disruptions a solar storm will bring to us. We are just lucky we weren't hit directly last time.

http://www.space.com/21237-extreme-solar-storms-electrical-g...

http://www.reuters.com/article/2014/07/25/us-electricity-sol...

I don't think we are ready yet to embrace this possibility.
Route Views of BGP
Great to see that someone who grew up in a country which many in the west believe is backward and opposed to women's education and scientific progress in general win such an award.
Better: quote the actual authors.

> We therefore tested whether the mindfulness trait predicted a reduction of grammatically congruent preferences ... Mindfulness was shown to correlate negatively with grammatically congruent responses

> Mindfulness was measured using the Dutch version (de Bruin, Topper, Muskens, Bogels, & Kamphuis, 2012) of the 39 item Five Factor Mindfulness Questionnaire (FFMQ, Baer et al. (2006)).

> Working memory (WM) performance over sessions was analyzed with repeated-measures ANOVA. WM performance (LEVENSHTEIN) was indexed by mean Levenshtein distance between target sequence and remembered sequence ... Low Levenshtein distances therefore represent good WM performance, and high Levenshtein distance poor WM performance.

The WM variable represents mean distance between target sequences subjects were exposed to before they were told there was a pattern, and the sequences they generated attempting to recall them after being told there was a pattern.

The phrase, "grammatically congruent responses" appears only in the abstract, but it probably refers to the same thing as WM.

Sometimes, it's best to let your pattern matcher do its thing. Label your axes, kids.
A Spacecraft for All (Google Experiment)
C# is a stronger OO language than F#, if you prefer OOP over FP. It also has a lot of functional features that allow you to dip into FP when that is convenient. Not as great as Scala, but definitely a huge step up from Java.
> (as a security tester, there are lots of applications for having full control over a TPC stack, regardless of how performant it is)

And sometimes you even want your stack to be slow, eg in a slow loris attack.
A pity only very few people in the world can fully understand the beauty of the mathematical proofs these geniuses created
Related: https://news.ycombinator.com/item?id=8170640
For those who are interested, the Aethon Tug and Vecna QCBot are the major players in this space. I believe Panasonic is currently developing one as well.
The evolution of PMS: It may exist to break up infertile relationships
Sure, anything can be art these days, even the 4chan post.
I believe that if you're selling a physical good, you're not even permitted to use an IAP and give them the 30% cut. It's explicitly disallowed by Apple.
That's by design: it's built-in pass-the-blame with an extra helping of spreading the bacon around. Government contracting is little more than legal, officially sanctioned nepotism and graft. The whole point is to allow Congressmen and other connected government officials to enrich their friends and family. In turn, these officials get high-paying "jobs" at the same places they helped funnel lots of money to.

The people in these comments here on HN claiming that somehow that's "liberal government" at work don't know what they're talking about, at all, and I mean downvote-worthy, comically so. If we must label these antics with comparisons to American political ideologies, the government contracting system is closer to big-business, republican-style politics than anything else. Small-c-conservative and any-l-liberal are the last things I think of when I think of government contracting.
Misses the point hydrogen is safer, easier, could be done today with existing tech for commercial travel (Already used a lot for scientific balloons) and pretty much has the same lifting power.

(Also Helium is obviously currently is used in airships commercially with no real problems on top of a theoretical vacuum ship other than perhaps cost of balloon contents, which I'd guess is not the limiting factor anyway)
Opting Against Ebola Drug for Ill African Doctor
Quote: " ... this provides a foundation which ensures the computer can check any series of logical statements to confirm they are true." (emphasis added)

Not really. I wonder if the author of the linked article realizes that the Turing Halting Problem, and Gödel's incompleteness theorems, are deeply connected and prevent the claimed outcome as stated.
For people who are downvoting: it's a meme you probably don't recognize. Do a Google Image Search for the phrase :D
Show HN: Expressjs implemented in PHP
> My wife and I sleep on the floor, with a few blankets, and have slept with our daughter between us since day one

And when your daughter is old enough to talk, she'll tell everyone she sleeps on the floor, and CPS will come take her away (this sort of thing is a major fear of mine -- some minor idiosyncrasy or eccentricity will be taken out of context and misinterpreted as a sign of an "unfit" home, and they'll come a-knockin').
The phenomenon referenced is real (it doesn't apply to Trayvon Martin, but it does to George Zimmerman); someone downthread provided this example: http://tompride.wordpress.com/2014/01/16/photo-of-mark-dugga... , and Time magazine infamously darkened OJ Simpson's mugshot ( http://www.museumofhoaxes.com/hoax/photo_database/image/dark... ). It's definitely true that the media purposely uses hilariously biased imagery, it's just that it's not about making sure blacks are viewed as a menace -- it's about making sure that the doctored image supports your story, no matter how disconnected the two might be in reality.
Best Office Chair is the Steelcase Leap
DEFCON 22 Badge Challenge
Modern math can be fairly removed from anything a lay person hears in pop science. (And even as a mathematician, I don't know what most of the things on the wikipedia page are about. I'm into a different subfield.)
So you're saying I have to buy an even better car seat. Maybe a new car. Got it!

(My boy is 8 days old)
take a block of text, sentence, or paragraph.

build 2 classifiers: #1 that classifies a sentence that contains the information you want, and #2 that classifies the actual data within that subset.

NLP
The quote pretty obviously is referring to checking a proof (series of logical statements) not an arbitrary logical statement. Compared to most reporting on technical subjects, this reporting was wonderful.
The smaller compose window enhances productivity. With the smaller compose window, users can view many emails while composing a single one, and the compose window stays out of the way. No back and forth to get the details you need.

For reading the mail as you are typing it, most humans find their eyes get tired after reading lines longer than 120 characters. A full screen compose window, could mean 200-250 characters. The current smaller popup wraps text after 72 characters, which is easier to proofread when writing (many novels wrap around 60-100 characters for this very reason).
Why need to use Session buddy if Tabs Outliner also can save all tabs, and it' also preserve all tabs on Chrome crash?
This article reads like one from 2600. You should consider publishing it on that magazine. I'm not sure about the process, but it might be really neat to do so.
Thanks man! It's built on Rails and hosted on Heroku. The extension uses AngularJS.
Relearning How to Eat Fish
The Das Keyboard 4 Is The Hacker’s Choice
Careful: It's hard to craft remedies against patent trolls that don't also penalize poor inventors whose work was really and truly ripped off by a much richer entity. Even simple rules like "loser pays" can make the potential downside of filing a valid suit so intimidating that large players get a complete pass.
I can think of at least two reasons:

1) The judicial system already exists to deal with it
2) It has yet to come up repeatedly at conferences
Just your friendly old neighbour NSA installing a new backdoor on one of the backbones, apologies for the slight hiccup you might experience, blame it on your isp
All shopify stores down
I'm glad for any company that wants to overthrow Ticketmaster and their "convenience charge" that they tack on to every ticket.
I think that the police are there to protect people. All people, even black teenagers.

I think that every time a police officer fails in that simple duty so badly that they actually kill one of the people they are supposed to protect, that there needs to be an assumption of guilt and failure on the part of the police.

I think that if we don't do that, if it becomes accepted that the police can occasionally kill people as part of their job, that we lose sight of what we have a police force for.

I think that being a police officer is hard because they have to deal with bad people without insulting them, restricting their rights or hurting them. The reward for doing this job right is the respect and co-operation of the community they protect. The penalty for not doing this job right is the loss of that respect and co-operation.

So I think whatever happens at the trial is irrelevant. The police failed here, and have lost the respect of their community. They need to do their jobs better.
Hehe, I imagine Muḥammad ibn Mūsā al-Khwārizmī [0] would be very proud of her. :)

[0]http://en.wikipedia.org/wiki/Mu%E1%B8%A5ammad_ibn_M%C5%ABs%C...
Two samples, not two subjects. Still not definitive, but definitely "something to see" if their methodology holds up (I don't have access).
> In any case you don't need a policy to act against indecent behavior.

This may or may not be true. However, the existence of a policy is a good way to reassure people who are concerned about the problems that the policy addresses to have confidence that their concerns are going to be taken seriously.
I have no idea! I've never read it, but it has a memorable title. The weird allusion can't have been accidental, though it is pretty strange.
Common misconception, actually most "convenience charge" amounts are determined by the venue or act selling the tickets.

-9 years in sporting event ticketing.
Hyperbolic geometry is the geometry of surfaces and spaces that aren't flat. Think of a 2D surface which is curved like a saddle. A triangle drawn on this surface will have angles that add up to less than 180 degrees.

Ergodic theory is the study of dynamical systems (things that change over time) that are allowed to run for a long time. They are "ergodic" if the state after the system has run for a long time is like picking a state randomly from the set of all possible states. Pouring cream into coffee and then mixing it is ergodic - after a sufficiently long time, you might as well have just arranged all the molecules at random.

Symplectic geometry is a bit more abstract. It's the study of dynamical systems that look similar to Newtonian mechanics, i.e. there are analogues of position and momentum. It encompasses all of Newtonian mechanics (i.e. mechanics without friction) but also a large set of other possible dynamics, like electrodynamics.

Riemann surfaces are surfaces that look like the complex plane "up close" but might look more complicated "from a distance". For example, an infinitely tall spiral staircases (which extends to infinity in the x and y directions) is a Riemann surface. It's interesting to study functions on Riemann surfaces, because the limitation of behaving like the complex plane at small distances is quite restrictive.
we successfully host http://backrecord.com with it and this is now a very substantial project. I find there are often issues to work through when deploying the website (hanging out for ASP.NET vNext), but nothing that can't be overcome. We have background processes that do a lot of mathematics. With these, we find we can generally deploy what we've been testing with the Microsoft CLR to mono/linux and it just works.
We use open tabs as reading latter list.

It's actually very handy, if PC have sufficient amount of RAM and with a help of mentioned there Tabs Outliner extension it's not a problem at all.

TO basically remove distinction between open and hibernated tabs and also preserve everything on crash. So i sometimes even crash the browser (by killing its root process) as quick way to free memory, without losing all open tabs and work, it's even faster than by using TO close-save all functionality. On restart TO allow reopen only now needed items, and everything else - latter.
Transient Attributes for High-Level Understanding  and Editing of Outdoor Scenes
More layoffs at RealNetworks as 85 employees receive pink slips
Ah thanks for the insight. I just hate when I go to buy a $20 ticket and by the time I actually get the ticket, it cost me $35 with all the extra charges tacked on.
Thanks!

I might change my mind on this but I'm generally erring on the side of staying away from integrations.

At first, it sounds very convenient (everything's right there!) but over time, I believe it's going to do more harm than good.

There's a few reasons for that but the main reasons are:

- an issue / task created on another app might not fit within the scope of a day

- integrating tasks across services ultimately leads to having too many tasks in plain view.

Bottom line is this: seeing all your to dos would encourage you to "organize your todos" or "work on things you didn't intend to" -- which defeats the purpose of this app. There are plenty of other tools that organizes your thoughts / brain dumps / team communications pretty well and this isn't going to be one of them.

I'm not sure what you mean by your second point but remember, this list is really about what "you intend to work on today". Our priorities can and often do change throughout the day - but this might also show us the discrepancy between "what we set out to do" vs "what we actually did". Often times, we get pulled into doing things that are urgent but unimportant which 1) puts us into a fire-fighting mode and 2) may leave us feeling unaccomplished at the end of the day because "we were busy all day, but we feel like we got anything done". It's the same feeling we get when we spend all day in email. We've all been there before.
> You mean like Einstein did with the theory of relativity? Oh. Wait. That was only proven 30+ years later by Ives–Stilwell.

You're registering agreement with my point. Or didn't you notice? No one accepted relativity until it was confirmed by experiment.

> You mean like String Theory is completely proven to the exclusion of alternatives? Oh. Wait. It isn't.

Notwithstanding its popular name, string theory is not a scientific theory, it's a conjecture without an empirical basis.

> Science observes, formulates hypotheses, and then falsifies or shows them to be true.

Yes to the first, no to the second. Science never proves anything true, only false. This idea was perhaps best expressed by philosopher David Hume, who said, "No amount of observations of white swans can allow the inference that all swans are white, but the observation of a single black swan is sufficient to refute that conclusion."

> The "linked artice" is journalism, not science.

So science journalism is free from the responsibilities of science itself? If that were true, it wouldn't be either possible or responsible to call it science journalism.

> Ah. You digested 35 years of research, and found no evidence? Or you skimmed the overview I provided, and chose to not further investigate?

There is no demonstrated cause-effect relationship, it's a correlation. If there were evidence for a cause-effect relaitonship, it would have been included even in the popular accounts.

> You didn't read any of the papers, did you?

This is what you think constitutes scientific debate? If the evidence existed, you would be linking to it rather than arguing in bad faith.

> Yes, there is no clear mechanism, yet. That's because we don't understand psychology well enough to always define clear mechanisms. That's what science is about - furthering our understanding.

Psychology isn't science, and until it tries to explain what it has until now merely described, that status won't change.

> The metastudies indicate that research is doing a decent job to control for other factors, and still reproduces nicely.

If reproducing unexplained results constituted science, astrology would be a science.
Is there a legal procedure that would have made it possible for the defense team to say to the judge "It should not be possible to dismiss this unless it is with prejudice"?
The copy of the U.S. Constitution that's installed on every Mac
> This is no different than big companies hiring unpaid interns. Sure it can kinda work in a handful of cases, but it's harmful to exploit people to perform unpaid labor.

There was a set of rules that came from a court ruling regarding unpaid internships[0]. I would like to go over the points here. These rules dictate whether an intern can go unpaid or not:

> 1. The internship, even though it includes actual operation of the facilities of the employer, is similar to training which would be given in an educational environment;

Your intern can't be a coffee jockey for you. They have to actually learn things from the job. In this case, I believe this is more than can be gained from an educational environment. This involved many more intricate details, and probably a bunch of analysis of the patents at hand. I imagine they were trying to pick apart this patent.

> 2. The internship experience is for the benefit of the intern;

This experience was beneficial for both parties.

> 3. The intern does not displace regular employees, but works under close supervision of existing staff;

Unless the startup had a legal team that they didn't use, I feel this is self evident.

> 4. The employer that provides the training derives no immediate advantage from the activities of the intern; and on occasion its operations may actually be impeded;

While the startup did obtain an advantage (having a legal team), if the clinic team had failed, there is a very good chance they would have been greatly impeded.

> 5. The intern is not necessarily entitled to a job at the conclusion of the internship;

I highly doubt that any of the team got immediately hired, or were promised a job at the end of the internship.

> 6. The employer and the intern understand that the intern is not entitled to wages for the time spent in the internship.

They had come to an agreement that the students would be working for the clinic pro bono.

I feel that all of these points were met, and in this case there was no exploitation of unpaid labor. Both sides benefited greatly from this.

> But, the reality of the situation is there are massively degenerate patent laws at work here and the solution isn't for startups to expect a contingent of students to work there buts off gratis for them.

You're right. But I don't see any other solutions right now. There isn't any drastic reform bill being pushed through Congress. There aren't any big companies standing up to these patent trolls, in fact most have given in. There was a patent troll going around suing companies for shopping cart technologies. Amazon and several others gave in, but Newegg finally stood up and denied them a settlment. Newegg went on to win the court case. They have won several others as well. Given the recent rulings of passing court fees on to patent trolls, I imagine they are getting less complaints in the long run than others that have given in.

[0]: http://www.theatlantic.com/business/archive/2013/06/the-cour...
The other big problem with MMX was that it was integer only. While that might have been ok for some application 3D games and other software that could really use the boost needed floating point and not only couldn't benefit (since it was integer only) it actually interfered (since, as you said, it reused the registers).

AMD's 3DNow had single precision floating point support, so it was actually somewhat useful. SSE followed 3DNow and added single precision support (as well as fixing the register stuff). SSE2 added double precision support.
Getting CSS Code in Order: Yandex Experience
They are quite brave, they must never want to come back to US again. It takes very little these days to get banned, denied visa or put on the no fly list.
Thanks! All of the content you see is directly sourced from YouTube :)
A problem with Hydrogen is that it is very reactive -- that doesn't necessarily mean fire, but it does mean that any surface it comes into contact with will be affected. For example, you can't fill a latex balloon with hydrogen and expect it to last very long.
Making of the FF Franziska font