skysight-inc/HackerNews huggingface dataset:
Ask HN: How to deal with a founder that won't leave his job (maybe)?
We're 3 founders with an initial cap table of a) 40% - b) 30% - c) 30%. Founder c is working as a researcher and initially dedicates 15h per week to the project with the idea to go fulltime in the future. Founders a and b are working fulltime since day 1. 6 months in and he didn't decide what to do yet. We're preparing a funding round and we want to fix this before talking to investors. How would you deal with it? Founders a and b think this proposal is fair:

-Scenario 1. Founder c starts fulltime now and keeps his initial 30%.

-Scenario 2. Founder c leaves the company and he keeps 3%.

-Scenario 3. The situation continues the same but founder c shares will start decreasing now (month 6) until we reach month 18 to a minimum of 5%. For example, if he joins at month 10 he'd keep around 20%, at month 14 10%, at month 18 5%...

Founder c thinks this is unfair.

Some considerations:

-Founder c is very good and we want him in.

-Founder c has not take any salary from our company during this time and he'd continue working without salary in scenario 3.

-All founders put the same small amount of money at the beginning.

-Founders a and c have been working on the project for a long time as a side project (more than a year). Founder b joins the project later when the first pre-seed round is being cooked (hopefully this explains the initial shares)

-This is not a fight, we're close friends and we're discussing this issue in a friendly way to get the best outcome for everyone and the company.

We know we shouldn't have gotten into this situation in the first place. We learned the lesson, but this is the situation right now and we'd like to get constructive answers. Thanks.
Deloitte: Using Bitcoin Is Vital to Understanding Blockchain Tech
Technical hiccup with one of our APIs. Super annoying, I know.

Funds from renters we charge for rent payments are paid out from a special account only for rent payments, so we don't use that money at all. We do not dip into those funds whatsoever, under any circumstances.
Dubai Lifestyle App
Community building and maintanence is a very tough job, and the simplest of things can end up nudging people towards unproductive behaviour. HN has consistently maintained at least a decent quality audience and community by keeping the UI free of bells and whistles, and thusly being unattractive to certain kinds of low-effort users. At this point, any change would probably count as messing with a good thing, so the thinking is probably "if it ain't broke, don't fix it."

They are however acknowledging some things that are broken and need fixing, and in recent days have been introducing small changes to correct those (eg. the unvote button, ability to fold). I do hear you on the notification for comment replies thing though, I was really surprised when I found that feature wasn't there, and at times end up missing out potentially good conversations because I didn't check for and notice the reply comment until too late.
Java didn't have generics either, until Java 5, when they've added an implementation with use-site variance with wilcards, for backwards compatibility reasons probably, but which is very user unfriendly. The irony is people complain about type erasure as being Java's problem, when in fact that has been one of its greatest features.

But anyway, the creators of Go where right to fear generics, b/c generics are hard. However the more time passes, the harder it is going to be to add. And truth is it's inevitable for generics to happen in Go and when they'll do they'll be half baked.

And remember that Java has striking similarities. Java is also a very opinionated and anti-intellectual language.
The poingant guide link (implimentation of the "belongs_to" class function) is a string of redirects. Anyone have a copy of the original?
I've been trying to develop a kind of argument map for mathematical proofs. Most proofs I come across are fairly ill-structured, especially from the point of view of someone with programming experience (a proof is just a program which operates on truths!). I'm still not sure about the grammar of these arguments, but some experiments are

- http://tmp.esoteri.casa/inv_dom.xml.html about dimension invariance of homeomorphisms, created to detangle an argument in Hatcher's Algebraic Topology book.

- http://tmp.esoteri.casa/galois.xml.html which only has some facts about polynomials so far, but again detangling some convoluted arguments.

The idea is that arguments supporting claims are indented, so you can read off the structure of the proof easier. Also, to keep nesting down, there is the convention that variables can be introduced with an implicit "for all" surrounding all of the following steps in a branch (using "suppose" or "for all"). Finally, proofs by contradiction are just case enumeration where some cases reach an impossibility.

I could see something like this being used for non-mathematical arguments. It would need a better way of having multiple arguments for claims, something math doesn't need. At some point I was thinking about a forum for arguments for facts/claims, where arguments can depend on these facts/claims. The idea would be that positions can be pulled up as a graph to see how strong or weak they are, or see where further arguing is needed. Perhaps something like this could improve political discourse.
I can wfh as much as I want. I would even argue that its a dumb waste of resouces for me to have space in an office. Our companies money could be better spent elsewhere.

But I go to the office every day that I can because wfh is hard for me. If I didnt have an office, I'd have to go to a coffee shop or something every day.
You are far from alone.

Like the "flat organization" thing, everyone thinks it sounds great, but companies aren't that good (yet?) at managing it, and it just isn't a good fit for some employees.

