skysight-inc/HackerNews huggingface dataset:
I don't pretend it'll be "perfect", but it should let decisions fall (noisily) around what we think of as "fair" (since we're all running that assessment through the same hardware) which is really what we're looking for.
Visualizing systems of linear equations and linear transformations
Facebook Says It’s Going To Purge Low-Quality Content And “Meme Photos”
There used to be an "anything goes" series… the original Can-Am (1966-1986) - what Car and Driver called "the vehicular equivalent of great white sharks in a goldfish bowl". The regulations were basically "two seats, enclosed fenders". There was effectively no regulation of engine size or configuration, or of aerodynamics. It was abandoned in part due to extreme cost, and in part due to the safety problems.

The last straw for Can-Am, really, was Porsche simply pouring money into it with the 917 until no one could compete with them, rendering the racing kind of boring. Tight regulation in F1 and other racing forms keeps the focus on the driver, not the car.
I use timers, saving the results in memory and dumping them occasionally then aggregating. Each timer has a category name (like sql query, or one of the many higher-level tasks in the app) plus optional argument (so the actual SQL query, or the thing that had some work performed on it). Each timer just saves min-max-avg time. In the aggregate view you can see that e.g. "foo'ing" took 20% above average Foo time this week after a new software release and can check that out.

For profiling, I've occasionally swapped out some key function with odd characteristics with one runs in a profile. So you can create a new Profiler instance, and patch your weird function to instead call profiler.runcall(func). After you've tested it a few times, you swap back to the old version and dump the stats.

If you have multiple proxying layers, multiple processes etc. a useful option is to make e.g. Apache save the request time in the main or another log file. This is the CustomLog %D option. Then you can easily find out that e.g. /foo/bar requests take so and so much on average, with 95% below this number, perhaps even doing real-time warning when they start to increase.
Also lack of hacker spirit and tendency to with fashion instead of thinking. It doesn't seem like an improvement to me, but I guess that's what happens when stuff goes mainstream.
A Booming Betaworks Looks Long Term
Exactly. This is not to say that marketing cannot be criticized for stereotyping, but it's far more likely due to exploitation of the natural differences in populations than the sort of raw prejudice so often implied.
A Third of Healthcare.gov Signups Contain System Generated Errors
I ran a similar experiment with Rejection Therapy a year or so ago. I used big red "DON'T BUY" purchase buttons and sales went up slightly.

Long story as to why I took them down, and I'm not even sure if I should discuss it so I won't.
In contrast, here is an article encouraging women to become programmers that appeared in Cosmopolitan in 1967: http://thecomputerboys.com/?p=239 and an article that discusses it which contains pictures of a couple other ads: http://www.sas.upenn.edu/~nathanen/files/cbi-gender.pdf
Most of europe, especially VAG[π] cars are turbocharged, either TDI for basically all Diesels and more and more (T)FSI gasoline powered cars.

Also look at the Audi R10 TDI [φ]

[π] http://en.wikipedia.org/wiki/Volkswagen_Group

[φ]http://en.wikipedia.org/wiki/Audi_R10_TDI
> There are no obvious factors in my daughter's life that should bias her towards pink girly toys, yet she is absolutely obsessed with girly pink clothes and toys.

> I honestly can't fathom it. Pink attraction seems to be built in. Like a moth to a flame.

Yeah, that doesn't actually make any sense. Pink:blue::girl:boy is 100% artificial and one recent source has it the other way around:

> For example, a June 1918 article from the trade publication Earnshaw's Infants' Department said, “The generally accepted rule is pink for the boys, and blue for the girls. The reason is that pink, being a more decided and stronger color, is more suitable for the boy, while blue, which is more delicate and dainty, is prettier for the girl.” Other sources said blue was flattering for blonds, pink for brunettes; or blue was for blue-eyed babies, pink for brown-eyed babies, according to Paoletti.

For centuries prior, both genders were dressed in white.

Here's the article I've quoted from:

http://www.smithsonianmag.com/arts-culture/When-Did-Girls-St...

It sounds like marketing is more pervasive than you may realize.
طلال بلال يخصص قطعة ارض لبناء الكشكات لاصحاب المحلات / ختام علي الغراوي
How has this video not gone 'viral' yet? Funny fat man does Techno Chicken Run
How is this not viral yet? This is one of the funniest videos I've seen on YouTube in a long time! Get sharing and commenting people, lets get this video viral! Let's help this funny fat man achieve the internet stardom he deserves! Let's get this on Rude Tube!
Same here, stopped watching around 1998. I though it's mostly about the car (which is largely random per-season, yes) and instead of celebrating the design/engineering behind the only things celebrated around f1 are the personalities of drivers, their excesses and their egos.
The example proofs he gives in the article have nothing to do with the way he taught to do programming, they are merely illustration of some of his minor points. Later in the article he says:

On the other hand, we teach a simple, clean, imperative programming language, with a skip and a multiple assignment as basic statements, with a block structure for local variables, the semicolon as operator for statement composition, a nice alternative construct, a nice repetition and, if so desired, a procedure call. To this we add a minimum of data types, say booleans, integers, characters and strings. The essential thing is that, for whatever we introduce, the corresponding semantics is defined by the proof rules that go with it.

This sounds exactly like a description of:

http://en.wikipedia.org/wiki/Predicate_transformer_semantics

And of the approach he uses in "The discipline of programming", so I think you are the one who is confused.
great list and wonderful photos!
How to Analyze Literature Better by Watching Football
Yes, because gender issues are the most important thing on this planet and everything is deeply related to them.

I wonder when people will start whining about how sexist keywords in programming languages are.
Forget the doubters, commercial drones are here to stay
Yeah, we totally missed the mark on this. We live BRCK day in, day out, and sometimes forget that we haven't explained the detail to people well. This comment has prompted us to rewrite our copy and clean up the site a bit. Watch this space over the next few days. Thanks.(Source: I'm the CTO of BRCK)
Is that where he borrowed it from? I've seen mention of the language feature showing up in Eiffel, Sather, and so on. http://en.wikipedia.org/wiki/Covariance_and_contravariance_(...
RF Safe-Stop shuts down car engines with radio pulse
They can probably make Coors sell better than Miller, or vice versa, OK. But that's a minor adjustment, even if worth a lot of money, not a massive change in behaviour like stopping half the population from discovering readily available video games.
What's the code licence? I didn't find any mention of it on the site.

