skysight-inc/HackerNews huggingface dataset:
I often struggle to find even the most basic information in online maps. Worse, when I am in a rural area and have no service I find no service at all. I've thought recently about keeping some paper maps in my car for such occasions, might have to look into getting copies of some of these.
You're also not using money to circumvent the normal process we use to proliferate good ideas. If something is good, tell your friends about it. Notably this is exponential and very weak initially, hence the need for legitimate advertising. You may need to circumvent this process to jump start a non-manipulative idea but never to sustain it. Modern advertisers can't pretend to think I am legitimately ignorant to the existence of carbonated sugar water. They're obviously sustaining an otherwise unwanted behavior in the public via manipulation. Theres no protection of free speech when theres a concentration of megaphones "shouting down" (via the most possibly advanced techniques in psychological manipulation) anything but one particular idea.
“Streaming has ended for me. I hope this is ok for my fans”
What would be the motivation for providing more accurate forestry maps?
> Of course I don't know how thorough the sandboxing is, and I wouldn't trust it to make unsafe programs completely safe.

That's the best part about OpenBSD -- the APIs may not be binary or even source-code compatible between the releases, but the source code is usually as readable and as clear as it gets.
What Bitrate Is Needed to Sound Like Analog FM? (2013)
Oh, man!

This gave me a massive wave of nostalgia.. haven't played Elastomania in an incredibly long time. Loved being a little kid and making giant loop-de-loops in this game.

Why did you make this now, of all times?

EDIT: Apparently there's still a vibrant community around this old game! Amazing! http://www.recsource.tv/r/vkrdyhlbzj
Knowing there is an atmosphere is not the same as knowing the exact makeup, in particular density and pressure.
That's a bad example, since GHC will perform common expressions elimination, which effectively give the same name to the two `add 1 z` (unless you specifically ask it not to, with `-O0`.)

Furthermore, Incremental isn't memoizing every function calls. It just keeps the intermediate results of the latest computation in memory, so that when the inputs change, it can determine exactly which subresults need a recomputation, and which can be reused. It's like Excel, but with dynamic dependencies.

(But yes, Haskell definitively does not do this. You could say that Haskell is about doing the least amount of work to compute something fresh, while Incremental is about working the least to recompute something we (almost) already computed just before.)
I'm an ESL teacher with just a few months experience in class and no TEFL certificate. I have had exactly the problem with coming up with lesson plans. The issue is I'm teaching students who have never learned a language and are absolute beginners, and it looks like most of the lesson plans you have are for higher level students. In general, I think it's important to break down the level in lesson plans first. The challenge with absolute beginners is that you can't get into any interesting material and I'm not very good at coming up with creative and fun lesson plans all the time.
Look at sites with salary stats like indeed.com and payscale.com

If I were you I would ask for a rise. My company also does Windows drivers and these skills are scarce. Obviously there is more work on Node.js than developing Windows drivers but the scarcity factor gives you an advantage.
That's basically what I meant, thanks for explaining it clearly.
Definitely not the largest fan of online advertising --> http://www.drewmeyersinsights.com/2013/08/24/my-problem-with...

It's at the heart of the time suck economy we live in today (and which gets worse everyday): http://www.geekwire.com/2013/time-suck-economy-starting-buil...
>Elementary number theory is the opposite of what I am talking about.

In number theory, what's considered 'elementary' now was cutting edge in the times of Diophantus, all the way to Fermat, to Euler, to Gauss (etc). The fact that children are now routinely conversant in it, I think, is another point in favor of the importance of making such discoveries in the first place.

My point is that applications that were never envisioned for these (at the time) centuries-old-facts, are now commonplace and indispensable.

I think that there is a bit of survivorship bias that warps our understanding of old science. We remember only the great discoveries because those are the most likely to be republished and read.

Also, in the case of math, it is my impression that an amazing amount of very significant progress is being made in the present era.
I'd be interested where you're getting your numbers - there was a popular article floating aroudn a couple of days ago about VC capital invested into Bitcoin already passing the 2014 total: http://cointelegraph.com/news/114862/bitcoin-capital-investm...