You're ahead of the curve if you already know this about yourself.
Using the status quo as the basis of an argument of how things should be isn't very meaningful...
http://poignant.guide/book/chapter-6.html#section3

edit:

While I love _why's guide, which can be very useful for learning ruby metaprogramming (and ruby in general), the technique presented there is a bit outdated. Modern ruby doesn't require such an "ugly" style because we now have Object#define_singleton_method[1] as a way of defining class level methods. There shouldn't be a need to use #instance_eval to define methods in the metaclass.

[1] https://ruby-doc.org/core-2.2.2/Object.html#method-i-define_...
Crocker's Rules
Good history lesson, thanks... you might want to look into why google created kubernetes if those are your opinions, anyway:

et l'avenir?
I guess to some extent that's the difference between an article intended for a general audience, and an actual proper course on point-set topology. There are limits to what you can cover.
Why shouldn't it, when the host is a much more obvious target?
California nears adoption of energy-saving rules for computers
Dude, Python is trying to become PHP. Except with a complicated implementation.
How does "tried as an adult" fit into that view?

I've never understood why you would go to the trouble of having special juvenile criminal sentencing ranges and juvenile courts when oftentimes a juvenile does something really bad he is tried as an adult (even more so in the UK, it seems). It would be more straightforward to just exclude murder and other grave crimes from juvenile court altogether.
the so-called "reliability" offered by FP is can be attributed
to comparable simple tasks these developers work on

The kind of complexity I'm referring to is the need to synchronize
and coordinate concurrency in a time efficient manner[..]

There's more than one kind of complexity. Keeping 1.3 million SLOC of trading code relatively error free while allowing non-full-time programmers to contribute to it is also complex.
This still happens in India. Parents of daughters are direct about income requirements. Women want men who earn more than them, down to the rupee. Men want women who are young, beautiful and homely. All this is blatantly specified in the ads in newspapers.
Akerlof's: If you don't know whether you are being sold a lemon, you probably think you are, and will only pay lemon prices. Hence brands and hence public market information openness.

Minsky: stability begets hubris begets instability in an endless cycle of humanity's economic systems. Governments need big balance sheets to sort that shit out.

Samuelson: free trade with low-wage nations
could hurt workers in a high-wage country. Duh.

Keynes: beyond a point, people will not borrow any more no matter the interest rate, thank you very much. When this happens, governments should borrow (at very low rates) and spend to avoid economic malaise and collapse. They should not be austere.

Nash Equilibrium: Watch Beautiful Mind

Mundell-Fleming: A country can only ever do two of these things: fix the exchange rate, decide on interest rates, allow the free flow of capital. It's amusing when they try and do all three, or pretend to be doing something else.
Scheme is immutable to at least the same degree as Clojure (which is to say, there are mutable values, but their use is discouraged by convention).
Why would a new check make any difference? Why isn't there money in the account?

EDIT: You also claimed that this issue was resolved 8 days ago, and that the cause was simply due to a transfer from your processor going into the wrong account. If that was true, my landlord would not have had any issue depositing the check today. It seems way more likely that this is a cashflow issue and you are in fact dipping into the rent account to cover other bills
Nothing in general. It could be science, technology or anything that is interesting.
i absolutely dont understand why people are interested in languages like this
Oh right, you own your servers. You have to book FMV and all that junk right? Yeah, it's the penguins for you.
I find this a bit unfair. Here's a woman who dedicated her life to a good cause. It might not fulfill the definition of what ALL people call sainthood but she did a lot of good. How many of us are out there helping the least fortunate among us? For that matter how many of us have done something that's selfless with in the last week? When I review my week I find it sadly lacking.

