skysight-inc/HackerNews huggingface dataset:
I agree with the premise of the article but there's more to consider than just the blockchain. There are three issues that must be dealt with when trying to make it easy for developers to create decentralised systems that can withstand the test of time. There are a number of (open-source) things I'm working on that could help so I'll describe in terms of the problems they're solving.

First is the issue of how one creates, deploys and manages the whole lifetime of an application. The current stacks are not up to the task given the huge complexity, footprints and vulnerabilities we see. All the tools we currently see are stopgaps that attempt to paper over the cracks. This will become even more important (and visible) as the Internet of things becomes a reality. IMHO this is where unikernels such as Mirage OS can be very impactful [1].

Second is the issue of how data is synced and pushed around. As indicated in the article, the blockchain is not appropriate for this. Bit-torrent may provide some of the answer but not all of it. We needs systems that can track provenance that can be composed in the way most appropriate for a given application. The Irmin datastore, which is based on the principles of Git, is one approach to this [2].

Third is the dual problem of identity and how to form secure end-to-end connections over the modern Internet (with all the middleboxes and NATs we now have). This is clearly something all the central providers want to control by being your One True Identity - but as we already know from the pseudonym problems, humans are not that simple. A nascent project called Signpost aims to tackle this [3].

One of the use-cases I'm working towards is to make it trivially simple for users to run their own core infrastructure of Mail, Contacts and Calendars [4]. Building things on top of this infrastructure then becomes more compelling and it's just as applicable to business as it is to individuals.

Even though I've listed the tools that I think will alleviate the issues, the fact remains that all these problems needs to resolved somehow - otherwise we'll be back to centralised systems regardless. In addition, I've only mentioned the technical challenges — the business model challenges are another thing entirely.

[1] http://openmirage.org/wiki/overview-of-mirage

[2] http://openmirage.org/blog/introducing-irmin

[3] http://nymote.org/docs/2013-foci-signposts.pdf

[4] http://nymote.org/blog/2013/introducing-nymote/
I don't know, maybe you cannot guarantee it -- similarly, you cannot guarantee the trustworthyness of Google, or Verisign, etc. They have good reputation in general (let aside the recent NSA stuff), therefore you trust them when you use them. Current systems can be broken as well (starting from DNS poisoning to hacking the actual service, etc.). The idea is not to fix all the problems once -- I'm mostly concerned with a) distributing responsibility, data and therefore power across more parties b) lowering barriers to entry into complex information processing, and as a result, increase innovation. A bit like a cathedral vs. bazaar approach.

Again, I don't consider myself a computer wizard who could implement every aspect of this stuff; I am mostly interested in the algo that selects/evolves processing routes based on queries. But then there's the security, payment, service discovery, etc.
> Fact of the matter is, they wouldn't publish offensive cartoons making fun of the Holocaust, Jews, Christians, 9/11 victims, women, etc., so it's not very surprising they won't publish these cartoons, either.
Wrong - http://gawker.com/7-offensive-images-the-new-york-times-wasn...

It's funny how many stories are posted on HN about being sensitive to women/minorities/whatever, with comments full of people saying how open and accepting people need to be, then this comes up, and the dominant theme is "We need to publish offensive stuff everywhere, because fuck that group who's different than me."
> No, fuck the group that uses terrorism to shut people up. It should be way more offensive to bow to the demands of the terrorists than to post some cartoons.
I've seen it happen in Consulting/Defense Contracting it's pretty common to have well paid PHD's around as subject matter experts for certain topics. Not to mention having PHD resumes on proposals can mean a lot to prospective clients, so even than can be worth it for that industries to have well educated peeps on the payroll. Overall, in the DC area at least (what I know), having a PHD can pay. Hard sciences, engineering, even social sciences. They have to usually be socially competent too, not all PHDs' possess this trait...
I did a short video on this topic, since I get asked it so much.
https://www.youtube.com/watch?v=CjAf0TvrhYI
Implementing generic types efficiently is difficult.
Interesting web app. Gotta remember this for my next CHIHTML5 meetup.
The book was great, like many people I discovered it after pointing someone else to http://www.galactanet.com/oneoff/theegg_mod.html

