skysight-inc/HackerNews huggingface dataset:
I was pretty enthusiastic about Adapteva's kickstarter for their Parallella board, even though I felt like some of the wording they had was a bit deceptive. I began to sign on for the 64 core version but I backed out because I got burned by another Kickstarter project around the same time it began to become clear they weren't really going to make it to the funding level they needed for the 64 core version.

I forget how long that's been but I have to admit to be being really disappointed that there hasn't been much demonstrable progress. There's still no 64-core version of the Parallella board. There was some talk about an update to 16-core Parallella board but I don't think it's shipped. As far as I know there's still no way to connect multiple Parallella boards using their "e-Link" ports. And lastly no way to assemble a small Adapteva cluster with a more favorable ratio between the Adapteva and Zynq (as far as power, heat and money go) than a stack of the 16-core Parallella boards.

Obviously I expected too much and I guess I'm being a tad unfair. That I've seen the dev team have always been decent, reasonable, and polite; so I really hate to write anything negative at all. I just thought they'd be much further along by now and that I might have a mini many-core cluster.
Teal – Free PSD and Responsive HTML Template
Mozilla could make a rustphone where apps run 10X as fast as all that webby crap, never crash, and don't force the user into frequent hardware upgrades just to keep the UI responsive. Make smartphones that are as reliable as dumbphones.
There is a difference between formal specification and formal verification. Formal specification is what we have with TLA+: you create a high-level description of your system, to which you apply software tools to check the design. It's like blueprints for software.

Formal verification deals with proving that the actual code you write implements a formal specification. This is a much, much harder problem. Usually, it involves cajoling a theorem prover by adding lots of annotations to your code. There's been some impressive work with the Ironclad project from MSR[1] which brought this down to ~5 lines of annotation per single line of implementation code - within striking distance of unit testing! Still, probably a decade or more away from widespread use.

Formal verification isn't quite what you meant, though. You were talking about code generation. For general systems specified by TLA+, this isn't going to be useful unless you write in a very idiomatic way; in which case TLA+ is just a very high-level programming language. However, code generation is implemented in some specification languages that deal with very specific areas of system design. I'm thinking primarily of the P language[2], which is used to specify & check state machines and includes code generation capabilities for C++ and C#.

[1] https://www.usenix.org/conference/osdi14/technical-sessions/...

[2] http://research.microsoft.com/apps/pubs/default.aspx?id=1771...
My opinions:

I think attempting to balance games where the number of character/choices are large enough is a futile process (especially if the design process aims at the "cream of the rop" players). The truth is that at the end of the day, competitions are still going to be populated with players would use the top ~20% something (depending on the game) of the character cast, with a very small minority actually bothering with the other characters due to the playing-to-win mentality. I see this pattern being very common with a lot of games, and attempts at balancing them only shuffle the casts around i.e. a new set of characters now dominate, replacing the old ones. Part of the reason is because the characters/game mechanics are so intricately tied to one another, a small change could flip the entire "metagame" around.

This symptom is more apparent with MOBA games such as Dota 2. After each balance patch, the game becomes chaotic enough to raise interests among players, although the metagame will eventually converge to a singular point. Players will then complain and the process continues. Each patch hardly makes the game more balanced, they just make the game different. I think at stages like this, you simply have to adopt a new definition of "balance".

Also I disagree with "Design Self-balancing Forces". While the mechanics proposed are good at creating depth for the game, I think it's misguided to add them with balance in mind. An example is the game Street Fighter 3 (specifically the third edition, Third Strike): the designer added a "parry" mechanic in which allows a player (with a good guess, timing and some memorization) to counter any attack. This could be perceived as an attempt to give any character a chance, but in practice players argue that this makes the strongest characters even stronger (of course it's hard to verify this because an identically copied game with no "parry" doesn't exist) because they can counter attack for much higher damage.

