skysight-inc/HackerNews huggingface dataset:
Functional languages interest me, but are not very approachable. I mean I looked at the examples[1] page for Idris and came away completely confused, why he hell does this sequence of characters "data Nat = Z | S Nat" define a natural number? Or "data Maybe a = Nothing | Just a" somehow defines an option type.

It would be good to have an introduction for people not too familiar with functional languages.

1. http://www.idris-lang.org/example/
Sync – securely stores all your data in your completely private cloud
there's a fundamental problem here if the "CTO" can talk down to an owner like that. Obviously YOU didn't hire the CTO, because he doesn't see YOU as his boss. There's already another conversation with this guy that you weren't part of. for sanity sake, get a lawyer to claw back what you can, and cut anchor at the next funding round. If you're straight forward that you want out then that might even make the new funders feel better. Just be sure to drop hints that this CTO needs to be cut out of ownership....
Do you have any numbers about nginx + node.js? In my experience is working quite fast, but I didn't have that much traffic at the same moment.
We all know how many people get jobs because of connections...

No, I don't think we all know this. Most of the people I know did not get jobs through family connections. I suspect a trend analysis would show that the number of high-income workers who achieved their position through nepotism or some other form of non-achievement-based social connection is declining, not rising.

We're social animals, and "connections" will always be valuable. I don't see any evidence that D.E. Shaw treated Wyden's son differently because they wanted something out of his father.
This is fantastic, thanks for taking the time to write that out. (And my condolences to the author... I know very well how hard it is to have your work so thoroughly slammed but in this case it's important.)

One minor nit; I believe there is a typo in the review which caused parsing problems on my end:

The contact forward secrecy provides a design is...

s/contact/contract ?
Ultimately, we'll probably have to adjust our culture to the fact that the combination of technology and capitalism sooner or later leads to the end of privacy. It's going to be a long, difficult and certainly painful path and there will be victims. But if the current trend continues, there will be a time where everybody will be able to know almost anything about anybody, anytime.

Edit: And if we really have a problem with this, we better start our engines.
Many reds on the list also have py3 support in branches or forks for unmaintained ones like suds.
That is a huge mistake.
Maybe also because it is much easier to assess the wealth of a businessman who owns shares of publicly traded companies than of princes in Saudi Arabia?
exclusivity is one clause in that term sheet. what i don't understand is how can exclusivity apply if the investors are allegedly renegotiating those same terms. surely, if investors breach any terms along the way, exclusivity/no-shop doesn't apply any more.

i'm having some trouble believing the entire Andreessen rant. if companies get screwed during the no-shop period because major pre-agreed terms are broken, the company/founders are free to go to other investors. something doesn't add up, I wished Andreessen was a bit more explicit in his complaint.
"Email Link" : Something you want to save for reading later? Pocket and other services do the exact same thing, that is, they save links for reading later, and you can email it to yourself too.

In case you want to automate the process, you can create an IFTTT recipe for it. :)

And you don't need to pay for it.
Related bug report: https://code.google.com/p/chromium/issues/detail?id=360448
Another service on the "cloud" bandwagon...
Lobbying costs money because everything costs money.

Let's say you don't want oil companies to drill in ANWR. You give some money to the Sierra Club, who uses it to pay their staff to fight bills that would allow drilling. Those salaries would be reported in part as lobbying expenditures.

There is a constant confusion between campaign contributions and lobbying. They are distinct. Most campaign donations do not come from lobbyists, and most lobbyists do not contribute much money to campaigns.

Lobbying does not involve any exchange of value. Even buying dinner for a member of Congress is a felony.
The best posters get compensated with the money that the voters paid.

