skysight-inc/HackerNews huggingface dataset:
>Get "Elements of Programming Interviews"

This is the Aziz and Prakash book, yes? Formerly known as "Algorithms for Interviews"?

If so, can anyone comment on whether or not the content has significantly changed between editions?
Fair point, and thanks for replying. I was arguing on the supposition that original content creators deserve a right to some time-limited monetary compensation for their works, if truly valuable to society. I'm sure many people would create content irrespective of a monopoly on monetization, but that seems like a step C, where I guess I was suggesting a path from A (current Disney-style) to B (something in between A and C).

Edit: After reading your comment more carefully, I see you were discussing creating something new based on a work, rather than a simple reproduction of an existing work; my apologies. In which case I agree with nthitz's comments in this thread regarding it being transformative, and therefore permissible (in my idealized scenario).
Thank you for responding that is a good description.

I remember someone from one of the government agencies gave a talk at in college many years ago about INTEGRITY-178B and about this separation kernel idea.

That was maybe 7-10 ago. The idea was pretty neat. And the claim was that the future will belong to more secure OSes based on this separation kernel (microkernel?). And how say every little component -- memory, filesystem, mouse, display are all in userspace. He talked about ok general purpose computer at that time were too slow to operate in that way (so Linux was better and winning because of performance). But just wait some 10 years or so and machines will be so fast that it won't matter.

So since then that story kind of stuck with me that kind of prompted the question.
Losing control of your characters could be damaging to you.

For example, you create a popular, compelling character & world. E.g., Harry Potter.

Now suppose that due to its popularity, other artists jump on the bandwagon left and right.

Too many bandwagon-jumpers, and your creation is diluted. It is a commodity. People see it every day.

With nobody else producing works with your characters & world, you are the sole source. If we think about supply & demand, we know what that means.
This means that the C code only exhibits behaviours that are also exhibited by the high-level specification. The high-level specification (by construction) doesn't have certain bad behaviours that you often see in C programs: NULL pointer dereferences, buffer overruns, signed integer overflow, etc. Thus this class of bugs is proven to be absent.

The problem I take with the literature is that it does not say that it is free of certain classes of bugs. The wording implies that it is completely bug-free. As any software developer knows, bug-free software does not exist.

Furthermore,

You need to assume something. Every operating system kernel makes these assumptions: seL4 is just explicit about them.

they claim they have proven that their kernel is completely bug-free. They say they have proved this under the assumption that the assembly code was written correctly. It seems that what they have claimed is: we have proven our kernel is correct with a proof that assumes that the code is written correctly. The logical flaw in this is obvious.

I don't take issue with claims of correctness, given that they are precise about what they have proven. I do take issue with inflated claims ("bug-free" vs. "free of bugs from this specific class of bugs") for marketing purposes.
That was an amazing article, and a great insight into middle eastern scripts in the digital world.

It doesn't look like it'll get out of the new queue, but I wanted to thank OP for sharing it anyway.
And they kept the promise for two years. How long can you reasonably hold someone to a statement like that? Products come and go all the time.
We just have to go back to the peer to peer internet. Then you can be responsible for your own deeds again.
It depends how much you can inconvenience Uber.

Striking drivers don't need to shut down Uber to cause major problems. If a significant fraction of the drivers withhold their labor, then Uber won't be able to meet all of the demand for rides. Prices will go up, which will be great for scabs. But higher prices and less reliable service will discourage customers, which hurts both Uber's brand and bottom line.
Not on this site, unfortunately. I expect HN to be as even-handed on Facebook as Republicans are on Democrats.
Self hosting music is one thing, but it's hard to imagine self hosting video being a reasonable alternative to youtube any time soon. The bandwidth involved in delivering video should it become popular is far too expensive to justify the benefits over a hosted solution for the majority of purposes. A 10MB video (small) with 100,000 views (a modest number for a somewhat popular video) is a full terabyte of bandwidth. By AWS s3 pricing, that's 120 USD. It's possible that if you invest quite a bit of time into getting ads set up, their revenue could cover that cost, but on youtube, a video with 100,000 views and a fairly average level of advertising nets about 180 USD to the uploader, and they don't have to pay a cent for hosting it (except of course for a cut of their revenue).
The main purpose of a salt is to defeat a rainbow table. I.e. using a precomputed table of all possibilities to lookup more than one password at once. If the salt is different for each password, that guarantees that the work used to solve one password cannot be used for the other. Cryptographic randomness is not necessary, just uniqueness.
Which is fine if you think the regulations are outdated.

The fact that drivers have tracked feedback, pre-negotiated prices, and a dispatch system that isn't overwhelmed by surges effectively negates the market failures that the regulations were originally designed to fix. I suspect that the regulations were a net value-add for most of their existence, but now that the smartphone age has enabled a market solution it's time to reevaluate the necessity of the regulations.
Perfect write-up. My sentiments exactly. And thanks for expanding on the "how this happens".