189m seems low considering 21, inc. alone raised over $110m.
Haskell is all of these things, though it's library ecosystem has a pretty lengthy learning curve.
This is fucking horrible. If there was so much as an ounce of truth to all the noise Google has been making about "diversity" over the past couple years, they had better have one hell of an answer for all this very, very soon. And if they don't, well that also is one hell of an answer, although an extremely discouraging one for any of us concerned with fairness and equality in the tech space.

Erica: sharing your experiences the way you did was extremely brave. I can only imagine what you must be going through having already braved such a minefield of abuse in what ought to be a progressive and accepting work environment. Keep fighting the good fight.
I'm a little confused -- I thought identifying element proportions was a solved problem. Perhaps it's the contents of the mixture as well as the process?
> I calculated over 3 years to minimize the risk of aberrations/flashes in the pan

That's the issue. VC funding patterns are so long-tail and erratic that consolidating them misses that variation. It could be one startup accounting for the bulk of a funding, but we can't say the industry as a whole has grown.

Although with the BTC numbers you cite, that might not be relevant. Hmm.
Why people don't use USSR instead of Russia? or Soviet Russia?
I think this indirectly highlights one problem with fitness tracking, which is that, it works really well while we are improving and constantly hitting new goals. However, after a decline, there is a period where it takes even longer to catch up and then exceed past your previous goal (if it ever happens).

So basically, I don't think fitness trackers tend to handle peaks very well. Especially the apple watch, which I own and love.
It's also weird - my gut feel is that photo sharing is done. Facebook, Instagram, Snapchat, Flickr, Dropbox, Apple iCloud stuff, Google+ stuff, Smugmug... etc.

If the investments are going to those companies (and if they are considered "startups" still), I'd understand. But small companies trying to "disrupt" this space!?!?

I'm suspicious of the data on this one. Or that the investors are not very good at investing.
Another secret within the Zildjian Family - https://en.wikipedia.org/wiki/Sabian
On the other hand, that technology and research is always going to be there. Let it loose in public and we can understand it, becoming naturally immune.

Is the alternative a naive public shielded from manipulative media? How long before that weakness is exploited, and by who?

The key to that immunity is education, of course. A little skepticism is all it takes to deconstruct any message with a motive.
> Nearly 400 years ago, in 1623, Avedis Zildjian founded a cymbal-manufacturing company in Istanbul.

That text next to a picture of "Avedis Zildjian" confused me for a while before I visited wikipedia. Did a time travelling photographer take that picture? No it's just Avedis Zildjian the third.
I can't see where in this patch forked children inherit the `ps_tame` from the parent process. I don't know this kernel at all but it seems like something like this should be in sys/kern/kern_fork.c

pr->ps_tame = parent->ps_tame

Otherwise tamed processes could just fork a process to do things they've declared that they won't do.
Yes: https://www.backblaze.com/blog/hard-drive-smart-stats/
Actually, many optimized BLAS/LAPACK implementations are not written in Fortran. Many are a mix of C and assembly exposed through the standard Fortran interface.
Apple uses it, too.
I'm sure its composition could be determined by anyone who really wanted to know. But as a business owner you don't want to talk about that; being a one of a kind, 400 year old secret formula is way better business.
I seriously doubt that ALSR is coming in FreeBSD 11.
It's kind of funny to say that "PCs" are failing because they're priced low. Isn't that a good thing for anyone who wants a computer and can't afford to pay through the nose for one?
Absolutely. There's a huge difference between sharing your salary within an organization that you're part of and sharing it with the whole world.
Maybe I'm just ignorant, but isn't it easy to just smelt the metals down, put it through a centrifuge of some sort, and find out the alloy composition?
I Was Interview by CBC Radio Today (2009)
Or I'll bet the accountant knows the formula by looking at the order books.
A tamed process cannot even call fork(2) unless the TAME_PROC flag is passed, in which case I'd assume the child process would then inherit a copy from the parent as part of a normal fork(2) operation. It can be later revoked by the child, but it may want to keep it for kill(2).
No one.

