skysight-inc/HackerNews huggingface dataset:
I kinda disagree, but it depends on the product/market. You can't pre-sell a nuclear fusion reactor before it's built (I'll bundle that with my swampland in Florida!) but there are ways to generate meaningful traction through list-building, pre-launch sales, commitments, etc. for SaaS apps that you could use to raise money. And frankly, that's what an entrepreneur should be doing in the first place to validate that you should be building that product for the target audience in the first place or that there is a market for your product. And you can always strip down your MVP to it's absolute core to get it out the door faster so you don't spend 6 months building it.
Now that I think about it, it feels a bit "off" to me that we refer to both behemoth, money printing companies like GOOG and AAPL and smaller, money hemorrhaging, ultra-growth phase Series A and B companies as "Silicon Valley" in the press.

They're really whole different worlds, perhaps best separated as private vs public companies, and it's strange that we haven't clearly made a verbal distinction between the two.
>> Then Gödel shows up and says, "On which shelf shall we put the index?"

> You keep it outside the library. The index tells you where every single book is, other than the index.

This approach would have saved Russell and Whitehead's "Principia Mathematica" project, would have placed mathematics on a firm foundation, but it suffers from the same defect of self-reference -- it places the index beyond validation. Russell realized this, and recognized that Gödel's results invalidated his project.

> The fact that Coq cannot be proven in Coq does not decrease our confidence that it is correct;

Yes, true, but for the reason that we have no such confidence (and can have no such confidence). We cannot make that assumption, because the Turing Halting problem and its theoretical basis prevents it.

Source: http://www.sscc.edu/home/jdavidso/math/goedel.html

Quote: "Gödel hammered the final nail home by being able to demonstrate that any consistent system of axioms would contain theorems which could not be proven. Even if new axioms were created to handle these situations this would, of necessity, create new theorems which could not be proven. There's just no way to beat the system. Thus he not only demolished the basis for Russell and Whitehead's work--that all mathematical theorems can be proven with a consistent set of axioms--but he also showed that no such system could be created." (emphasis added)
Exactly. If N is found to be low, then your society is in trouble.
I am talking about this situation:

>some times people are having a really bad day for reasons you can't see

It's not clear how you know someone is having a "really bad day" when you explicitly rule out knowing the reasons why the person is having a really bad day.

Maybe they told you they are having a really bad day? That is fine and fairly easy to empathize with.

Maybe you are just assuming someone is having a really bad day because of how you perceive their actions?
Yes. This is a known result.

If you want to talk about "truly random", please say more.

Some theories rule out what you may be calling "truly random".
Elementary OS' Freya Dumbs Down Linux
> "Because your application is run as zipapp, it must be zip safe. ... The main violation against zip safety is using filesystem API..."

I like everything about this, except for the possibility that zipapp constraints could haunt me.
Data Types in the D Programming Language
As one of those free MixPanel users - their non-free plan is just too expensive.

I eventually stopped using MixPanel altogether. In a choice between "only get a small subset of data" and "get all the data, but super super expensively", I decided I just don't care enough and opted for no data. Or rather, the combination of gAnalytics and a few others is Good Enough (tm).
A stock may be priced accurately by the market according to a typical risk profile, but an individual investor may have a higher-than-average tolerance for risk.
If you are doing 25,000 of fewer events, you are probably not making much money.
The laser analogy is definitely accurate given today's technology. I just don't think they'll be able to productize something that has that high of an antenna gain. I'm really hoping and thinking that we'll see some smart antenna advances.
That is pretty damn insane for real life speeds. Most reports I've seen say ~400.

I must admit I'd probably not upgrade anyway though. 100mbps is enough to carry a couple 4K video streams in parallel. So not going to outgrow that speed anytime soon.
Twitter's Stock Has Fallen to Its Lowest Point Ever
I honestly believe dollar cost averaging is somewhat of a crock, because it assumes that you have a slush pile of money set aside that you invest on a set schedule.

I just thought of a way to test my thought:

For instance, I ran a study on my own finances. I have a complete record of dates and amounts of every sum I've put into retirement. I'm able to "pretend" I bought the S&P-500 (VFINX) on those dates (rather than the investing choices I actually made), and am able to calculate an APY from that date until today. (I do this by looking up dividend-adjusted historical prices.)

Given that, my all-time APY would have been 6.69%. Meanwhile, using an S&P 500 Return Calculator [1], the Annualized Inflation Adjusted Reinvested Dividend performance is 6.67%. So, almost exactly the same - maybe dollar cost averaging isn't a crock, but in my case, not the advantage it is usually purported to be. And this is a 20-year period that has been reasonably strong.

I believe the reason this happens is that people (me included) will tend to have more money to invest when times are good (and prices are high), and less to invest when times are bad (and prices are low) - so this basically eliminates any dollar-cost-averaging advantage. I'm just one data point so I might be an unlucky outlier, but the theory makes sense to me.

[1] http://dqydj.net/sp-500-return-calculator/
You actually get 200,000 free events if you put their badge on your website. The next tier is 500,000 events for $150/mo.
this appears to be the main benefit, bringing node code closer to existing java based stacks.
There seems to be a bit of opinion and a bit of BEM [1] in this style guide.

Personally I have been using BEM for larger projects and in that context it works quite well.

[1] https://en.bem.info/articles/why-bem-in-a-nutshell/
What are the best JavaScript IDEs and editors?
Ex-Cardinals Scouting Director Pleads Guilty to Hacking Houston Astros
Someone who has the technical chops to build a prototype would be approaching an angel with a lot more than just an idea or who they are.
It will depend on the material, but I don't think 802.11ad can even penetrate through sheetrock. Honestly it may even be so bad that a sneeze could knock your connection out for a few seconds.
The journal still takes over /proc/kmsg. You're relying on journald working properly, and you cannot bypass it. Forwarding things on from journald is not the same as disabling it completely.

(This sort of inability to make decisions about what tools you use for your system is one of the complaints about systemd)
In the context of this thread, I don't understand why you brought up either sociopaths or autism/Asperger's/etc., especially when you specifically disclaim it in your last paragraph.

I think the problem with this conception of empathy is that it seemingly derives solely from the person experiencing it. This type of empathy requires a subconscious background thread to be keeping track of signals which may or may not exist in the external reality. If it is at all possible to know (whether or not such signals exist), it would appear to at least require some communication. Otherwise you are just trying to make inferences off of what you observe, which is probably a near insignificant amount of what the person you are supposedly empathizing with has observed (leaving the question: How do you actually know that the things you are feeling are actually, exactly the same as what the other person is feeling?). I believe this definition of empathy allows people to feel good about themselves, that they are not a sociopath, while still allowing for the possibility that the empath is not actually feeling the same thing as their target.
So, this just counts broken email clients that load external images in email (which, I suppose are a lot -- but they're still broken, IMNHO).
San Francisco's city population density is 6x Austin's, according to Wikipedia. Are you sure you're comparing apples to apples?

And San Francisco's metro area has more than double the population with about 85% of the land.

People ignore this stuff when talking about the San Francisco. It's already pretty dense, compared to the median US city. It's just that a LOT of people want to live there, and those people have the money to pay.
This. We use Mixpanel's free plan and were recently hit up by their sales team. It's unfortunate because Mixpanel is an amazing product that we would be happy to pay for, but it's just too expensive relative to the value we get out of it.
What a thought through objection!

Here's a perfect example of the "responsible" Russian culture:
https://www.youtube.com/watch?v=438sGy9IE58

This video is not fake - I've experienced this kind of alienation (and even hostility) for over 20 years.
Ultra-Precision Tops: Engineers vs. Master Machinists
My head's been mostly in Java and Python the last three years, and my old work's C++ practices were woefully out-of-date. I really appreciate the work put into the CppCoreGuideline documents ... it's real complex, though.

I was dreading getting back to C++ with the Rule-of-3 and now the Rule-of-5 -- what a pain! Fortunately I ran into the Rule-of-Zero as described here: http://accu.org/index.php/journals/1896. The CppCoreGuidelines have a more restrictive Rule-of-Zero but allude to the link's form . . . the only way I'll get back to C++ is if I can avoid move-constructor and move-assignment for the majority of my work ... and the link provides the answer!
What are your problems or need in your life
3 points by theaktu 11 hours ago | flag | 16 comments

Do you have any application or service ideas?
2 points by theaktu 15 hours ago | flag | 6 comments

What would be your dream application or service?
2 points by theaktu 1 day ago | flag | 1 comment

What are the problems you face on a daily basis?
1 point by theaktu 1 day ago | flag | 3 comments

Maybe you should try coming up with your own startup ideas rather than expecting Hacker News to feed them to you. Or at least just keep it to one thread.
Those guys actually left Kissmetrics a short while back.
>
Yet Microsoft and NVidia are able to provide a much better experience for NDK users, for a platform they don't own.

Yeah, it's stunning how impossible it is in 2016 to profile native code on Android with Google tools. Meanwhile, Apple has had arguably the best CPU profiler available anywhere on any platform (Instruments.app) for years and years.

NVIDIA has done an incredible job making this basic functionality work on their Android systems…yet, sadly, their work doesn't extend to all Android platforms.
It's a common statement by stock traders. The original version seems to be from Henry Lloyd, in 1894, writing about "business combinations", at the dawn of antitrust law:
"Property to the extent of uncounted millions has been changed from the possession of the many who owned it to the few who hold it".[1]

The shorter version shows up in the writings of many stock traders. "The markets are designed to take money from the many and distribute it to the few.", is from Bruce Babcock.[2] "There is a persistent overall tendency for equity to flow from the many to the few. In the long run, the majority loses." is from William Eckhardt.[3] "The purpose of the markets is to redistribute wealth from the many to the few" is from Peter Brandt.

[1] http://www.let.rug.nl/usa/documents/1876-1900/excerpt-from-h...
[2] http://www.rb-trading.com/article1.html
[3] http://www.aaii.com/journal/article/market-wizards-advice-do...
[4] http://peterlbrandt.com/the-purpose-of-the-markets-is-to-red...
I had a really bad experience where a Mixpanel salesman aggressively cold emailed me on my personal email (I'm guessing he got it through Linkedin?) and continued to do so even though I told him not to contact me multiple times and that I had no ability to make or influence purchasing decisions for analytics software. I understand hustling, but at the time it came off as really desperate.
Peach Android not cool?
This was exactly the path our startup took as well.
Why We Don't Have Flying Cars – Energy and the Economy
> Russell realized this, and recognized that Gödel's results invalidated his project.

One particular project. The specific project of formalizing mathematics within itself is unachievable. That doesn't mean we've stopped doing math.

And this is in fact the approach modern mathematics has taken. The fact that one particular book (the proof of mathematics' own consistency) can't be found on the shelves doesn't mean there isn't value in keeping the rest of the books well-organized.

> Yes, true, but for the reason that we have no such confidence (and can have no such confidence). We cannot make that assumption, because the Turing Halting problem and its theoretical basis prevents it.

No! Humans aren't developed in either Coq or ML. A human can look at Coq and say "Yes, this is correct" or "No, this is wrong" just fine, without running afoul of the halting problem, Gödel's incompleteness theorem, or anything else. The fact that you can have no Coq-proven confidence in Coq's correctness does not mean that you can have no confidence of Coq's correctness.

(Of course, this brings up whether a human should be confident in their own judgments, but that's a completely unavoidable problem and rapidly moving to the realm of philosophy. If you are arguing that a human should not believe anything they can convince themselves of, well, okay, but I'm not sure how you plan to live life.)

This is like claiming that, because ZF isn't provably correct in ZF (which was what Russell, Whitehead, Gödel, etc. were concerned about -- not software engineering), mathematicians have no business claiming they proved anything. Of course they've proven things just fine if they're able to convince other human mathematicians that they've proven things.
I think you're wrong on the 6-12 months.

Not boasting, but simply stating fact, that on my own, I've written:

- A system for managing employee leave and sickness with google apps integration in 2 months

- A credit control application for one of my clients in 3 weeks, automatic emails, dunning letters, cash-flow forecasting

- A purchase order system that would automatically raise invoices in their accountancy system in 3-4 weeks

- An entire search system a la booking.com in 4 weeks, with named location search, geo location, tags, categories, blah, blah, blah. Basically the heart of any listing style startup.

And while I realize I'm a good programmer, I'm not a phenomenal programmer, I'm fairly lazy, I find it hard to focus on more than about 5 hours of actual programming unless I'm doing something really interesting.

And these are some off the top of my head examples. I've written loads of small startup sized apps that would be of the complexity that YC fund in much less than 12 weeks, let alone 12 months.

You're looking for an MVP with some traction, not a polished product. Reddit, for example, launched without the ability for users to create their own subreddits, and many would describe that as one of the key reasons of Reddit's growth. I believe they actually launched without commenting, but I can't find a source on that.

While today's startups have more expected of them, it's now easier than ever to write a web app, even SPAs that even 3 or 4 years ago would be too hard for individuals to write on their own.
How the Net Was Won
Vim is perfect for lazy people. Trust me, I know about laziness :)

Just picture this: You want to delete one line in your file. With Vim you just press 'dd' (that's 'd' two times). Not impressive, right? But what if you wanted to delete 27 lines? Are you going to select them with your mouse while counting? You might prefer to type '27' and then 'dd'. Done.

Do you want to jump to line 2135? type :2135 and press enter. What if I want to find a string? /string. Oh, and then I could just press 'n' for the next occurrence.

I needed years to only grasp a few Vim tricks, but every single one of them is almost mind blowing. I've only find Sublime Text to be a rival, for other reasons (multiple cursors are ideal to trim log files 100x faster while troubleshooting).
A search for 'Neil Patel' ended up on http://www.quicksprout.com/pro/

"Hey, I'm Neil Patel. I’m determined to make a business in <GEOIP> successful. My only question is, will it be yours?"

It then analyses your site, finds a whole bunch of 'errors', and won't tell you what they are until you tell them your marketing budget (which you should, because there's 'only 1 place left'). It might be a fantastic tool, but its marketing is a real turnoff.
Source article: http://venturebeat.com/2016/01/08/mixpanel-starts-2016-with-...
I had the same experience, and I have to say that I'm torn in that I can see both sides. MixPanel doesn't want to screw around with $10 or $20/month plans, but I have no interest in paying $150/month.

They want bigger customers than me, which is fine, but that also means that if and when I turn into a bigger customer, I might already be locked into a different solution.
> But I can't accidentally let the user read or write arbitrary memory locations.

Many of the languages you mention contain an 'eval' method, and most use environment variables in less than transparent ways. I wouldn't be so sure of this claim.
Ooc – a small programming language that compiles to C99
Synthetic biology seems like a pretty exciting area of study to me. Maybe get a copy of "The Machinery of Life", or "Regenesis".

http://www.amazon.com/Machinery-Life-David-S-Goodsell/dp/038...

http://www.amazon.com/Regenesis-Synthetic-Biology-Reinvent-O...
Peach.cool is Friday's hottest social network
That study was looking at an elderly female population, and essentially using leg strength as a proxy for overall fitness level. The authors never used that data to argue that there was something particular about leg strength that correlated with intelligence. Rather, they were making the point that overall fitness and activity levels correlate with healthy aging.

This was a classic misrepresentation in science media.
By your definition my grandmother stayed a child until she died at 84. I guess that's accurate enough but... meh... almost nobody who is in their 80s who had 10 kids wouldn't be considered an adult.

She did absolutely nothing for herself at all. Ever. For her entire life.
1. The web crypto api was indeed made to secure communications, such as stated by the W3C on http://www.w3.org/TR/WebCryptoAPI/
(...) "Uses for this API range from user or service authentication, document or code signing, and the confidentiality and integrity of communications. "

2. Yes, you are definetly right, an detailed audit of the protocol is necessary by more than one expert.

3. Here is a short description of the basic concept:
Client and server are seperated. The client software is basically what is hosted on Github.
Its source code must be protected from MITM attacks of course, so it is best to ship it as standalone, downloadable application in the final release. THE CLIENT CODE WILL NOT BE OFFERED BY A SERVER IN A PRODUCTION VERSION.

So at sign up, the client software now generates a (RSA) public key pair and some symmetric keys used for (AES) encryption and integrity protection locally and encrypts it with a passphrase. The passphrase is only known by the user, but not by the server. The encrypted string is also integrity protected. It is sent to the server, stored there, and decrypted with the passphrase at login again. This way we ensure only the client software can see secrets, such as the private key, but not the server software.

Next, you have a key directory. It is signed after every modification with a secret salt which was generated by the client (and not known by the server) at signup. The keydirectory contains all the verified public keys of the user. (Protecting it from replay attacks would be worth another essay here)
Now when you write messages for example, you get the public key from this directory and encrypt/sign it basically like in PGP. So the focus of this preview is not on the crypto primitives, but rather on the concept itself.

Edit: I hope this does not sound too unfriendly, I am very happy about your feedback and I promise I will look for further advice regarding the crypto/protocol ;)
Wanting a master's degree? Do it online
Seems comparable to Twitter's PEX: a relocatable venv with custom entry points to act as a binary. PEX also takes the zip approach but allows for not zip safe libraries by unpacking to a directory before running.
Let's review some history for the moment. Back in the 19th century "egghead" scientists conducted numerous lines of research into several subjects which were at the time considered to be extremely esoteric, the essence of pure, "blue sky" research. Some examples from that century would be: electromagnetism, particle physics, quantum mechanics, and gas laws.

As it turned out, understanding such things lead to lots of innovations which had not been anticipated beforehand. Everything from electric motors and lightbulbs to micro-processors, cell phones, internal combustion engines, fertilizer, and AIDS drugs. Those innovations built on the back of once pure scientific research have resulted in billions of years of human lives lived that would not have been other wise, and billions of years of lives lived in improved conditions (due to more food, cleaner water, greater wealth, and so on), literally tens of trillions of dollars per year of added economic activity due to those innovations and quadrillions of dollars of added value and increased wealth to human civilization. All due to egghead scientists studying stuff just because they were curious.

What will be the next set of breakthroughs? Where will it come from? How much value will they add? We don't know, that's why we continue to sustain and support our curiosity across such broad ranges of subjects.

Not only might breakthroughs come from surprising directions, but I think the scientists have more than earned it. Not everything we do needs to have some tangible return-on-investment back to some concrete bottom line on Earth in the near term.
How to Become the Best in the World at What You Do
As usual with Wi-Fi you won't get close to theoretical range and distance in practice. 802.11ah includes support for relay access points [1]. Most probably it is a requirement for "nearly doubled range".

> Am I being spoiled thinking either of those options aren't super impressive for a whole new standard? Where's the 10x (order of magnitude) improvement?

802.11ah is not the "mainline" standard. 10x improvement is left for 802.11ax. 802.11ah is for IoT applications: low bandwidth, low power consumption, high distance.

[1] https://en.wikipedia.org/wiki/IEEE_802.11ah#Relay_Access_Poi...
That was an extension to the Pascal language, it doesn't really change the way to write idiomatic code.