I transitioned quickly from the startup-culture to enterprise and find it a better fit, but let's talk about what you're writing:

1. I think that the customer-facing stuff is what draws the crowds in, but outside of that, a lot of people just don't give "bigger stuff" a thought. They're not put in front of a problem, hell, most people don't even know what the "problem" is. Including me. Even if I wanted to help, I don't know where to start and how I could create a one-man operation to somehow contribute. I haven't seen, to my knowledge, any open source projects that dealt with "making a change" as opposed to creating a nice set of icons.

2. Identification is definitely an issue, as I've said. We just don't know what the problems are. As a young person (hopefully still classified as that), I see the problems right in front of me, the 1st-world problems of having trouble finding friends, not knowing how to get into specific hobbies, having trouble remembering my grocery list, budgeting, sending anon hot pics to some stranger etc. Basically stuff that's been solved, and reinvented (though not perfectly) by hundreds of companies. Having been in programming for the past 3 years, I see SOME problems worth solving, but I'm not sure how to approach them.

3. The thing about "meaningful" work is that, there must be a way to do it open source, have people take part in it, contribute and get together on it, and even do it quickly. Not just in the big leagues: healthcare, water etc. No single person can get in on that, and companies that are in it are in it for the long haul. As a developer, i wouldn't want to touch that. It's years of work with potentially no results. Customer-facing stuff can take off right away. My wish is to find a sweet spot.

4. Good point. No idea what those companies are whatsoever. I'd love to read about more companies like that though.

As far as healthcare. I feel like that's a ticking time bomb. There are too many regulations to just jump in, too many slowly moving entities, and too many companies with a high stake in the game to oust you. In the tech field (the tech for the sake of tech), people use each other's ideas and evolve quickly to keep up and better themselves, no matter who they are and without ego (somewhat).

All in all, I wish the problems could be laid out, and people could work on it. I work with education stuff in my day job, and I see the issues, and as part of my job we try to solve the problems. Which is wonderful but it's difficult to identify the problems even if you work with them every day. It's easy to say "shit's broken", it's more difficult to say "here's where it's broken" and even worse to say, "find me a solution, and it'll be fixed".
> You have to admit, it's hilarious that the most natural swap implementation you could possibly write (and the one used in C++03) is now "standout terrible." It's not wrong to point that out, but it is wrong to assign blame to the hapless programmer instead of the language.

The point wasn't that your swap implementation was bad, but that you would never write swap yourself. It was made even worse for generic code because types are expected to be able to provide their own swap implementation.

> So why is vector<bool> the "real problem?" It's because its operator[] doesn't return a bool&, but instead some type "convertible to bool," that may do lots of other stuff too. But the standard is chock-full of language like that. For example, with iterators: `str.begin() != str.end()` Is that a bool? `str.begin()[2]`. Is that a char? The standard doesn't require either. Care to roll the dice by assigning one to auto?

