skysight-inc/HackerNews huggingface dataset:
Actually what you need is proportional representation. First past the post almost guarantees that people will vote for whoever they think will "stick it" to the party they don't like; i.e. a two party system is inevitable.
The Future of Reading
Sadly not everybody is familiar with Automata theory - furthermore, I'm sure he knows and his link is about implementation and is none trivial and none obvious.

I'm struggling to understand your negativity here..
A Move Away from SQL Server - No Longer Buying Aircraft Carriers
For what it's worth, I am actively improving Nightcode, an IDE written in Clojure that bundles Leiningen. Last night I released 0.0.6. We have a long way to go before it's stable, but more feedback from users is the best way to get there.

http://nightcode.info
And I suppose a busy shared connection with lots of people reading HN all at once!
Why do "we know" MIT is actually harder?
"Corporate and inviting" must have been the precursor to those fake processor plant campaigns they did back in the day. Those really made me feel like this company was a warm, loving bunch.
> I had to accept new T&C before getting certificates/provisioning-profiles, and this has been impossible for weeks.

If you can't accept the new T&C you can't get into the profile center.
I'd like an example or something before I give out my email. I have no idea what I'm signing up for.
Unless I'm missing some obvious sarcasm here, isn't this exactly what a welfare state does?
I've frequently heard complaints that bittorrent folks using Tor put unhelpful strain on the network--is the distribution of this browser going to be a problem in that way?
The gradle/groovy integration is of only slightly better harmony. It's very obviously a plugin and the lack of analysis makes for an awkward dynamic programming experience.

For example, I dislike the yellow warning lines that abound when it can't infer a type that has previously been assigned on all call paths.
> creativity is a proxy for a kind of self-expression that is not bound by any rules, logic, or structure

I do not find this to be the case. Art is full of structure, rules and logic. When artists "break" the rules, it usually means they been able to operate using underlying rules, and understand well the rules they break.
Steve Jobs the Movie: lets honour a great CEO
Please comment here: https://news.ycombinator.com/item?id=6190995
Is Windows 8.1 worth it
If you are interested in seeing code examples from a text editor or IDE we are working on Storyteller:

http://www.storytellersoftware.com

Everything is stored locally and the tool can generate an HTML playback file that can be passed around. One can also make comments during the playback. There tends not to be a great place to document how code evolves, we think a playback is the best place for this.

Its not quite ready for prime time yet but it will be soon. Our long term goals are to make a web app to store playbacks and to make it the next generation of version control.
What would it log?
You will note that I make no claims about clarity, only that it is possible to separate pure from impure code in Haskell (which is certainly true).

The problem with Haskell and clarity are, in my experience, twofold:

- large amount of high-level concepts to absorb (though not everything is necessary to start producing code)

- the power of the language is its own worst enemy at times - it is possible to write a pipeline of complex computation with very little work, which leads to less code but less readability (on the other hand, Haskell functions are typically short, which helps a lot with maintaining up-to-date comments)

On the other hand, the separation between pure and impure code is not a complex notion per se, and reasoning about pure code is made much easier.
A Lean way to teach new technologies (feedback on an idea)
I have to confess, these days I use Postgres more than SQL Server. But that said I do a LOT of GIS work, and weather you like it or not SQL Server just does not follow the spatial SQL simple features standard, well not correctly anyway, as I said in my presentation in spatial SQL at Last years DDD, "it's the most compatible, incompatible spatial SQL implementation I've seen."

Postgres also does a ton of stuff the SQL Server can only dream of and it runs fantastic on a Windows based OS too.
Am I dead yet?
:-)
Opera is now based on Chromium. I know it's open source, but to be on the safe side, I would avoid opera too.
Maybe it's time for a new type of email service. Something along the lines of two way auth, private key on cell phone, public on server. Cell phones have cameras now, so you could generate a QR code or something which your auth app could look at and generate a response in order to generate a unique token to gain access to your message(s). On the server side guys could have a deadman switch which would purge all data if not heard from administrators for 12 hours. That way they could delete data and not be in jeopardy of obstructing any government or whomever is seeking to gain access. Bonus points could be had for not hosting in US too.
> There isn't much in the way of discoverable APIs that adhere to the data model suggestion in the HTTP spec

I don't even understand why this needs to be pointed out. If the precise usage of all web APIs could be inferred from the verb alone, presumably all web APIs are exactly the same. That's nonsensical. I challenge anybody to honestly claim they have consumed a 3rd party web API of material complexity without once referring to the documentation and solely relying on guessing HTTP verbs.

Once you're already reading the API documentation, I don't understand why you'd prefer "http.request('PUT', '/resource')" over "http.post('/resource/put'). Even better, you can choose a URI that makes the most sense to your domain model, e.g. '/resource/upload'. I don't understand why you'd want to have less expressive URIs AND more work. In even this simple example, the verb is unlikely to be adequate in any case - if you need to supply options or metadata the verb is even less significant as to the true meaning of the operation.