I loved reading The Martian online even in the inherently somewhat annoying written in realtime form; so much I showed up to get a signed copy when it was released.

In general I'm a sucker for hard scifi, but much of the state of the art in that space is often inaccessible to those of my friends that aren't deeply versed in the literature. The Martian is both accessible (at least to an audience which is generally okay with science and technology) and compelling story telling as well.
The key wording here is: " [this] will be something that people take every day for the rest of their life,"

That means a large amount of research dollars can be dumped into a product with recurring revenue. They never actually want a cure to be found.
Radio Propagation 101
For the verification part, the main paper is "Satisfiability Modulo Recursive Programs", SAS 2011 [1]. For the synthesis part, the most up-to-date paper is "Synthesis Modulo Recursive Functions", OOPSLA 2013 [2]. As is usual with CS papers, searching for the title in your favorite search engine may or may not help you find a PDF version.

I'm an author on both papers, so feel free to ask any questions here as well.

[1] http://link.springer.com/chapter/10.1007%2F978-3-642-23702-7...

[2] http://dl.acm.org/citation.cfm?id=2509555
Location: San Francisco

Remote: not really

Willing to relocate: yes (VISA required)

Technologies: Java, C#, PL/SQL, TCL, C++, .NET, Bash, HTML

Résumé/CV: https://www.dropbox.com/s/qwoubgcc8fq6rbf/resume_Valery_Mukh...

vamukhs at gmail dot com

---

