skysight-inc/HackerNews huggingface dataset:
Title should read, in a yet-to-be-built-city-like-sf. But as someone classically trained as an urban planner, I appreciate the model for maximizing street parking.

I'm curious how you might solve the current problem?

What if there was a way to let people rent their driveways automatically for specific time periods during the day? Could even have some way for them to leave a set of keys with the driveway owner so they could move it in a pinch or something....
Anyone know any open-source/free alternative?
> How many diseases have we cured in the past 20 years? The past 40 years? Medical advances are really, really slow.

It would be really interesting if we began noticing a medical analogue to Moore's Law in the next few decades (though I don't know how you'd measure it). Supposing conservatively that medicine is 100x better in 2013 than in 1900, one might expect medical knowledge to double between now and 2030. The size of the advances in computing from 1900-40 and 1940-80 differ by several orders of magnitude.

Of course I don't think we have the data to assign a model right now so this might be BS.
> they are using unsigned 64-bit values (which conveniently have defined overflow semantics) for the lengths of the input buffer.

Yes, if you examine the code you can manually prove that it's safe: but that's not proven by their formal computer-checked proof.

As for the rest of your post: you seem to be assuming that what they proved is that b64enc.c behaves correctly. This is not true at all: they just proved that the helper function base64_encode() works correctly for a specific size (this is done in proof/sym_encode.c). This helper function never calls base64_encode_update() twice and is not used by b64enc.c, and that's why we don't know if the multiple-block implementation from b64enc.c actually behaves correctly.
Pilot pens don't leak, except when you go on airplanes. Be careful.
Possibly because almost every single post like this brings out the same apologists. The same apologists get voted sky high.

The proper question is how do the same apologists get voted to the moon and posts such as this get deleted?

We already know of corporate astroturfing. Could that be happening on HN? Nah, unpossible.
I tried to install it on Windows 8 on my desktop (not 8.1) and was informed that it is only for Windows 7 SP1. I could help but roll my eyes.
More evidence of this is the Breakthrough Prize: http://breakthroughprizeinlifesciences.org/sponsors

Sponsored by Sergey Brin and Mark Zuckerberg (and Yuri Milner).
I didn't intend my first statement to be absolutist, and I do not believe I need to resort to some extreme form of free market society, in order to have my vision of reality work.

gdulli was criticizing a corporation for providing goods and services that a relative minority of the wealthy can provide.

I assert that that criticism is only valid, if you have fundamental problems with capitalism itself. The way I stated that was, "you either believe in capitalism, or you don't." I am not aware of a better way to state that. It's a matter of faith / belief / an assumption. If you share in that view, you can correctly engage in one set of logical discussion. If you do not share in that view, you can only engage in another set of logical discussions. Watching someone criticize a corporation for providing luxury goods is ample evidence that they're having the wrong kind of discussion. Their first necessary step would be to convince me that we should abandon capitalism. Period. There's no other first move in that game.
Your second and third "sins" are the ones I most frequently observe - they seem to be present in almost all "Show HN" posts - oh and not providing a link to the web site.

A well researched "sins" list in this area might make a great addition to the "Guidelines page" - but there again a poor post is probably an effective indicator for the quality of what is to be found.
Perhaps I missed something... where is Aubrey de Grey linked with Calico? I didn't see any mention of him in Larry's post, the press release, or the time article. Where is this coming from?
Well, deathism going out of fashion with one of the biggest technological companies of the world can only be good.

This is the greatest news I've heard in a long time and even if it ends up in nothing the attitude alone is commendable.
Tell me about it, even in 10 I find the dev tools extremely lacking and slow.
It's unfortunate that people still think they need monolithic libraries to get anything done on the client side. The node ecosystem showed this doesn't have to be the case. It becomes even more important on the client side to keep dependencies small.