The fact is you can always embed the verb of your choice into the URI - thereby making a GET/POST/HEAD world no more or less expressive than a Verbtopia world. All that extra verbs do is cause consumers of the API to have to remember two pieces of information (VERB + URI) rather than one (URI). At least URIs can be constructed to make as much semantic sense as possible within a given domain model - VERBs, on the other hand, end up as square pegs in round holes, making them far less memorable.
I suspect that the evolutionary mechanism behind this is that the members of the species (or tribe etc.) who are powerful (leaders?) must have some sense of ruthlessness in order to enable their whole group to survive; and empathy is directly counteractive to ruthlessness.
I'd rather spend the time getting things Right. I'm a software guy, and I'd much rather return to code that's well organized and thought out. It takes time a iteration to get to well-designed code.

When I get outside my area of expertise (which is solving problems with code), I still like to spend time making things feel like they were professionally made. Doing that lends me credibility, make my own products more appealing for purchase, and give me lots of personal satisfaction.

To this specific story, even if the guy kept all the different music theory note sequence combinations in his head, he's bound to forget which he played and which he didn't. Hell, wrote a couple nested loops and be done with it. Go back after the few minutes it takes for the audio to render and listen to every combination, knocking out the bad ones, re-listening to the others honing in on a good one ... Sounds like a good automated/iterative balance to me. I'd have even automated the file slicing and put a text interface on it: play a sound, ask for Y/N input, keep looping the remaining Y responses ...
Say you have a list of downloads, and you want to know how big they are. With HEAD and Content-Length, you can know, in a standard fashion, assuming the server tells you. Isn't this basic enough, that you'd want to put it in HTTP? What else would you do? Application-specific file-size queries? Doing a GET and then just closing the connection after headers? That's not pretty!
> Do you have multiple small children under the age of 5?

I don't have children at all. That might make you immediately dismiss my opinions on this, which may be justified.

> Both those activities typically take at least 30 minutes of continuity to be done right... a real challenge with a 4 and a 1 year old.

Done right? A pro sportsman might need at least 3 hours a day in order to get a decent workout out of the day, but I think that the consensus is that any activity is better than no activity. I don't see how squeezing in some sets of pushups while you have time (a set might take 30 to 60 seconds), doing some sets of (one legged) squats, etc., is insurmountable. Instead of jogging outside, you might do x hundred amounts of squats.

Cooking healthy food is just about making something simple with healthy ingredients. Making a salad doesn't take a lot of continuous activity, boiling something doesn't either, the only thing is not burning the meat or whatever.

I don't get how kids under five years of age are so spastic that you evidently can't even take your eyes off them for one minute. I guess I must have been an exceptionally well-behaved child.

> After they go to bed, great. While they are awake? If you are ok with some TV time.

What's wrong with some TV time?
Pat Buchanan came up with a more permissive metric, "anything that doesn't require a trailer hitch", although I can't see there ever being support for indirect fire weapons like mortars.

However, if an armed citizenry is supposed to keep the government in check, why not HEAT warhead anti-armor weapons? E.g. in the context of this discussion: https://news.ycombinator.com/item?id=6186569 which touches on the widespread police procurement of light armor.
I wouldn't want to inhale and exhale salt all day, either.
And until recently Chrome was just a re-skinned Safari?

Right.
Revoke Obama's Nobel Peace Prize
And that's why the RE2 implementation has existed equally long!

Oh, wait.
I post, therefore, I am.
4th cofounder means 25% equity?

How many of the current founders have a technical background?

Is the developer of the iOS app still there?
> There is a big flaw in using browser information as an identification token in this way as browsers change.

> I visit this site at least once a month and every time it picks me as 'unique'. That is because each time i've either installed a plugin, installed a font, my browser version changes every 5 days with automatic updates, installed a new browser, installed a different browser, am using multiple browsers, am accessing from my phone, ipad, work computer, etc.

> This makes it useless for actually tracking people.

Not at all. This site isn't a demonstration of tracking you, it's simply a measure of how unique your browser is. Somebody who actually cared about tracking you could trivially track changes: a profile with a set of 191 particular fonts and a later profile that is identical but with 190 fonts is probably the same person.
This has nothing to do with routing Bittorent traffic.
Would love to see most viewed showterm videos! :)
How does everyone else set up their dev systems? I just rebuilt my dev machine and I'm using one SSD drive for the OS, one SDD for data (database, Cassandra stuff), and then a regular drive to hold code and builds since that gets rewritten several hundred times a day sometimes.
Ideally, a REST API would only require consulting the documentation on media types and the location of the root endpoint, but the kind of media-type heavy, hyperlink driven driven specification that would support that is rare.