Also, Sirlin (the author) spends a lot of his time with versus fighting games, and the article reflects that. I think if you're looking to balance a game of another genre, it's unlikely that his philosophies will be very useful. Just for reference, versus fighting games usually have these metrics: character pool is between 10-30 (usually don't go up much), there's a heavy emphasis on specialising on one character (could go up to 3), heavy emphasis on reaction and guessing, long intervals between balance patches (if there are going to be patches at all), at competitions there rarely are rules (i.e. usually no banning, save for a few games where balance is pretty bad). If you compare this to other genres (FPS, RTS, MOBA, ...) these metrics will be very, very different.
Let us use this comment space to commemorate the Nashes, instead of turning it into a discussion on seatbelts like the previous thread.

RIP
Indian E-commerce Giant Snapdeal Acquires MartMobi to Build Its Mobile Platform
MasterCard Send Speeds Up Money Transfers with a Little P2P Magic
Pavegen Kicks Off Crowdcube Campaign to Power Up Its Kinetic Flooring Business
Obviously I can't be sure either. But, of course, for most novelists the world would be pretty much the same: they'd write a terrible novel, a few copies would be bought by their family and friends, and they'd become bitter literary critics :-)

However, as you say, what about the Iain Banks' of this world? Well, I don't think much would change for them either. They'd write a novel, do a promotional tour, appearing for talks and signings, and hopefully sell lots of copies.

I think I'll let you respond here rather than anticipating your reply.
As Facebook Sweeps Across Europe, Regulators Gird for Battle
Note that Twitter's Scala School is very out of date, though I'm told an updated version is on its way.
I've met people who work for the copyright office in DC. They've never heard of fair use, they think that it means when you use their content that you have to pay them fairly. They think they work for the big corporations and prevent the rest of the people from stealing things from them.
It works both ways. Copyright restricts a lot of creative uses of prior works, sometimes unintentionally and with little benefit to anyone. There are also some non-commercial youtubers producing very professional work - see Peter Hollens for an example. Despite what you say about patronage he is pushing for a system of effectively distributed patronage, Patreon. There are obviously benefits to the current system, but it's far from clear that it's the best of all possible systems.
Failure as a Service
Woz on Snowden: "Total hero to me; total hero"
Who’s the Watchdog? In Europe, the Answer Is Complicated
It is in public domain.

>The tune was first published in 1893 in the book Song Stories for the Kindergarten. The melody has since passed into the public domain, and is safe to hum in public without permission.
There are people against copyright in principle though a very small number of people.

Mainly what I see is similar to using amendments to "poison" legislation. The abuse at the core of the current crazy USA rules (and then the USA forcing other countries to adopt USA rules) has poisoned the merits of copyright so much that many people find the current copyright reality abhorrent.

Now it also isn't the greatest comparison as the "poison" amendments are specifically created to exploit voting blocks to have to support the amendment that then creates legislation that can't gain enough votes to pass.

And the copyright law has been created by politicians giving companies that pay them lots of money legislation they want. There was no intent to create an unpalatable system so that people would revolt and demand change. So far it hasn't been so unpalatable as to cause the whole thing to collapse under the weight of poisonous amendments. And in fact with TPP we likely to see the USA again forcing new poisonous provisions onto our vassal states.

But what has happened is those poisonous provision have created a large number of people that are extremely unhappy with the current state of copyright. They just so far have been readily outmaneuvered over and over by the copyright cartel folks (as is happening with TPP, most likely, yet again).

It seems we might be getting close to a tipping point, but maybe not. But in any event I think the anti-copyright talk is much more anti-the-poisonous-copyright-extentions-that-have-nearly-no-economic-justification. I feel that way myself. While at the same time believing sensible copyright rules (the USA constitution seems about right in spirit) are wise. Something close to the years we originally had instead of all the extensions that have been added seems reasonable to me. I'm sure not to others. I feel very strongly the current rules are vastly too restrictive on moving work to the public domain and it is doing great damage to our economy as things stand now.
Good Question.

i suggest you to go and check Kilometer's blog.
Kilometer is now building a new startup, and they are documenting their journey from an idea to 1000 customers.
http://www.kilometer.io/blog/
Naming Java Classes Without a 'Manager' (2003)
Awesome stuff! I think some of it would make a great exercise for students in the usefulness of bit packing.
That story was from over 24 hours ago. Stories routinely get off the front-page.

Here it is: https://news.ycombinator.com/item?id=9598211
IDA Pro server(s) potentially compromised
I own this book, and it is fantastic.

There's also HAKMEM[1] and the FXT book[2].

[1]: http://www.inwap.com/pdp10/hbaker/hakmem/hakmem.html
[2]: http://www.jjj.de/fxt/
History of the Abel Prize
Last month, the similar 'memoize' came up:

https://github.com/kgaughan/memoize.py
(https://news.ycombinator.com/item?id=9356433)

Also another entrant in the genre is 'Drake':

http://blog.factual.com/introducing-drake-a-kind-of-make-for...
(https://news.ycombinator.com/item?id=5110921)
Promises and FP = Beautiful Streams
Advice needed. If I don't have Java or .net background would you recommend f# or Scala? I heard Scala is much more complicated than f#. I only know scripting languages like python and ruby.
We are looking for contributors to this work, there is still a lot that needs to be done before we can get a language proposal. Of particular interest are more uses of the library in various contexts and applications, so if you are a student working on a language or some tree-rewriting system for a class, research project etc. we would love to help you try the library solution. Also if you are a lock-free guru, we'd love some help with making vtbl-map lock-free. Also, don't hesitate to write me an email with any questions regarding Mach7.
Url changed from http://www.theverge.com/2015/5/24/8652925/freelance-spies-ns..., which points to this.
Follow me in my journey to become an indie game developer
Greenify PRO v2.6.2 beta 5 APK
Nice!

Any plans for fancier parsing algorithms (GLL? see e.g. http://www.cs.uwm.edu/~dspiewak/papers/generalized-parser-co...)
That works until someone writes a script that removes any \+[^@]+ from specific email domains :)
World record set for farthest flight by hoverboard
I used MySQL until recently just because lots of people around me seemed to be using it. Over time I ran into too many issues with it (for example their default UTF-8 isn't actually UTF-8 but a subset that doesn't accept emoji for example), so I switched to Postgres and only then realised that suddenly everybody else around me seems to be using Postgres now. Definitely feels like there is a movement towards Postgres.
Of course, I've no reason to doubt that. Apple's design philosophy is great for many people, but the trend of its design becoming the only design for interfaces (see also: Galaxy S6) is disappointing. It homogenises the market and ultimately makes it less interesting.
A love letter to public transport
Well that's better than nothing, but I'll note that my 2012 laptop is happy with 32GB.
Does "tax free" apply to U.S. Citizens? I thought the U.S. taxed you wherever you lived.
Domain-Specific Language for IoT
Does anyone know what book he is referring to? Or whether he wrote it at all?
This is why I turn on spell check in Idea and fix spellings.
What would I get from this book that I wouldn't reading Graham Hutton's book "Programming in Haskell"?

Hutton's book was my intro to FP, but I'm looking to get back into Haskell, and I'm wondering if this would just contain the same content?
> “Maybe it should be called the Steve Jobs Campus?” I suggest. “Oh, Steve made his views on that very clear,” says Cook.

Good!
First Arduino UNOs Made in USA by Adafruit
This is a few years old. IMO it's very worthwhile reading. Altucher is a gifted author.

The tl;dr version is Altucher discusses a scene (perhaps the climax, I don't know I didn't see the movie) from the Eminem movie 8 Mile. It's about how Eminem quickly wins a crowd over by contrasting himself with another rapper.

Altucher ends his article thusly:

Doesn’t it seem silly to analyze a rap song
for ideas how to be better at sales and
communicating? I don’t know. You tell me.
Cuban engineers – make South African engineers first choice
Malicious Minecraft apps affected 600,000 android users
Investor: I'll only invest in startups with female founders
Unfortunately there is a flaw in this design of Firefox OS. By baking the rendering engine into the core OS, it is impossible to upgrade the browser separately from the rest of the system. So updating Firefox (the browser) requires a firmware update, and we all know how terrible manufacturers and carriers are at pushing out updates. The result is that all Firefox OS devices currently available are running old and insecure browsers.

Here is an explanation from the mailing list, so at least Mozilla are aware of the issue. https://groups.google.com/forum/?_escaped_fragment_=msg/mozi...

> The reason for this is because gecko determines how the user interface
> (implemented in the gaia layer) actually behaves. There may be bugs in future
> versions of gecko that break parts of the UI, and the carriers/manufacturers
> understandably don't want to just push these updates without verifying them
> first.
The dark side of commercial open source
I find it interesting that most comments from people using uber are about price. To me it is rather about convenience. I have never been in Atlanta's airport but most airports and train stations I use in Europe have a 30min+ queue for taxis. To me the revolution was to be able to book on my smartphone, not have to carry cash and worry about whether I have enough to go back home, not having to wait outside of a bar looking for a cab but rather booking it from my table and only leaving the bar when the taxi is there, etc.

I remember a taxi ride with some colleagues in Paris. That was even before uber. The driver (a licensed taxi) was ranting about the fact that there were too many taxis. And to make his points he said something like "a few years ago, a client could call a taxi company and taxis were so rare that he wouldn't even be sure he would get a taxi, these were the good days". We were not very sympathetic.

In all the places I live in, taxis had a toxic monopole that needed to be challenged.
Your profile email is not visible to others. You have to put it in your "about" field for people to see it.
Hey! I've got the following resources bookmarked:
- https://jacobian.org/writing/great-documentation/
- http://ericholscher.com/blog/2014/feb/27/how-i-judge-documen...
- examples: https://github.com/PharkMillups/beautiful-docs/blob/master/R...
- also checkout this heavybit video: http://www.heavybit.com/library/video/2014-12-09-jacob-kapla...
the site is totally broken without content from third-party. not easy fixable in ublock.
Duplicate from /u/sneak (who was ~2 hours earlier posting the same).
Does woz make stuff anymore or is it just speaking engagements?
https://css-tricks.com/snippets/css/a-guide-to-flexbox/

https://developer.mozilla.org/en-US/docs/Web/Guide/CSS/Flexi...
Did you thought about integrating it with JikesRVM or Graal?
What do you think of our ioGrowdotcom Social CRM?
ioGrow is a social CRM on top of Google products with same user experience and lead generation with Social Networks integration. What is your feedback?
Mind control is mind control is mind control, by any other name...mind control made up by "educated people" is probably harder to fight
Scala can be pretty similar to Python, if you choose to program in that style. You can then gradually expand into using more features. It's the path of least resistance, if nothing else.
Harnessing the Power of a Subject Matter Expert (SME)
There's another piece of the puzzle, which, in Apples case, may be attributed to the long and costly development process--that after this process, great products (which are not too late for the market) are released. If the hardware Kickstarter managed this, they probably wouldn't do too badly.
F# is a better starting point, giving its ML syntax that you can easily transport to OCaml, Haskell, Swift.

I also like the language is functional first, meaning you are not forced to place functions inside companion objects or classes.
Only if you make $96k+ or you aren't paying any other significant taxes.
How to Be a Successful Man in Tech
https://medium.com/@lrnwytt/how-to-be-a-successful-man-in-tech-49de56aac27a

Someone once told me to write a blog because it would create a positive image for myself. I don't think this is what they meant, but I still wanted to share :)

I'm sick of reading self-righteous over-feministic view points that fail to make valid arguments, so here I go... bring on the backlash.
Nice, I was hoping someone would find something missing :) Thanks for mentioning this, just updated the list.

PS: Great work on jor1k!
Great question. The short answer is it's complicated, varies by country, and there's over a century of case law with which to reference.

Here's where you probably want to get started. http://en.m.wikipedia.org/wiki/Idea–expression_divide
Apple design guru Jony Ive promoted
Pirate’s paradise: cCloud TV streams HBO, ESPN and 50 other channels for free
Killermatch Tech Talk: Native vs. Web Apps, WebSQL vs. IndexedDB
That's how I feel with some dependency-heavy projects I encounter.

Particularly in the Rails and JavaScript package-spheres, every other library has an incomprehensible name that turns out to be an obscure reference to some pop-culture thing (and often some other library as well, to make it even more undecipherable).

I guess it's fun for the developers and makes their résumé look more interesting ("I made a process monitor called Stiglitz, it's named after a Tarantino character!"). But it's tiresome for the person who has to read the code where these characters go about their exciting adventures updating database records, concatenating strings and sending email.
Lecture slides are not a Show HN. That requires a project or product people can try out for themselves.

https://news.ycombinator.com/showhn.html
"I just think that its term of protection is long since expired."

Why do you think that, it hasn't been 95 years since 1935, or is that a suggestion?

"I think things like literature, theater, and so on have considerable social utility and don't care for your restriction to industrial applications."

I get that you think that, but it has no basis in intellectual property law. It's entirely the opposite, the more utility something has the less protection it gets.
To be fair: My current Android phone has eight cores (the previous one had four) and three GB of memory (previous: same).

Those devices aren't really phones anymore...

As a flame owner I do understand where you're coming from, but the 'phone' part in there struck me as misleading. This S6E is basically a powerful! machine from a couple years back and probably better Graphic hardware to boot, unless that machine came with a gaming card or something.

(obviously the cheap phones don't compare to the S6 or the OnePlus One - but given that the announcement is moving away from the low-end sector I think this is worth considering)
Cool! How does it instantly recognize when a path would lead into a trap?
How Is that Apple's fault, if somebody decides to rip off their design decisions instead of making different ones that could prove them as better option on the market?
Samsung Galaxy s5 had a removable battery, and the company even touted the functionality pretty heavily in its marketing materials. Did that saved the S5 from failing on the market?
Hey there, resin.io founder here (we're working on this with adapteva) this should be possible, let me ask around internally and get back with more details
> Tell that to the ads that are nothing but fake "Download" buttons

The easiest solution to the problem of fake download buttons is good old-fashioned consumer protection legislation. There are instances where commercial shenanigans are, for various subtle and complicated reasons, best solved by market forces. We are not talking about one of those situations. We are talking about something analogous to advertising patent medicine and health-promoting cigarettes.
It's nice to see this event get more attention, although this story did not add much to what has already been reported. I'm not sure how secure and plentiful the old NREC's funding was. My impression is that they were chasing a lot of small pots of money. Maybe that's part of the reason why CMU has not been bothered.

Clearly this move by Uber rewrote the book. They took the director of the center, Tony Stentz, and a lot of others besides.

That's not the only case of significant recruiting decimating robotics staff members recently, either. There have been a lot of departures from my own lab.
If you are under 10,000 triples per customer, you are using the wrong technology stack.

Either use RDF and SPARQL and leverage your graph potential or use relational on HBASE, the current solution does not seem to work for you.

On the graphing side, learn to use R. It will serve you a lot better than trying to make graphs with excel.

27 billion triples can easily be worked with using e.g. Virtuoso 7.2 on commodity hardware. e.g. 256gb RAM+ 2Tb of consumer SSDs.

Your current setup does not leverage either the strengths of RDF or of HBASE. Moving of HBASE and onto a SPARQL/RDF store will be less work and I expect to have a higher ROI.

Remember SPARQL stores have improved by leaps and bounds in the last few years so the home grown HBASE solution is no longer state of the art.
That's not copyright, that's exclusive printing to enforce censorship.
Looking at this I can't help but think that an SVG version of that would be even more awesome (it'd be kind of a perfect fit). The code that blends stroke and fill colour together could disappear; you seemingly draw circles as paths already anyway, so the circly randomness part would work just the same as currently.

I'd try my hand at converting your code, but my JS is horrible and I'm at work for the next 8 hours :|
Then $150...
> How would you do native advertising in a web article?

With the whole article.

http://www.mediapost.com/publications/article/243797/forbes-...

http://www.experiencetheblog.com/2014/08/new-york-times-nati...