skysight-inc/HackerNews huggingface dataset:
Very next sentence:

The only systems which can beat it are theorem provers like Coq, and they are not general purpose programming languages (Morriset and the YNot team might disagree though!).

ATS is dependently typed and therefore falls under theorem provers.
Ideas

1) Bundle a snapshot of the global contact list with the APK. Assume that end users will be on 3G or WI-FI when installing the program. I suppose that is is worth looking at the assumption about what is the largest download that we can live with under EDGE. The current TextSecure APK is 2.5MB as far as I can tell. The best case for the APK download is 1.4 minutes (236kbit/s). If the size is essentially zero, then we need to move to idea 2.

2) Split the rate-limiter into an anonymous proxy controlled by a partially trusted third party. Open Whisper Systems controls the database, but not the proxy. Open Whisper Systems doesn't know where the request comes from. The rate limiter doesn't know what is requested.

Edit: forgot to complete a sentence
Why I Love Coding
How do people feel about Springpad? I've only used both casually, but it seems like the power users probably have thoughts or advice.
10 Signs of Spiritual Awakening from Personal Experience
> Many people, almost by definition, do not believe that their own criminal acts were actually a "crime". Rationalization is a well-known human psychological phenomenon.

It is problematic when you accept people's sworn testimony when it is against their true belief. Usually that is what is called a lie and sometimes a form of slavery. Disagreeing with clearly stated laws is one thing, but signing in agreement on what you totally disagree with and only because you were compelled is suppression of expression. I'm NOT trying to convert Aaron's position to one of free speech, but there is a line when you decide that someone has broken the law whether they agree to it or not and making them against their beliefs sign on a paper that becomes public record stating that they knowingly broke the law. The case here is when a law's validity is being challenged, this signed piece of paper removes any doubts about wrong doing and seals the fate of the signer. The law is validated by invalidating the counterargument through coercion.

> Whatever else Aaron thought about his idealistic mission, being on the MIT subnet without permission was wrong (both morally and legally), as was entering into the MIT server farm to gain that access.

But this wasn't even something that Aaron naïvely didn't recognize... he knew this was wrong to do as he had the same level of JSTOR access at his own campus at Harvard. But he didn't leech JSTOR from his own campus, he traveled across the city to surreptitiously do it from MIT. He even once covered his face with his bicycle helmet when he noticed a security camera so let's know act like "I didn't commit a crime" was his big hang-up. He did know, even if he disagreed personally with the law itself.

This I totally agree with and even if he disagreed personally with the law itself he did what he did and it was at least in my opinion somehow not right and obviously illegal.

> Well for starters you don't need to prove your innocence, you need only demonstrate that the government was unable to prove your guilt. But either way Dr. Granick covered this point already, and her treatment was comprehensive.

The problem with this argument is that his life was already nuked. The prosecution and MIT were in cahoots. If you read the article carefully you can see that Aaron's lawyers were upset that the prosecution was getting documents from MIT without warrants and hence violating Aaron's 4th amendment rights.

Tensions at MIT heightened in October after Aaron’s lawyers filed a motion alleging the university was “acting in concert” with the prosecution, violating federal law and Aaron’s Fourth Amendment rights protecting him from unreasonable search and seizure. The motion sought to suppress the indictment and all information gathered during the investigation. MIT was afraid its employees might have to defend themselves on the stand, which Abelson concluded served to further align the university’s interests with the prosecution.
Screwing you for your founding / very early stock options? Might be worth checking with a lawyer?
Ask HN: What's your favourite notebook and pen?
I've been forcing myself to write down more ideas, thoughts and processes whilst working. My job requires me to work on more than one codebase at a time, frequently switching projects and languages. Previously I would hold all of this context in my head and I'd go home feeling awful and not wanting to build or do anything more productive. From writing constants, to expected outputs and build times. It's freed up so much more brain-power.

Switching to pen and paper has really helped me manage of these contexts.

So my question is, what's your favourite notebook/paper and pen to write, doodle or think with?
Micropreneurship as a legit profession to eradicate unemployment
Look it up and you'll _realize_ that "realise" is the non-Oxford English spelling, and the Oxford English spelling is realize.