But the standard says that sequence containers with operator [] must return a reference, not a type convertible to T. If you wrote your swap implementation against the requirements of a container, it is fine, the problem is vector<bool> is not a container. As for other parts of the standard that do permit the type to only be [contextually] convertible to some type T, there is no rolling of the dice, your code is correct or it is not.
Welcome to emerge @preserved-rebuild and revdep-rebuild. Still no better way has been found to date :/.
This link is blocked in UAE. :-\
I can think of some reasons you might not want to build it on Racket. I think Racket is fantastic, but if you are developing some novel variety of Scheme or whatever then you might want to have control over "low level" (I'm sorry, I dislike that term) details like how closures get allocated or the evaluation order of things. It's perfectly cool to use Racket to write the implementation of such things though, but maybe as a more traditional language implementation. Of course you're right that it's much smarter to let other people solve the problems you don't care about, so most of the time Racket would be a sensible platform to build on top of.
You mention that you'd have to take a big paycut to work in Aus, yet the author of the article complains that it is expensive in Australia because of high wages.

Which is correct?
How to Rip and Convert DVD to PSP with DVD to PSP Ripper
You want to see your DVD movie on your PSP and are looking for an easy and professional manner to do this? Just have a look at DVDFab DVD Ripper, that can function as a professional DVD to PSP ripper. It’s is available for free download and 30-day trial, just give it a shot. Now please follow me to see how to complete the task with it. For more info about the guide,you can click here:http://www.dvdfab.cn/dvd-ripper/how-to-convert-dvd-to-psp-with-dvd-to-psp-ripper.htm?ad=hcj
To nitpick:

- Australia is only competitive against the Valley, but that's like saying New York super premium real estate is cheap because those penthouses go for 30m vs London's 100m. We hire globally with half the team being remote, and Aussies are the most expensive per "unit talent" of our applicants, followed by Sweden (which is tax-expensive). Americans are really cheap once you get them out of the Valley - on par with Asia despite the extra tax - because cost of living in places like LA's suburbs or Pittsburgh is low.

- there's AWS in Sydney and Singapore now.
This is actually what bothers me the most, no option of public domain.

https://d262ilb51hltx0.cloudfront.net/max/829/1*wewubAYhViyr...
You could certainly make the copyright registration process a low-cost one (online only, no fee, etc.), but I think the registration requirement has some very real value for subsequent creators.

As is, there's no currently no way for me to confidently know that I have permission to use a particular work. Even if I get permission from the original creator, I have no way of knowing whether said creator actually copied from someone else. A registry (properly indexed and searchable by Google) solves that problem.
That's right. Joel Spolsky (co-founder of StackOverflow) and others said long ago that offering people cash incentives can work against you. Some people will do quality work for free if they receive a non-monetary incentive like recognition. But when you reduce it to dollars, they can easily do the math and decide it's not worth helping you.

The above-linked question about databases is a great example: it basically asks the reader to solve a fairly tricky database design/administration problem for the princely sum of US $3. And this is a question posted by the site's creator?

Almost no one will be your part-time DBA for $3. And anyone who will should be treated with suspicion.

If you want to pay me money to solve your IT problems, great, let's talk about that, but it's going to be more expensive than an ice cream cone.
What happens if someone doesn't mark an answer as answered or choose the best answer?
Um... That graph goes up to 600. Kind of an epic fail when it is an article about the fastest computers in the world.
>I read A LOT. Like 3-4 technical books a month

Could you please elaborate on this? As in, what kind of books do you look for? I have developed this feeling that focussed blog posts by experienced programmers teaches more than books. Also, there are way too many self published authors out there. I know it's a good thing in a way but with so many books, it gets tough to figure out which ones are worth your time.
In other words, I'm looking for an example like "I wanted to learn x, so looked up and read y". Thanks.
You can see what people are doing with phones.
Uber Drivers Protest Company’s Business Practices Outside Santa Monica Office
How to Root an Android Device with UnlockRoot Software
You underestimate the advantages of incumbency. YouTube is arguably the lowest common denominator in terms of quality (eg most Filmmakers prefer Vimeo because it gives more control over quality levels), but that hasn't stopped it being #1 by a mile. Getting a critical mass of people to shift to another platform is pretty hard.
By the same logic (and our hiring experiences), Australians are also cheap outside of Sydney and Melbourne.
Social distinctions such as Nobels will always be a poor means to measure anything whatsoever. Though of course they are sometimes right on the mark.
Homotopical Patch Theory [pdf]
I strongly recommend youtube-dl. It's a small command line utility that will do the ripping for you, at adjustable (default max) quality and won't try to show you ads, send you spam mail, or put annoying stuff in the file metadata. It just works like

youtube-dl -x [video link]
Jose Guerena was armed and a Marine vet protecting his family but Tuscon SWAT still killed him(1). But it can go the other way as police have been shot and killed in paramilitary raids. I brought up "stand your ground" laws as indicative of middle America's mindset for more lethal response to the perceived criminal threat in their communities. That mindset has also included support for harsher sentencing and more police, even as the "police industrial complex" grows more into a police state and military occupation.

(1)http://rt.com/usa/168072-us-drugs-swat-police/
How are they a hack? They are pretty much implemented the way a programmer would write them manually.
My litmus test is, "What Would Bill Watterson do?"

If an artist takes a one-time commission to paint a Calvin & Hobbes frame on a nursery wall, great. If it's on a million t-shirts or Hobbes is selling medical insurance, then that is something different.

The former comes out of appreciation, the latter, pure exploitation.
Well, the "entire catalogue" refers only to the content on YouTube (not all the music the Provider has ever created, IIUC), if you look at the definition of "Provider Sound Recordings" and "Provider Music Videos" in Exhibit A.
The number one thing to know here:

In most programming languages, each statement is implicitly sequenced, unless told otherwise (e.g. pthreads, or openmp)

In a hardware description language, each statement is concurrent with all others, unless explicitly sequenced.

But this does not even begin to help, i.e. if this is truly for a beginner -- especially in light of the fact that verilog itself is laden with gotchas.

The approach taken by chisel:
https://chisel.eecs.berkeley.edu
is imo a good one. Each line of code in chisel adds a node to a DAG. The DAG describes the connectivity of logic elements. Sequencing is of course handled as well, so you can view your logic as a set of DAGs with registers in between.
https://hn.algolia.com/?q=Federal+judge+rules+U.S.+no-fly+li...
How about http://krebsonsecurity.com.nyud.net/2014/06/the-fly-has-been...
YunoHost server operating system - making self hosting more accessible
my optimus card in my w520 works perfectly in 14.04 - and there are task bar widgets for switching now (logout required). After installing 14.04 my external monitors and display switching work perfectly! I was really happy as I was stuck with a non functional gfx card in linux for a few years and now it finally works.
Can't create an account
with "curl -s" at least, curl wont send anything onto the next process until it's done receiving (all) the data.

_If_ the pipe breaks up the incoming data, I assume its on 1 of these boundaries of 64kb-ish:
http://unix.stackexchange.com/questions/11946/how-big-is-the...

http://stackoverflow.com/questions/4624071/pipe-buffer-size-...

In general, when I've seen this technique used in Ruby (RVM?, back in the day) and/or PHP (Composer recommends a similiar Curl install technique, but composer.phar is an digest-archive of sorts ....) the installer code tends to be about a paragraph worth of text.

All in all I understand your point. But your contrived example of rm -rf seems a little too contrived. In this case we're were talking about PHP code ... the chunked-piped code would still need to be valid PHP of what "rm -rf /" is not as it's missing important tokens to denote valid php expression(s).

It seems like it would be equally worrisome to worry about Brownian Motion flipping a bit in memory and catastrophically affecting my program execution -- possible but unlikely.
Bill Gates says, "You know binary. You're a hacker. Nudge nudge wink wink."

Evil fucker will be punished by God, stupit nigger.
+1 NZ curiosity.
181.7 cm is half an inch smaller than 6 feet.

Another trend is that a lot of the best midfielders in the world are usually significantly shorter than the average of their teams:

Germany: Philipp Lahm 5'7" and Mario Gotze 5'9"
Belgium: Eden Hazard 5'8"
Italy: Andrea Pirlo 5'9.5"
Netherlands: Wesley Sneijder 5'7"
Spain: Xavi and Iniesta 5'7"

etc.
Most amazing CSS only thing I have ever seen
> except for the terrible logic of less profit for the musician is automatically bad for the consumer because people will just stop making music if they can't get rich off it.

It's not terrible logic, it's fundamentally sound. It's just not absolute.

That is, people won't "just stop" across the board. But the harder we make it to make money from making music itself, the more time would-be music makers will have to spend finding some other way to make money to finance their life.

So you lose music at the margins, particularly music that requires a higher level of investment to produce, particularly from those who have less disposable time/money.
Missing from this article is that most places outside California don't have laws in place to prevent employers claiming all the IP you generate on the side while being a salaried employee.

Ditto for non-competes. This can make it even harder to raise money, because of the risk of litigation.

The tax burden of receiving stock options is also pretty terrible, it effectively reduces the spread of equity in the Australian startup scene. So there is no broad base of benefactors from this list of successful exits to seed the next round of founders.
you've got to stakeout the house without being detected and tail the guy when he leaves

Hmm ... so, you know, do actual police work? Carefully investigate, all that crap? Nah ... easier to move in with both surprise and massively overwhelming force. And if somebody sneezes and a few of the officers' guns go off in response, well, nothing to see here folks, move along.

They lost my vote with the lie about the toddler "losing a tooth".
> We've seen over the last few months what a smaller government looks like. Moving to a "user pays for everything" model means less take home wages with a flow on effect of less money for startups.

I don't know much about Australian government, but how is a "user pays for everything" model different from taxation? In your state, doesn't a user still pay for a service through taxation, whether an income tax (less take home wages), sales tax (less money for startups) or some other tax?
A lot of broadcast TV is all windows/mac. Even for things like playout servers, automation, and real time graphics engines mostly run on windows or mac.
Garland Words
> If your network is Man-In-The-Middle'd you are probably
> fucked in more than one way, and a backdoored php install
> script is the least thing you should worry about.

Connecting to MITM'd networks is extremely common, and millions of people (even technical people) intentionally do so every day. If you've ever used a free Wifi hotspot with one of those click-through use agreements, you've used a MITM'd connection.

The only reasonable security stance towards the security of your local internet connection is to assume that it's got something malicious on the other end of it. That's why using HTTPS is so important.

> It's no different to just download an installer and
> double click it.

Most people install applications via app stores nowadays, which verify signatures on the application before installing. HTTPS is widely used in non-app-store distribution systems.
I'm a big fan of self-analytics. I also like small-but-useful command-line tools of this nature. This is pleasantly documented and purpose-driven.

If you're looking for something more focused on short daily summaries of what you've done, I wrote a similar tool called wj:

http://tylerneylon.com/a/wj/

It's more about organization and presentation than privacy. For example, it can generate a tex file that converts your entries into a nicely formatted pdf file.

I also like the automated self-analytics Stephen Wolfram uses:

http://blog.stephenwolfram.com/2012/03/the-personal-analytic...
Agreed. The last thing you want is to have to debug those weird "it worked on my desktop" issues that come from having a really weirdly configured system