Things would be so simple, if everyone was just willing to pay for what they watch.
My interview by Jonathan Goldstein for "Wiretap" was the second of my two CBC interviews, I also appeared in 2004.

I was interviewed by Rick Sanchez for CNN in 2010 when Andrew Joseph Stack III burned down his own home then crashed his airplane into the Austin, Texas IRS building, to draw attention to Internal Revenue Service Section 1706 - I got a call from a CNN producer about twenty minutes later because she found my own essay about 1706 in a web search.

I have an article about that as well that I'll submit real soon now.
> Everything above is a moot point because Docker.

OpenStack does more than containerise.

Docker Inc. are racing up the stack to catch juicy value, but so is everyone else.

Red Hat, Pivotal[0] and IBM are already at the top of the stack with OpenShift and Cloud Foundry, so it's getting crowded.

But in the middle there's an awful lot of mechanism required to run an IaaS and OpenStack is the only serious opensource contender around.

[0] disclaimer: I work in Pivotal Labs.
Because Linus Torvalds actually believes that userspace processes have "infinite stack".

I swear I'm not making this up.
Terminator (Gif)
Lance lost my respect when he sued other people for telling the truth. I will never understand using money/legal system to manipulate your ongoing lie, and livelihood. Disgusting!

That said, I don't care about the drugs, or that he lied. If he didn't ruin other people's lives--I would still like the dude.

I honestly don't think the drugs played the role we think in his victories. I said it. I know everyone will disagree. I remember his Doctor/Coach being attacked in a interview. That Italian Doctor, I forget his name. His doctor said, 'The main reason Lance won those races is because of the placebo effect. Lance thought those drugs would help him perform better, and magically his body performed better." Just like the Placebo Effect operates? I doubt Lance knew anything about the Placebo Effect? He strikes me as a perfect candidate for a Placebo response? (Kinda dumb, and believes whatever that doctor told him?).

I do wonder if all that training brought on his cancer? It just doesn't seem healthy to train that rigriously? We will probally never know why he got cancer, but I wish researchers would follow these bikers for the next two decades, and see if their is a correlation between extreme training and cancer. The results would be skewed because of all the drug use going on, but I feel they should be studied anyways.
I wonder if this is related to the "capsicum needs you to rewrite programs" bit. I.e. the capsicum man page explicitly says

> Once set, the flag is inherited by future children processes, and may not be cleared.

And mentions that specific new APIs should be used in order to manage processes through capabilities.
400 years ago, it was a secret. Today, it's just part of their marketing.
Why do people take advice from him? He had one successful business that seemed to be all lucky timing (selling before the bust). At this point he just gets attention because he has money. He doesn't have any useful skills anymore because he hasn't done anything for years.
ReactJS: State is an antipattern
Short and concise read, also, some gold in the comments
This why there are no billionaire philosophers. Every argument he made about advertising i can make about his article, and about every interaction he had in his entire life with everyone he ever met. Just because economics are in play with advertising doesnt mean that everything and everyone else in the world shouldnt be held to the same standards.

Contrary to what this article claims...people do value their attention and are very particular and careful with how they allocate it. Good marketers also know how valuable peoples attention is and are careful to respect it...hence the rise of content marketing and value add advertising.

The argument that consumers dont give media permission to sell their attention is false. You can always change the channel, click away, drive a different route, and stop using an app. You make choices about how you allocate your attention and you accept the costs associated with it by allocating your attention to that media.
I'm `cvs get`ting as fast as I can to read the rest of sys_fork.c to sate my curiosity, but CVS incredibly slow. I'm spoiled by how git packs the repo.
Thanks! Problem solved!
You seemingly answered your own question. That is to stop beating around the bush.

Let me tell you my brief story--I taught myself how to program originally because I was all hyped up from the movies (the black screens, binary numbers, etc) and thought it would be the "cool" thing to do. Well, the hype died--quickly.

I waited and waited for that adrenaline rush/motivational burst to sporadically come into my life. Nothing came of it.

