skysight-inc/HackerNews huggingface dataset:
Just to address the depression and anxiety issues:

1) Take a shower and do a load of laundry.

2) Go for a run.

3) Take another shower and put on clean clothes.

4) Eat leafy green vegetables like lettuce or spinach.

5) Make an appointment with your doctor.

I don't know if you're there yet, but these three things (get clean, do some exercise, and eat a healthy diet) actually work fairly immediately in most cases. I've been through years of really bad depression and anxiety (PTSD) after a long time in the infantry and helped many friends with similar issues. Everybody's different, but there's a strong chance at least one of these things will help. And even if they don't help, you've made an appointment to see a doctor.
Surely you're exaggerating.

You can create a toy program or even a very basic (most likely web-based application) that solves some problem in a weekend, but there really are very few lucrative companies or ideas that can be accurately "tried out" in a single weekend.

If these companies are "seed" stage companies, then I'd argue it isn't that any bar has been raised, but that "seed" has come to mean something entirely different.

Any company that has $800k MRR is (well) past seed-stage.
> Don't worry those skills are trainable.

They are, but I'll go the other way: you shouldn't bother with training them. Companies that put on this three-ring circus bullshit are telling you what they think of you.

Working at a place that wants you to work for them is so, so much better than working for a company that wants you to feel privileged to work for them. It's a job. You're (probably) not curing cancer.
> Greater compile time.

Not really with newer generics implementations (.NET, Rust, etc.). I don't think anyone thinks C++ templates are ideal, and the others show this at least a non-essential cost.

> Greater number of functions in binaries, and thus more unique places for bugs to occur.

Less human written code, so this reduces the surface area to the compiler; which is an "issue" no matter how low level your code is.

> Dynamic library bloat.

Your alternatives are A. duplicate the classes yourself B. let the compiler duplicate them. Where's the bloat? C++ requires you to explicitly instantiate templates if you want them in a library, and usually they're just left to the header. The others I listed won't generate anything unless you actually use a particular instantiation.

> developer time is spent dealing with all of this

It's pretty hard to argue that more developer time is wasted by the compiler writer than that of the time saved for developers who use the language for such a broadly used feature.

> Abstractions leak because they are models, and thus are necessarily different from the concrete things that they model.

What concrete thing do generics model? Tediously copy-pasted code? These will only be different if you mess up when you do the copy-pasting.

> Generic programming is an abstraction that pretends you aren't working on low-level un-typed system.

What? It's an abstraction over an already typed system that obviates the need to duplicate code, which after the generics are unwound produces the same code you would have had anyway. You're just as far or close to the low-level un-typed system as you were before.

"All abstractions leak" is a nice platitude, but handwaving about "models" and "concreteness" doesn't prove anything.
I don't even consciously think of risk aversion. For me, it's purely about making the locally optimal decision.

Money is a tool to me, and an annoying one at that. I kind of hate it. I want to think about it and handle it as little as possible in my life. So I make the financial fire and forget decisions.

I take all the exciting and potentially rewarding risks in the other parts of life.
The one thing SQL can't do that Excel can: a calculation cell, as in, one that starts with =.

Yes, I can probably code something entirely in SQL to do it, but it will not be portable across SQL implementations; and yes, I can code that as a variable in my program... but neither of them seem to be as fluent as the way Excel does it.

I wouldn't use Excel for prod, but it comes in handy for a lot of small dumb shit purely because of =.
Interesting. I thought those corporate gigs are onsite only. But I guess in web dev you have more options. I'm particularly interested in C++ jobs.
Sub 1:30 on Laguna Seca? That's pretty darn good.

> your car has to be pretty dang slow to not break 100 MPH on both the front straight and the back straight there.

That's true. By "rarely", I mean maybe three or so of the straights. Although I guess that's a very poor definition of "rarely"...
Also when they start. Which might be the most likely reason for your observation.
The whole pricing/platform debate seems like a red herring.