It's the same with many words with the -ize suffix - we seem to have subconsciously accepted -ise to the point that spellcheckers demand it, when in actual fact the OED form of a word typically uses -ize.

Most British newspapers use the -ise form. The Oxford University Press use the -ize form. So it isn't as clear cut as you think.

I recall reading that the -ise alternatives have some roots in Australian us of the language.
I find it a bit clunky for simple text notes - I wish they had a text document type.

I did lose one Google doc once (a drawing). About a year or so later it turned up again, really odd.
Synchronous Online is About To Get Much, Much Better
This is useful insight, thank you.
ATS is meant to be a general purpose programming language. The fact that you have a theorem proving subsystem is to aid in the programming/verification. Idris is another dependently typed prog. lang. that is intended for general purpose programming.
And also if you are having this sort of problem you need to proactively reach out to all customers, not just one...
The sony vaio ones are pretty good in my experience.
The author is conflating an awful lot of things which are not necessarily similar or even necessarily technical challenges to draw a deflecting conclusion about "gobbledegok".

It's a warning / apology for the logical, competent, altruistic and forthright executives of the world not to be further misled by the self-serving, evasive, babbling "geeks".

Something like a condensed Make Mine Freedom [0] for the "dangers" of technology.

>"But the first step is the simplest and the most important: like Dennis, we need to ask challenging questions, admit that we do not understand “gobbledegook” and demand answers."

What a concept.

Just demand answers to something so far beyond your current comprehension as to be nonsensical.

What's in the best interest of the company / country here?

Is it really attempting to synthesize three decades, a handful of degrees and years of domain-specific knowledge into a 5-minute PowerPoint deck? Or might we all be better served by replacing complacent, technically illiterate board-sitters with people who care enough to come prepared and stay current?

0: http://www.youtube.com/watch?v=mVh75ylAUXY
Also, GHC got new, heavily optimised IO manager in version 7.0, which was released later that year[1]. This is probably the more relevant change, as there hasn't been a GHC release that includes Mio yet.

[1] http://johantibell.com/files/hask17ape-sullivan.pdf
I'm not sure if it's the same thing. I just did a test and the burst mode on my iPhone5S captured about 9 frames per second. SnappyCam claimed to have 20 to 30 fps full resolution.
OpenSSL.org breach was caused by insecure password at hosting provider
I totally agree he killed himself just like every suicide victim. The question is why does a person commit suicide? Boredom? Adventure? To get laid?

Your comment is the stupidest I've read in a long long time.

Down voted.
Been there, doing that. I find using a fountain pen helps set the ambiance for these sort of processes.

I bought a couple of nice ones (Sailor), but a $35 Lamy is perfect. Cheap, industrial, easy and safe to cart around, fun to use.
> Business is about money. You want to make an impact on the world? Go into something other than business: volunteering, activism, organizing, politics, any of that stuff.

I strongly disagree.

Ford, made a huge difference in the world.

Apple, huge difference.

Microsoft, huge difference.

The original AT&T, huge difference.

Key decisions by individuals at those companies have had more impact on the world than most of us can ever hope to have in politics or through volunteering or any other activity, and though at least partially technical merit, it is possible to get into a position to be the one making those decisions (which often time can consist of nothing more than a developer making wise well thought out choices in a design!)

Corporations are huge force multipliers, capable of pulling of feats of engineering that small teams just do not have the resources to do.
Show HN: Brainturk cognitive games app
iOS
https://itunes.apple.com/WebObjects/MZStore.woa/wa/viewSoftware?id=787822673&mt=8

Play Store:
Free version: https://play.google.com/store/apps/details?id=com.bodhi.brainturk.lite

Full : https://play.google.com/store/apps/details?id=com.bodhi.brainturk

Amazon
Full: http://www.amazon.com/Developer-Brainturk/dp/B00GRVUTF2

Lite: http://www.amazon.com/Developer-Brainturk-Lite-Brain-Trainer/dp/B00H1TO1I0