So I was disappointed. To learn you can not just rely on motivation (though it certainly helps), but rather you must rely on your discipline. Teach yourself to follow guidelines, set small goals and gradually increase them. This process will enhance your learning potential exponentially.

Just discipline. That's all it takes. You have to power through that, even if it seems so hard.

On another note, I read Hacker News and read many articles on subjects I want to learn to rejuvenate me if I feel disappointed or, unmotivated. Good luck!
OMG: 14) De Lackner HZ-1 Aerocycle flying platform, designed to carry one soldier to reconnaissance missions (1954).

So you are basically standing on top of a large blender.
He definitely wasn't the only one doping. There have been huge scandals, but Operation Puerto (https://en.wikipedia.org/wiki/Operaci%C3%B3n_Puerto_doping_c...) left a lot of people in legal trouble. Many riders have been previously implicated in doping and returned to cycling.

Here's an old (2012) infographic that illustrates how many of the top finishers in previous Tours have been caught (or otherwise implicated) doping: http://www.nytimes.com/interactive/2012/08/24/sports/top-fin...
I was also under the assumption that if you actually drive the 50-100 miles on your run-flats after they've been punctured, then the tire will be so damaged as to require replacing.

I have run-flats on my Mini, and the Mini community very adamantly insists that regular tires are smoother, quieter and offer much better traction. I plan to make the switch soon.
Great to see another attempt at this model. I do like capsicum (seems pretty straightforward), but it seems like it can require some added complexity with things like casperd for dns.

Very interested to see how this works out.
When an Undiscover Artist (SHOWS OFF)
16GB of on chip memory blows my mind
I think it is a simpler problem than that. Taking away all emotion, a company has an idea of what they want to pay for what level of performance.

The problem is, people come into the company with vary variable amounts of pay. The solution that Google came up with was this, hire people at a rate that would get them into the company, observe their performance for a bit (8 - 12 months), decide where they were on the scale, and then plot an intercept course for them for "Google pay".

They have always had two ways to control that, one was your "slotting" if you were over paid relative to your performance they could "down slot" you which effectively froze you out of getting a pay raise over two promotion cycles, and two they could "discount" your calibration value which would decrease your potential bonus and even your RSUs[1]. All had the effect of being able to "dial in" your compensation, post hire, into something they considered appropriate.

The only problem with that scheme is getting people to accept it right? Who would take a job at a company where your offer letter didn't accurately reflect how much they were actually going to pay you? It established a minimum amount they were going to pay you (your base salary) which, people whom I knew took pay cuts because hey, 20% bonus target (and everyone told you that "most everyone get all their bonus") and gee that was actually a pay raise right?

In the Bay Area when your HR "business partner" started reminding you that California was an "At Will" work state (which means you can quit any time, they can fire you any time), if you were paying attention you got the message to stop pursuing your current line of questioning/activity/what ever.

But hey, it's there pool and their rules, that is the way of things. And while you might think it was Wrong, other than some of the stuff that came out in Brian Reed's case I don't think they did anything regularly that was illegal. Just optimizing to the a different set of constraints than you might expect.

[1] "Restricted Stock Units" or RSUs would vest based on your 'score' with a max of 1.0 Google Shares to RSUs and a minimum of 0 Google Shares to an RSU.
Ask HN: Thoughts on storage solutions providers?
There's a lot of hate for EMC in the comments here:

https://news.ycombinator.com/item?id=9908694

Reading those comments made me curious to hear more about what people think of storage solutions providers.

Question #1: Has anyone had great experiences with EMC, such that they would strongly recommend EMC to others?

Question #2: What alternatives to EMC do people think highly of?
It may not be just the composition (which could easily be figured out with a mass spec or the like). How metal alloys are formed and treated can have vast effects on their properties.

For instance, https://en.wikipedia.org/wiki/Wootz_steel
"If you want to quit smoking, do you ban yourself from entering all places that sell cigarettes, and cut off contact with all your friends who smoke?"

Yes, actually that's a great way to quit. Find out what triggers you and avoid it. Changing your environment is incredibly beneficial.

"It may not be pleasant but being able to do that == being able to truly control the problem"

