skysight-inc/HackerNews huggingface dataset:
If you're not talking math (which includes logic), proof can never mean what you want it to mean. So why get upset about it being used differently outside of mathematical context?
Totally agree with not using this with procs/lambdas, but his first example seemed like a nice use case.
It is significantly easier if you have the patience to reason about it for a bit longer.
I love that he was so excited to tell them, he just blurted it out as soon as they opened the door.
I have a thinkpad x230 that I like a lot. Very small and light but fast enough for hard core C development.

I use it plugged into an external screen/keyboard most of the time but I do work on it directly when traveling.

I've got a larger thinkpad with 2x the cores/ram and I rarely use it. The light factor is compelling for me.
Now I want to see a bad informercial for an iPhone with hilarious videos of people fumbling with $40 resistive knock-off Chinese android phones a-la http://reddit.com/r/wheredidthesodago
How The Upshot Will Help Navigate the News
Default to Tuple
I think there's a difference between a dependency on a library, and choosing a syntax or language. If you do not rely on jQuery, or jQuery doesn't move your code forward, you absolutely should not depend on it. You can always spin off a pluginized version. Of course, jQuery is as near a standard component as JavaScript has, so I'm not surprised to see it so often as a dependency.

On the other hand, people learn JavaScript. It's the language of the web. CoffeeScript is something some developers prefer, and others do not prefer. Any CoffeeScript developer can read JavaScript, its native parent, but the opposite is not true.

Therefore, I respectfully stand by my original argument. :-)
The problem with airgap test equipment (I work on this kinda of stuff professionally). Is often the redevelopment of real time software for lab and calibration equipment is very expensive.

Its easy to think, "Why don't they use [New Hotness Software ]?" Which on the surface seems to be a good idea. Until you absolutely need sub-millisecond precision I/O, then you kinda start to cry when you realize how hard precise timing in computers is.

If you use lab equipment in say Linux, BSD, OSX, Windows. Your using a time shared, not Read-Time OS. So your I/O events aren't when the event happens, but when the scheduler is damn well ready to let you know the event happened.

The easiest example is a timing equipment I was using to count digital pulses form a quartz crystal. In a 'modern' secure OS I couldn't really get below 0.1% margin of error. Which wasn't acceptable for the equipment which wasn't low enough for our uses. I fall back to an older insecure real-time platform and bumped up to 0.005%.