Web : http://brainturk.com
Clickable Links

iOS https://itunes.apple.com/WebObjects/MZStore.woa/wa/viewSoftw...

Play Store: Free version: https://play.google.com/store/apps/details?id=com.bodhi.brai...

Full : https://play.google.com/store/apps/details?id=com.bodhi.brai...

Amazon Full: http://www.amazon.com/Developer-Brainturk/dp/B00GRVUTF2

Lite: http://www.amazon.com/Developer-Brainturk-Lite-Brain-Trainer...

Web : http://brainturk.com
Well, there's a minimal set of things you must mention to fully explain something. The only way to explain his PhD fully would be to read his PhD dissertation, as that's what the definition of a dissertation is.

Summarizing is about maximizing the amount of information conveyed per word. Saying "you have failed to explain what he does in two sentences" is a bit silly, since, if one could fully explain his PhD in two sentences, it wouldn't be a PhD.
Setting up my perfect dev environment on OSX 10.9 using Chef / Kitchenplan
It is so frustrating that people don't try to look up what they should know before commenting: http://en.wikipedia.org/wiki/Hacks_at_the_Massachusetts_Inst...
Favourite notebook - leuchtturm1917
Pen - Uniball eye
And also probably the reason why the cheapest iPhone 5S costs 940$.
I use it at work, I would love to have it at home but it is not available for OS X which I do not want to understand why
Could we at least wait for the bank to give its response before we start condemning it?
I find it so frustrating that many organisations put massive efforts into software that is very locked down and not as good as the community would provide for themselves and probably share for free.

This is particularly obvious in the case of media companies and banks. If they provided a nice API instead of specialised webapps, there'd be beautiful and more functional applications available for free to their customers within weeks.
Games Giant Zynga Starts Playing With Bitcoin
Fake or not, the real problem for the US is that the video is credible. The rest of the world has not forgotten Abu Graihb.

According to the Wikipedia article, this was standard procedure: "anyone taken to holding cells of the New York federal courthouse is automatically subjected to a strip search". That's just barbaric.
I buy all my pens at Muji's based on their feeling, you can try them out on the stationary island. I'm not picky about paper, but need lines, preferably grid.

You might want to wall your office with smart boards though.
(There are quite a few of us in this thread, fwiw: brson and pcwalton are Mozilla employees working on Rust and Servo; sanxiyn, bjz_, steveklabnik and I are volunteers, just from the handles I recognise.)
Do you talk to your mother with that mouth?
I feel that here Feynman is reluctant to admit that the answer is - we don't know. While we know a lot of the properties of magnetic fields and how they're amplified in magnets, afaik we have no idea what they're "made of" yet (if they're made of anything at all) or by what means they exert force at a distance.

The fields are presently among of our base concepts. Like the atom was, until the discovery of the electron and nucleus around ~1900.

What he does capture well is that you always have some kind of a base which you accept.
Lamy Safari medium, and either a Moleskine or Leuchtturm1917
Nice hack. Beware of the well-publicised security/privacy issues in Dropbox, however.
Looks fun but could get irritating as a constant reminder, also I would be confused with my phon'es vibration.

The girl could do with a lot less arm hair though
I am pretty sure that long term this is not going to be viewed as healthy.
While I don't know about the situation elsewhere in the world, here in Germany most banks retired the single use codes (called TANS or (if indexed) iTans) quite some years ago for being insecure.

Most online banking will now require a code created per transaction that is 1. either send to you via text on your mobile phone (and is thus prone to phone malware) or 2. is generated using an external device and the chip on your banking card[1] (a true two factor authentication). Both system will show you the exact details (target account, amount to be send) before confirming the transaction. A virus on the computer is not sufficient to hijack your account.

Just out of curiosity: What security measures do your banks employ and do they allow you to upgrade to a higher security level?

[1]https://www.ksklb.de/privatkunden/banking/chiptan/chiptan_fa...
You have to applaud anyone seeking to know more about technology. And the more your customers know, the more likely they are to choose the optimal solution (yours?) rather than some slick marketing pitch that will inevitably fail to deliver the promises made.