Who cares about controlling the problem? It's not a drug addiction where a single relapse can ruin your life. If a simple environment change allows me to spend 2 hours learning each night instead of on hackernews... Well that's a win.
If you have to ask this question you are in trouble.
Python kwargs and Beyond in Golang
They probably sourced it from Sigma Aldrich, although I'm not sure who Sigma uses as a supplier.
Most of the best papers are behind paywalls, unfortunately. I do have a small sampling on-hand from there and now that illustrate some of the high-assurance methods.

http://www.iwia.org/2005/Schell2005.PDF
Describes GEMSOS security kernel (A1 class) with nice graphics to illustrate the approach.

http://www.cse.psu.edu/~trj1/cse543-f06/papers/vax_vmm.pdf
VAX Security Kernel (A1 class). Pay special attention to the layering of the kernel, coding strategy, and assurance section.

http://cisr.nps.edu/downloads/sdm/SEKE08-Shaffer.pdf
Shaffer's Alloy technique elaborates a bit on how state machines are useful in security arguments, even without full formal.

http://cryptosmith.org/docs/Lock-eff-acm.pdf
Costs and effectiveness of assurance activities for LOCK system (A1 class).

http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf
Modern effort (seL4) to exceed EAL7 by bringing verification to code itself. Note that some A1 projects had close to 1-to-1 spec to implementation mapping. So, full formal might be replaced by low-level, verified specs and matching code verified by inspection, etc.

http://www.ccs.neu.edu/home/pete/acl206/slides/hardin.pdf
Rockwell Collin's EAL7 framework for AAMP7G processor and CRYPTOL integration

http://www.crash-safe.org/assets/verified-ifc-long-draft-201...
Previous work proved kernels supported MLS or MILS models. This is better given it's proving a hardware mechanism both enforces a security requirement and meets functional requirements. Significant given SAFE (see crash-safe.org) makes inherently secure apps easier to write.

http://goto.ucsd.edu/quark/usenix12.pdf
Proving security properties of a web browser. Typically, you know the work is legit if it spends time talking about the flaws formal verification caught. I don't see so much of that in this but they might have omitted that to publish what worked instead.

http://www.cse.chalmers.se/~andrei/jsac.pdf
A significant amount of recent work builds it in the language itself.

http://web.archive.org/web/20130718103347/http://cygnacom.co...
Cygnacom's breakdown of Evaluation Assurance Level's is pretty nice. Shows the extra efforts put in and what you get.

http://pastebin.com/y3PufJ0V
My framework compliments that and reminds that it must be applied to every layer down to the gates.

So, although my sharing is limited by paywalls, I hope you find these interesting and can see the different perspectives of highly assured security. There have been numerous successes in independent testing, pen-testing, and field use. Also remember that this is only provable security rather than verification of properties in general. The field of verification and correctness assurance has progressed quite a bit (see CompCert, SPARK, Esterel, etc). Have fun.
Great advice here. If you can't seem to bring yourself to get rid of Internet, you can use a tool to blacklist websites for a certain period of time. I personally use https://selfcontrolapp.com/
DNA Reveals Red-Haired Chinese Mummies Come from Europe and Asia
Are you suggesting trackers need to understand when there is outlier activity and properly normalize?
Doesn't seem to work on my nexus 6 :(
If Minions Was a Horror Movie
This is completely OT but just FYI, the "Contributor Covenant" link at the end of your README.md is broken.
This is pretty brilliant/obvious in hindsight. In addition to the sandboxing protection, you also have a really good inventory of what privileges the application requires. Looking over the diffs in the applications - most of them are two or three lines - a #include <sys/tame.h> followed by something simple like tame(TAME_STDIO | TAME_DNS | TAME_INET);

What I really like about a lot of the OpenBSD initiatives, is they don't overthink their solutions - they make them as simple as possible, but no simpler. Signify, which avoided the entire web-of-trust/PKI complication is another example.
right...that's exactly it...more is not always good. In fact, I've read that the human mind is primed to value new information regardless of whether it is better than what one already has.