skysight-inc/HackerNews huggingface dataset:
The Lego analogy is what I also often like to use :) !

" I feel that better type systems do help one model the world better"

I agree. But then again, I prefer to start from scribbling mathematical proof mimicking pseudocode which is easily transferred then to statical types. Some people just bang something together, prototype on the IDE/REPL as they go on and they can probably finish faster than me and produce value. If this figure-this-out-while-coding person then has the craftmanship to clean up the code the result is often as good as with the paper-and-pen-first approach. For larger systems, however, I would claim that starting from careful design pays off more because the code-prototype can quickly get out of hands if there are too many abstractions and variables flying in the air at the same time.

The 'formal' approach has pitfalls if applied without taste or experience, since, well, modeling for modelings sake can get out of hands at which point one has a shaking tower of abstraction generated from mental masturbation rather than anything of lasting value. This becomes pathological the minute it reaches production.

I think we recognize it all has to do with the experience of the programmer and the dedication but craftmanship is very hard to formalize...
I would say 80% of people on here have shown a little lack of awareness and judgement at least once on HN.

Have you ever posted a joke that might offend?

Have you ever linked to one or more past projects?

Are you aware that you can not delete your account or your posts?
BetaList is what you're looking for.

http://betalist.com/
When a large project becomes as simple as a homework in K12 CS Ed
Good point, what other forms of hate should we allow him to express without consequences? :)
Given his past contributions to the web, it's unsurprising that he still participates and people listen to him.
Yes, but all that happened after the Bartman incident. Pre Bartman, expected runs were 0.69. If Alou makes that catch, expected runs drop by over 50% to 0.33.

http://www.nssl.noaa.gov/users/brooks/public_html/feda/datas...
There's the security downside of plugging in a data capable port when you think you're just getting power. I know this isn't worth consideration for most people, though, and there are "condoms" to deal with it. Still, it'd be nice if we could fully rely on charging devices with no chance of being attacked, like dedicated power systems in use on most laptops today.
Rand Paul: What If Companies Could Create Their Own Currencies?
While it's true that there's an unlikely but nice scenario in which it becomes ultra-cheap to make biological processors, I take some issue with the idea of them being "highly parallel."

What stops us from using more highly parallel chips right now is not the expense of silicon, it's that it turns out that highly parallel chips just aren't as useful as fast chips. Nothing about the ultra-cheap biological computers scenario would change that. That would be a world of omnipresent computing, not one of parallel computing.
Clearly the person who fired her only did so because of public outcry, i.e. the bullying. That was in their best interest. It wasn't fair. It wasn't a consequence equal to her action. It may have been equal to the reaction to her tweet, but that reaction was unjust.

The consequences of the bullying, given her being fired, is much worse than if she was not fired. Her ability to compete in the workplace has been severely diminished because of this. Her PTSD that she will probably suffer for a long time has been greatly exacerbated by her firing.

Given the worst intention of her tweet (ignorance), getting fired was still not the right reaction to her "crime."

