skysight-inc/HackerNews huggingface dataset:
But if it compiles its status is not unknown. It means it is well typed, proving the absence of a whole lot of bugs.

Generally, refactoring in dynamic languages without tests or something like Clojure's schema is madness. Usually not a problem in strongly typed languages, even without much test coverage.
Good on you for knowing where your priorities are. I've seen many people go the other way and it always ended in regret.
> It's both bold and responsible to bootstrap and not require VC funding

I think there's sense in the middle. VC funding is expensive. Use it to finance rapid growth across orders of magnitude. If you can't or don't want to grow like that, find a more appropriate funding source.
Ask HN: Is it possible to hide Nick Jonas in iTunes?
Totally serious question.
How Great Design Can Increase Content Marketing Conversions
How is that any different than installing any opaque binary app?

It all comes downs to whether you trust the source.

At least with the "curl http://xxx | sh" method you can also examine the contents of the script before running it, and even opt to run it after downloading it and checking it locally.

With binary apps off of internet sites, which is what people install and use dozens of times a month, no such luck.
Dropbox's last round was during the frothiest of the current frothy environment. Terms sheets with such ominous terms (if they exist today) didn't arrive until later.
The apple slices are literally raw, unsweetened, sliced apples. Not a baked item.
I was one of the people who pledged $20. It caught my eye because it was a unique approach that I'd thought of myself in much less concise terms and told myself that I'd think more about or try "someday". Pledging was like outsourcing my someday to you!

As I posted before:

I don't want a cent back. I didn't pay for a "product", I paid to watch him try this novel approach to a game engine. Money well spent.

Now "Transformers 3" on the other hand... I paid to watch that too. Michael Bay, you owe me $12 back for that stinker.
I just tried it, list of X was generated, clicked Register on 1 I liked, took me to register, said 'is taken' :(

Is this common or did I do something wrong?
No idea if this would work but I wonder if some kind of profit sharing plan would make more sense than equity for these cases.

That way people still get the big payoff but get to keep control of the place they like working at.
The amount of positivity in this thread makes me believe in humanity again :) (coming from someone battling with depression)
Interesting, what service do you use for Wakeup.io?
I'm not your friend, buddy.

Also, I never told a story about how I parent my kids.
> The campaign is simple: natural diamonds are for winners, lab grown are for chumps.

Honestly, I'd rather have a stone which was formed over geologic ages in the bowels of the Earth than one which was formed over the last month in a garage in Hoboken.

But I'd also prefer not to subsidise genocide, civil war or De Beers. And I'm cheap.

I can see spending extra on a real diamond for something special, but not for something run-of-the-mill.

The thing is, how many of the traditional uses for jewelry-grade diamonds fall into the category of 'run-of-the-mill'? I think the engagement-ring business is probably secure for a long time. Earrings and other small jewelry? Probably not so much. The sort of things given for important anniversaries and occasions? Probably decently secure.
Last time one of these shipped they had a lot of customer service issues, or at least that was the loudest complaint I read. I wonder if that has changed?
You're mistaken if you think that trump is presenting any kind of rational argument. Instead he is appealing to his voter base, many of whom feel that the mainstream media and Silicon Valley companies are silencing conservative viewpoints. See search terms: "Google biased towards Hillary", "Facebook censoring conservative news", "conservative msm", "conservative lamestream media".
Don't you mean 7X? ... because math.