Though specifications aimed at improving at least the hypermedia part of that are starting to gain traction.
Austin: The ClojureScript browser-REPL rebuilt stronger, faster, easier
Because time correlates only very loosely with SSD failure, it's all about writes and people write at widely varying rates.
It isn't being rude when the power is all on their side. You have no idea what their real motives are or how they will use your conversation. You have no reason to believe anything they tell you. Seems like the safest action is to politely decline.
>>-> Only use encrypted email (with an email client).
>
>In case he was talking about encrypted email, all the "metadata" is still open (sender/receiver address, time/frequency, message subject). Then you can cross-reference that data with other data to get a more precise picture of the users.

But this isn't much different from the technological metadata needed to transport snail mail (the sender of an e-mail is usually, unless messing around, known whereas snail mail only has a return address ; the subject field isn't mandatory).

Mail encryption ensures the same level of privacy (regarding the 4th) a user of snail mail could expect.
I think there's a place for education, so that our fine civic defenders know about the technology that runs our lives. Part of the EFF's initial creation impulse involved education of the LEO community.

That said, I would be profoundly concerned as well if I got a visit out of the blue from some LEOs without some context.
Complete Changelog ftp://ftp.vim.org/pub/vim/patches/7.3/README (it includes all changes from 7.3 up to 7.4)

New patches for 7.4 will be in the patches/7.4 folder.
My thoughts exactly. And we see articles on this kind of strategy on HN all the time. Typically they get a bunch of positive, "I like this in the abstract realm/will try this in the future"-type feedback. So I am a little surprised by the disbelief this particular instance is receiving.
I'm turning a bus into a tech incubator & hosting CodeClub's. Will you help me?
If the government said "comply with this order or go to prison" and he said "I'll shut down instead", doesn't that still count as failure to comply? Is that like me burning down my house in response to a search warrant?
This post is uninformative BS, but the question of which of the top universities is "better" is interesting, we've been discussing this a lot with a colleague lately, he has a son who can pretty much go anywhere with his scores. His question is: should he send him to a good-good university, e.g., U of Michigan or one of the good-great ones like Harvard. In one case the son will get scholarship in the other most probably not.

In my younger, naive days I used to. believe that the most important aspect of a university is the quality of professors, research, etc. I now believe that after a certain threshold is passed all of them are pretty much equivalent, give or take epsilon. So how to choose among this equivalence class? Choose the one with the best possible network! That's why Harvard and Yale unbeatable, and depending on where you want to go Stanford. The alumni network's distribution within the American workspace is key, not only because those will be your future classmates but also because that's how will perceive you. Why so many important people from Harvard Law School, just because it's hard to get into?

This may be a simplistic approach but at least it gives you actionable items for your decision, I think. BTW, I'm no expert either, I got my degrees from Purdue. My decision process was simple: choose the only American university that gave me admission and TAship.
1. First non-white President of the United States

2. Authorized mission that killed Bin Laden

3. Passed health care reform

4. Committed Federal money to US auto industry at a time when nobody else would do so

5. Repealed 'Don't ask don't tell' and held office during major national shift in acceptance of gays and lesbians.

6. NSA

That's six things that I believe will be historically notable for Obama's Presidency.
I got an Intel X25 in early 2010 and used it as my daily dev machine while averaging probably 60 hours a week for tasks like cloning large DBs and parsing gigabytes of log files, and it's still running strong.
Why founders fail: the product CEO paradox
The word makes you upset only because you assign to it an overly positive meaning it doesn't have. Iconic is close in meaning to recognizable. This sound—just like the Nokia one ten years ago, the Windows or Mac startup sounds, the Intel jingle, even the modem dial sequence—is iconic because when you hear it you associate it with a specific product, so it serves as an icon, a representation of something else.
addiction or not, my code is more composed and creative under the influence of coffee
I still don't see the value. To me it's like proposing that in SQL we replace 'EXEC' with 'HEAD', 'PUT', 'DELETE'...

At the end of the day I still need to understand the contract of the stored procedure to have any hope of consuming a database API of meaningful complexity.
Very nice! Does anyone remember that nifty syntax highlighting script from a while ago that required a recentish version of Vim? I'll install 7.4 and want to try that out, but I don't remember what it was...
By the time they let you know they're investigating you, they've been doing it awhile. This wasn't a friendly getting to know you, you are being investigated for federal crimes. See an attorney now, If/when they come back to arrest you it'll be a surprise.
But the agreements portion wasn't. My company's enterprise license was supposed to run out a week ago. Luckily they extended it, but the hub of everything - the agreements server - was down.
That comment could read as suspicious to many people who don't distrust the government.

I would check with your lawyer for appropriate boilerplate. IANAL, but I'm guessing that at the business level FBI agents are used to not being able to talk without lawyers.
I see. Obviously it's easier said than done.