Security is great. I attend security conferences in my spare time and try to stay up to date on the topic. The main problem is when you get into most this computing everything isn't running glibc and win32. Hacking isn't very easy unless you know the system to start with.
YC S11... after two months? Huh?
That's a valid guess but we're seeing it intermittently in the office which is why I raised it.
I can certainly see services like wiki and issue tracker hosting being big value-adds with GitHub. Thankfully GitHub does allow you to export your data. (And to be honest, I feel it would be a mistake to use these services if you couldn't export your data.)

The wiki system on GitHub is based out of it's own git repo (https://github.com/[user]/[repo].wiki.git). If you could be bothered to pull/push when changes are made, I'd imagine this content could then be made distributed.

While not distributed/decentralized... GitHub does lets you export your existing issues. The resulting archive can then be imported into services like bitbucket, pivotal, and etc with a little work.

There are solutions for distributed/decentralized issue tracking, but I haven't seen any great way for users to interact with them. (SD and Bugs Everywhere, other users have posted links in their replies.)
When I reinstalled my OS and neglected to save iWork '09, I called Apple and they overnighted me an install disk for free without even checking that I actually owned an iWork license.

I don't see why it's reasonable to expect to be given software from the CD/DVD era as a digital download. It would be nice, yes, but Adobe will not give you a digital download of CS5 (I tried.) I'd be surprised if Microsoft would give you a digital download of Office 2003.

The inability to read old documents is shitty, yes, but Apple made a solution available. If you need 5-year-old software, then it's not unreasonable that you need some now-obsolete hardware.

AFAIK it's not necessary to buy Apple-branded drives - there are cheaper alternatives. You can also "share" the CD drive of any other modern Mac on the same WiFi network - I've used the family iMac to load Creative Suite onto my MBA. I bet they'd also let you use an optical drive at the Genius Bar, even if you're out of warranty.
No, I think generating demand for good tools to monitor, manage and improve health amongst the general public will drive real innovation in consumer health care that goes beyond multivitamins, fad diets and fad workouts. It will introduce a whole new dynamic to the bio technology industry via a better informed and educated consumer. And I think Apple may be the only company that can do this in a way the general public will warm to and accept.

But you're not really interested in what I think are you.
It's more an issue of domains, and how they're defined.
Naked Pings
I think the issue is that bitcoin fanatics assume something is deeply wrong with our current system, or that banks are parasitic and not providing any value. Sure there are places it can be improved, but the current system works well for many people. Before credit cards we had to rely on informal credit. Sure, I could open a bar tab at a local place where I'm a regular, or the man at the corner store might let me run up a small bill. Your word was your bond, but if you left town, wanted to make a large purchase or weren't from the right family (or had the wrong color skin), it was a cash only world.

Right now I can travel to any corner of the globe and make transactions on credit with someone who knows nothing about me and has never seen my face. He's confident that he'll be paid and I'm confident that I have recourse in the event of a bad transaction. I don't have to carry large amounts of cash or worry about being robbed. If my card is stolen my liability is relatively small. That costs something, but people overwhelmingly see value in it and are willing to pay this cost.
I hope this works out for you. I'd really like to see micro-transactions replace advertizing as the primary revenue source of the web. I'm afraid your experience so far shows that we haven't reached that tipping point yet. What percentage of your audience even has any bitcoin to donate? It has to be 1000 times more frictionless before I see this working outside of a niche (that you don't seem to be in).

Good luck.
IEMs (in-ear monitors, the earbuds which form a seal in the ear) are actually safer to use. The admission of background noise encourages users to turn up the volume, risking damage to their hearing, especially in loud environments where one is bound to use earphones (like subway trains).

Me, I take one earbud out when I am in an area that requires auditory attention to my surroundings.
That's all nice and dandy and I don't have reason to doubt the noble stance of the founders, but what is the opinion on privacy of the new owner of WhatsApp?

Anyone who has ever sold a business (or part of it) knows that new owners exercise control and it's their legally enforceable right to do so.
Well cross section, which is in a quite handwaving way proportional to surface area.
This is ridiculously awesome :) Bravo.
Bill Gates : Yes, robots really are about to take your jobs
http://bgr.com/2014/03/14/bill-gates-interview-robots/
Something like this:

