skysight-inc/HackerNews huggingface dataset:
The issue with this is the increasing number of people on mobile devices and variety of device types.

Worst case (and sadly most common one):
You share the dropbox link, the recipient clicks on it, it opens the browser, triggers a download, he has to choose a download location, download vanishes or takes a few seconds that are spent doing something else, worst case: the person forgets about the file / best case: he digs ups a file manager, navigates to the downloaded file and opens it, player selection...maybe...and all that for a 5-15s just audio-greeting message :/

It should just work out of the box.

People seem to use Messengers for that. Like Whatsapp, which play back recorded or attached Audio.
But yet this is only mobile.
I'm no security expert but I guess there could be ways to keep TLS as a protocol more or less unchanged while fixing the obviously broken stuff surrounding it.
Someone PLEASE make a glass or stainless Aeropress. Aerobie refuses to, I don't want to mix hot water with plastics, and the plastic discolors.
What is funny is this is not the worst of it. I like to post these two links:

http://www.reddit.com/r/web_design/comments/ifjld/launching_...

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

I remember a comment where michaelochurch called freelacing a "reputation economy":

http://michaelochurch.wordpress.com/2013/06/24/technology-we...
> when I program Haskell, Agda, Isabelle/HOL, or Coq.

That's fair. Although Haskell is a bit of an odd man out in that list, both in terms of its nature and in terms of its typical use case.

> That being said, depending on what sort of functional programming you're doing, a strong background in category theory or meta-programming can enabling (or not).

This is where the analogy between the two books breaks down. When you're using a functional programming language as a proof assistant, category theory can be helpful. But this is far less common than meta-programming.

edit: 2nd paragraph.
Personally I never had a problem with Github, aside from a few times it was down but that's rare and part of any internet service.

But then again, I've only ever used it as a code repository. For issue tracking I use a dedicated app (Lighthouse).
Thank you. Glad to see HN shifting to a more nuanced approach than the "almost always prefer the original headline" that was in vogue there for a season.
That's a tough problem. Outside of human moderation I don't have any idea. I'm glad you're aware of the problem though and are working on it. You guys work hard and we pay you nothing!
I love the idea. The problem is certainly one I share. Will be checking this out (NYC).
The problem is that the TV industry has l lagged behind the monitor industry in this understanding. A monitor knows it's justa screen... It does nothing without an attached system. I want a TV like that. Let the attached device control the on/off of the TV and the volume, and if you need to attach a peripheral, then it attaches to the device.

TV ports are digital now, they could power and give control to another device. Just stick a port on the back for the box . I actually love the stick form-factor that's growing now, let's you hide the device and get the sleek appearance of a smart TV without the cruft.
The state explosion problem is becoming less of an issue in software nowadays because of the massive improvement in SAT/SMT solvers. The topic of this post is not about model checking, but I believe still interesting.

One big improvement when it came to verification came from symbolic execution [1], in which the verifier looks for assertion violations by representing variables as a set of constraints. At each assertion, the constraints are checked to see if they can be negatively satisfied, giving a counterexample for the error. We run the program in a special interpreter (or using some interesting metaprogramming and a compiler frontend etc) and at each conditional statement a new constraint is added, leading to a tree. By cleverly picking branches etc we hopefully drastically reduce the search space.

This reduced the state explosion problem in many cases, but obviously there's now an explosion on the control flow. A more recent improvement has been to unwind loops a bound number of times, encoding the whole program as a logical statement that is only satisfied by input that will trigger an assertion error. The hypothesis is that the structure of such formulas is well simplified by SAT solvers, and this has been borne out empirically from what I know. We can further improve by natively executing that code which is not constrained, which is a further boon - in principle we could instrument a program to simply return the formula that (if satisfied) produces counterexamples.

This sort of approach is very useful in practice because it's very understandable to software engineers - in the ideal case where a large company produces a product based on it, one might reasonably expect to be able to pass the software their source code and be presented with a series of counterexamples. It's all very interesting.