> Brent took a job at the excellent Omni Group in September 2014, and from that point onward the writing was on the wall. We could have, and probably should have, shut Vesper down a year ago. But we loved it too much. Or at least I did.

> I even cheat, personally, and run Vesper on my Mac in the iOS Simulator

1. There was only one developer in the company.

2. That developer got a day job (quit).

3. Gruber and the musician partner are stranded with an app they can't update and a Mac app they can't finish on their own.

Gruber clearly loves Vesper. He runs it in the freaking simulator. I really doubt he needed to see huge financial returns to keep at it.

It sounds like the real lesson is: It sucks when your technical cofounder quits.
Production for the masses might be more on point.
North Korea fires submarine-launched ballistic missile towards Japan
https://news.ycombinator.com/item?id=12346747
Jawbone fails to block Fitbit from the US in court case
Secret Master Plan from ten years ago: https://www.tesla.com/blog/secret-tesla-motors-master-plan-j...
The Idris example seems to need further explanation:

> In Idris, we can say "the add function takes two integers and returns an integer, but its first argument must be smaller than its second argument":

> add : (x : Nat) -> (y : Nat) -> {auto smaller : LT x y} -> Nat

> add x y = x + y

That's all well and good, if you know the values of x and y at compile time. Consider a program that reads x and y from STDIN. The user could provide an x that is equal to or larger than y (or could provide only one value, or values that are not numbers). I see no way to deal with that except to throw a runtime error. Is that what would happen?
Yes I have the same question too. The $120k for 7% is meant for seed stage startups where $120k is a Big Deal.

If you already have $800k revenue each month, what is the math behind giving up 7% of your company, permanently, for $120k?
> I don't see them formulating a correct SQL query.

Well, neither can programmers, since SQL injection is still the most common security vulnerability in software, so I agree, SQL is probably a bad tool for the job :)

> It would have to be a custom-tailored system that knows about nomenclature in the field. Sounds not very efficient.

Is Excel a custom-tailored system that knows about nomenclature in the field? The article seems to explicitly argue against that.

I don't think it's a failure to understand data types. It's a mismatch between what you expect the software to do, and what it does by default. Unfortunately, Microsoft has steadfastly refused to allow any way to change the auto-formatting options(check out some people really pissed off for being treated like children here - http://answers.microsoft.com/en-us/office/forum/office_2007-...).

There's two useful prongs of attack here - one is to somehow force Excel to conform to the expectations of researchers - perhaps an extension that works to prevent the most egregious cases of auto-formatting gone wrong? The alternative would be what you suggest - creating and marketing a custom solution, the problem there is that you'd need either buy-in from a significant number of researchers to spread it, or you'd need to replicate a lot of Excel features to make the transition smooth for others.
Have you found that 1 year is a good amount of time to evaluate if an employee is right for the co-op? I've seen some co-ops with much longer membership pathways. Also it wasn't clear if the new members pay into an equity/investment fund as part of their commitment?
An all-seeing eye is perhaps too apropos....

'You are wise and powerful. Will you not take the Ring?’

'No!' cried Gandalf, springing to his feet. 'With that power I should have power too great and terrible. And over me the Ring would gain a power still greater and more deadly.' His eyes flashed and his face was lit as by a fire within. 'Do not tempt me! For I do not wish to become like the Dark Lord himself. Yet the way of the Ring to my heart is by pity, pity for weakness and the desire of strength to do good. Do not tempt me! I dare not take it, not even to keep it safe, unused. The wish to wield it would be too great for my strength. I shall have such need of it. Great perils lie before me.'
Go to Castle Connolly and search on Psychiatry in your area. This is a curated service that identifies the best doctors in any specialty; I've used it many times for myself and family members and always been happy with their recommendations.

https://www.castleconnolly.com/

There is a small fee, although you can still see the doctor's name and location without joining.
Just wondering, is this a weekend 'throw up a template' project or a serious effort from someone in the industry? I would have some hesitation submitting without a sense for who is behind it.
Even worse there is not even a proper definition of what a gene is.