[-/+ buffers/cache#free] = [Mem#free] + [Mem#buffers] + [Mem#cached]

[-/+ buffers/cache#used] = [Mem#total] - [-/+ buffers/cache#free]
> None of that data has ever been collected and stored by WhatsApp, and we really have no plans to change that.

I love the "really" there. Even while trying to reassure people, he couldn't resist leaving himself at least a little bit of an out.
Haskell also has the analogous HaLVM: https://github.com/GaloisInc/HaLVM
Who the hell is "We"? You're green.
FYI, Mac App Store told me OneNote runs on Mavericks (10.9) only.
Yes, but I imagine that you can sell gold a lot easier without having to explain where it comes from,than a Malaysian Airlines branded 777.
So Time.com is a Wordpress blog with a header which covers half of the page,

pretty low level,
OCaml is Object Caml right? What about SML? I always loved SML, but it never got any traction at all. The O in Ocaml always turned me off, they cluttered up the syntax with all the object notation.

Does anyone have any insight into why OCaml rose to (relative) prominence and not SML?
For any competitor to even make a dent in Craigslist they'd need to expand well beyond SF. Almost three years, and what markets is FOBO in? When you install the app, you get a modal that says "Available Only in San Francisco". It apparently uses geolocation: I can't even look at the app if I'm not in SF.

Also, they need to expand well beyond consumer electronics: on CL I've bought furniture, cars, found freelance work, searched for office space, searched for a home to lease, and more.

FOBO could "win" 100% of personal consumer electronics sales in SF and it's probably would have no effect on CL.
Pages '13 can't save PDFs with links. The official workaround? Use Pages '09.

Pages '13 can't open templates created with Pages '09.

Pages '13 can't copy and paste lists with numbers into plain text.

There's a reason why it has 2 stars on the app store. Somebody seriously dropped the ball at Apple. Office never pulled shit like this. As soon as '14 is out for mac, I'm removing iWork. Caring about design is one thing, caring about design more than the existing work of your users is another.
Hey - we have Bracket Pools in the nav bar - that should let you invite friends and have them put their brackets against yours.
It looks there are two main reasons to have a private Git server: to archive your own code, and to have control over how visitors and collaborators view your shared code.

If you want a place to store or archive personal projects (because you don't want to pay for private Git hosting?) features like wikis and issues become rather irrelevant, and if you want to move that data to or from GitHub, that takes some effort to be explicitly exported instead of just adding a new remote.

If you're trying to keep your own code, running your own Git server is simple if you have SSH (or not even SSH if you want to create a local "server"). The Git website has a simple tutorial for this: http://git-scm.com/book/en/Git-on-the-Server-Setting-Up-the-...

I've also simplified this workflow into a tiny command, "mygit": https://github.com/interestinglythere/mygit

As for running a GitHub clone, unless you have some really edge-case needs or you really don't want to pay for private collaborative repos, your time is probably better spent maintaining your actual code. In addition, having your code on a social site will make it more receptive to contributors. If you don't want contributors, why do you need a /Git/ server? (If it's because that's how you like to manage your code, see my first point.)
I am not talking about cell volume, I am talking about number of cells. So if a single celled organism is hit by a gamma ray and a cell dies, it is dead. If a tree looses a single cell, it will probably survive.
If your MacBook Pro has less than 8 GB RAM, I'd upgrade. Also, your hard drive may be about to crash.
Gates:Governments should beg businesses to keep employing humans over algorithms
New technology has humble origins...
I came across this picture which I thought HN might like. Apparently taken around 1855 in the Grand Harbor at Malta:

http://i.imgur.com/c9VseQ5.jpg

Mostly impressive sailing ships (British warships) from the height of the age of sail but if you take a close look on the left there's what appears to be the latest technology - a tiny side paddle steamer with 2 bright wheel caps, one funnel in the middle.
I organized one of my bookcases by spine color. It's a really easy way for me to find books because I can just think of a book and the spine color comes to mind. Furthermore, because the colors are grouped, my eye goes to the right section instantly.

This may not work for everybody, but I love the speed of access and the way my bookshelf looks as a result.

Edit: I have done this with my icons in the past, too: http://flickr.com/photos/porkfriedrice/3753844018/
So there's a local cached copy that you can back up if you're a stickler for keeping local backups of your data?
Sadly, it seems like a business opportunity: "we'll convert formats for you when your vendor drops the ball."
I agree, the same argument could probably have been made of postscript (ps) at some point in time and while it's still around, most (non-technical) people don't use it.
It Shipped And It Was Fast
I'm liking the new API-friendly approach of Microsoft. Once the "get" functionality to retrieve notes exists, I see many possibilities for alt. clients, add-ons and integrations which will make OneNote as a platform more compelling.
Here in my company we had the same problem and we are using http://practiceconversation.com as alternative, nobody uses this site, so it is nice so far.
Did you know that using only three directions drastically increases the chance of you winning, because it alters the way numbers are being stacked?
On the contrary, every thread has its own stack. In fact the stack was the original "thread local storage".
Google's Matt Cutts Wants To Give Ranking Boost To SSL Sites
I find it interesting that you claim one of Nethack's problems is that "it gives the impression of being a sandbox game but it isn't really (hunger clock, inflexible ascension goal)".

It's never made that claim. For one, I don't think sandbox games even existed in form, and certainly not in name, in the 80's. Secondly, it has always been a rogue/hack clone, solidly in the 'roguelike' category. Most people would not associate roguelikes with sandbox games, although I might agree that more recent games like Minecraft with perma-death mode may blur the lines somewhat if your sole definition of roguelike is "can't load your game after you die."

In fact, Nethack and its brethren are more of a breath of fresh air in the current gaming world. They have one goal, and that's it. For Nethack, it's get to the bottom, grab grab Zot, get out alive. That's about as far from a sandbox game as you can get.
So I'm with you. I also suffer from attention span issues. It's been a terrible thing to have to live with at times.

But I have to ask an honest question: do you have a deficiency for which you need treatment? Or do you have a personality type which might make you unsuited for certain types of work? Or -- more likely -- do you have a tendency for a type of personality attribute expression which varies depending on various external stimuli?

I think it's perfectly fine that something like ADHD is a naturally-occurring personality trait and/or state of mind for which we might need medication to overcome. At the same time, I'm not too happy with characterizing it as a disease or dysfunction. I think we are taking people who are acting in a completely normal fashion and telling them something is broken about them. That ain't right.

In other words, you both might be right. It's not an either-or situation. As we continue to develop our knowledge of the brain, it's a terrible mistake to create some artificial "perfect" personality and mind that any deviation from is a disease. Very. Bad.
That's a fair distinction - but that's something you deal with by filtering through context - not calling "bullshit"
I was interested in the refactoring course mentioned in the post. What I turned up was a youtube video showing someone refactoring code to music. Instead of, like, a github repo or something useful so I could try it out myself. Oh well. It is a nice idea.
Is ADHD considered a disability? If so, looking at the timeframe (2008-2012), and the population segment (young adults), this could be the product of a backdoor welfare program, where ADHD diagnoses are the fig leaf employed.
After installing an update. Before you install the update it crashes on Mavericks.
The core complaint is not you need to use a cd run iWork '09, it's that you need iWork '09 in the first place. The commentary on the need for cd drive is to emphasize how unreasonable it is to require iWork '09 to open several year old files.
Knowing someone inside Google would help a lot. You can check glassdoor.com and look at their interview reviews. Most reply on internal references. Do not take rejection personally. Many think that getting into Google mean you are smart and being rejected mean you are not smart. You may note that MIT even opens a course training new graduates to crack Google interviews because they are fully aware of irrational questions with nothing related to what the students learn in school and trying to fill the gap.
No, I haven't and I do mean this in the most condescending way possible; he's complaining about the proprietary format not working and laments losing his stuff. He could easily solve his problems. It's not a "hack" to open a folder or do you reward yourself with a cookie every time you open a folder on your desktop?

FFS, this is "HackerNews"... write a bash script to do it for you. Better yet, use some "super 1337 h4x0r google-fu" and search "convert keynote 08 to keynote 09" and you'll find a bash script to do it in 5 seconds[1].

[1]: https://www.google.com/search?q=convert+keynote+08+to+keynot...
An Egypt Air 777-200 had a cockpit fire on the ground. This would complicate a reponse.

http://www.avherald.com/h?article=44078aa7&opt=0

Presuming they lost the battle, instrumentation/ap would drop out. Eventually, the fire would burn through the cockpit (see pictures above) and depressurize the a/c. Fire would then go out. Engines would keep going.

Eventually, someone will correlate wind directions with any required in-flight cg changes (fuel tanking) not being completed and I won't be surprised if a pattern emerges.
CAESAR submissions [djb authenticated cipher competition]
I save my archival stuff in .HTML

That's worked out fairly well so far. Stuff I wrote back in the 90s is still readable. Probably not that great if you're a designer, who needs something to look just so when printed. But for near enough everything I do, it's more than sufficient.

Easy to convert too, since it's just tagged text.
Latest version of Flash Pro CC is a CreateJS front-end
Amazing Structure: A Conversation With Ursula Franklin
Secret: A Safe Haven
You could see things like that, but the only reason I read comments at all is to get insights from people that are more knowledgable in a particular subject than myself (or to engage in debate with those that have an interesting point of view). Every time I learn something I value from a comment I've just broadened my horizons. You could see these people as competitors, but in reality we're all eternal students.
Awesome game, now somebody make an AI for it!
"It’s been just about two months since FOBO launched its local marketplace app for consumer electronics."

So they were probably making the app before launching.
It's not like 2048 is taking over the front page. People iterate on an idea that's fun for them, where's the harm in that? What have you done today that you'd like to show us?
For reference, here is the tutorial's example reformatted in a more reasonable way:

open Random
open Graphics

let rec iterate r x_init i =
if i = 1 then x_init
else
let x = iterate r x_init (i - 1) in
r *. x *. (1.0 -. x)

let main () =
self_init ();
open_graph " 640x480";

for x = 0 to 639 do
let r = 4.0 *. (float_of_int x) /. 640.0 in
for i = 0 to 39 do
let x_init = Random.float 1.0 in
let x_final = iterate r x_init 500 in
let y = int_of_float (x_final *. 480.) in
Graphics.plot x y
done
done;

ignore (read_line ())

let () = main ()
>The one thing that stands out is that many of the classes only have one instance created,

To maintain proper levels of abstraction.

>Returning structures from functions requires a copy,

Which is extremely fast, simple, side-effect-free, and likely optimized away by RVO.

>The actual matrix-scan loop in HardwareController could also be simplified greatly;

Nothing you described would actually be an optimization. Turning off all the rows/columns takes 1 cycle.

>Getting the button number shouldn't require a multiplication

Nit-picking. This is fast and easy to read. I'm not going to worry about the few nanoseconds required for a multiplication.

That's also not an issue of "simplification"; it's just premature optimization.

>but USB shouldn't be that much more complex

PJRC wrote that library. Not sure what they do.

>There can be row/column combinations which don't have keyswitches at their intersection, but are scanned anyway. You can connect other units so that they act like keyswitches when they send information.

Why would I do that? Part of the design is that each individual board is responsible for translating button presses to USB keycode deltas. This allows for better distribution of responsibility, and also the boards can be connected in any configuration/order and maintain the same behavior.

>Transfers that occur in small bursts instead of one continuous serial stream.

What's the downside to this? The bursts occur way faster than human perception could hope to notice.

Besides, if you want to be pedantic, any serial protocol communicates in "bursts".
> It's a shame that they are under the thumb of StaziBook

Is that a colored reference to Facebook? Did you refer to Microsoft as "M$" in previous times? A bit childish and detracts from your otherwise insightful comment.

note: I have a pretty much dormant FB account, and run Face-blocker software on all my browsers to avoid it's panopticon.
> PDF is probably the best choice for preserving “design”, but I wouldn’t trust it for preserving content any more than any other format. Always keep a plain text copy.

I agree, but have a look at PDF/A (A is for Archiv{e|al}): http://en.wikipedia.org/wiki/PDF/A

> PDF/A is an ISO-standardized version of the Portable Document Format (PDF) specialized for the digital preservation of electronic documents.

> PDF/A differs from PDF by omitting features ill-suited to long-term archiving, such as font linking (as opposed to font embedding).
The thing is, the average consumer DOES NOT have access to with 30bps currency exchange fees. They don't have the access you do as an HFT guy does. For retail currency exchange and international transfers, especially for international remittances, the fees, paperwork, delays and bullshit are very high.

To do an international wire transfer from the US to Canada for example, costs $25-$50 and has a %3 currency exchange fee. Western Union is probably worse to some place like Brazil or the Philippines.

With Bitcoin exchanges, I can buy BTC at a total of %0.5-1 currency exchange fee, wait 10 minutes and pay pretty much no fees outside of that. We can both use our free and relatively bullshit free domestic transfer services to transfer money in and out of the exchanges. Because of the speed of transacting, the spread from delays are minimal.
That actually made game much easier
If the NCAA bracket model is an indication, Nate Silver does not intend to disclose the actual model used to make his predictions, just like his election models. He tells you what elements he's mixing but not how.

I expect he will also continue to fail to quantify the performance of his models against other benchmarks. In the case of the NCAA how much value does his more complex model add compared to each of the rankings he uses as inputs alone?