Any service that offers a significant monetary incentive to cheat it, will implode.
It's the traditional, inductive definition of natural numbers. You give a base case (Z = Zero) and an inductive case (S Nat = Successor of Nat). So Z is a natural number, S Z is also a natural number and corresponds to 1, S (S Z) corresponds to 2, etc.
I've thoroughly enjoyed watching House of Cards. Sure it's not accurate, exactly. But what it does emphasize so well is the difference in pursuing money versus power. The latter can be bought by wooing lobbyists. Money itself is harder to gain and generally more associated with the developing world's modes of corruption. Are they so different? Not exactly. However one difference is power is less easily extractive than wealth. As an example: A wealthy corrupt official will likely pull money out of the system and into their own private offshore account. A politician using lobbying money to ascertain power in exchange for political direction is not banking money outside the system. Of course the lobby-backing commercial interests are, indirectly. But at least these companies are focused on more than sheer family-enrichment. Still, I wish we had a better system.
The lesson here is that it's important to "sell" new versions of anything. You can't just expect people are going to upgrade because it's the new hotness. Older versions of your own software are often your biggest competitor. (See also: Microsoft and Windows 8).
Detectify – Stay secure – Go hack yourself
Thoughts on returning void and parameterless methods
I am the developer of HiveMind (crudzilla.com), it is a web app platform which supports Clojure...it does have a middleware which is language independent, meaning you can use Clojure for your logic and tap into the middle-ware for things like DB interaction, email and JSON based application configuration...etc

You can find a quick installation guide here:
http://blog.crudzilla.com/2014/04/hivemind-on-digital-ocean-...