If it's closed-source, can it be flashed with something open?
"doing/buying/applying x raises your attractivity to the opposite sex" is really the most basic advertising message ever. Is that really a problem (more than advertising in general)? Why/how?

I get that this ad is targeted at men - but that in itself can not seriously be made out to be a problem either? Should all ads/messages/stories/games/movies be unisex?
I would do it yourself then hire a "landing page conversion" company. Once you have a baseline.
rspeer, what browser are you? if you can send a screenshot to info@brck.com we'll get on it.
OpenIdea: handing out free STD tests
This seems to muddle cardinality. First he defines cardinality as "number of elements" and notes that infinite sets have infinite cardinality, but doesn't explain what that might mean. Then he introduces "same cardinality" as a new definition instead of letting it arise out of sameness of number. And next, without any new definition, starts referring to larger cardinality.
The device is a bit of a hybrid, its closed source for some of the main firmware, but all the GPIO and sensor connectivity is open source (and open hardware). We are working to open more and more of it up!
A couple of the most innovative hackers I know are also musicians. A big motivation is simply money. They've embraced the fact that they'll always be poor. Hacking is essential to build & maintain the tools they need for life and for work, as well as a great source of cheap entertainment.
In what way is it sexist - because the woman wears a mini skirt? Because it is suggested that it is worthwhile to attract women? Because the guy doesn't wear a mini skirt - and she likes him for his salary, not his looks? Because the ad doesn't mention her PhD in mathematics?

I think this is all blown very much out of proportions. Sexual attraction is a basic aspect of human life.
In theory, theory and practice are the same. In practice, they are not.

Even circle tracks have tremendous local variation from a racing point of view.
Im kind of biased but we here at buysellads.com provide a simple marketplace platform to easily target, buy and track online ads.