Also, the logic of directly tying valuations of a private company to the only public direct competitor in the space is flawed (analysis don't use GOOG,MSFT for this). Using the current logic; if Dropbox (private) beats the crap out of Box (public), this would result in reduced growth and reduced quarterly numbers for Box. However, Box's numbers are then used as indicators/benchmarks for the cloud storage space, and then used to price Dropbox.

When you look at Box's valuation, you should be aware that the price is partially because of risk/competition from Dropbox. How much of the price? I have no idea.

* Full disclosure I am an ex-Dropbox employee.
This is a classic heap problem. However, Python doesn’t have a proper collections library, so to solve it I would try to import a specialized module like heapq, which usually wasn’t included in the interview environments.

This is an odd thing to say - heapq has been part of the standard library since 2.3. The fact that it isn't part of collections... just doesn't mean very much.

With a few exceptions, Python was clearly frowned upon. Of course, no one ever explicitly told me I couldn’t use Python to solve a problem. The coding environments always had a Python interpreter, but the interviewers would usually suggest that I use “a compiled language” (read: Java)

Well, actually they were explicitly telling him, right there. But if their interviewing teams would let a candidate go on and code in the "wrong" language (obviously a huge waste of both the candidate's time and theirs)... then they have much worse problems than any of us are likely to be able to help them with.
> I'm replying to your delusion that you can't get worse than that meal,

And that is wrong, it doesn't matter what you eat at MacDonalds. You can swap the coke against "chocolate milk" to reduce sugar, therefore you get more emulsifier and more preservative. You can swap french fries for apple slices to get less fat, but therefore you get another mix of chemicals without any vitamins left. And all this discussion when the Deli around the corner sells fresh apples ...
They could have substantially higher growth instead (or in conjunction) but like you I would doubt this.
Individual sales matter less to the blacksmith than their customers. So, they might not gouge their customers but padding bills is common behavior after all selling 10% less at 20% higher profit is a net gain. Consider how important the internet is to you vs an extra 20$ a month in profit is for a multi billion dollar company.
> Same can be said of static type checking so what is your point?

That isn't true. Static typing offers machine checked proofs of the absence of a whole class of trivial errors; and potentially any invariants you've managed to teach it.

My point was that testing does not negate the need for static types, as implied by the previous poster.
What makes this newsworthy is that they are venture-backed. Investors don't get paid (generally) until there is a liquidation event.

A company that can "make a profit and stand on its own" is of no interest to a venture capitalist.
Yup, and it feels like the blacksmith allocation is very similar to last-mile infrastructure investments. Its not worth putting two sets of infrastructure because either the existing operator is going undercut the new entrant, putting them out of business, or the competitors are going to split up some fraction of the market each, but now, both companies and their customers have to bear the full-cost of capital to wire and maintain the whole market area twice.
Agreed. Lots more fluff and detours than substance.
Eclipse does a similar thing with Java. It will replace methods that don't compile with a stub that throws an exception with the compilation error.
For what it's worth, that's just one example of a McDonalds.

There was one location nearby where I went to college and its lot was frequently used by drug dealers and all kinds of shady types.
Building a product, one user interview at a time
>Even if someone is thankful that they were prevented from taking their own life, that's essentially an argument of the form "the ends justifies the means."

You have completely misrepresented my argument. Nowhere did I present anything that could even remotely be construed as a consequentialist argument.

I provided that point as a direct rebuttal to your point that if we look at agent-focused moral systems, and ignore agent-neutral moral systems, preventing people from committing suicide doesn't make sense.

> I think it's up to everyone to decide that for themselves. Preventing people from doing such is unethical, imho.

Your opinion is indefensible and insane. What you have implied constitutes prevention is absurdly broad. For instance, from a consequentialist standpoint, calling a friend you fear may be suicidal and asking them to hang out would constitute prevention at least some of the time. Ignoring that issue, the evidence I've presented effectively argues against the idea that most people who attempt suicide wish to kill themselves. Most suicidal individuals are impulsively responding to what the French might call L'appel du vide, or the call of the void. If they were rational, they would not attempt suicide in the first place.

I cannot imagine you actually understand the points Camus is trying to make if this is the conclusion you have come to. Please seek out further education on the subject. Your knowledge of ethics and philosophy is appalling, and ultimately harmful.
Houston. He's rabidly anti-corporate and anti-1%. he's also pretty rabidly anti-gun, yet he owns a revolver. He's totally "do as I say, not as I do" about that issue!
But you live in a San Francisco suburb. Try a small town in West Virginia or Alabama. It's very different.
Hyping up videos so they can sell more ads?
If they toss out dividends then there are plenty of people happy to buy that stock from the VC. Yes, the VC wants to pump and dump, but that does not mean the company's need to respond in kind.
"The problem is that the 16-bit displacement field is overflowed. CompCert’s PPC semantics failed to specify a constraint on the width of this immediate value, on the assumption that the assembler would catch out-of-range values. In fact, this is what happened. We also found a
handful of crash errors in CompCert."

That bug was in the backend. I believe it's verified code based on this paper's existence:

http://gallium.inria.fr/~xleroy/publi/compcert-backend.pdf

The code correctly implemented a bad spec far as I can tell. The crash errors aren't elaborated so I can't say what they imply. So, for backend, there was at least one bug found in verified versions due to inaccurate spec.

Shows value of multiple forms of verification which Orange Book era research already supported empirically. Corroborated by Altran-Praxis and others in recent times. I've included example papers on LOCK's design/cost and Altran-Praxis' CA since they're representative of trends I've observed over time. Proving part, for common errors at least, has gotten a lot easier though with tools like SPARK. I wanted CompCert derived into SPARK at one point.

http://www.cyberdefenseagency.com/publications/LOCK-An_Histo...

https://cryptosmith.files.wordpress.com/2014/10/lock-eff-acm...

http://www.anthonyhall.org/c_by_c_secure_system.pdf
> As a thought experiment, what if Moore's Law scaling had ended in 2000? No smartphones.

2000? No, we would still have had smartphones. We were not in stone age anymore. Mass market smartphones would have eventually been built with that era process technology.

By year 2000, we had full color displays and StrongARM CPUs 206 MHz+, similar process could stretch to 400-500 MHz.

We'd have our beloved smartphones. Just with lower resolution screens (at most 640x480), slower CPUs (200-500 MHz single core, 8 kB L1 cache), 64-128 MB RAM and less storage (up to 1 GB). Packet data connections would have likely been limited way below 1 Mbit/s. (A)GPS would exist, but be much less sensitive (needs a lot of processing power) and take a lot longer to lock. Web browsers and other apps would have eventually been developed that work smoothly with such limited HW.

I think I could have lived with such a moore's-law-stopped-year-2000-device.

See what roughly 2000 StrongARM can do in a mobile device (PocketPC Tomb Raider, just like the original Playstation version):

https://www.youtube.com/watch?v=TujJ4nf31rI

Or these demos (run nicely on 2000 PocketPC HW):

https://www.youtube.com/watch?v=bjZupXHhflA

https://www.youtube.com/watch?v=E2CDOtHswR0
I have a relatively less negative feeling towards the Redemption Clause.

I somewhat empathise with VCs who put the clause in the term sheet, as VCs themselves have huge and constant time pressure to make money for their investors (LPs), which likely can only happens when their portfolio companies has a big liquidation event (IPO or acquisition).

Yes I agree that the Redemption Clause does not align with entrepreneurs' interest, but I understand the reason behind it.
Runs on Linux too. I have it set up on my NAS backing up to the cloud.

That said Google drive is missing some Dropbox features, but it meets my needs.
He gave an explanation of what they do. It might be wrong, but you haven't given any alternative one.

Besides he is right, and those are useful additions to almost any script that you want to stop on error, undefined vars, etc.
Every organisation already does code review. Why would you want to have code review done by subpar people?

All this will do is push down wages.

We don't need more programmers, we need a higher percentage with a strong background in math, and with a thorough understanding of the infrastructure underpinning ever application (operating systems, hardware, networking).

But what we instead get is another post every week of somebody complaining that reversing a binary tree is too hard, and not relevant to our profession.
Like chip+pin cards, verified by visa is very rare in the US. Ubiquitous in UK and many European countries though.
I think it's analogous to generics in Go. Go left out generics, which isn't a problem for most code. But when you need it, it's super annoying not to have.
I've been using this for not that long. It's definitely a must have for you vue.js lovers who are working with Electron. Developer is constantly fixing bugs and adding new features.
> Are you suggesting that those working in static languages don't need to write tests?

You certainly don't need to write tests that Math.floor will return NaN when you pass it something that's not a number...
There's probably an entirely different discussion that can be had about interviewing techniques for data science positions.
As someone who lives in a much less expensive part of the United States, I've run into this too (though likely not to the same degree as you). My advice: if you're skilled enough to command a higher salary, IMO, you should always push for it. Use some of the extra money to pay an accountant to do the paperwork for you. With the rest, invest it or if nothing else, put the extra money into a retirement account. You'll just be able to retire that much more quickly.
> Honestly, I'd rather have a stone which was formed over geologic ages in the bowels of the Earth than one which was formed over the last month in a garage in Hoboken.

Can you elaborate on why you feel this way? The products are indistinguishable without an electron microscope, and you stated you don't want to contribute to the evils of the natural diamond trade. So what makes a "real" diamond so fucking desirable? The psychology of that baffles me.
While diamonds are super hard, they'd make pretty poor structural materials. They don't stand up well to compressive forces, which is essential for buildings.
Forgot about that one. Thank you! I remember it being small and fast but didn't know it had memory and bounds checking. That's a great combination.
I've been encountering a lot of deep humanities types lately who nevertheless are not mathematically incompetent, have math knowledge up to (say) first-year and can code competent small-script Python just fine thank you. And frankly, we need more of this. The STEM/humanities divide is artificial, and any competent intelligent person needs to be able to sling both to at least a basic level.
We've banned this account for being a pro-Microsoft astroturfer who has plagued HN for years. This person (or persons) is an accomplished if not professional pro-Microsoft astroturfer whose "contributions" to Hacker News consist of shilling for Microsoft, slagging Microsoft competitors, and covering their tracks. They've made networks of accounts to reply to each other and create the false impression of conversation. At one point they even created fake female identities to make it look like when we banned them, we were banning women.

We ban any account that evidence suggests is part of this campaign or anything similar. Users who think they see signs of this are invited to email us at hn@ycombinator.com so we can investigate. Please don't level accusations of astroturfing at other users in threads, though. For every case like this one that really is astroturfing, there are dozens more of legit users simply holding divergent views. We don't want a culture of accusing others lightly.

We detached this subthread from https://news.ycombinator.com/item?id=11900781 and marked it off-topic.
Database corruption erases 100,000 Air Force investigation records
Oh, I don't disagree. I personally believe that suicide can be a rational decision. However, I believe that it is not a rational decision with much greater frequency.
We detached this subthread from https://news.ycombinator.com/item?id=11900819 and marked it off-topic.
We detached this comment from https://news.ycombinator.com/item?id=11900806 and marked it off-topic.
We detached this comment from https://news.ycombinator.com/item?id=11900486 and marked it off-topic.
The article details exactly what it is that makes McDonalds better:

1. It's clean.

2. It's local.

3. It is welcoming.

4. There is no beauracracy.
> that's essentially an argument of the form "the ends justifies the means."

What else would justify the means? There's nothing wrong with that form of argument.

There are arguments of that form that are wrong, but not because of the form, rather, because either the ends don't justify the means, or because the means produce additional unaccounted costs which offset the value they have in producing the ends. Or, because there are less-costly means to the ends, or because the means don't actually produce the ends used to justify them.
It is possible that you are suffering from a mental illness.

I think you should consider seeing someone.
What's nastier: noting that Princeton's a pretty good head start in life, or an admin stating that someone's comment was 'dismayingly nasty' and implicitly threatening to ban the commenter?

I didn't think it was 'dismayingly nasty' or bilious; I thought it was mildly snarky and made an important substantive point which was not lost.
This would have been a failure if you haven't learned, but I got the hitch you have learned a fair bit. You deserve all the help you are getting. :)
Sure, it's their job but some people simply appreciate being left alone and unsolicited offers just come off as pushy.

Your parent comment is right: it's culture shock. As a German I can't stand the idea of having to shop in American supermarkets. And it's likely no accident that WalMart failed to get a foot into the German market -- not just because of their blatant disregard for German labour laws (which are more worker-friendly than in the US).
Integrate Microsoft and Primavera Project Files Using Aspose.Tasks Cloud SDK Perl
This is a major release for Aspose.Tasks Cloud SDK for Perl. It covers all the Aspose.Tasks Cloud APIs. This SDK provides a complete solution for integrating Microsoft and Primavera Project Document in perl using powerful Aspose.Tasks Cloud APIs, so you can manipulate project data including tasks, resources, task links, and assignments in the cloud seamlessly. Aspose.Tasks for Cloud is a REST API for manipulating Microsoft Project documents in the cloud. It is a true REST API that can be used with any language: .NET, Java, Perl, PHP, Ruby, Rails, Python, Node.js and many more. You can use it with any platform — web, desktop, mobile, and cloud. Aspose.Tasks for Cloud allows developers to manipulate project data including Tasks, Resources, Task links, and Assignments. Aspose.Tasks for Cloud is a complete solution that allows you to work with all aspects of a Project document including conversion and manipulation of project’s tasks, task links, resources, resource assignments and extended attribute data.
Also, cooking for only one person seems to me to be more expensive, because the ingredients don't really come in the size for only one person.
“Everyone’s entitled to their own opinion, but not their own facts.”

Smugness is certainly a fact, but so is that brexit will leave the UK economically worse off in pretty much all respects. Especially the poor.
ah interesting! I stand corrected. good to know
From my experience, the usual way such tech companies disappear is not through being "merely" cash-positive, but by getting acquired for mucho dinero and then never heard of again.

Meanwhile, thousands of smaller tech companies and services exist for decades and reliably serve their customers and make money.
> The dynamic world lets us have inconsistent code that partially works, rather than forcing us to follow up on all the places reached by the ripple effect of a change. Maybe the change turns out to be a bad idea in the end; then it was a waste of effort.

Except you can mostly do this reasoning just using the types. So you're rarely updating everything, you're just updating a few type definitions to see if your idea meshes well, and then you have to do the large refactoring.
The story of the Commodore Amiga in pixels
>Just stating fact without making judgments.

Fair enough. But "frozen" gets so often used as an automatic disparagement relative to fresh.

To your other point, I personally can't stand McD's burgers so would avoid them unless I were starving so In-n-Out etc. are a better value if I have a choice. (Doubt if I've had a McD's burger in more than a decade.) No judgment about people who do. Just not for me.
Not too appealing, honestly.
More importantly to me is how does the agent "M" have 6,000 friends when the limit is 5,000? And why the hell does FB still keep a limit like that for accounts that are phone-verified and known to be real etc...

FB, it is time to raise the friend limit! I have heard of many complaints from people with max friends that they have to delete someone to add a new friend, kind of messed up!
Don’t dismiss people. It doesn’t pay
could you add my own self hosting C compiler:
https://github.com/andrewchambers/c
What equipment are you thinking of? Don't most homes have stoves? A pan or pot is maybe a couple dollars from a garage sale.
Something less creepy.

The dark patterns employed by LinkedIn in order have left a bad impression with say half of the people I know. Even the gray patterns are awkward--for example when it suggests I know other people at my organization simply because we coincidentally have the same last name.
> With polymorphism and inheritance in the mainstream languages, the method signature still doesn't exactly tell you what you are going to get, so you have all of the pain of micromanaging type annotations and you still don't really get an invariant.

This is exactly what is addressed by the Liskov substitution principle [0] -- the "L" in SOLID [1]. If your subtype does not have the same semantics as the type it extends, then it fails this criteria. It is violating the (implicit) contract of the type it is extending.

[0] https://en.wikipedia.org/wiki/Liskov_substitution_principle

[1] https://en.wikipedia.org/wiki/SOLID_%28object-oriented_desig...
Couldn't you understand why someone would want a real meteorite, that had actually fallen from the sky, rather than a regular rock, even if they were indistinguishable to the untrained eye?