Some people argue that you can't condense all of that knowledge into phrases non-technical people can understand, that's rubbish. Consider what they already know, then give an overview at that level with a list of benefits. Wherever they inquire then just explain that part at the next level down.
hey, can you tell more on this? i've been suspicious of it...
I'm willing to live in a homeless shelter to realize my goals. I believe when money has no power over a person, they are ultimately empowered to pursue their dreams without repercussion or worry.

The best quote I've ever heard was from a billionaire who won and lost his fortune many times over. He was asked why he kept going. His reply was that he had come into the world with nothing, and was going to leave with nothing -- the worst he could ever do was break even.

Money is a utility. Money is not a goal.
I am aware of the OUP's stance on -ize. My little dig at the commenter's parochialism would not have been enhanced by a exploration of the nooks & crannies of International English.
Yes, music can help one to get in the zone, but as another poster mentioned, the obvious issue is that the music you're being forced to listen to is someone else's choice, which then becomes a complete distraction.

Are you going to preach the gospel of musical concentration when someone's choice of Rebecca Black's "Friday" is blaring in your ears? If you're concerned with nuance, how could you not recognize this as the central issue?
> You might want to wall your office with smart boards though.

This is something we've wanted to do for ages, however we don't have enough space at the moment. We've got a whiteboard but it's not very big and it's awkward to use because of the size and not being mounted.
In theory you could cook once weekly, and freeze everything.

If optimized it could take only a few hours,and could be a shared family activity.

But it's still work, and being a working poor is exhausting so i understand them preferring to rest.
Sharp Knees Syndrome.
Is Average Over?: Two Equivocal Graphs
For example, producing skinless chicken and leaner meats requires more work at the processing plant.

I don't think meat stripped of fat is any healthier compared to eating meat as it is in the animal, and also organs, and maybe even some bone marrow on top. Liver, for example, is quite packed with certain vitamins, especially A, also iron, and is often cheap as it's considered some "lesser" kind of meat.

Or fish - some types of it are dirt cheap (may depend on your location, of course). Yes, salmon may be tastier, but are blander types of fish any less healthy?

I guess the study may have compared "healthy" in the mainstream, advertised sort of way - skinless fatless chicken, lean meat, tuna fillets, fat free everything etc.
Restrictions on X means it will cost more. Thanks for the heads up.

But in reality, not much more.

Or more importantly, long term less.
I think the issues in bdwalter's comment (above) illustrate the problem.

The concept of Evernote is great and it initially appears well-executed (in fact, it is very well-engineered).

But, there are many serious problems that users inevitably start to hit after some time. Once these hits start to hurt, then you realise that reliable old software and file sharing fit your need better.

Personally, the lock-in hurt me a lot. I was using Evernote to store some data until I realised that I could not get it out of there without signficant difficulty. Account deactivated.
Doesn't Linux count as a major platform? I don't understand that with all the funding they have that they can't hire a developer work on a linux app.

And see Dropbox as an example of something which supports every major platform WITHOUT losing data losing bugs.
Did you see people throwing themselves out of the World Trade Center not wanting to be burnt alive? Was it their choice to kill themselves? Were they victims of their own minds? Think about your stupid comment for a while.
Out of curiosity, what might those options be? It seems like part of the point of vesting schedules is so that the company can get rid of you if they want to before you vest.
I'm also an Evernote premium membership and i am so sick of their service. Asked them an easy question (one of my pictures didn't get OCRd for days) and they answered 3-4 days later with a standard answer: OCR can take some time ..
yeah thanks for that, it can (read: should) take like an hour but not days - especially if you are a premium user..

I like the idea of a powerful tool to help organize your life and kind of outsource part of your brain. But i just can't trust them enough and considering their track-record - there is no reason to do so..

I also think its very sad that you seem to have to post online and "endangering" the company through a PR stunt to just get the attention of them. Seen the same thing with companies like T-Mobile where problems seemd unsolvable till a facebook shitstorm threatened to rise.
Probably because it gets more clicks than "Hire me for love".