p.s. Here is a great read on the subject http://www.quicksprout.com/the-beginners-guide-to-online-mar...
Λεφτά στο ίντερνετ - το μυστικό -
Better performance? What are you basing that on?
I've seen a lot of discussion of the 'filter bubble', particularly as a way for DuckDuckGo to differentiate itself from other search engines. But I have never seen any scientific data indicating it actually exists. I've seen the TED talk, and I've seen the oft-repeated example involving BP, but I've never seen anything more than a couple of examples about how it might exist.

Has anyone demonstrated in any scientific fashion whatsoever that there is a population of people that are insulated from news they don't want to hear because it is actively being kept from them on an ongoing basis by supposedly unbiased news sources?

Here's the data I do know about: we already have 'news' channels that pander to particular audience, and we've already seen that watching news you agree with activates the same pleasure centers in the brain that are stimulated by watching pornography.

Based on evidence I've seen, the problem is with the audience, not the news. The assertion in the article that the filter "can polarise populations creating potentially harmful divisions in society" seems, well, unfounded, at least so far.
The Real Costs of Virtual Money
No it isn't! Racing has always been the source of innovation in automotive- safety harness for example.. ABS, etc

Its exactly the fact that racing became "about best car + drive" that innovation slumped and we still drive cars that are pretty much no different than when Fuel Injection was introduced in the 70's!

I welcome these challenges.

I have been slowly developing my own diesel/electric hybrid using similar technology, it makes more sense than full electric at this point in time. Hub motors are very inexpensive and modern diesels running on waste bio can last upwards of 1,000,000 miles. Thanks to Audi and their endurance Diesel R8 racecar... They challenged themselves under no regulation and it helped prove a technology.
VAG have a rather nice twin-charged 1.4L engine - with a supercharger and a turbocharger - the former being used at low revs and the latter at high revs:

http://en.wikipedia.org/wiki/List_of_Volkswagen_Group_petrol...
If you look at the early atari 2600 commercials it is clear they were just throwing stuff at the wall with no clear audience in mind. One that sticks out in my mind features a "Valley Girl" that is so stereotypical it is hard to tell if it was supposed to be a parody or not: https://www.youtube.com/watch?v=O5ze1neVziE
Is it time for the media to go pant shitting crazy about epidemics again? Seriously?

Has anyone else noticed a pattern here?
Windows XP end-of-life migration guide
We are on it, it won't be in the first release, but it we are working on a software upgrade (to the original hardware) that will support this.
If you think women don't have an advantage in tech, you're wrong. How do I know? All the ceo's who are women, the fact 60% of IT jobs last year went to women, and my boss, who's female, says so.
Creating Digital Products: Interview with Paul Jarvis
Google's Compute Engine now ready for business
It's not so much about what I would remove, it's more about gaining guidance/acceptance/standardization around the "right" way to do various things.

When creating a library should my functionality exist explicitly on the types? As extension methods on an implicit? As type classes?

When should I use infix/prefix notation? When should I use . syntax vs no .? What does _ mean in this particular line of code? Is an allocation happening for this lambda or not?

Why are map/flatmap/filter magical? Why are for comprehensions part of the language for those but not for type classes?

All of these kinds of questions are really hard to answer and I've been programming Scala in production for years.

Other complaints I have are about the mess that is the collections library, the push for actors when they are generally a bad solution, an emphasis on algebraic types without providing Union types, and all the opportunity costs represented in sbt (which is finally passable but no better) and Scala IDE.

Don't get me wrong, if you are targeting the JVM & want strong typing (I do), Scala is the best language for the job, but even for someone who uses it every day and is pretty expert there are some confusing corners & no 2 developers seem to write code the same way, so there is a price to be paid for that.
That's kind of the direction I'm leaning -- anyway, there are pretty good pre-made templates, so I could always use on of them.

Thanks for your advice.
Wow! Have you developed the software for the ECU?
Television's death by YouTube
I don't think "anything goes" would be wise but there may room for an interesting race with very minimal rules. e.g.

