skysight-inc/HackerNews huggingface dataset:
But regret is incompatible with our society's love affair with absolute certainty. One cannot simply admit that they were wrong (even to themselves) because we so value perfect intuition.
Typically you have to wait a few minutes before the reply link appears. Gives you time to consider before responding in what might be a emotional response.
The code change that led to Heartbleed
Should we make a working group to kill X.509?
Could you provide a source for this? There is an entire process that is full of oversight.
hubiC.

They give 25GB and are French.
The bearing idea isn't a solution for a few reasons:

1) Rotating bearings still have internal friction, which will still generate tremendous heat at these velocities.

2) A lot of the heat being generated here is caused by the flow of electrical current, which isn't negated by bearings. In fact, it would probably be made worse, because any spherical contact patch is going to be tiny compared to a flat surface. The suggestion of using many small bearings would seem to alleviate this problem, but the smaller you make the bearing, the more fragile it becomes.

At its heart, this is a materials science problem. You need a material that can conduct the electricity, withstand the heat, and not break down under high friction loads while doing both of these. Simply dropping in a bearing doesn't solve any of these problems

The highly conductive, non-flammable grease is just another materials challenge. At the kinds of temperatures present in a rail gun, "non-flammable" becomes a very high bar for a lubricating fluid.
It seems to me you're agreeing with me.
Ask HN: HN Political Headline Filter?
I really appreciate HN from a technical perspective, but have little interest in the political posts and discussion that have become popular in the last few years. It would be great if the HN user profile page could have a "political filter" checkbox that could be set to filter out results on the main page that moderators flagged as "political".

Would there be any possibility for adding this type of functionality?
They can keep her on their board but it's our duty to react in ways that are consistent with our own personal values. My wife was recruited this morning for an HR position with Dropbox. We briefly imagined how exciting the opportunity might be but I quickly recoiled at the thought of her being so closely affiliated with a war criminal. It's their decision to have whomever they want on their board, it's our duty to respond appropriately.
Two Big Steps Toward the Quantum Computer
Seems pretty neat. Sort of like a GWT for .Net. Except with the added benefit of being able to go into an intermediary form of TypeScript.

I see something like this really being beneficial when building a Single Page Application, or porting a Desktop Application to a SPA.
Like this: http://www.haskell.org/ghc/docs/latest/html/users_guide/ffi-.... Haskell's FFI works both ways.