The meaning changes. Depending on who you are talking to, What book you are reading, What part in a book you are reading.
$ grep -r unsafe | wc -l

292
I'll echo this. Before I went into consulting I would interview bimonthly or so. Not because I was unhappy (though sometimes I was), but because it was good to keep sharp and because sometimes you'll surprise yourself by finding a gig that really clicks. I was a lousy interview at my first job out of college. I've been a very good one since, and it's helped me get jobs I liked.

It's also helped me seriously expand my network (and Boston's a small town); you meet a lot of people.
What constitutes "ownership" and what happens to ownership when someone leaves the co-op?
I am an Oscar subscriber. I'd like to think I'm the ideal customer. I have autopay so they take my money each month. I am healthy and haven't used any benefit. Apparently I'm one of just 26k people in NJ to subscribe.

I honestly believe that at the end of the day nothing can be done about either Healthcare or higher education or anything like that without cutting costs. Anything we can do to reduce cost is potentially good. I want effective salary "cap" above which you'd pay 90% odd tax.
Think that's a sensible approach (to looking at things) but there's a difference between how you work together with someone that you and your coworkers have decided are good at coordinating work, and a traditional boss. The coordinator is working for you, not the other way around, if that makes sense? Like the difference between having an elected president and a dictator.
You get the YC stamp of approval, which makes selling, recruiting, fundraising (everything, really) much easier. It's like asking why a genius would go to Harvard, when he can just teach himself everything.
Just how dangerous is it to travel at 20% the speed of light?
The TechCrunch writers seem to have gotten the wrong chat platform under Meesho's description.

Empirically I don't know of any friends in India using WeChat. Let alone selling products through it. WhatsApp, however, is omnipresent.

Just checked Meesho's website (http://meesho.com) It only lists WhatsApp as its supported platform.
https://www.youtube.com/watch?v=EHKV01YQX_w
I've spent large parts of my career floating on the edges of academia and have had to interface with code written by academics many times, and : oh jesus it's almost always a huge mess.
Ordinarily I'd just upvote this, but (because it echoes parts of what my own post higher in the thread mentions) I want to call it out. These hiring practices are part of the fuck-you,-I'm-smarter culture that makes tech gross and lame. It is so important to realize that you are not the problem, it is, unless you choose to work to perpetuate that culture.

It literally is not your fault. As a reward for that realization, pay it forward and don't hurt other people.
not in idris, because it would force you to do that check manually and pass in the evidence as proof. it has a bunch of tools to help you do this.. namely lifting values into types with 'dependent pairs'. idris doesnt automagically calculate everything for you, but makes sure at compile time, that you provide evidence at run time for the things you have asserted in the types. it makes more sense after going through some of the tutorials and books.
Pardon me while I go off on a bit of a rant. I've played with Vesper and it is a fine app. It is also the perfect example of the power of the web.

There isn't anything that Vesper is doing that can't be done on the web. You could even write Vesper as a single-page app, and use a ServiceWorker with Firebase or PouchDB or whatever to run the sync. The infrastructure to do all this is very, very easy to do on the web.

This is not rocket science-- this is how far the web has come in a very short time. The UI could absolutely be the same as the iOS native app and while you might have a bit of scrolling hesitation on the interface, it would be perfectly accessible.

Suddenly you're on every mobile device, Android, iOS, iPad, desktop, whatever. The absolute hardest and most time-consuming endeavor would be to get the Stripe account set up for the one-time "in-app" payment to get sync working.

John and Brent and Dave made a fine app in 2012, but I would certainly hope that the next Vesper starts out life as a web app.
تور مشهد ویژه هتل های ۲ ستاره ورود ۶ شهریور ۹۵
Of course they did.

WikiLeaks is done. Instead of being a transparency organization they now have an agenda, which means nothing they put out can be trusted.