Here's a screencast showing usage of Clojure, it requires no additional setup besides the installation guide above:
http://crudzilla.com/assets/img/info-graphics/lang-demo.gif
is public / general interest the sum of all private / personal interests? that's a fundamental question.
All of these responses only mention market makers and traders. What about the issuers and retail investors? Like, you know, the reason we have this stuff to begin with and the reason we all let our money in to these markets in the first place? Why should I put my money in to such a horribly complex system instead of looking for more direct methods of investing my money? The overhead doesn't seem worth it, but what am I missing?
Thanks for the info. I trust Debian to make good decisions about the new init system and the default desktop environment. If they go with Xfce I will not complain (and it'll be a nice boon for Xfce development; potentially a win-win).
"absolute nightmare" sounds like you did pretty well for libxml2.
I like that. Let's keep this going.

Howard was a businessman, investor, and four-term Republican United States Representative. He also served as the campaign manager for conservative Senator Robert Taft in Taft's 1952 presidential campaign. Howard's son is Warren Buffet, CEO and largest shareholder of Berkshire Hathaway.
OneTab kinda does the first.
Intel SGX would allow implementing this efficiently in-process: https://software.intel.com/en-us/blogs/2013/09/26/protecting...
Not automatic correction right? You said something like "Github for blog posts" sounds cool, but it will take time for others to edit/push new versions of the post, hence a lot of work on a single blog post. Inefficient.
Any such giving would be a federal crime and happens very rarely.
No, I'm trying to explain to various people who live inside various bubbles exactly what might happen to them if they unjustly apply lethal force to one of the millions of Americans who, like me, legally carry concealed. If Peruta is upheld, that will soon cover 90% of the US population (subtract California and Hawaii to get what it is today).

What could be stupid about it? I carry a .45 ACP M1911 almost every time I walk out the door, and if someone is trying to unjustly kill me (and I never give anyone a reason for that to be just), it shouldn't be difficult to guess what my response might be. Less evident is how we'd each be treated by the legal system afterwords, so I included a bit on that.

I very much don't want to have to shoot or unintentionally kill anyone, so I don't think such educational efforts are pointless (well, in this direct case it was, seeing as the corespondent hails from Spain, and I strongly suspect I didn't increase his motivation to visit the US, but...).
Poor word choice. Nevertheless the default desktop environment is a key characteristic of a distribution.
This isn't new news. Commercial RE developers have been buying up mall properties for over a decade. New "malls" have been built in more open space designs that mimic small downtown merchant districts with roads and cafes. this allows retailers greater control over the space. I'm glad the BBC is on top of US RE trends... albeit 15 years too late
I signed up for goconspire.com a while back - it does a decent job at that (weekly/daily email stats)
Here you go, http://gmailmeter.com/

:D
> Ideally you'd want your TLS keys to be stored in an HSM

Does an open spec HSM module exist? I can be somehow sure that linux and apache/nginx don't have backdoors as the source is audited by many people, but I need to be "sure" of my HSM too.
>it was actually a bit worse than Python 2 when it was out

It still has a few things that really suck!

The thing that bothers me the most is the removal of in-argument tuple unpacking.
For example, in python 2.x you could write:

dist = lambda (x1,y1),(x2,y2) : math.sqrt((x1-x2)2 + (y1-y2)2)

Whereas in python 3.x you must write

dist = lambda p1,p2 : math.sqrt((p1[0]-p2[0])2 + (p1[1]-p2[1])2)

Which is just awful to read. It gets much worse when you're trying to program in a functional style and you are using triples or quadruples. Imagine using "x[1], x[2], x[3], x[4]" instead of something like "length, width, height, color".

PEP 3113 attempts to rationalize this change, but it's kind of an awful PEP. It claims "no loss of abilities removed", which is clearly false, and the proposed benefits are highly specious. The entire tuple-unpacking system could just be reduced to the insertion of an unpack instruction at the start of the function. That would actually make a lot of sense with Python's policy of "ask forgiveness rather than permission", since trying this with the wrong tuple length would throw a ValueError explaining what went wrong.

I also miss (but it's not really an important language feature like in-argument tuple unpacking) the ability to do encoding directly on strings. For example,

"hello".encode('hex')

or

"aGVsbG8=".decode('base64')

That was much more convenient than having to import some library and use library methods.
I don't agree at all that it's stupid (and I'm someone who'd generally pick Python over Ruby). Fragmentation sucks. Really bad fragmentation sucks more. Python's fragmentation is pretty bad.
>“There’s a lot more missing wealth in the world than we had known about from previous estimates,” Henry told The Huffington Post. “The real scandal is not all these individual scandals but the fact that world’s policy makers who know about this stuff, have basically done nothing.”

So they, the experts, were surprised to find all that wealth, but the policy makers knew about "this stuff". Either he is not being truthful or he is admitting that he is not very good at what he does.
I agree with this point. The CEO does just what he was told to. I assume he's just an employee without ownership, and employees don't fire owners unless someone much stronger is behind them.

Definitely lawyer up, that would be a first thing. Then, if you want to regain control about he company, consider CEO your enemy, not the CTO. Invent a reason and fire the CTO, if you can do it. Then, step up as CTO yourself, or at least hire a person you trust. Then, hire COO, CFO, CMO. Make sure those are people that are loyal to you and where each one will take over one of the CEO responsibilities. At the latest stage, let those people document every mistake of CEO, and you try to push him out together with C team and investors.

That's exactly what he is doing to you. He convinced you to voluntarily step out from CTO position and hired his tool. Now, your chances to fight back are much worse from this position, but the war is not yet over.

So, lawyer up, read Machiavelli, know your enemy and fight fire with fire. Remember, the CEO that did this to you is not your friend anymore, and deserves whatever you do to him.
While this all looks accurate the conclusion shouldn't be: and therefore lobbying is nothing to worry about. Cognitive capture is in many ways more worrisome than outright quid pro quo corruption. Among other reasons, because there is very little that can be done about it, at least consistent with the First Amendment and liberal principles in general.
NSA Exploited Heartbleed for years says Bloomberg article
Link to bloomberg article: http://www.bloomberg.com/news/2014-04-11/nsa-said-to-have-used-heartbleed-bug-exposing-consumers.html
So much for having a big toolbox with lots of different hammers available to you.
I can easily see it becoming a platform for astroturfing and viral marketing campaigns by corporate accounts, and i'm not entirely certain i'm comfortable with directly linking a poster's ability to participate in a discussion with their disposable income.

Would be an interesting experiment to see though.
Both ways of formatting are available. % is not going away.
Your comments apply to the HN link text, not the article or headline.

Puppet Labs isn't a single language company.
Breaking Clean Judy Blunt

A River Runs Through It Norman Maclean
I have a 20,000 line 64-bit x86_64 HolyC Compiler/Assembler that works JIT and AOT. That includes front, middle and backend.

God says...
application hilarious ice_cream church cursing bickering
BBC you're_wonderful atrocious do_you_have_a_problem arent_you_clever
Icarus hobnob joking how's_the_weather services happy_happy_joy_joy
failure_is_not_an_option don't_have_a_cow lust you're_nuts
piety dignity virtue taxes no_news_is_good_news outrageous
music basically revolution Obama oh_come_on later money
honesty now_that_I_think_about_it
It feels like the problem is the black-and-white thinking on the part of developers of every language being either "okay to develop in" or "completely unsupported."

If only there was a way to deprecate a language, with the same meaning as deprecating an API method: "it's not gone yet, but it will be soon, so in strict mode using it is an error." (The main problem to solve would be: strict mode of what? The package manager?)
While not incorrect, I think the "functional language" designation is overly broad. Worst case, I'd hate for people to get turned off of functional languages because of difficulties understanding a relatively-advanced dependently-typed language such as Idris.

IMHO, A language more suitable for introducing functional programming may be Clojure, F#, Scala, or just 'plain' Haskell.
gti might come in handy: http://r-wos.org/hacks/gti
Do you know what libraries can't be ported without a lot of effort? I haven't heard that in a long time.
"On April 15, we'll invite the groups that seem most promising to meet us in Mountain View between April 24 and 28. "
uwsgi (as an example) has C components and builds/installs on a virtualenv
Cars, clothes, homes, and furniture all found a standardization. We barely had computer UIs 20 years, so UI design was of an indeterminate form. Now we know the basics form and rules, thus design is now in the details.
Your Big Data Is Worthless if You Don’t Bring It Into the Real World
I suppose I'm not clear on the power structure of your company, but to me that seems incredibly insubordinate and I would fire him immediately.

On the other hand, the fact that you're even asking this makes me think you might be too passive of a person to really be in a leadership role. (I don't mean that to be harsh, but you have to be honest with yourself about who you are).
"Mr. Joe Trader" might need some definition. For instance, I felt that HFT didn't change the game for "Mr. Joe Trader" as much as the rules limiting daytrading ($25k minimum for margin, restriction on round-trip trades per quarter) did. Now you need to be fairly well off or trade pretty much full-time to be able just to enter the game. Fees may be down but fewer players can play.
> Why he hell does this sequence of characters "data Nat = Z | S Nat" define a natural number?

Because a natural number is either zero (the one value of type Z, which has a nullary type constructor and therefore only one value) or (represented by the vertical bar "|") the successor to another natural number (represented by type S, which has a one-arg constructor whose argument is of type Nat.) Its a recursive type definition, with a base case and a recursive case.

> It would be good to have an introduction for people not too familiar with functional languages.

It would be; right now, you are probably be best served by one of the ones for Haskell -- Idris doesn't seem to have a lot of documentation not aimed at people not already familiar with functional programming, and really familiarity with Haskell seems to be the most applicable to Idris.

The Idris tutorial [1] assumes familiarity with Haskell, but does provide brief descriptions of the relevant syntax which may be enough.

[1] http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.p...
I didn't know what Meteor is and the link didn't explain.

FROM: https://www.meteor.com/
Meteor is an open-source platform for building top-quality web apps in a fraction of the time, whether you're an expert developer or just getting started.
Fred Wilson's inspiring interview
Sorry but your own arguments undermine the very points you're trying to make. Yes, charities do need to decide who they want to help in order to succeed, but this supports teacup50's argument that Gnome should've stuck to their own stated aims and scope. Likewise, your examples of "actual destructive discrimination" are aimed in large part at the same group teacup50 was complaining these outreach programs don't help - you're basically arguing that it's OK they're not included in outreach programs because worse things happen to them, but then why have one for women either?
Let's not get started on those who implement that poorly.

I was signing up for a site that took openid the other day- and then after confirming access - I was returned to the site. There, I was prompted for email, first/last name, and 2x password to use on the site, in order to complete my registration. (This email and password would be my future login.)

Nothing quite like implementing a buzzword while missing the point completely...
This proposal is very similar to Plan 9's "factotum" scheme (see http://qedragon.livejournal.com/99938.html for a nice explanation with reference to Heartbleed; factotum is similar to a generic ssh-agent or gss-proxy), except proposing that the daemon run as a separate user, which is a reasonable extra layer of security that deals with some remote-code exploits.
Buy-and-hold investors are a subset of traders, for the purposes of my comment. Mentally substitute the two terms in my comment and you'll see that it remains true.
This seems like a good idea but this fixation on PKCS#11 seems strange. Why use a whole API when Apache and Nginx can just add a simple daemon with their own internal API to do this?

The same amount of security can probably be obtained by just launching a process on server startup to do this with sufficient isolation from the parent process. I believe OpenSSH does something along these lines to run most of its code as an unprivileged user. It's probably even possible to do this seamlessly based on the existing SSL config directives in apache/nginx requiring no more intervention from the sysadmin than upgrading to a newer version.
Founder shuffling is not uncommon. Founders aren't always (or even often) great managers, leaders, or recruiters-- which is what you need to transition into if you're going to stay with the company. I'd encourage you to try to put yourself in their shoes. It doesn't feel fair for you, but if a co-founder who owned a huge vesting stake in the company didn't grow/perform like you'd hoped, would you want to negotiate their exit? Or would you keep them on out of loyalty, knowing that it hurt the company's recruiting efforts, culture, and chances of success?

It sounds like you've raised money, have a business co-founder, and have some other employees. All of those people are (rightfully) should be asking what's best for the company. Hopefully you are too. If the stock you're vesting (hopefully you have vesting schedule!) is outsized compared to the value you bring to the company, you need to fix the problem.

I'd ask your co-founder for their thoughts and (potentially) I'd ask your investors. Unless the CTO is going rogue, he's probably already got support on both of these fronts, which means you can't really do much other than make a scene and/or sue if they want to show you the door, which will damage your company, your stock in it, and your soul. No fun.

Assuming your co-founder agrees with the CTO (likely), options:

1) Say you love the company, don't want to leave, but acknowledge there is a problem with your compensation/value ratio. Negotiate to an agreeable role and pile of stock with the caveat that if you can prove yourself invaluable, you'd like to be able to come back to the table. If they push back, saying you aren't good enough, ask for a 3-6 month trial period to prove your mettle. Bust ass and become indispensable.

2) Leave gracefully, with a negotiated severance/stock package (know that they can dilute you and there are ways they can wipe you out at inopportune times: http://www.geekwire.com/2014/redfins-first-cto-shocked-surpr... )... But unless they are bad actors, you'll get a nice payday if there's even liquidity.

3) Pitch a fit. You'll lose this fight unless you guys botched the company setup or you have allies among the investors. This will hurt the company a lot and it's a bad path.

Good luck and (above all) congratulations for being instrumental in creating a viable company!
Huh? The fundraiser would get money at the price at the lower end of the spread, and the investor would buy at the upper end, so your question is nonsensical.

The difference is what the market maker takes for providing liquidity (in exchange for providing money now and for taking a risk that the price may change out of the spread range). Spread == price of liquidity.
I do have a big toolbox, it contains all kinds of screwdrivers etc for low level programming. But I only need one hammer for the few problems I face that is best solved by scripting languages.