(It's not free: you need to link in the entire Haskell runtime system, which is not small. But you can absolutely do it.)
Bit torrent sync!
They could conceivably be liable for interference. A previous employer of mine had that problem.
This should be stickied

at the top.

{As it was one of the first,

and most prescient comments}

Of all the things said,

It also seems

the least arguable.
These are exciting times! Companies and their leaders are actually being held accountable directly by the people for their unethical, immoral behaviours by diverting their business elsewhere. It's amazing to know that so many in the tech industry care about these issues.
Continuum of Singularity, so to speak.
I wish APL/J/K were on here, but I guess that doesn't really change the way I think about coding... it just blows my mind.
I think you are extrapolating vs the original point. I was answering to :

> Uh we have all killed indirectly

Well, Rice has been certainly much more 'directly' involved in killing that the ones who paid taxes.
>> What they were doing was presenting a falsehood as a new fact. Without any evidence.

Clinton stated they had WMD's long before Bush. There are mass grave sites in Iraq which proves they had them. The truth the anti-Bush people need to face is ... where are those weapons today?

http://www.cnn.com/ALLPOLITICS/stories/1998/12/16/transcript...
I read through the whole site... where are the instructions on deleting a Dropbox account?

Not that it was very hard, but the link is non obvious in the Dropbox account settings, spent a couple more minutes than I'd like.

For those interested, this is a link from the support page:

https://www.dropbox.com/account/delete
I got to a .1 aspect ratio and then decided I'd had enough and it was time to end the game.

Turns out that the board expands upwards too.

Truly futile.
Who was in charge of the CIA, again?
>oh cool, today is the day you get to learn about X.

I still don't like this. There is no need to comment on my knowledge. If I say I don't know something, there is no need to repeat it back to me in any form. Offer resources, assistance, or guidance. If I found something I need to learn, assume that I will now be scrambling to learn it.
Morals are essential. But we are judging them without knowing facts. We know neither why Drew, one of our own, had to make the hire, nor what kind of choices she was really faced with in the past. The position of Diplomat is a very tricky one in politics. In fact many opposition leaders get hired into it (including Hillary) because a Diplomat HAS TO parrot the decisions of the administration.
Write JSON Schema in Markdown (MSON proposal)
sure, i do mention this - but what about the difficulty in finding the vulnerability?
Wrt LaTeX - I converted a few people (including one assistant professor in psychology) from Word to LaTeX.
And a lot more use tools like LyX to have LaTeX where it shines (formulas, bibliography, typesetting of output) but without the typical overhead.

And I am a firm believer that with so many plug-and-play LaTeX (Authorea, WriteLaTeX, ShareLaTeX and a few others) much more people will use LaTeX (or at least - its good parts), as the entry barrier went practically down to zero.

(As a side note - from user's perspective, $\formula$ and $$\formula$$ are much easier to see than \(\formula\) and \[\formula\].
I know that in the second case, the later is more correct, but Markdown _is_ about clarity, not purity of syntax.)
younited by F-Secure (Finnish)? http://www.younited.com/

There's political debate currently in Finland about giving police and intelligence the same kind of legal framework for access as the NSA has had in the US. But so far the proposals have been resisted. Mikko Hyppönen https://twitter.com/mikko and some others have been talking a lot publicly about making Finland a data haven with strong protections for privacy. Maybe they'll even succeed.
According to the request of the democratically elected Iraqi leadership and the inability of the Obama and Iraqi leaderships to negotiate something mutually beneficial.
Behind the Scenes: The Crazy 72 Hours Leading Up to the Heartbleed Discovery
> I seem to recall that at the time EVERYBODY was making the same mistake

Your recollection is wrong.

http://clerk.house.gov/evs/2002/roll455.xml
> The code should be secure enough that allowing people to see it wouldn't undermine its security efforts.

That is a good idea IMO. :)
It's in closed alpha, they are planning to release it on all three platforms.
>I am not interested in arguing the WMD in Iraq debate. I ask you to please assume good faith on the part of your ideological opponents. Try to understand their arguments on their terms, and see where you differ fundamentally.

This is exactly what I'm talking about. Why do you assume they are my ideological opponents? Are you assuming I'm a liberal in this case? This is the hyper-partisan culture I'm talking about. I do assume good faith from people who disagree with me, there comes a point when an intelligent person must look at the evidence provided and adapt their view. People hide behind the "both sides" argument in an attempt to be wise and fair, when in reality that can be the most partisan of all point of views. People are wrong sometimes. People lie sometimes. Not acknowledging this is not wise. Some arguments don't have "both sides", some have one side, some have two sides, some have fifty sides. Remember that.
Should you pay capital gains on yourself?
This seems like a prime candidate for being moderated off the front page, but it's still at #1.
I hated the Eich thing and I hate this too. Even if she has been wrong about basically everything she was ever put in charge of, this is not how we settle political disputes in a civil society. If you want to stop using Dropbox, fine. If you're a stakeholder in Dropbox, then you have a legitimate interest here. But no one else does.
It's a bit more than that. Let's assume Vector is a typed list type of know length

[1,2,3] : Vector 3 Int

we can write `append` which combines Vectors

append : (Vector n a, Vector m a) -> Vector (n + m) a

which works as you expect because the expression in the type (n+m) is written in the value language.

Here's another (slightly pathological) dependent type. Normally `if` statements require that the then and the else branches result in the same type, but in a DT language you can write

if' : (cond : Bool) -> a -> b -> (if cond then a else b)