My favourite ecosystem for client side development these days is component (https://github.com/component/component). It's similar in style to npm but faster and made for building apps from small modular pieces. It has a growing community and lots of modules already (https://github.com/component/component/wiki/Components).
GPL Abuse - Reselling WordPress Products for Profit
> A few extra years is one thing, immortality sounds like a fool's paradise to me.

Feel free to pass on it then, assuming you'd actually make that decision if you really had the choice. That problem will naturally solve itself: the set of people still alive will trend towards 100% rejection of having a limited lifespan.

"Everyone who had serious philosophical conundra on that subject just, you know, _died_, a generation before. [...] didn't need to convert its detractors, just outlive them." -- Cory Doctorow, "Down and Out in the Magic Kingdom".
If it's only a dozen people or so, it's a pretty minor expense for them. The cost to the company is easily offset by the urban legends circulating among business travelers about knowing some guy that got free upgrades for life. That's a lot of persistent, viral PR for the quality of your customer service for very little outlay.
My only big hangup with paper notes is that they aren't digitally backed up. I always end up re-copying everything into EverNote and throwing the paper notes away.

Any suggestions on how to easily backup handwritten notes online?
Game developer Bigpoint’s 330m users can now buy virtual goods with bitcoins
This is huge. NodeJS enters into the enterprise!
I work for myself. I'm 36, with a wife and three kids. Health insurance for of us (in Oregon) runs about $600/month. Assuming an employer would pay 100% of my premium, that means to come out equal I have to earn $7200 more each year than I'd make from a salary. For a freelance software developer, that's no problem at all.

I agree that if you have a pre-existing condition then the numbers might look a lot different. But if you are healthy, working for yourself is a great opportunity, and you needn't be deterred by the cost of private health insurance.
People constantly repeat that, but I never see it actually be true. I frequently see people spend tens or even hundreds of thousands of dollars on hardware and hosting costs just to save $5k of developer salaries. Just because they have internalized this notion that "hardware is cheap, developers are expensive", and don't ever actually look at the numbers.
Capacity planning isn't sexy -- but we all do it
Fine, but, I would say that before one jumps into whatever treatments will be offered, given capable legs, they must first walk and ride a bike more.
Play around with some different pens until you find one you enjoy writing with. Play around with some different notebooks/papers until you find one of those you enjoy too. It can be harder for us lefties to have fun, but it's only impossible if you've given up my friend.
iOS7 seems really slow. hitting the home button to wake the screen up takes way too long.
Science and tattoos
Personally I hope that Google is humble enough to morph cross-platform mindshare in addition to growing killer channels and facilitating bleeding-edge infrastructures.

This approach will surely recontextualize best-of-breed vortals, implement world-class research and innovate value-added technologies by embracing impactful infomediaries.

Imagine how much longer we'd live if we leveraged sticky e-services, brand user-centric channels, iterated seamless deliverables and matrix impactful architectures?
Could somebody clarify what the actual business plan is here? There is VC investment, so I assume there is at least some idea of how they are going to generate a return? It wasn't very clear from the post and I'm not familiar with cyanogenmod…
I don't have much confidence that those numbers are actually meaningful. IE10 counts as a "modern browser" in my book.
Agreed, I really like AngularJS and Firebase and I am using them together for a client but AngularFire isn't perfect and you're correct, the documentation could be much better.
The only reason I have not been able to switch to IE is browser extensions. Does IE have that yet?

I said the same thing about Chrome when it first came out. I happily use it now.
I believe EverNote has some sort of a 'smart notebook' which is a digitally backed up Moleskine.
If this random stat I found on Gizmodo (yeah, I Googled and couldn't find anything better) your chances of dying of an accident in a year are 1 in 1656.

So "immortality" is really a couple thousand years.

Don't get me started on "brain uploading". Unless you can guarantee me that I'll still be me (which is really a religious question) I'm sticking with a couple thousand years tops.

Impressive life extension. Not immortality. Not even talking about the "heat death of the universe" here - you're getting nowhere near that.

You can live your life through robotic surrogates, and that could extend your life further, but wherever you warehouse your body becomes a single point of failure so it had better be secure.
IOS 7 is Out. Digg is ready.
Starting a Company Can Turn You into a Psychopath
Protip: In almost no circumstances is it a good idea to make comments about someone's spouse. Much less on a professional forum, and certainly not on HN. Regardless of the intent, the potential for misunderstandings, over reactions, and incorrect inferences is great, meanwhile such comments almost never add any meaning to the discussion.
You don't have any information on how much money they have invested.

All you do is speculate and inform us about your aversion towards Google.

And the enlightening insight that Google would probably drop this project if their profits started going down isn't really informative unless you think that we all here have problems with understanding fundamental logic.
OSv - Designed For The Cloud
Actually, I don't find it surprising at all. If you knew anything about the decision making structure and culture at companies like Samsung and LG, you'd assume that it's a total camel factory (camel: a horse designed by committee). These guys on the other hand are very very close to the users and know what people actually will actually find valuable and use. They aren't just putting features in their OS because research shows that those features market well and will help sell handsets.
I really wanted this article to get into the meat of how to build an Angular app with Firebase. It gets the basics working but it would've been nice to see some details about Firebase security, good practices about what goes where with respect to what AngularFire provides, etc.

I've only been playing around with it but I thought I'd add some ideas that are working so far for me:

- Don't use your Firebase URL all over the place in your app.

- DRY it up by creating an AngularJS constant for your main Firebase instance (e.g. "module.constant('baseStore', new Firebase('https://whatever.firebaseio.com'));").

- Every sub reference to the base now uses the "child" method off that baseStore object to get sub-objects (e.g. "var props = baseStore.child('props');").

- Create an auth service that your app uses instead of using the AngularFire auth libs directly. Makes it much easier to control/test your auth flow, especially if you change from "email/password" to, say, "persona".

I still have some questions about the interactions between Angular and Firebase/AngularFire but maybe I'll save them for a StackOverflow question. ( =
No wonder my health and personal development related site dropped from the first page of Google to nowhere.

Replaced by bunch of Youtube links and wikipedia.

Google is getting into conflict-of-interest endeavors.
Why don't forums like Hacker News, Reddit, etc. build this into their submission process, so the article/page is cached upon submission, and readers are directed straight to the cached copy?
There are plenty of people prepared to question the veneration of professional athletes.

(Though I should concede that they are not anything like a majority)
There are whole networks of fountain pen afficionatos with reviews, writing samples, etc for pens, paper, and inks. It's amazing. However, if you're starting out, I recommend getting a cheap pen and then move up if you feel the need.

The cheap Pilot Varsity disposable ones are a fantastic starter FP, as they cost about $3, a tenth (or less) of the price of a Good Fountain Pen. Ink isn't changeable, but the leaking is minimal. (They aren't waterproof, though.)

The advantage is, if you decide you don't like it, you aren't stuck with it, and if you lose it or loan it out, no big deal. I also like that Staples tends to sell them in a pack of three colors.

I've also used the Bic one [1]. It's also OK, and is partially waterproof, but its cap drives me bonkers. It's been a long time since I used one, though, as the pads at current employer bleed a bit when I used my fountain pens. I liked writing on the sugarcane spiral bound pads from Staples because they were so smooth.

1: http://www.fountainpennetwork.com/forum/index.php/topic/2064...
A great problem is the current mindset. Many, many people think of life extension as undesirable. It's mind-boggling at first sight, but then you understand it for what it is: the Stockholm Syndrome, with Death as the hostage-taker, and all the life-extension-deniers as the hostages.

We need to get out of that hole first. Google is doing the right thing.
Yeah, a new logo, that's what they need.
...or ANY return.
IE versions have rapidly become dated compared to the rapid-release leading edge of Chrome and Firefox, so IMHO the most representative comparison would be in the middle of the slower IE release cycle, maybe 3-6 months after launch when Chrome and Firefox have been updated a few times.

But there are some clues, yes.

Firstly IE versions from 7 to 10 have improved a lot each time. (or sucked less if you look at it that way). IE11 should continue this trend.

Secondly the IE release cycle is getting shorter. Not as much as Firefox or Chrome, but there is some response to this pressure.

Also, it's not like the IE11 feature set is unknown at this point.
Yes, IE6/7/8 really need to go. I don't know why they can't force update everyone similar to Chrome.
see also "The Cornell Note-taking System" http://lsc.cornell.edu/LSC_Resources/cornellsystem.pdf
"Design starts at the top of a company with the company mission. Then the company vision. It’s very hard to do great design in an organisation without a clear and actionable mission and vision. Don’t underestimate the importance of this. If your company lacks a clear mission, make it your job to facilitate the creation of one."

This is so true. It's way to easy to get lost in creating beautiful designs, oohing and ahhing at little neat interactions, etc. But if it's not fulfilling the initial goal of what you're trying to accomplish it's sadly a waste of time and resources. That's not to say you can't accomplish both (beautiful design that also meets the goals of the app) - but it's a lot harder than it sounds. And very easy to get derailed. Setting up some periodic checkpoints along the way to keep checking back that you're still on target can definitely help.
Typing and writing long-hand produce different kinds of prose for me. I like to alternate. My typed prose is a bit jerkier, with a higher density of facts or points, while my long-hand prose has a more conversational flow.

And my hands start to ache if I use a ballpoint too long. Ever tried taking 5 hours of notes at a math conference with a crappy ballpoint? And live-texing is fine until you've got more pictures than text...
Did you try WebCode (http://www.webcodeapp.com/)? It is a vector drawing app for Mac that instantly generates nice, clean and readable SVG code. You can also choose to generate HTML/CSS and JavaScript/Canvas code from your drawings.
Apparently you don't have a counterexample:

I made two points, that likely the VCs
could not evaluate my project and likely
only a few VCs could direct an evaluation.

For the first of these two, a
EE Ph.D. very likely would not understand
the crucial, core applied math of my startup
due to not taking the right prerequisite
courses in graduate school. If they studied
from Luenberger at Stanford, then maybe they
would have some of the prerequisites!

For the second,
directing a competent review of my work, a
EE Ph.D.
would likely be able to do that, especially
once I gave them a list of reviewers, and I
did indicate that a few VCs could so direct
a review.

There is a huge problem with VC: Necessarily
they are looking for exceptional cases. So,
what the average deal looks like provides poor
guidance on what a really desirable deal would
look like. And since the VCs are also looking
for things that are new, what the best deals
of the past 10 years looked like also provides
little guidance.

There are ways to know that something really is
exceptional and powerful early on, and the US
DoD has provided a long list of examples for
the past 70 years or so. E.g., the first GPS
was done by the US Navy for the SSBNs, and the
crucial, core work started on the back of an
envelop at the JHU/APL. The planning document
was enough to remove risk, and the rest is
history. Early in my career, I wrote software
in the group that did the software for the
continually updated orbit determination
calculations for that Navy system and heard
the stories about how the system was invented
and pushed forward. It really is possible to
evaluate projects on paper and confirm that
they are powerful and exceptional; results
on paper are how nearly all of research works,
and the work really can be evaluated and seen to
be powerful if it is; but nearly no VCs can
evaluate projects on paper, and maybe their
LPs wouldn't let them fund on that basis
anyway.

So, the VCs are looking for exceptional
projects, and there are ways to create,
present, and evaluate such projects, but
VCs don't do or pay attention to
those things. This situation is so
incredible that it took me a while to
believe it. No wonder their ROI is low.
woah, woah, hold on there. I never said it was bad
> How do you get tested/evaluated?

You need to look for a decent psychiatrist. By the way, there is no magic fix for anxiety. The non-medication route might use CBT (http://en.wikipedia.org/wiki/Cognitive_behavioral_therapy) and the meds that are usually prescribed are anti-depressants.

I also have social anxiety (a mild form of it), that makes me a little awkward around people, and makes my heart rate go through the roof when I need to speak publicly (for example, asking a question in a large class). I was offered to take anti-depressants, but I chose not to because I feel that I can deal with it without any meds.
I'm still bracing myself for the Github for Writers; http://madebyloren.com/github-for-writers
- Put a clear statement of what this thing is on the main page of the site (which should be the page linked to on HN).

- Don't ask my to sign up or give you personal info without giving me a good reason; let me see a demo or at least something like screenshots/results/examples first. Related: what am I getting out of taking time on your site and/or letting you know about me? Do I trust that you'll deal with my personal info in a respectful manner? (Hint: No, I don't.)

- If you are not a native speaker of English, then run the site by a native speaker before publicizing.

Concerning the first two above: even when you've paid attention to them, you probably haven't done nearly as good a job as you think. I come to your site knowing nothing about you or what you've done; help me understand.

For example, you say, "Unclear message about why I would use said app". Sure, make it clear. But first, pay attention to a more fundamental question: make sure that your site indicates that it is about an app. And be clear what platforms the app is available for. And how to get it. And does it cost something. Etc.

(Idea: Find someone who knows nothing about your project, show them the site, and then ask them what they think it's about. If there is a sign-up, then ask them if they noticed it. Ask them what they think they get out of signing up. Don't give them any hints beyond what they already saw on the site.)
I'm sure this will gather lots of downvotes, but it really does sound a lot like this to me:

IE is faster than the rest.
-- Microsoft

If you're about to publish such numbers, at least have an external party publish it, paid or otherwise. 30% faster loading would be astounding, especially on connections with high ping times and more than 1 percent of packet loss (3 percent is really noticeable and yet common in lots of places, especially public ones). But of course they didn't mean 30 overall improvement, just the Javascript got 30 percent faster if you use certain things, right? Let's click that link.

...

> IE11 Release Preview is 9% faster than IE10

Alright so there goes the "30% faster than other browsers". Unless you don't count IE10 as a browser. Also IE10 is way slower in all sorts of benchmarks compared to other browsers.

To take just one recent benchmark: http://www.tomshardware.com/reviews/chrome-27-firefox-21-ope...

Here IE10 is 257% slower than the fastest browser 379pts vs 974pts). If IE11 is 9% faster, then how is it "30% faster than other browsers"? A 9% improvement is still 248% slower than Firefox, at least in Tom's Hardware's benchmark. Or is "other browsers" not "all other browsers?" Perhaps that is their reasoning: "we meant only Opera, Maxthon and $other_unknown_browser as 'other browsers'."
Would be funny since the main reason that they give android away is to get more people using their apps.
If anyone from Cyanogen is reading this, I'd love to know if you guys have any plans to make CM the most secure OS on the market. I hate to make this into another NSA thread, but it would be awesome if CM focused on making a phone that I can trust to do my bidding instead of the bidding of some other master that didn't pay for the device in my pocket.
I too, watched "In Time."
There's quite a few features in both AOSP and OEM skinned devices that were inspired by community ones. The most obvious one I can think of offhand is quick controls in the notification area to toggle wifi and other things (especially the way Samsung did it is identical [though uglier] to how it is in Cyanogen).

Cyanogen:
http://betanews.com/wp-content/uploads/2012/09/cymod2.jpg

Samsung Touchwiz:
http://r.phonedog.com/shared/images/2011/8/169026-a-TouchWiz...
Add a couple basic reports and I would pay $20/mo without question.
Microsoft releases temporary fix for vulnerability in all IE versions