(I'm not an expert on this, take what I say with a pinch of salt).

[1] https://klee.github.io/klee/
Plastics containing BPA were once FDA-approved too. Copolyester (currently in Aeropress) may be dangerous.
I think this post explains it without me repeating someone's words.

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

Your "contribution" of repeating the phrase doesn't educate anybody, doesn't address the actual content of the article. It doesn't make your opinion invalid but it also doesn't contribute anything meaningful to the understanding of the article. It was also said several times before you deigned to enter the conversation and "educate" us about correlation.
Does that make my opinion invalid?

Do opinions become somehow more correct just because they are contrary to the 'popular' view? Statements like:

I realize that my comment flies in the face of
the opinion of radical environmentalists.

are not part of a constructive conversation. Did the parent post claim to be a radical environmentalist? Are you trying to passive-aggressively claim that the poster is a radical environmentalist? If neither of these are true, then what was the point of that statement?
https://github.com/pashky/restclient.el for the emacs fans.
It doesn't address the content of the article? Apparently you did not read the article. It specifically is trying to say that the correlation between crime rate and removal of lead from gasoline is attributable to it (e.g. caused by it). I strongly disagree with it. That's what I said.
Congrats to the SpaceX team, always inspiring.

The correction made in the article (5000 tons => 5000 lbs) shows the importance of having mental visualizations for basic numerical concepts.

5000 lbs of cargo is about an SUV. I can imagine a rocket carrying that up.

5000 tons of cargo is... a giant Wal-mart parking lot full of SUVs (2000 of them). Stacked, they'd make a tower of metal a few miles high. (How? Figure 6 feet tall x 2000 = 12000+ feet.)

Can you imagine a rocket carrying that up and dropping it off at the space station? Nope.

When numbers are just symbols, mistakes like this are easy to make.
eMachineShop is the closest I've seen to a full-service bureau with online design and ordering.

CAD your design, select your material, quantities etc - get real time quotes, refine your spec, and order on the spot.

Not the cheapest for small quantities, but for a small run in production quality / materials, or larger actual production runs, they're excellent.
Its not about a lack of rules, customs or processes, its that those rules, customs and processes must be of the people and by the people. You don't need a manager to strictly codify the "rules for the grocery planning meeting" when you have to competent motivated people who will find a way to organize their shopping trip with or without such rules. The problem with excessive rules is that people become not so much unique individuals, but simply "rule implementers."

Thus Spoke Zarathustra
1. 11: The New Idol

>Where there are still peoples, the state is not understood, and is hated as the evil eye, and as sin against laws and customs.

>This sign I give to you: every people speaks its own language of good and evil, which its neighbor does not understand. It has created its own language of laws and customs.

>But the state lies in all the tongues of good and evil; and whatever it says it lies; and whatever it has it has stolen.
This is just embarrassing. Modern C++ is moving toward intricate types like Haskell, not parser and compiler mods like Lisp.
You certainly seem to hate general aviation!

AV gas is being replaced step by step but since leaded gas has its advantages, the replacement process takes time – and there is no really convincing alternative. Anyway, the amount of lead is probably no significant factor in air pollution, there is simply not enough general aviator flying for that.
I bought a digital copy on google play. It might be available on kindle as well.
That graph seems silly, why use two different time scales?
Ask HN: Pitching cross-promotion partnership
I have a SaaS that's been growing relatively fast over the last 4 months. I have identified another SaaS that's doing something that I could build into my product but do not care to do if others are already doing it. I'd like to pitch to the other SaaS the idea of a cross-promotion in which my paying customers would be recommended to try the SaaS's product to complement mine. Is there a well known process in introductions and pitching such an idea. I really do not want to start on the wrong foot and I think the two cross-promoting would be quite successful to both sides.

EDIT: I'm hoping this will create a broader discussion and not solely about my case. I'm getting into this cross-promotion thing after seeing a video that someone linked to on HN about the ways an under the radar SaaS can further increase users beyond traditional marketing means.
Hi Deftnerd,

Thanks for your feedback, it is greatly appreciated.

Bitcoin would certainly make things easier from a currency perspective and I imagine there are other benefits too. I will investigate it as an option.

The advertisements are just plain HTML and can be worked into your site anywhere you please. Perhaps it isn't super clear but the site owners are the ones who define the advertisements, not the advertisers. This means that the site owners fully control how the ads look and what information is collected.

Google linkspam isn't something I'd thought about, thank you for bringing it up. I'm not entirely familiar with how Google treats such things but I will look into it. If anyone has anything to suggest that would be fantastic.
That's a really nice idea, I'm sure such a site has the potential to generate very high-quality discussions about a topic.

The only problem I see, is that the audience of HN (and Reddit even more) is big and has many different interests. It's very hard to cover those interests with only an article a day, and many might just lose interests after a bunch of days without anything interesting for them. Moving the cadence down would probably help, I think the sweet spot might be around 4/6 articles a day.

I think I'd also try to bring down the number of submissions compared to HN. HN gets a lot of those, and it's good, but I don't think it would be healthy for such a site. I can think off limiting the number of submissions an account can do every day/week, limiting submissions to accounts older than X days (this is mostly to avoid spam) and/or having a pay-for-submission system (not real money, but karma or other similar things).
> but having multiple contexts is even better.

Given the investment necessary to make this jump, I believe that the benefit outweighs the cost for most.
I've read about a couple of different explanations for changes in crime rates. I think freakanomics has discussed greater prevalence of abortions[1], and one thing I've heard in academic circles is that crime reporting has gotten better. You could actually make predictions with this article's question. There may have been areas where lead was used in petrol for longer than others, one could compare across regions and see if the time at which petrol was changed also adheres to drop in crime to see if there is still a correlation.

http://freakonomics.com/2005/05/15/abortion-and-crime-who-sh...
"The crux of his argument is a deceptively simple formula: r > g, where r stands for the average annual rate of return on capital (i.e. profits, dividends, interest, and rents) and g stands for the rate of economic growth. For much of modern history, he contends, the rate of return on capital has hovered between 4 and 5 percent, while the growth rate has been decisively lower, between 1 and 2 percent. (Piketty makes a compelling case that economic growth, which depends in good part on population growth, is unlikely to accelerate dramatically anywhere but in Africa, given current demographic trends.) Thus he adduces capitalism’s "principal destabilizing force": Whenever r > g, "capitalism automatically generates arbitrary and unsustainable inequalities that radically undermine the meritocratic values on which democratic societies are based."

Now that was fascinating
I've seen it happen: someone getting fired for pointing out how they'd like more work and are bored.

I think you just have to leave with an offer in hand, saying politely no to any counteroffers. But, always remember, move jobs like Tarzan, with one hand in the next vine before letting go of the current one. (Have an offer before letting _anyone_ know at your current job).

That being said, I encourage my employees to let me know if there is anything I can do _before_ it gets to that point. I believe in letting people move around between roles, jobs, and teams if it helps them engage better. But I'm a pretty private guy about not being happy at work, so I'm not even sure I'd take me up on it unless I framed it in such a way like "boy this other team is doing some cool stuff, can I help out?"

Something about the asymmetrical power relationship makes me very careful to not harm myself with my own actions: and having been fired once in a humiliating way really opened my eyes to how bad things can go if the person on the other end wants to be cruel.
They're showing it roughly twenty years later. The argument being, in effect, that lead exposure when young lead to later-life criminal behaviour.
This should be possible with a Kindle. The basic Kindle costs $50 or so. And it is a fork of Android. And has a month of battery life. There are some Kindle-roots [Search "root a kindle"]. Would something like this work for you? The keyboard will still be the kindle-keyboard.

The other option is a cheap ipad with a bluetooth keyboard. If you turn off all the unnecessary apps and notifications and put it on airplane mode - it should last a couple of weeks. You turn it on only when you need it. You will still need to get an ssh app [many available].
For me, until it stops working. That's why I still have tube TVs.
IMHO, the dependency graph is pure gold! I think it should be the core focus of this project as it will be quite difficult to aggregate, clean and present all the needed information about a given topic (unless we're rebuilding wikipedia). It will be easier to link to credible resources available across the web through the dependency graph. Maintenance wise it would be much more interesting not to mention easier.
At $6/gal you can be sure we're not spraying a lot of it.

-- signed: Joyriding Dipshit

(jealousy is an ugly, ugly thing...)
Since my objection to the very premise of the article (that premise being that a reduction in environmental exposure to lead caused a drop in crime rates) seems to be his primary objection to my comment, yes, I am saying he or she is quite invested in radical environmentalism.
It is probably more accurate that allowing unwanted children to be aborted resulted in the drop of crime 20 years later than the removal of lead. This was mentioned in Freakonomics the movie as yukichan linked.
The idea is to minimize the trusted computing base---a compiler and runtime system for a high level language is a big and complicated system, so it is very hard to get it right, but a proof checker can be small so it is easier to be confident that it is correct. (This idea is also known as the "de Bruijn criterion").
Suppose I tell you 3 + 2 = 5 and 2 + 3 = 5. Did you learn anything non-trivial about + from those two examples? Did you learn that x + y = y + x for all x and y or that x + (y + z) = (x + y) + z? You can sample as many points as you want and you'll still be no wiser as to how + behaves and how it interacts with * or that the implementation of + even respects any of those properties. If you're going to put in the effort to generate unit tests then why not go a bit further and formally verify the correct functionality?

All this is just a roundabout way of saying I don't write unit tests. There is no value in it when I have convinced myself each subcomponent is correct and that composition of those subcomponents preserves correctness. You can write all the unit tests in the world and if you don't verify that the composition of your components preserves the correctness properties those tests are meant to verify then you might as well not have written those tests because now you have created a false sense of security.

If you can verify the kernel pieces of your code and then the composition mechanisms then you're done. You don't need to verify the entire thing as long as the entire thing is built with the kernel pieces and verified composition mechanisms that preserve correctness.

I also suspect we are still talking about separate classes of software. For your run of the mill twitter clone if it makes the corporate overlords happy then write as many unit tests as you want because it doesn't make a difference either way. But if we're talking about actual fundamental software like OS kernels and compilers then I don't think you can have enough formal verification.
My main issue with the "culture fit" thing is that it's a very new-school style of business that has been shoehorned into an antiquated process (hiring) that hasn't adapted nearly enough to changing attitudes about workplace priorities. I'd imagine it's difficult for someone to hear that their personality was what failed to get them the job after 30 mins - 1 hour of interaction where skills are still supposedly the number one priority.
Why is that a shame? If that were the case then some poor 9 year old wouldn't be able to get the blinken lights to work without help from the parents.
Skimmable video. Like this - http://worrydream.com/MediaForThinkingTheUnthinkable/

Like any platform, there's the chicken-egg problem. I'm not sure how you'd get enough content, but I'm confident that if you had enough content, it'd be better than YouTube.

But starting off getting content wouldn't be that hard though. You could take currently existing YouTube videos and make them skimmable. And you could convince people to make videos for your site because the quality is so high.

And if you could create a tool that makes making these videos easy, it'd provide single-user utility, is important for platforms. See http://platformed.info/
I think the idea is that lead exposure in childhood leads to crime later in life
45 years isn't long enough?
Nope. Still not seeing how "this kind of study can never ascend to the level of discipline (née science)" is something that can be stated without any supporting argument.
Do you mind if I ask couple of technical questions?

- How did you cope with the traffic from HN?

- The image resize service you implemented (photo.pixomize.com) is so simple and clean I want to know how did you implemented it? is it implemented from scratch?

What I like about photo.pixomize.com is the simplicity in the URL and how you can simply create thumbnail and download it and it's pretty fast.

There are lot's of image resize services out there which do the exact same thing as a SaaS.
I haven't gotten my hands on a copy yet.

But I'm reading that Piketty claims that the average return on capital over time in modern nations is 5%. This number is essential to his argument.

Meanwhile the US government is selling trillions in bonds at rates around -0.2%. [0] Yes, negative point two percent. I'd like to know where Piketty suggests for me to find risk adjusted 5% returns.

When someone makes a claim such as this which --if it were true -- would immediately make the claimant a billionaire or trillionaire in the markets with trivial trading, he loses all credibility. Well, loses all credibility unless he can show us the billions.

Right now governments and pension funds across the world are going broke hunting for 5% returns. Maybe Piketty can solve the growing pension crisis for us as a first step.

[0] http://www.treasury.gov/resource-center/data-chart-center/in...
Ask HN: how do you keep track of interesting stuff online?
Pocket? Evernote chrome add on, bookmark ?

Is there a way to highlight stuff like we did with real papers/ magazines in the old day?
Mars colonies, at least, can rely on Nitrogen and CO2 from the Martian atmosphere. Orbital habitats have to import everything but sunlight.

Having the colonies underground may have an extra advantage, both on Mars and on the Moon, as they may be closer to sources of ice. I remember hearing something about the Moon being much less dry than previously thought. No running water nor blocks of ice, but maybe crunching rocks yields something useful.
Why JavaScript Won
Oops, now I feel silly :) Thanks.
You're welcome! If I may, though, on the procedural point: neither the policy nor the practice re headlines has changed. We're doing just the same things we used to. The fact that it seems otherwise is an optical illusion, albeit a benign one which perhaps I shouldn't try to mess with.

The real change here is moderator feedback (two-way) in the threads, which people seem to agree is helping. I fear how meta it is, but we're still in a transitional phase. We'll eventually try receding a bit, after it's had time to sink in.
It's basically a portable extremely long range WiFi adapter with an embedded computer on it that can be used for nefarious purposes. The form factor is based on an earlier project, which used a rifle stock as an easier way to aim a big Yagi antenna.
Bill Moyers and Krugman discussed Piketty's book on his latest show:

http://billmoyers.com/segment/preview-what-the-1-dont-want-y...

This link was posted to HN yesterday briefly but was then deleted.
Or any number of other SciFi movies, cartoons, etc. For example the many Gundam[1] series have similar colonies (maybe inspired by the same material).

[1] Example: http://www.darkmirage.com/blog/wp-content/uploads/2007/12/16...
Even more incredible is that our parents and grandparents willingly drove cars that spewed out lead into the atmosphere.

They knew lead was a poison.

Even the Romans knew lead was a poison so it wasn't like asbestos where suddenly a realisation was made.

Yet everyone pretended it did not matter. Everyone did what everyone else did. Nobody thought to avoid driving past schools because they weren't sure about the ethics of covering kids in a cloud of lead (with NO2, CO, O3, PAH's and maybe some invisible micro particles thrown into the mix).