In other words, `if'` takes the type where you first provide it a boolean, we'll call it `cond`, and then two differently type continuation parameters. The type of the result is an expression: "if cond is true then this is the type of the first continuation, otherwise this is the type of the second continuation".

Both of these examples would be proud to call themselves trivial. The DT rabbit hole goes very deep.
I beg to differ on this point. Embedded software development in general needs more of core CS/CE curriculum than any normal application development does (web, desktop, mobile). You might get away with learning to program for say android, or say Dekstop apps in .net without knowing OS, Automata, Compilers, C/Assembly language, TCP/IP. But you can't do without those in embedded. Besides, learning languages such as C or C++ would require more time and effort. So unless this guy has gone through much of those in EE already, this is a bad idea in my opinion. I would also argue that even if he had, still going through all those courses in theory is different from going through them with a programming mindset.
Surely a lethal homeopathic dose would be _less_ than the standard dose, not _more_.
What does this have to do with D.C.'s point?
I started using hubiC because I need a replacement for Ubuntu One.

So far there's no perfect file cloud service, unless you want to also manage your own server.
SPARK Ada programming language
I can't speak for Hubway, but most municipal bike programs I've seen have bikes built like tanks, which must cost more than $50. I assume this is to minimize the maintenance costs that must be inherent in a system where the bike users have nearly no incentive to take care of the bikes. And, of course, you still have maintenance costs even for these tank-bikes.
https://stackedit.io/ is Markdown + LaTeX, but uses Google Docs to sync.
This is sort of my dream. When, while on vacation, I saw that the state had run fiber up to the local state park (a gorgeous, national park sized state park), I asked whether private interests were also attached.

I have since heard that there were plans to upgrade backbone service to the local town 13 miles away. Supposedly, an insurance company was going to host a call center there -- although that part of the story and the party involved sounded suspicious.