I didn't use Lavabit because I mostly don't use email, but I'm guessing Lavabit was an easier service to use rather than setting up your own email service. I think @ssimpson has a point though. I don't think he [Ladar Levison] would be turned off by the difficulty of the task of open sourcing his project, but he may be waiting to see how the case works out first.

Thanks for your explanation.
Since Bezos took over, this is the first WaPost article I've taken notice of. Great article - I'm encouraged.
does it have to be a socially advantageous?

maybe powerful leaders who happened to be ruthless spread their genes ruthlessly, more so than the powerful and benevolent
Author of term.js/tty.js[1] here. Nice work. You guys should keep an eye on term.js. The version you're using is slightly old and actually contains a bug (now fixed) wherein all events will become unbound if the reset control sequence is received. I'm also adding fixes for a few other things currently, such as double-width character support, which has been a problem in the past.

[1] https://github.com/chjj/term.js
I just did it twice and it said I was unique both times.
Yep, that's what I have too. X25-M, 160 GB. I remember I paid 400 GBP or something for it back then.
Or it could be the way for nature to lead a group to a disaster, a fight with another group. So that better group survives.
I love Firebase but these kind of security holes make me hesitant to use it for anything serious. Is it even possible to prevent without adding an extra server layer?
Many (most?) of GHC's commonly used language extensions enable new functionality or syntax (DataKinds, GADTs, RankNTypes, KindSignatures, TypeFamilies, FunDeps, MPTCs, etc). Enabling such extensions and not using these newly enabled features shouldn't affect type inference.
You speak as though you know "what the principles of the United Sates actually are", but much like the maligned "annoying other programmer", you don't mention what these principles might be

Quote:
even within the United States no one can agree as to what those principles actually are -- so how can someone outside of it be so sure
Isn't there a huge difference between the meter that the Prius has and the typical "real time" fuel meter. In particular, it is difficult to see how instant readings contribute to long term averages.
Truly Freakin' Ridiculously Awesome Customer Support
CSS Absolute Centering
http://news.cnet.com/8301-1009_3-57597954-83/lavabit-chief-p...

"What happens to your customer's e-mails and data?

Levison: I'm looking into setting up a site where users can download their data and set up a forwarding [e-mail] address, but that may take a week or two to set up. That's all I can do until I feel confident that I can resume the service without having to compromise its integrity.

I will make it clear that I don't plan to use any encryption for that site. [People] should only use it if they feel comfortable with the information being intercepted. And yes, I do plan to have that disclaimer on the site.

Unfortunately, what's become clear is that there's no protections in our current body of law to keep the government from compelling us to provide the information necessary to decrypt those communications in secret.

I'm still looking at seeing if that's even logistically feasible -- there's half a billion messages [sent in the 10 years Lavabit operated]. By shutting down the service, I will be losing the infrastructure that I used to support all those people.

There's stuff that I can't share with my own lawyer. This is going to be a long fight."
If I had to pick just one, this posting wouldn't have been made, because I can already get that here.
American universities are great - you buy your education and you really have to try hard to get kicked out.

I went to college in Switzerland. The group that was doing CS was maybe 75 students on day one. There's a very simple criteria to be kicked out of the faculty: fail any exam 3 times. 7 have graduated with me 4 years later.
isn't the problem here that the people who run the government are in power and as the OP suggests, that makes them incredibly unlikely to be compassionate? At a fundamental level, then, the government seems like a bad candidate to be the agency responsible for "taking care of all basic needs".
Can we please stop with "emerging neuroscience" crap. http://www.amazon.com/Brainwashed-Seductive-Appeal-Mindless-...
Your 11th birthday and you were here since 2009? Kids these days!
My bet is the government told him to modify his codebase to capture passwords at the point where they're in cleartext and gave him x days to do it. He didn't refuse to do it, but closed up shop instead so he didn't have to. I doubt the government can compel him to continue running a business he wants to close down. It'd be like having a broken taillight and being given 15 days to fix it. If the person took the car off the road, they'd not be compelled to make the repair.

Perhaps they can demand he continue to do business (although it seems like a pretty tenuous request), or perhaps they can blackmail him with threats of criminal prosecution lest he keep his show on the road. Who knows?
Brilliant. I wish you guys the best of luck. I hope all of this pays off in the end and you guys can make this awesome product profitable, because I hope to be using this for a long time :)
I'd never advise someone to go to school for "academic rigor." In engineering world its often cover for bad teaching and "gotcha" exams. Moreover, nobody is impressed. If you decide halfway through that you'd rather do management consulting, nobody is going to value that 3.6 at CMU over that 3.8 at Harvard. Engineers won't value it because they want to see your work. Graduate programs want to see your publications and research proposal. The only ones who care about the signaling aspect of college will be the ones who don't value the extra rigor.