1) Total fuel limit (of specified type etc.). Gives all cars equal energy budget to use. Maybe some fuel could be traded for pre-charged batteries for KERS type systems.

2) Size limits. Must be narrow enough to overtake, short enough to fit in a pit box and maybe a height limit too.

3) Safety requirements and possibly a minimum weight to allow for sufficient safety without overly compromising safety.

There would still be plenty of things that could be done that are currently forbidden such as active aerodynamics so the car could actually have one or more rudders to assist with cornering etc. and that wings could flatten into aerodynamic shapes.

I could almost imagine the cars no longer using their brakes before corners but instead increasing downforce enough to take the corner and that increased drag being the only reason that they slow down at all.
Ehm... No. If any, C# borrowed it from Scala. C# got them in version 4.0, which was first half of 2010. Scala had them since I remember (from day 1?) - for sure they were in Scala 2.6, which was released in 2006.
Indeed, the very idea that your fly by the seat of your pants intuition, memory and senses cannot be trusted is the foundational presentiment that brought us science.
India to seek US help in monitoring Web chats
You should go dancing! No, seriously archive.org that stuff for posterity.
Oh, you'll love this one then https://www.youtube.com/watch?v=ufYYOXiEtxM
My database is called ext4. It is plenty fast for a blog. :-)
Another option is to use Cython. You can declare a function "nogil", but then you can't call any native Python functions within it. It's good enough for some purposes, but not all.
I haven't watched that part of the video yet, but I've always believed that Rich's biggest blind-spot seems to be about not realizing how Clojure's macro system can be used to rewrite regular code into FRP.

Just have a look at what a macro like Javelin [1] already enables [2] and imagine how powerful that would be when combined with 'live' Datolog queries where the query results in the browser will stay up to date with the results from the logic datalog query on Datomic.

I've tried explaining it to Rich at EuroClojure 2012 but I'm pretty sure he was still thinking in terms of 'classic FRP' back then.

[1] https://github.com/tailrecursion/javelin
[2] http://www.infoq.com/presentations/ClojureScript-Javelin
Why did you take them down? :)
> if Martin is the creator of Scala

I'm not sure if you're saying "If the person who goes by the name of 'Martin' in the list is Martin Odersky, the creator of Scala" or "If this 'Martin' guy is the creator of Scala". In both cases, this seems to be a yes, since Martin's email address on the list begins with "ode...@".
7 things to do when building a startup from anywhere in the world
Are employees trained by their tools?
Just to elaborate for those not familiar with the terminology, the axion of dependent choice is a weaker version of the axiom of choice. It asserts that you can pick a countable(denumerable using the terminology in the post) sequence from any infinite set. The axiom of choice asserts (informally) that given any collection of sets, you can form another set which consists of one element from each set in the collection. The axiom of choice asserts that this holds true even when the number of sets is uncountable (non-denumerable).

The axiom of choice and the continuum hypothesis are equivalent, meaning the assumption of either one implies the other. <<EDIT: This is wrong, see below>>
Poincaré was a genius but math has moved forward since the 19th century.

Here's what I'd argue is the most important take away from set theory: for a given framework of mathematics, there are conjectures one can make that can be neither proved nor disproved. Perhaps the most high-profile of them is the continuum hypothesis.

Maybe P!=NP is such a conjecture. Maybe the existence of a solution to the Navier-Stokes equation is such a problem. For Poincaré, the very idea that there is math that can be neither proved nor disproved was not in his mental vocabulary.

On another note, Weil's celebrated proof of Fermat's last theorem relies on the existence of inaccessible cardinals[1], although I've heard it conjectured that they are not necessary.

[1] https://en.wikipedia.org/wiki/Inaccessible_cardinal
Patch for allowing sorting of an atkOneToOneRelation attribute
"oh, static systems are for people that don't have fast databases ;-)" -- antirez (article author) https://twitter.com/antirez/status/407184116275503104
Oh yeah, of course. I forgot about advance tickets because there weren't any available to get me to Stansted for my flight (needed to arrive by 12pm).