Do people need to be held accountable to their actions? I agree that they should. Outside of criminal law (since this wasn't criminal), the mob is not the right group to decide what the correct consequence of her actions should be. History shows that this leads to barbarism, which this was a case of.

She didn't get what was coming to her, she got much worse.
I believe I understand you correctly. You want some type of smart system to heat/cool only what's necessary. Fair enough, and maybe there is even something to it. I do see problems with it.

If you are talking about a per-room system, latency becomes an issue. If I go from my bedroom to my bathroom, how long must I be in the room until the heat comes on? Moreover, won't turning heat on/off put a lot of strain on the system? This is not convenient. It's an actively worse system than what I have now. Additionally, I'll spend much more energy heating each individual room, unless I have insulated doors and inside walls: another huge expense.

If you are talking about everyone wearing electric coats and blankets and their AC equivalents, forget about it. First, you have to carry a battery pack and charge it every so often. Second, where you used to be able to just turn up the AC a bit and wear shorts, now you have to wear a spacesuit to not suffocate in the summer.

I think HVAC could definitely use innovation, and this goes beyond the really expensive geothermal systems or high efficiency condensers. Boring things like insulation and construction materials is what's going to make a huge difference here. Buildings with good insulation and little air exchange with the outside will use significantly less energy than those with poor insulation. Heating being the #1 consumer of energy in any given house, we need to trap it inside for as long as possible. Remember, it's much easier to insulate a wall that's not moving, sitting, bend, bathing, etc. than a human.

In short, I understand what you are saying, and I think that others on here do too. I simply disagree with it.
Work in progress, the main thing is the links to the App and Play stores.
Datomic is a great event log, but it is explicitly not meant to be used in high write volume environments, as it is limited by the serial transactor.
migrootions? :-)
What's the difference between this and Sandstorm?
What would you recommend the consequences should be for Barack Obama, given he publicly held the view that Eich privately held?
This is great. The only thing I'm missing is explanation of the various methods of rotating the principal axes (varimax, oblimin, etc.)
They kind of skipped a step. What you would do is then look at what the first principle axis is. In this particular case, it would be a 17-D vector, each element corresponding a food type. You would then look at which elements (food types) have the greatest magnitude.

In a toy example, imagine we had a 5D case where we have beer, cereal, fruit, beef, chicken, and salad, and we found out that the first principle axis is {0.3, 0.1, -0.5, 0.0. 0.2} (in the same order). Then the cause of the change would be due to primarily fruit and beer consumption.
It always seemed obvious to me that police would do this, and not necessarily to "undermine" Waze — I look at it as police leveraging Waze to promote safe driving. Simply by posting a thousand fake cop locations to Waze they make Waze users slow down without needing to deploy real (and in short supply) cops.

I don't know how many people actually use Waze, but if it's a significant number then every police department should have someone on staff whose full-time job is to post fake cop locations.
Very nice work! And thanks so much for making it open source. Our company is always looking for an open-source solution that would let us move off of Hangouts, and this might just be the vehicle for that someday. XMPP, chat history, @mentions, local hosting, and open source...a great combo.

The only major thing that's missing that we'd need is private chat! Hope to see that as a feature someday.
Timelapse video of Rio de Janeiro, shot at 10K (10328×7760)
> I could argue that those that participate in this sort of public shaming have a lack of self-respect and seek the thrill of dragging everyone else down to their level.

I think this idea is well-reflected in the movie Precious, when Precious's mother is put on the spot for abusing Precious and is forced to confront her motivations:

> Mary Lee Johnston: But, those... those things she told you I did to her? Who... who... who else was going to love me? Who else was going to touch me? Who else was going to make me feel good about myself?
I honestly think people who say "what about me" are uninformed. I went to search for facts to prove my opinion but couldn't find anything specific.

I found two pieces of conflicting info 1) ADA doesn't really apply to businesses under 15 persons and 2) ADA requires all business to provide TDD.

If you can dig it out of the ADA guidelines then please help me.

http://www.ada.gov/reg3a.html
Star Expansion to Command Execution Through G++
Not just chrome, my whole Yosemite environment seems so sharp.
In context of people it means sexual attraction.
I was just in a wells fargo branch yesterday and asked about it and was told they were planning on rolling them out later this year. Probably one of those left hand not knowing what the right hand is doing situations.
Computer algorithm can accurately identify Jackson Pollock paintings
Yeah, he showed bad judgement. I'm not sure I agree that it was "monumentally bad". The fact of the matter is that he lost his job and has baggage that follows him around because people continue to perpetuate the Valleywag-constructed outrage, not because of actual behavioral sexism or racism (the accusations of which pretty rapidly evaporate upon closer inspection). It's not something that will blow over in a couple of weeks, because it's an enormous straw man that has taken on a life of its own at this point.

Regarding employability, you'll note that article is from Dec 2013. He's now gone from Glimpse.