I'm ashamed to have donated to WikiLeaks in the past.
absolutely every Google app greets me with a tutorial and most apps pop me alerts about giving them more data all the time.

maps is the worst. i specifically disable the wifi use for location and wifi info sharing with Google, which are enabled by default, and it ask me every day if i want to enable it. so annoying.
> And then there is that third class of App, the ones where subscriptions don't offer much value, but honestly, we use the apps so often, we're happy to pay to support them (Overcast, Tweetbot, MyFitnessPal are ones I would put in this class)

The problem is most indie apps fall into this category. Useful, but not necessarily useful enough to pay a subscription.
The system is heterogeneous, tracking wealth distribution inequality, but can be very good.
The problem is that, then their support system is entirely formed from people who don't know how to work the system. To help out with income disparities, we need to get those communities plugged into the parts of society that know how to work the system and advance.
I do NOT know anything about Idris, but I'd imagine you have to do a check along the line of `if (x<y) then` before being able to call `add`, within that block-scope, the compiler should be able to infer that x<y. Typescript has something similar, where if you do `if (foo)`, the compiler will know that foo can't be null or undefined.
but a profitable one. they just did the games under a close-to-dictatorial state and nobody on the international media cared the slightest. just business as usual.
In their pitch they said WhatsApp
Without the scientific stuff, python is just one of a bunch of modern-ish scripting languages out there.
I never did.

You are posting in a comment thread underneath my reply about rudeness and impoliteness, ironically being somewhat rude telling me off about what not to conflate when it was never what I said.
>>And familial obligations (especially filial obligations, e.g. obeying your parents) serve to prime people's acceptance of external authority, such as adoption of framing devices and conceptual models.

Can you elaborate a bit on framing devices and conceptual models? I didn't quite get it.

>>In any event, like a Zen Koan if you think to literally about the problem--filial vs individual vs community obligations--you'll miss the forest for the trees.

By forest exactly what are you referring to? BTW, we must not miss the parental and other familial obligations too.

>>Obviously how you qualitatively and quantitatively measure things will strongly dictate where the optimum is, and different religions will counsel different equilibriums for identical circumstances.

Very well said. I liked this very much. So much for the people (especially some religion apologists) who insist that all religions are equal as their core messages are same.
So far for us, a year has been enough time to evaluate new members. But we take each one on a case by case basis and if we weren't totally confident I could imagine giving it a bit more time.

We also do a 3 month provisional membership, so that the new person can participate in member decisions and get a feel, and we can work with them in that way before officially issuing a share. It's important that the evaluation is mutual - becoming a business owner is a big deal so the person needs time to consider it deeply as well.

Members do not pay into a fund when they join, except a nominal $1 for their share. However, some members have become investors as well, which is a separate process completely from membership.
The missing explanation is that `smaller` is a third argument to the function. It's type is a proof that x <= y. Since it is in curly brackets with the auto keyword, the compiler will fill in this proof in many cases, like when the values are statically known.

In the case where the values are read from the external environment, first you would have to compare them before calling the function. The comparator would return either a proof that x <= y, or x > y. In the first case you plug that value into the `smaller` argument, in the second case it's your responsibility to signal whatever kind of application-specific error is appropriate (assuming x > y is some kind of erroneous condition).
Well, yes. But if you have an answer tailor made for the specific critique, then presumably you've heard it before, and have looked into it, and hearing it again (barring an upswell in reporting that type of complaint you weren't anticipating) doesn't really change the facts of the matter (as long as it is the same, and you aren't just misidentifying it). If your research didn't include talking to people that experienced the problem (even if just beta testers), then you didn't research it very well. But, truth be told, most of us have probably fallen prey to that sin before.
Meesho caught my eye- but surely there is a typo in its description:
"Over 50 million small businesses sell over WeChat in [India]"

There are only 50-70 million WeChat users outside of China in total - according to WeChat themselves. http://bit.ly/2bUmiBE
Unfortunately, I don't think I've ever used a web app that feels anywhere as good as a native app. You can feel it in every interaction.