Even now the cheapest tickets from Nottingham to Stansted are £52 sans railcard for the end of January. Maybe Nottingham-Stansted airport is a special case?

Some digging and there are advance tickets to Ely available for £5, and Ely to Stansted airport is £14 for a regular ticket.
Remember there are a lot of groups who stand to lose if Scala results in a renaissance in the JVM platform. In particular those newer platforms e.g. Go, Clojure, NodeJS etc.

Plus HN has always been a moth attracted to any flame(bait).
I think we as a group tend to underrate the power of marketing because it doesn't make s lot of analytical sense, but marketing is hugely important as anyone who had founded a business learns very, very quickly.
This is just more anecdotal evidence, but the effect the hunger games movie/books have had on female enrollment in archery clubs is staggering: http://www.npr.org/2013/11/27/247379498/more-girls-target-ar...

Here's another article that purports the rise (and now domination) of women in forensic biology to be predicated on the media's portrayal of the career and the large number of female role models in the field.

There is nothing special or innately "male" about video games, and I think the real thesis of the article is that player demographics are much more evenly split than we think; we just assume video games are for boys because the video games that girls play (candy crush, the Sims, etc) aren't marketed as being "video games" at all
Well, Martin should be happy Scala is getting discussed, even if he doesn't agree all that is being said. There are plenty of new and old languages that never get a mention on HN, let alone grace the front page.

That said, he should probably not take any criticism personally. They are discussing Scala the language, not Martin the creator of that language.
Yes because the regular users/clients know exactly what I2C, SPI and UART is and they will jump on it right away.
This isn't really a "for the geeks only" product from what i read so the description will need to be for the geeks and not only, open your market to regular clients and businesses.
Mortimer Spinks / Computer Weekly Technology Industry Survey 2014 [pdf]
And what do you have to back up that assertion?

From the outside it looks like your comment could easily be translated as "women need to know their place", but with fancier words to make it look philosophical.

> "humans are all exactly identical, no questions asked"

No one asserts this, not even gender studies majors. What's problematic is asserting that gender differences should have any bearing on what a member of a particular gender is allowed to do.

Subscribing to stereotypes is what excludes a large number of extraordinarily talented women from either entering or finding work in the tech industry.
The power of crowdfunding! That is really the major game changer that hasn't been taken into account yet.
It's a bizarre and complicated story I hope to one day tell, but not today.
Show HN: Free email forwarder as a Service
Suppose you have the domain example.com with a WEB server. Now suppose you just want to receive emails to your new domain.
Probably you don't want to maintain an e-mail server, or even another e-email inbox to make your life even harder, right ?

With proxy4.us you can setup a forward in few minutes!

The idea is that you can forward emails sent to you@example.com to your current inbox (you@gmail.com for instance)
Field guide: Types of people behind today's corporate security threats
http://zine.openrightsgroup.org/comment/2011/who-owns-your-t... is an explanation of why she was suspended last time. No idea what it was this time.

As someone also in Edinburgh (UK) who has seen first hand the good work she does for the community, please support her!
Recently we visited some friends who have a 4 year old daughter. She was wearing a "pirate princess" dress. That could bring together the pirate and pink motif your daughter is secretly searching for.
IntelliJ IDEA 13 is Released
Suppose you have the domain example.com with a WEB server. Now suppose you just want to receive emails to your new domain.
Probably you don't want to maintain an e-mail server, or even another e-email inbox to make your life even harder, right ?

With proxy4.us you can setup a forward in few minutes!

The idea is that you can forward emails sent to you@example.com to your current inbox (you@gmail.com for instance)
Welcome To Spotify For Artists
http://Calepin.co does pretty much this but using Pelican to create static pages from markdown. You can use your own domain with a cname too.
Agreed - removing the driver would make it much more interesting. Safety regulations could then be relaxed considerably so we'd see more spectacular crashes. Also a human's inability to control a vehicle during high G force cornering severely restricts the speed you can allow the cars to go.

And the driver salaries could be donated to charity ;-)
Could we get some context? Hard to get more information with the account disabled.
Wait, but when people complain about titles and say that the person should write a blog post and post that, this is the response they'll get?