> I also knew that I was holding Elissa back. I know my baggage was hurting the company. We were asked to insert clauses that would strip my equity if I “embarrassed” the company and it’s reasonable to assume that my presence as co-founder made other VCs shy away from us, which is heartbreaking to me because Elissa is fucking amazing and deserves better than that.

He further writes:

> My career has been irretrievably damaged. I’ll always have trouble finding a job. It used to be easy for me but even a year later I find that recruiters shy away and applications to jobs I’m well qualified for don’t result in a call back. I’m not worried, I know that with enough time I’ll find someone who doesn’t mind my notoriety given my skills, but I’ll always pay a very real price for this whole incident.

If he says it's still following him around, I'm inclined to believe him, because...well, he'd be the one to know.
Whats Inside Your TCP Optimization ToolBox?
Oh, I see. You're right -- I misunderstood. I guess I have a sort of reflex/twitch going on about CQRS/ES vs. Datomic. Mea culpa. :)
$ 12,500 is not a lot of money for this kind of work, if he is hired to find the same bugs he will earn much more.
Mobile-optimized pretty well but it's a pain to try to read a column all the way to the left of my screen on my computer. Auto-scale doesn't fix it.

I like how you can turn off the "dial" but the setting was somewhat hidden, perhaps the setting for it should be accessible from the feed switcher itself. (Also, I get that the name is Feedial, but the dial is really not a useful UI piece. I know you like it, but I don't. Sorry.)

"Mobile" shouldn't be an option, use CSS Media queries instead. Also, when not in mobile mode, the feed switcher isn't accessible anywhere except for at the top of the page. Why does it disappear?

It would make a set of your users happier if you offered email-based authentication. I know, I know, sending the emails is annoying, but at least I'd be a little happier.

Tooltips that describe which buttons do what would be really nice.

I like the images on the left. I don't know, it just feels right. Also, I thoroughly enjoy the fact that you don't try to just pull stories from webpages and host them on your site, you just link to them. Like a good RSS reader.

After a few more minutes with the site:

I really like this. However, I think some of the news outlets that don't have as many posts are being completely drowned out by ones who post often. Instead of being all BBC News and ABC News, you should make sure that you give equal share to all websites. Otherwise all you get are "X killed Y" articles while articles about world economies and imprisonment and airlines all get crowded out.

If this offered recommendations as to what news I could get and delivered personalized sets of news stories to my inbox, I'd totally use it. Adding arbitrary RSS feeds would be even cooler. Otherwise, I'll stick with switching manually between HN, Ars Technica, Boing Boing, and Slashdot.

(Also, I've noticed multiple stories covering the same thing showing up separately. Maybe invest some time into algorithmically grouping them?)
That's really interesting. I imagine nociceptors have a baseline firing rate but your brain tunes it out because it's just noise. If you switch that off, the current filter system would get whacked out of balance, you'd feel awesome, but when it switches on again, baseline firing would be a salient input for a bit and you might notice it? Of course, long term up/down regulation of various receptors occurs too, but I've never heard of this particular effect before though it sounds plausible to me.
It's already in melpa.
Fixing the "dot-dot-dot arguments always escape" issue could in particular mean that logging code no longer risks making things escape even when it doesn't run:

http://stackoverflow.com/questions/27788813/variadic-functio...

...which would be cool.
"misleading claims like "if it compiles it works.""

ML family of languages contain powerful language features and libraries that, when programmed using particular style, can produce programs that actually do that (if they are brief). They are not magic, the point is just that the abstractions used there effectively remove large categories of typical bugs. Of course the language itself is not sufficient, one must study how programs are supposed to be written in the said languages to understand the utilization of those features.

Yaron Minsky's "Ocaml for the masses" in http://queue.acm.org/detail.cfm?id=2038036 explains this far more better than I could.
Using standard SQL for adv analytics doesn't work. The key is in extending SQL
so much of the web has become homogenous

Feature.

Now, if it would only homogenize on a good, useful, and readable standard.

If the entire Web looked like a Readability page (http://readability.com) this would be a Good Thing.

Web design isn't the solution. Web design is the problem.
Yea I know, adorably hilarious!
This is actually from the book, which is worth reading (also required reading, in some American high schools).
I'm dating myself, but I grew up thinking pretty much whatever you did outside of work--was no one's business.

The first time I knew society changed was
when Charlie Sheen was fired for his lifestyle. Actually, the first time was the Clinton/Monica fiasco.

The only benefit I see from this
hyper morality is true hypocrites/authority figures are exposed. I partied in the eighties, like everyone else; The only time I was offered hard drugs was by three off duty cops at different engagements. I don't
think I(a stranger) would get that offer today?

I don't like it when one of you guys are fired over something said, but I'm all for exposing hypocritical Politicians and Law Enforcement types. Yes, I have been harassed by law enforcement, and if it happens again, and all this tech works, I will post the offence online. Legally--I know they can randomly stop people, I can randomly post.
I now have two cameras front and rear of my vechicle. I am
waiting for the next time I get pulled over for no reason. I also
try to keep that Iphone camera handy if I suspect abuse of authority.

I liked the old system because I was white and middle class, but I can't imagine what a lot of women and minorites had to put up with?

(Actually the I more think about it, maybe the reason we are so sensitive over online comments is because, as white males, we didn't experience the injustice the rest had to endure? I know my generation wasen't sexist, or racist, but my father's generation--is a whole other story.)
From Priceline's annual report in 2013 (the 2014 version is not
released yet) filed with the SEC[1]:

During the year ended December 31, 2013, our international
business (the substantial majority of which is generated by
Booking.com) represented approximately 85% of our gross bookings
(an operating and statistical metric referring to the total dollar
value, generally inclusive of all taxes and fees, of all travel
services purchased by our customers), and approximately 94% of our
consolidated operating income.

Disclaimer: I work for Booking.com, but it's not like SEC reports are
privileged information. That Booking.com is most of the Priceline group is obvious to anyone who looks up SEC filings.

1. http://ir.pricelinegroup.com/secfiling.cfm?filingID=1075531-...
This runs VMs, Sandstorm runs OS containers. Apps for Sandstorm might need a little work to integrate with Sandstorm's model for users and permissions, but apps in Portal won't have a built-in mechanism for sharing documents/data and will each have individual authentication, I assume.
> There are more 'shady' tricks that can lead to different prices for the same hotel, but it would be too long to write all of them in a post.

I'd love to see a blog post on this, and would gladly send beer/coffee money your way to see it!
> had a hypothesis about drug addiction, designed an experiment to prove his hypothesis. Performed the experiment, measured the results

That's the very definition of the Scientific Method, so I don't understand what problem you're pointing out:

"The overall process of the scientific method involves making conjectures ( hypotheses), deriving predictions from them as logical consequences, and then carrying out experiments based on those predictions." -- from http://en.wikipedia.org/wiki/Scientific_method

(That the experiment has not been replicated as you claim could be a bad sign, but that's a separate matter.)
It seems rather counter-intuitive that a city with no formal transit, and thus no actual schedules could be meaningfully integrated in a scheduling app. But I guess the matatu drivers have to follow pretty fixed routes because they have to follow the expectation of their users. That is, their pre-existing knowledge about where the buses go.
Maybe? At this point I don't care enough to wade into that. A worse place, however, would be the Coveralls "Community" section. Of the five actual questions posted there, zero have been answered over a period of four months. (I had to use incognito mode to see this, due to the redirect loop noted above.)

Whatever, it's free. I'll stop bitching.
I literally just came from the Slack site to HN wondering if there was an opensource/selfhosting version of something like Slack. Well I guess that question is answered.
Thanks, I'm getting a great understanding of all of this from the comments here. I suspect that USB is going to end up being the universal low-voltage power source, but I still think that's a shame, as something more like 24 to 48V would be better, especially if there was a well designed, universal connector.

I'm still amazed that they can get 100W out of those tiny USB wires...
> The catch, in my anecdotal experience, is that third parties have terrible integration with the hotels. In some cases, they fax a reservation using a company credit card, to pay on your behalf.

I know for a fact Hotel Tonight does this, as I've seen the fax from the front desk clerk with their corporate mastercard number (partly redacted) on it.
Thanks!

Private is pretty much first on our list for the next release. We use hangouts as well and it's definitely a pain point to juggle multiple apps.
Hackernews website slower for logged in users. [video]
She dog-whistled the mob, no doubt that mob gave death threats.

People lose their shit when anonymous trolls send death threats to prominent women, but typically completely ignore the same happening to men. Perhaps women get more because they react more? Perhaps people shouldn't feed the trolls?

Please don't reply to this with a pithy feel-good response like "nobody should send death threats!". It's like saying "there shouldn't be war in the world!". It's an obvious goal that everyone agrees on, but there is no way to achieve without use of totalitarian control over the world/internet - something I'm sure we can agree is unacceptable.
Or perhaps AirBNB.
Sure, keeping in mind that I don't disagree with any of that -- is this a stance that we've just adopted within the last ten(ish) years -- because if the issue of gay marriage were really that simple, wouldn't it have always been legal?
Do you mean using Fiddler (great program, definitely a musthave) in place of Wireshark?

In that case you can add its key to a trusted authorities in Firefox and then it swaps nothing, everything seems to be signed properly... Unless I misunderstood your comment.
google the error message
Quick start guide for any node-based SPA with Mithril
Actually, not being so complex that I actually need to think is what I really like about 0hh1.com.

It requires a non-zero but pretty low level of "executive function", but significantly less than most logic puzzles.

In particular, a few times per game, I have to apply a little bit of "frontal-lobe" or higher-level skill to prevent myself from losing my patience for constantly applying the lower-level or "perceptual" skills required by 0hh1. In particular, I have to apply frontal-lobe skills to resist the temptation to engage in the "wishful thinking" of falsely believing I have perceived a correct next move to make.

(I engage in 0hh1.com mostly to relax or unwind, not to hone any higher-level skill.)
Ask HN: APM tools
What does everyone prefer for Application Management Performance Tools? It seems like New Relic and AppDynamic cater to startups, but I'm wondering how they all compare from a large enterprise level as well. I've used CA's APM suite at a few enterprises, but I've heard good things regarding AppD.

Does anyone have experience in all three? Does anyone have any thoughts on each and where they fit or compare to each other? I'm wondering from both a devops prospective and a sys admin who may need to perform 1st level triage on an application using the tool without much context into how the app works itself.
Something of an in joke I suppose, but design thought it was funny enough to leave as is.
I have zero programs on any of my machines which pop up dialogs asking for sensitive information "out of the blue". Not saying they don't exist, only that they shouldn't and you should be suspect of any program which behaves this way.
I disagree. As far as I know the tuitions hiked happily. In a nutshell it's the end result of people shamelessly exploiting passion mixed with a bit of an unhealthy research >> teaching attitude.

It's kind of like the academia counterpart to EA exploiting people enjoying game development.
Intro to Supervised Machine Learning and Classification: The Big Picture(slides)
This is a tremendous problem with information goods in general. They're poorly suited toward market behaviors and incentives, and the wrong things get incentivized for -- at least in terms of quality and actual behavior.

I've just posted a bit on that:
https://www.reddit.com/r/dredmorbius/comments/2vm2da/why_inf...
Digital Storytelling – Changing People, Perceptions and Lives
Introduction to Continuations – Web Programming
Reaction mass is less of an issue than you might think.

A particle accelerator could get reaction mass to 99.999%c. The energy requierments would be insane though.

Reolitically, there is going to be a tradeoff between effecency and exit velocity but for 10%c it's really just a question of energy.
Yes.

You have to appreciate the difference between actionable speech and expressing an opinion.