This article is not unique. The writer Christopher Hitchens (https://en.wikipedia.org/wiki/Christopher_Hitchens)
spent a great chunk of his career criticizing her. Yet he's not noted for being a great humanitarian even one with great faults. It's easy to criticize. It's hard to help others.

Sure, she had her faults but lets don't make her faults a commendation of her life and accomplishments. We should use the faults as a way to step onto a better plane towards helping others.
The money is in the account. There's an API error. If you could send us your account email to feedback@onradpad.com we can help your landlord get their money ASAP.
Speaking of topology, check out this numberphile video from a couple days ago: https://www.youtube.com/watch?v=k8Rxep2Mkp8 https://www.youtube.com/watch?v=6Qpfv5y-7WU

Cliff Stoll is a treasure.
The answer isn't quite technically correct. The absolute quickest path is to incorporate a company and then make yourself the CEO.
Mugwort is invasive, causes allergies, and is probably the single most-common street weed growing in NYC. So probably not a huge problem for the aphids to kill as much as they can.

The cooler story about aphids though is the dancing wooly aphids, which should be starting to colonize beech trees right around now. In addition to dancing when you shake the tree, there is an entire species of fungus that grows only in the honeydew left by the aphids. These are the black masses that you see on pretty much every single beech tree:

https://en.wikipedia.org/wiki/Scorias_spongiosa

https://www.youtube.com/watch?v=9k_FuYrMeDw

Fortunately they don't harm the beech trees, esp. since they're mycorrhizal with chanterelles and black trumpets.
As someone who now finally have conquered the aphids in my plum tree after destroying the ants nest next to it this rings true.
Sorry don't have any answers, but I will say I met my husband at my last job, but I moved on to a new job to avoid the hr issues as he was the Team Lead.

It's actually why I find some of the advice from the other female engineers so troubling. Our relationship attraction first started when he took me for coffee break, to see how I was doing after my 6 month probationary period ended.
Oh, another halting problem argument.

He's quite correct that you can write programs for which there's no faster way to find out if they halt than running them. His example is one that tests Goldbach's conjecture by brute force. A more practical example is trying to break a crypto key by brute force trials. Or a Bitcoin miner.

His analysis applies to the worst case. Most programs aren't like that. If your program is that close to undecidability, you probably need some kind of a loop counter to keep it under control.

Microsoft has a Static Driver Verifier for Windows kernel drivers. It's a formal proof of correctness system using symbolic execution. It tests whether a driver will halt (return, really), call any of the driver APIs incorrectly, or violate the execution model by subscripting out of range, using a bad pointer, or other crash-type error. It doesn't try to verify that the driver will run the device correctly, just that it won't take the entire kernel down. This is the main reason that driver-caused crashes stopped being a major source of Windows problems in Windows 7 and later. Before the Static Driver Verifier, more than half of Windows crashes were caused by driver bugs.

Microsoft's experience is that 5% to 10% of the time, the Driver Verifier can't decide if a program will get to a bad state. The Driver Verifier has explored too many cases and gives up. This is usually an indication of a flaky driver. If the Verifier can't tell if the driver will hang, the programmer who wrote it probably can't either. So the driver needs to be fixed. This does not turn out to be a serious problem in practice.

(I've worked on proof of correctness systems. There are lots of hard problems, but this just isn't one of them.)
19 KeyBase Invites remaining
I have 19 KeyBase Invites remaining. Ask if you need.
Wrapping is all-but-inevitable given dynamic display widths. What would your preference be? Smaller fonts for headers?
How a Weather App is created using AngularJS
Since links are just addresses that can be followed automatically, I strongly disagree with the ruling that this applies under the cited precedence;

in the absence of that intervention, its customers would not, in principle, be able to enjoy the broadcast work

Anything already in a public index should not be illegal to point to.
Silicon Valley Sells Withdrawal and Dependency
I agree, HR, or talking to a lawyer about the cultural norms and laws is super important.
I've seen a few guys with good intentions to help our struggle, but just not socially savvy get in trouble, and just become super bitter against women.
I think that stuff varies a fair bit on the specifics of which home country and where the company is. In general you fill in the tax returns in both countries and they work out something you owe. At least for C-Corps. I've got a Delaware LLC and live in the UK and that one's simple - there's no US tax and the company is ignored and it's earnings considered yours for UK tax.
Project Sand Hill: Google’s Campaign to Track the World’s Hottest Startups
The article was fun to read, deceptively informal. In fact the writing is brilliant. Almost every sentence has some delightful, unexpected word or phrase instead of cliche. It also relies heavily on sound. Even when you read silently, you hear the words. So alliteration, echo, rhyme, and rhythm are still important.
What books are on Palantir's reading list
As per this article, Palantir gives their new employees a reading list - http://thebaffler.com/salvos/improv-da

The two books listed in the article are: The Looming Tower: Al-Qaeda and the Road to 9/11 and Impro: Improvisation and the Theatre.

Does anybody know the others?

Thanks
Does the victim of pollution, or of a highway rerouting, or a relocation of a major traffic draw for brick-and-mortar foot traffic, have any contractual claim to their previously-enjoyed benefit?

Power and rights are far more about the ability to effectively press a claim than specifically detailed binding pacts.

The matter was whether or not Facebook could effect a taking. Not the rights of recourse of others. You're dragging goalposts.
This will shake up the Chinese dual boot (Win - Android) tablet market quite a bit.
The code for the website is on the gh-pages branch here https://github.com/Bottr-js/Bottr
What? The agreement was negotiated in secret, as is convention to prevent interference during negotiation. The full text has been available for a few months now. It's right here: https://ustr.gov/trade-agreements/free-trade-agreements/tran...
Yes please,

send to satanslittlehelper (at) operamail.com
Then you shoukd have left 5 minutes earlier.
The progressive case for replacing the welfare state with basic income
how are search engines supposed to figure out if a link contains illegal content or not
They are discouraged by convention.
One place I worked used a disconnected data set model. The idea was a single stored procedure returned multiple result sets all relating to a single business entity; specifically, an insurance quote, along with all the drivers, vehicles, accidents, convictions, etc. The entity was locked by inserting a row in a table.

Thereafter, the application didn't communicate with the database until it was time to save the record. The disconnected data set was small enough to store in shared session store, or even in a cookie (encrypted, naturally).

This architecture had a number of interesting knock-on effects. The entire state of a client's conversation with the server was tiny and entirely encapsulated by this disconnected data set, so you could record and play back each request to recreate a bug.

It didn't have to use multiple result sets from the stored procedure, but it did save a bunch of round trips.
> European court says linking to illegal content is copyright infringement

If that were remotely true somebody better tell Google quick.
I also agree. But it occurred to me that the authors intent was probably to create a sort of reference guide that could be referred to over and over in order to apply the techniques discussed.

In that context, the use of lists makes a lot more sense. What's interesting is that the article also seems to be written in conversational style while at the same time intending to be a re-usable reference. At least, that's my take on it.
> I've always accepted, perhaps naïvely, that something like the former is literally the price of avoiding the latter, and never regarded it as unethical.

The problem is not that you pay but HOW much you pay. An Open Access in ACM would cost $1700 for a journal and $900 for a conference article [0]. That cost is ridiculous to host online PDFs.

[0] http://authors.acm.org/main.html
It would be tedious to do it all by pure branching. You would need a 64-way branch for c2. If you can't spare one separate RAM bit for a carry you could store the carries in the c2 location and start the computation of c2 by if (c2==...
I get that his treatment upsets you and with good reason... however please bear in mind that in his OWN words:

"Peyton said he wanted to "live according to Sharia law." When asked to describe what that meant, he could only remember the rules that "non-Muslims must pay a tax to live in an Islamic land" and "that homosexual people are killed." He claimed to have read "eight chapters" of the Quran, but "I don't got any of it memorized."

So we have his own confirmation that he has a radicalised view of the world, agrees with some of the worst aspects of ISIS/radical islam, and lives in a country where access to deadly force is a constitutional right.

If the US authorities failed to act on this they would be held accountable for anything this troubled and damaged young man did.

So lets not rush to condemn the authorities here.... that's all I'm saying...
I'm the speaker. First of all let me say that much of what I do these days formal specification and verification, so I am aware of what's possible in practice and what isn't, and the blog post does go into some detail. Also, I am well aware of Microsoft's great accomplishments with driver verification -- SLAM was a landmark project -- but those results don't seem to translate well to other domains. As I say in the beginning, the main purpose of the talk is to explain why the problem is so hard, not to list the special cases that are feasible in practice (although I do quickly go over some approaches).

Nevertheless, it is not true that all the complexity theory results I present are worst case. Of particular interest is the result by Schnoebelen from 2005 (25:16 in the talk, but it's better to look it up in the post) that showed that verification isn't FPT (fixed-parameter tractable), which is very strong evidence that we cannot find a good method way to restrict programs or structure them in a certain way -- even in practice -- so that verification becomes tractable. Another is the result Schnoebelen quotes of symbolic model checking (28:20, but better in the post), i.e. the ability to use syntactic constructs and abstractions to aid in verification), which, as he says, has been shown to hold in practice and is now considered an empirical fact. Of course, the fact that feasible verification of nonlocal properties is unsolved and that virtually all efforts attempt to tackle special cases (or don't care about feasibility), shows that the problem is very hard in practice, and I talk about that towards the end of the talk/post.

Also, the Goldbach example has little to do with brute force. It is about the difficulty proving a seemingly simple reachability problem on a 10-line program. That the program itself uses brute force is irrelevant, and only used to make it simple and short.
wow thanks.
No Driver? Bring It On. How Pittsburgh Became Uber’s Testing Ground
Ask HN: My game is growing fast. What should I do?
Hi HN.

I made this game out of passion: braains.io, and it's getting some traction. What should my next step be?
By that line of reasoning you could publish a website with information on hitmen for hire and put their phone number beside each listing. After all it's just a sequence of numbers and the user has to manually call or configure their device to place the phone call.
For getting notified of replies, try http://www.hnreplies.com/.
Cyclone is a new Scheme with native threads that uses cheney.
Additional recommendation of Zero to One by Peter Thiel, I feel like its in the same section of essential startup business books.
I agree with you that HN has maintained a quality audience and community. This is really one of the main reasons I check HN daily.

Although, even top-tier programmers and professionals are eventually "human", and design rules apply to them as well. It's like saying these folks are more comfortable to use some strange user-undfiendly smartphone, while they mostly just use an iPhone instead.