Software Engineer (Java, C# and C++). Things I'm proud of:

- Verilog project, now we can use Verilog in our CAD tools

- Viewpoints project. GUI for IC testing - no need to hardcode your IC tests anymore
To be fair, the first use was a link to the wikipedia article, the style just doesn't give you any indication of that.

If I recall, underlining links led to heated debates in some circles, but it's really, really nice to have some visual signal to set off links for readers. If it wasn't obvious why already, this is a great case.
Maybe in the near future I'll create some kind of skeleton, but I have to write this down properly, not just in a HN comment.

Blockchain is not something that I'd use for these kind of stuff as it trades computational power for trust. As it came up somewhere else: the whole Bitcoin accounting could be run on a Raspberry Pi if we trusted the guy who owns the RPi -- but people who want to use BC don't trust anybody that much. Current DNS systems are based on trust and they work reasonably well, and I think while the blockchain paradigm is fashionable and fascinating, it does not need to be applied to every single kind of problem in distributed computing.
What implications does this program have for the 4th amendment right to not have a search conducted without a warrant? If they're used on the public at large, generating mass probable cause or a blanket expectation that anyone could be a dangerous terrorist as justification is a scary precedent.

It's reminiscent of the FLIR vans used to catch marijuana growers that the Supreme Court determined to be mobile Constitution violators. They are still being used to bust people who like to grow Christmas trees or tomatoes indoors.

I feel bad for the minority that are terrorized by authorities suspecting them of engaging in criminal activities based on their nationality or skin color and fuzzy scans of their businesses, homes and vehicles.
Unmournable Bodies
I'm all for controlling emmissions, but do it right and fairly. In Califrnia we have pretty strict emmission standards--fine, but do it fairly. After
looking at max emmissions for various cars and manufactures;
there dosen't seem to be a lot of "science" going into these
numbers(My emmission books are from the ninties). That said,
let me pass on a story(it won't affect most of you guys, but
it might help out that one guy who car is flunked on their
bi-annual emmissions test). When you get your car smogged
in CA, all smog shops are required to have a written copy of the
Of the Emmission's manual they used to evaluate your automobile. Most smog stations take the cheapest route and
spend a little over a $100 for a current Motor Emmissions manual. That publication is filled with errors. So yes, if your automobile fails the smog test(ususlly the visual) you are stuck--arguing with a smog tech. Yes, there are other
emmissns manuals. Mitchell emission manuals(OnDemand5) is
a great, highly accurate alternative, but cheap smog shop
owners(corporations) don't want to subscribe, or sport for a current copy.
The Motor Emmission manual contained errors on the two cars
I own. What are the odds of that? If you own an older Volvo, or Toyota truck and were failed on the Visual, double
check the info with a Michell Manual. And no, 1988 Toyota(naturally aspired) trucks are Not required to have
to have a MIL light. I honestly don't know if the Editors of
Motor Emission literature understand the difference between
a carburator, vs FI? Anyways, I know there are thousands of
consumers affected by these errors yearly. Oh yea, when I tried to point out the errors to the corporation that publishes the Motor Emmission manuals they only got back to
me after three emails, and then argued with me. They finally
admitted they made a mistake, but I haven't verified they corrected this particular error. If a enterprising lawyer
is reading this it might make a nice Class Action Lawsuit?
I looked into liability in errors in technical publications, and they look like they have blanket liabilty--hopefully I'm
wrong?
I sometimes think network programming is a little hairy and makes p2p apps pretty difficult to make. I wonder what can make it a little easier, like some networked filesystem or protocol... I guess there isn't anything really relevant.

I wonder if something like bittorrent or libtorrent, which seems to be a state machine, could be integrated as a kernel module so it can offer a more diverse set of network programming tools. For example I can easily find a CSS, JS, php or ruby framework, but there's nothing like a reliable DHT library.

There's not enough demand for it though, but I wish there was.
Very nice, a guide like this would have saved me a full year at some point in the past.

Note that this is 32 bit specific. I'd be very interested in a 64 bit version of this.
There are assumptions in that theorem that do not apply to the situation as I am discussing it. I only brought it up there to point out why it doesn't necessarily work: there is no physical requirement for group morality to be comprehensible to an individual.

You can't define societal value in terms of pure state preferences. You _can_ define it in terms of general constraints on optimizations.
Unless they changed the protocol, USB will always be undesirable for transporting video and network data. Not that you can't, but thunderbolt is much better suited.
> NSA had had at least "a handful of in-house" attacks on AES

That is not what that link says.
That's not the only thing they were doing. The article also mentions braking tests, and pulling all kinds of telemetry. These things aren't new, but being able to do all these tests and measurements on a full-sized car in a controlled environment is rather unique.
It already exists and it is called Ethereum.

https://www.ethereum.org/
Jet stream blasts airplane across Atlantic in record time
The author specifically mentions that article.
I get the motivation in the abstract, but does someone have a use-case for where this is really useful?

I've worked on apps that are close to either extreme. I.e. static pages with content, and you add one or change one or two small pieces later, which is easily done returning the piece of html from the server, and data-exploration type apps where you initially load some kind of menu and then incrementally add/update/remove/reload all kinds of data, in which case your templating lives in the browser.
Following your link gets me the official Google Chrome page as the first link. Must be location-specific.
I'm not getting something. Please explain. (is it 'sophistry'? or something else?)
So would the NYPD be subject to a 4th Amendment challenge? I would think the case you cite would say so.
The only things that make p2p programming hard are firewalls.
I think that the price is not fair given provided information density.

I would consider actually buying these videos as the concept looks interesting but honestly, not for near price of 20. But fiver would certainly do.
How would violence help ensure this in any way?
Open an editor.
> go back to the pre 9-11 airport security system

A funny thing happened on my way to CES [1] this week. I showed my mobile boarding pass on my phone to the TSA greeter who said, "OK, sir, you can go down this other line on the right." That line was very short, and I wasn't sure if this was a good thing or a bad thing.

I got to the head of that line right away and the next TSA agent said, "Welcome. You don't have to take off your shoes, and probably don't need to worry about your belt either. Just any heavier metal items. And you don't have to go through the scanner, just this metal detector."

I thought to myself, this is nice, what did I do to earn this?

Then I noticed there was a TSA Pre✓ logo on my boarding pass. I have no idea how that got there. I've never signed up for Pre✓ or anything like it.

I can only imagine that when our executive assistant got my tickets, she somehow got me signed up for it to make the trip smoother, just like she signed me up for Southwest's Early Bird check-in. She's very thoughtful about things like that, and I was certainly grateful. Especially since I didn't have to apply for Pre✓ in person or submit any documents like they talk about on the TSA site!

The trip back was a bit different. I showed my phone to the TSA greeter and she said, "I'm sorry, dear, you've got Pre✓ but we only accept it here on a paper boarding pass. If you want, you can go back to the Southwest kiosk and print one. I'm really sorry for the inconvenience." (Really, she was that friendly and apologetic - she could have been the kind of old-school waitress who calls everyone "honey" - probably the nicest TSA agent I've ever met.)

I guess each airport has its own rules for that? It didn't quite make sense, but at least she was nice about it. :-)

[1] I was at CES with AltspaceVR taking pictures of the activity in their booth: http://www.flickr.com/photos/geary/
I could have sworn that I saw a video about this. It might have been a Ted Talk? I can't find the link. Can anyone else?
Check out chapter 10 of the Definitive Guide to ARM [1]. It's not a guide, but the best resource I found in regards to OS support on the platform.

1. http://books.google.com/books?id=5OZblBzjsJ0C&pg=PA181&lpg=P...
No, it's most like "Object" in Java.
Whats the difference between a 'first order' markov chain and a simple conditional probability?

I mean, what's the big mathematical revelation that grants this it's own name.
I understand that most, if not all, of the things I listed can be applied to programming languages in general. I am interested in learning what other fields I can apply my knowledge of JavaScript in. Of course, I could build a website or an app for any field, but to me the medium is different if I were using JS for game development vs. for programming a NodeBot. Maybe it is more a question of the limitations of the language...
> Sexual assault and rape still affect women at such a higher rate than men it's staggering.

This depends on who you trust to gather the data and who is included in that data. I really don't want to have the rape/sexual assault discussion because it's never productive, but I will say that I'm not at all impressed with how feminism has handled the subject and that it's created barriers to male victims getting help and support.

There are no large scale movements that deal with specifically male problems. Men's Rights is trying but it's labeled 'hate speech' by feminists. If we're being honest there are no feminists in the Men's Rights movement, there are no feminists who give equal weight to men's problems in general because feminism is based on the idea that women's problems are more serious, more important and more urgent. That may have been reasonable in 1915 when women couldn't vote, in 2015 I'm not buying it, not even close.

Have you even looked at, for example, education numbers recently? Women get more degrees per field except for the hard STEM fields[0], women go to college more than men in general[1] and the individual group that needs the most help in education is a subset of males[2]. It's been since 1991 that women have been graduating college more than men[3]. But instead of dealing with the majority of the education system where men are doing worse than women, we constantly hear about the few areas where women aren't doing as well and we're told it's because of sexism, micro-aggressions, oppression, etc. and we all need to take a stand together c'mon we can do it!

There's no effort to close the high school graduation gender gap, the college enrollment or graduation gaps, it's only where women are behind that changes need to be made. If we changed the numbers to what feminists want - STEM fields evenly split male-female - we wouldn't have equality in education, it would be female domination in education. It already is female domination in education, adding STEM would just make it worse.

[0] - http://www.randalolson.com/2014/06/14/percentage-of-bachelor...
[1] - http://www.pewresearch.org/fact-tank/2014/03/06/womens-colle...
[2] - http://blackboysreport.org/national-summary/black-male-gradu...
[3] - http://www.prb.org/Publications/Articles/2011/gender-gap-in-...
> Also I don't know why you think they don't screen the 23 year old arabs more thoroughly

I think the parent was saying just that. However, due to the TSA's "political correctness", they also pick other people who don't fit the profile and then subject them to the same level of obnoxious screening. (The idea being that it makes them look a little less prejudiced)

At least, that's how I interpreted what the parent said.
I guess I should mention... I did write a maze game for a final project in a different class with it. This semester, I was one of the few that actually wanted to work hard on my engine. I just find it really fun because there's so many problems you have to think about when developing an engine, and even more solutions. It's very rewarding for the brain.

This semester, I used an app to keep track of how much time I put into every class.

- game engine: 106 hrs

- AI: 10 hrs

- physics: 10 hrs

- ogre: 12 hrs

As you can tell, my game engine was the thing I worked nearly every day on, mostly late at night. If I took an assumption about my class average on hours put into their game engines, I'd say a safe guess is around 15 hours if we don't include my time and the 2 others who also put an insane amount of time into their engines (it was pretty much a competition between 3 friends to outdo each other).

Back to making my maze game... We had the entire semester to work on either a solar system or a maze game. I pumped out the maze game in 3 hours with my engine on the day it was due. The thing is, I was confident with my engine. I put so much work into it, and I understand how it worked under the hood, that I knew I could produce something very fast and easily with it.

The game itself was simple. Have a first-person camera walk around the maze, pick up a key, and then go to the maze exit and open the door. Even though I did it in 3 hours, I also included the ability to pick up a gun, attach it to the camera like an FPS; added a skybox; added a simple sin wave twirl for objects sitting on the ground; and a few other small details here and there.

Anyways, sorry I went on for a little bit there. I'm just really happy with how much my engine is progressing, but it still needs a lot of work and polish. I'm way more open minded now after this discussion. I feel confident about not needing inhetitance now, especially since I feel like in a couple months I might port everything to Rust.

I also realize that it was very risky leaving that project until the last minute. If I ran into an issue, it could have severely messed up my mark. Making a game at the same time as an engine does indeed help with the engine development, I see the benefits of doing so. When I get a chance to continue working on it, I will probably continue developing the maze game along side it.

Anyways, thanks for those links, I'll be checking them out tonight!
16:9 screens on tablets are the worst
When naming your GitHub repo, check the list of porn movies to avoid DMCA
Thread on reddit: http://www.reddit.com/r/programming/comments/2ryitw/when_nam...
Choose something that interests you and something you want to use yourself if possible. If you can also try out a new language or some new technologies along the way, even better. If you build something with no expectations of making money, then everything is a bonus and you have had fun and maybe picked up some new skills. I would say for most side projects, the majority of the value is not gained from the revenue. Having said that, completing something and putting it out there is the most important part. Good luck!
Hey Kenton. I see Adam Sapek bumming around the thread, so maybe he'll chime in here, but Bond works essentially by: (1) inspecting the schematized type, and (2) generating code that will quickly walk over that type and write it to a stream. So yes, it would probably require some surgery to make Bond do what Cap'n Proto is doing.

It is interesting to think about how it might work, though...

If you want to follow up, I encourage you to email Adam (adamsap -at- microsoft) or you can ping me and I'll loop him in (aclemmer@microsoft.com).
"I see little issue with imaging a car if there's nobody in it"

If you were to spend some time at a border checkpoint sitting in a chainlink cage(literally) in the accompaniment of other travelers as your vehicles are batch scanned you may change your mind. More so if that checkpoint happens to be located 100+ miles north of the border.
Don't be silly, there are obviously some secrets the government should be able to keep in the interest of security. The names of whistleblowers, the missile launch codes.
>custom engineered for big screens

So graphic design is now a form of engineering, eh?

I bet they had to go through a lot of advanced maths and schooling to get that certification, no?
It sounds like it might work (caveat: I haven't tried it yet). The best info I could find on it was this paper[1]. It gives some command line examples, explains how the data model works (spoiler: it's similar to git) and provides some benchmarks. The NFS comparison benchmarks were very interesting (generally faster over a WAN than NFS is over a LAN).

[1] http://dl.acm.org/ft_gateway.cfm?id=2522721&ftid=1403940&dwn...
Or they fixed it/bing corrected itself, or it was an anomaly - hey OP, how about a screenshot?

What I'd bet against is it being deliberate, unless an employee went rogue.