You say "a bit of scrolling hesitation". I say that... and janky button taps... and broken back/forward navigation... and browser chrome always getting in the way... and random divs constantly getting selected along with text... and mistakenly-tapped links taking me who-knows-where... etc. Plus: if the developer decides to shut down their web app, it's actually done, forever, with no recourse.
Wow, thanks for that link about cheating in bridge. Spent hours going over that and stories on http://bridgewinners.com/
The resources one has at his or her disposal dictate their solution space, and not necessarily the quality of the solution. Google is uniquely good at doing stuff at scale. Some day a grad student who doesn't have the money to buy a GPU might instead invent a form of sample-efficient RL that the big guys never even thought of :)
A better photo album designed for NAS
You make a good point, although I don't think I would necessarily agree that just because a user isn't willing to pay a subscription, they also wouldn't be willing to pay for an upgrade. Presumably, a new version of a product has new features that act as an incentive to pay the upgrade cost. A subscription, which is recurring and indefinite, does not, and is therefore a much harder pill to swallow.
Squeak 5.1 Released
Happy birthday Squeak! It has been 20 years! Squeak 5.1 http://squeak.org/ is now available for download.
I hope you're right. Seriously, TPP has all the hallmarks of antidemocratic (specifically, not trying to throw bombs) policy being shoved down the throats of the people who will be the only recipients of its negative effects.
Oh, a "Big 4" rejected you. Are they the only companies that exist?

Oh you fail their stupid interview process? So what?

The opportunity you seek may be in a "Medium Many". Or in a "Startup Some". But it's harder to hear about them if you don't actively look for it
Many would rate Aristotle as a 1st rate thinker. Too bad he didn't check his hypotheses more.
I really like open source projects for certain things, especially these productivity apps that may bring their little twists and design flair but ultimately end up holding a ton of user data. I'm pretty sure Vesper users would love to be able to easily move their data to a less beautiful (bye Ideal Sans!) but still functional alternative right now, without a massive conversion/migration process.

I ran into this with todo.txt on Android. The flagship app (https://github.com/ginatrapani/todo.txt-android) was basically abandoned, but it is open source and some time ago was forked into what became an active--and better--alternative (https://github.com/mpcjanssen/simpletask-android).
I guess, for starters, I was just thinking about the breakdown of startups hiring for pure web roles, vs Android or iOS. Perhaps this demarcation would only be clear on the front-end side of web, as an API could service both an app and a website.

The blog post was very interesting btw, thanks for creating it.
How to Bypass Chinese Internet Censorship?
If it was your first interview in a while don't take it so hard. The interview game is broken and devs are rusty on their first couple if they haven't in a while. The real value in engineers/programmers is can you deliver a product and ship? If you can worry little, if you can't, start some on your own, gain some confidence.

If you can deliver, just practice up applying for smaller companies to get your interview game up. Never go to the interview with the company you want to work for first, get some reps in, worst case is you have a bunch of jobs offers to pick from and some leverage.

Look at it this way, you were good enough to get into one Big 4 and you can do it again. But your manager is right, stand your ground, you have to KNOW that you can do it to even start. Nice guys can be pushovers and get steamrolled in developer culture, stand your ground to actually be nice, don't just do as others want, do what is right for ship and the product. Sometimes you have to throw down in the ego driven game of development and ask for forgiveness later.
Ownership means all the rights and responsibilities of an equal co-owner of the business. Each member has one share. When someone leaves the co-op, they surrender their share and are no longer a co-owner. For a worker-owned co-op it's important that the owners are the people actively working in the business, and this is required by law and by our constitution (what's called being a "transacting shareholder").
Perverse that ads always work. I feel like I'm owed some kind of monetary compensation every time I watch an ad and then don't get to see the video I wanted to watch.
If you can buy a Mac in India then you can definitely afford this.