If you all want to explore whether this location might be one you want to add to your list, shoot me an email. (Regardless of whether it does anything for me, personally. I'd like to see the town do well.)
And they have been on the todo list for a shamefully long time.
at first glance, i thought the mere edge cases alone (listed under limitations in the readme) would be sufficient reason to stay well away from this c# -> js route.

however on second glance ... there have been numerous times where I have written c# server side with 'UI Model' Classes that use to serialize to XML/json for consumption by the client/browser and corresponding models in javascript/typescript. The C# -> Typescript conversion would save me a lot of time (and automate keeping the two in sync) and I would imagine for that niche case it would be totally worth it.
It also kind of reminded me of Pi calculus (http://en.wikipedia.org/wiki/Pi_calculus). It's pretty fun to play around with and try to understand and replicate those examples on the page.
You're right, I didn't recall the totals.

I'll revise my statement to be that most everyone in a leadership position was making the same mistake.
The problems can be solved in other languages, the tools are just clunkier. Lisp lets you solve the hard problems simply, and the solutions (not their expression) are what matters.
Re: HAProxy

from http://haproxy.1wt.eu : Update [2012/09/11] : native SSL support was implemented in 1.5-dev12. The points above about CPU usage are still valid though.

Wow, I've been out of the loop for a while then. Last time I used HAProxy I was using stud (https://github.com/bumptech/stud) to terminate.
This is what bothers me about modern American politics. Both sides are too quick to demonize the other side, and to disallow the possibility that people on the other side are acting in good faith.
I wish more companies had this mentality, it's amazing how much talent pool they are leaving out there by not allowing remote work for some positions. Especially for those of us that live in the Midwest but cannot leave for any number of reasons.
Hindsight is 20/20. At the time I'm sure many people believed those targeted by McCarthy had done things wrong.
I can't help but notice that whoever is behind this campaign found it necessary to give attribution to the people who produced the images on the page, and provided helpful links to Dropbox's CEO's social media accounts, but didn't bother to sign his own name to the cause. That's the very definition of gutless.
I disagree. If this person is a good abstract and technical thinker, he should be able to make the leap if he is sufficiently motivated.

You absolutely do NOT need multiple years of CS undergrad to have a sense for scalability. If you open your mind, you will see that world history is chock full of systems that have scaled -- they just don't happen to be written in binary or backed by CS degrees. And I would say that these historical systems share more similarities than you would think with scalable computer systems.

In order to be good at this kind of thing, one just needs some sense for abstract thinking -- which countless non-programmers have, we are actually not unique in that regard -- and if you are adequately dedicated, a few weeks (or a few months at most) of study time to understand fundamental algos and data structures. After one has an understanding of it, it will certainly take more time to become practically comfortable using said concepts, but that's what entry level jobs are for.
"They only did what Greenspan told them to."

Do you have any evidence for that?
This is the same guy that did Frog Fractions, which if you haven't played it, is one of the most surprising games ever made about amphibians and scientific notation. http://twinbeard.com/frog-fractions
This is potentially a great way to go and solve the "engineering shortage" in the U.S. There are tons of qualified engineers in places all over the U.S., but S.V. never bothers to look for them. The great side benefit is that the cost of living in most of the U.S. is much lower than on the coasts meaning you can almost get 2 people in nowhere Alabama or Nashville, Someplace for the price of 1 San Franciscan or 1 New Yorker.

They'll speak English, share a common-ish culture, and have gone through the American educational system so interfacing with them isn't nearly as hard as real offshored employees or contracted firms. They'll also be within continental U.S. time-zones. You want to solve work visa problems? This is how you do it.

I've met a few entrepreneurs who were self-funding and thus really cared about their burn rate while building their product who opted for teams of devs in overlooked places in the U.S.

If you want a starting point, checkout towns near DOE National Labs. They're usually out in the middle of nowheresville (because of nukes) and are full of incredibly educated, qualified people, who may have moved there for lab work and ended up not like the stifling academic environment of National Labs. There resumes may not be a string of startups, but they're used to working on bleeding edge stuff and the cost of living in these areas is generally pretty low.

https://en.wikipedia.org/wiki/National_laboratory
https://AlwaySyncd.com
This seems to be necessary and it's just the beginning..
Nice work. Are you profitable?
This is something I am trying to change in myself. Especially because the amount of time I spend being sarcastic online has started making this behavior spill over into real life. It is a toxic, toxic behavior that is justified only by people who conflate it with peacocking as a smart person. I don't need to do that. I would rather avoid destroying relationships over that.
As a side note, when it comes to various solutions and ideas wrt using LaTeX + Markdown, there is a discussion:
https://hackpad.com/New-scientific-markup-language-utAjFcYuv...
And tag them also. And also tag our gists.
Author here... I realize Namecoin is playing in the identity space, I'd love to get some feedback from people who are familiar with it.

The Ethereum project (which recently surfaced here as well) is the most interesting to me. What's the feeling on the viability of this as an actual platform?
I just switched to Google Drive, it's cheaper as well.
In terms of depth of vocabulary, English is probably the most expressive language in history.

I'm sure you can come up with a sharper instrument than "butt-hurt".
I have to admit, as a fly-over stater (Colorado) I found the tone be pretty condescending. There's an air of "we're moving the stuff people in the valley are to smart to do" to it. I'm not sure if it's intended, but it seems like they think the midwest is only good for the entry level. That really amazing developers don't exist outside of the valley.

If that's true, I for one hope they don't change their position. We're building one hell of an engineering team and much of it is from the midwest. If other folks figure this out, I'd have to actually compete for the best developers!
Django 1.7 Migrations – An Introduction
The US prints its own money, it will always have enough. The question is whether inflation eats away its value.
I'm not sure It's the same thing. Eich was forced out on the grounds of his beliefs, yes, but people are condemning Dropbox because Rice is a filthy politician that was a part of a war mongering administration. Not the same.

I'm definitely switching over from Dropbox. I was planning to do it anyway. I know this sounds bad but - the fact that I can't store illegal files just bugs me to no end.

[1]MaidSafe is launching it's token sale (Safecoins) effort in 10 days and I will switch my business over to them completely. I know it's not as slick or developed as Dropbox but it's private, decentralized, anonymous and free(I know it sound ridiculous but that's what you get when you combine the concepts of a distributed systems network and Bitcoin)

Not to mention that I have the chance of participating in something great as the possible birth of a decentralized and anonymous internet with a built in payment network.

[1]https://github.com/maidsafe/Whitepapers
"Its not about who you know, its about who knows you."
On the flip side the git docs provide more useful information about what it's actually going to do to help you, not just in general how it'll help you.
Without wading into the morass of litigating the Iraq war, which would be stupid, because we are converging on bipartisan consensus that it was a debacle: two wrongs don't make a right, and "the US government" over the course of two decades isn't a single coherent unified force.
I do see a difference.

Eich's stance was (and is) personal, and I'm pretty sure it would have stayed that way. I would have kept using Firefox because of the Mozilla position on privacy and openness, and despite its CEO position.

On the other hand, Dropbox is a private company. They don't stand for you, they stand for themselves. They are their own first priority. Having someone as important as Mrs Rice on board is certainly not something that will be beneficial to the public. If she's not there for the public but for Dropbox, then yes, we must fear the worst.
Some of the long-time users here think that it's important to flag submissions that are mostly about politics and that don't encourage the thoughtful discussion of deeply interesting stories that they hope characterizes Hacker News. I have to agree. What's about "politics" mainly and what is about politics just incidentally is a judgment call, but I have been convinced by listening to participants here who have been here longer than the 1970 days that I have been here that it is helpful to the community to flag most new submissions that deal with politics. Those submissions only rarely generate informative, thoughtful discussions.
Amazon Elastic Compute Cloud (EC2) – AWS Compute Services – Glossary
Although I agree Rice's actions were much more direct, extensive, and much worse than Eich's by any measure, I don't agree that equal rights are necessarily less relevant to the leadership of Mozilla than neocon government overreach shenanigans is relevant to data privacy at Dropbox.
It's being used in a tounge-in-cheek manner here.
When you use OverloadedStrings in conjunction with Data.ByteString.Char8 it becomes OverloadedStrings' issue as well. Compile-time transformations are not supposed to break your program.
hey yuchi- I talked to the Substance guys just a few days ago. Great guys. We hope to collaborate with them soon. I am not sure why Authorea is not "ethical" though. Ciao!
Our TypeScript project is ~20K SLOC. It compiles in roughly (I haven't measured exactly) the same amount of time it takes to compile 100 SLOC.

Since the Typescript compiler itself is > 2MB of minified js, it doesn't surprise me that compiling any TS has at least a second overhead.

What's more important to me is that:

- The compiler performance scales as the codebase increases in size.

- Incremental builds are fast. (ie the -watch option).

So far I have found both to be true. Incremental builds take < .5 sec on my laptop. That means I get a cute red-squiggly in Visual Studio in a convenient amount of time. Ultimately, that's half the reason for using TS in the first place; if it didn't improve our productivity, we wouldn't be using it.
What problem do you have that MSON solves?
it's the real-time prediction query, e.g. geospatial search, that makes use of mongo's indices.
She was Stanford tenured faculty (and maybe even Provost) before joining the Bush administration, and took leave to take her appointments. She then rejoined Standford later. People did complain about that, anyway.
Much benefit over coffeescript?
$40k in '09 on a food focused web app - split with my brother. $2k last year on an education web app my wife worked on (that was our share, there were 3 other participants).

The real killer is the time, not the $s out of pocket. My estimated hourly rate varies a lot based on what I'm doing - but it would lead to a significant increase if included.
Not me, but a friend of mine works at Google and she has poured some £ 64,000k into building a live tv streaming service that didn't come to anything. The developer responsible eventually just went off radar and didn't even give SSH keys to the server, or and copies of the source code. I feel really sorry for her, and have been helping in any way I can...

When I heard the 64k figure I nearly had a heart attack! Jiminy Jillikers thats a lot of money.