Seems to have worked?
Tried that, Docker was more of nuisance than help, so I've remained with bare lxc tools.

https://news.ycombinator.com/item?id=6959864
Well, the plan z really just needs to be acceptable to you.

As in, if the worst can happen is that your face is eaten by wild dogs, but you're OK with your face being eaten by wild dogs, then you should be fine (absurd example for illustration only).

Of course, lying to yourself about your risk tolerance is where a lot of people go wrong, in both financial investments and in life decisions.
I would think that at the very least female "suspects" would have all-female staff administering such searches.

IF this is not a fake, it's out-%$^#-ing-rageous, the poor woman was treated like an animal. OTOH she should pay her staff a living wage.
Hey, come on. Some of us are quite intelligent and work hard as well as play hard. Don't be hating.
For my bank (Nordea in Finland), it's numeric user id + single-use 4-digit code (on a physical card; they automatically mail you a new one when you're starting to run low on codes) to log in to net banking. A random one of ~30 multi-use verification 4-digit codes is then used to confirm a transaction.

In addition, the Nordea mobile app uses a request to activate a single 4..8-digit password for read only access to your information. (I may have reverse engineered the app a tiny little bit to find this out. The underlying HTTPS API is, as one might imagine from a banking app, terrible.) Beyond that, you still need the above login procedure to do writes (transactions) with the app.
> I think if you can't explain what are you doing in general terms in 30 seconds to a layman you probably don't really understand what you are doing.

Often repeated and attributed (apocryphally?) to Einstein but has never been true. Lots of scientists lack the skills required to explain their work succinctly to a general audience, and it doesn't mean they don't understand their own work.
I've tried Evernote for a while with various strategies. Time machine saves you if you have an always on machine with Evernote permanently syncing. If you can't have that setup, for everything you do on the go or not on your mac, you won't have a back up.

Depending on how you do it IFTTT can help save notes to other services (you have to save the note in authorized notebook if I remember well) but it's still a PITA.

Globally having Evernote feed another system reliably seems to be really tricky, as nowadays having two cloud based system play nice with each other is usually a world of hurts.
There is useful information on ffdn's wiki, if french is not an issue, in particular this 11 parts series on how to build an isp hosted on spyou's blog: http://blog.spyou.org/wordpress-mu/2010/06/09/comment-deveni...
> they said I should check the App Store release notes, which routinely includes the ambiguous line “bug fixes”

The trend of putting just "bug fixes" or "performance improvements" into release notes drives me mad. Your users are not stupid. They know what bugs there the app has and will be happy to know if those specific bugs have been fixed.

"Performance improvements" is equally lame. It could mean that you cleaned up some code and now a function call is 0.05 seconds faster without any visible user benefit. Tell us how the app is faster.

HTML5 apps are sometimes sold on the promise of being able to update themselves without going through an app store review, but you would also lose the standard way of delivering release notes unless you build that functionality yourself.
Why are you taking it as sarcasm? MIT didn't know it was him until they installed a camera and guest logins are the norm and apparently/reportedly have high privileges.
This looks great. Why have you priced the app at $2.99 I have been using Lumosity and they charge $79.99 per year across their website and app and they have very limited games on their app.
I don't want the watch but I like the idea, I actually have an app on my that chimes every 30 minutes, and I find it useful,
エルメス バッグ
エルメス バッグ
Animation, purely with folded paper.
True, I could have still used zeros and ones to enumerate all outcomes of the biased coin, but said that both digits represent heads.
Considering that in the US health insurance costs are potentially 12 dollars an hour!!Healthy eating looks like an excellent long term investment.
http://marginalrevolution.com/marginalrevolution/2013/05/do-...
General Mills makes “not much of a change” to Cheerios
That was my initial reaction also. I think our minds are old. I recently wrote a post (http://jonblack.org/2014/01/01/everyones-hacker/) about how the definition of "hacker" seems to be far broader than it used to be.
No it couldn't. 5 words is the minimum amount of storage that Ruby needs for representing all its core types.