skysight-inc/HackerNews huggingface dataset:
It sounds like there are a few separate issues here:

1) You are concerned with other developers compensation.

If you already pay 20%+ over market then your devs aren't going to care what the cofounder makes. If you are paying 20% below market then you will have a problem even if you fire the cofounder and pay 20% less across the board.

If you have been acting as co-founder for the last six months this is your problem and your fault. Fix it.

2) You admit that firing the tech cofounder might harm morale but you think if you do it just right then everything will be ok.

The truth is firing is inherently messy. Firing a well liked and powerful person? Incredibly messy. There is no reliable way to avoid it. You have to believe that the short term (6-12months) pain is worth it.

As a dev if my company pulled such a stunt I'd start Looking for a new job. It shows the company doesn't value past achievements and contributions.

3) You believe you can gain access to the cofounders equity and you can use it to grow your team.

In truth he will almost certainly keep most of his equity, or sell it back to the company.
Fixing a Buggy Windows Driver with a Virtual Machine
Just from purusing the author's personal websites: Avigad's Ph.D. is in Mathematics (from Berkeley) and he is a professor in a mathematics department.

More to the point, Mathematical Logic is a bit of a term of art referring in general to the study of formal logical systems and related objects/constructions. The term Mathematical Logic is typically used to distinguish from e.g. the sort of informal logic you might encounter in a course where one might read Aristotle and discuss informal logical fallacies.

Also, TBF, a lot of Mathematical Logic happens in analytically-inclined Philosophy departments these days. And it's not at all uncommon for a Mathematics department to have exactly zero Logicians. Just playing the odds, it's somewhat unsurprising that a group of high-quality Mathematical Logicians just happened to not include any people with a sole appointment to a Mathematics department.
> Doesn't take more than an inch of water for them to fall and start rolling out with the backwash.

https://bob520.wordpress.com/2010/12/13/tragedy-by-the-sea-p...
> But if no one does create that app then my app never gets written

You could write it and release it at a price equivalent to your time and effort. You could even include the source for personal modification and offer free updates to anyone who contributes back to the project. Or write it yourself and keep it private.

> And if I charge for it and no one buys it, what then, should I give up or make it open-source?

Pricing is an art, so I imagine some experimentation is in order. I've begun doing so myself. Making it open source, as in no cost to redistribute, would still devalue programming as a paid profession; even if it's hard to see at the micro level.

> What if that 'person' can use my software for free and in doing so save some money so that they can write the software they want to?

Good counter-point. Some producers do benefit indirectly as they are also consumers of tools. Yet if they ultimately find it harder to get paying work--because the market as a whole expects software below cost--then the net effect looks negative to me.
Use the power of the free market! Ask beforehand if the optometrist will give you your PD, and if he or she says no, tell the doctor you'll find one who does. No one in business likes losing business for something that is autocorrigible.

That being said: I've ordered glasses (and lenses) from Warby Parker many times and never had problems getting the PD (in the US), although the doctor did try to convince me that buying online is bad for a variety of reasons. I know that WP has some doctors with whom they associate themselves, and so they (or whomever you are looking to purchase from) may be able to point you in the direction of a doctor who is amenable to that sort of thing.

Worse comes to worst, I remember an anecdote about someone walking in off the street to an eye place (in a LensCrafters or similar), and giving the technician a $5 or $10 tip to take his measurements. Works for the same reason: it's business (and money) they wouldn't have otherwise, and they're not looking at it as "losing the glasses sale."
Here's Firefox, immediately after entering a site name into the URL window.[1] The only visible effects are that the tab name has changed to "Connecting", and the reload arrow has change to an "x". On Firefox Mobile, you don't get either of those, just a one pixel high progress bar at the top of the screen. It's worse on mobile, where things are slower and there are fewer auxiliary GUI items on screen.

At this point, you've only partially left the page. Some clickable items on the page being exited will still work. It's not entirely clear exactly when event processing for the old page stops.

[1] http://s3.postimg.org/53784icoj/afterlink.png
Once we did rafting and our monitor guy told us: when you fall into the water and find yourself under the boat, just don't panic. Don't try to move your head up but rather chose whatever direction and swim until you reach the either side. We thought it would never happen, but we ended up few times in the water just like just like that. And even though it's just a few seconds you are quite disoriented and at first time don't know what to do.
Roughly, someone who at the start can work independently on an existing business-critical[1], medium-sized[2] app to first fix bugs without adding major tech debt[3] and then take features from planning to deployment/maintenance, and then ultimately (6-12 months, since we were a very small shop), independently steer architecture and be solo on call.

[1] hundreds of thousands in sales a day
[2] around 10-50k LOC, but a far cry from the greenfield toy apps that bootcamp devs spend 90% of their time with
[3] position: relative and z-index: 100 fixes many UI bugs, but if a dev has that as a main piece of their toolkit, you take on UI code debt or drag down the team to steer solutions in the right direction.
It's a reasonable article, but lots of reasonable articles don't get any attention. "Newest" is purely chronological, with things getting pushed off as new submissions come in. If items get enough votes on Newest, they get promoted to the front page.

There isn't really any "better" time to submit. If there are lots of people submitting, there are lots of articles to choose from, but also lots of people viewing. In off hours, there are fewer competing submitted links but fewer people viewing. That said, you'll may have better luck when there are fewer other submissions coming in.

Repost when you see fit, but 12 hours might be a good guideline. If you are lucky, someone else will resubmit in the meantime (https://news.ycombinator.com/item?id=9964977).
You probably shouldn't ever submit something more than twice yourself, or resubmit if it's already been submitted 3 times overall by anyone.

And for the future, instead of using Ask HN for these questions, write email to Dan at hn@ycombinator.com, perhaps encouraging him to add the answers to the FAQ.
New startup. Did not use docker. Happy with scripts and ansible.
Hard to argue that we need more good developers. In my experience, some component of 'good' is experience, some is aptitude, some is knowledge, and some is willingness to grind. The code schools can take care of the latter two (depending on the quality of the school).

Sorry to hear that the signal to noise ratio is going up. That is probably due to more people being pulled into the profession (just as it was 15 years ago).

> Flooding the market with folks though just makes it more challenging for those hiring.

All other things being equal, wouldn't you want a larger candidate pool? I have done some hiring and while it was a grind to screen applicants, that beat the pants off of not having any applicants.
You're right, I was also very surprised by this error and have commented on it as soon as this was posted. I just wanted to elucidate the correct value.
Pick a framework and order some devices / components. I was attempting to get into this but never got beyond toying around with GPIO on the Beaglebone. You just have to start getting the equipment and dive into it.
Ah, in that case, why is the ship even running from them?
Ian Urbina's "The Outlaw Ocean" serie is quite the fascinating and nicely researched read - http://www.nytimes.com/interactive/2015/07/24/world/the-outl...
Are Car Alarms Completely Fucking Useless?
Seriously, I was reading a WIRED article, and in an ad slot, there's an image asking that I disable my ad-blocker for them, so I did, and reloaded.

The two-page article was fronted by a 30-second or more preroll video and there were animations all over the page.

Re-enabled.

When ads stop being malware, I'll let them through.
It's ultimately impossible to prevent tracking of all types. Pixel tracking doesn't use JavaScript, so it persists even if JS is disabled. Actually, I can think of a few ways that don't require JS.
On the cruelty of really teaching computer science (1988)
This sounds like user error. If you want to be sure, you can call the number on the back of your card and they can tell you for certain if you were messing up the payment.

I had the exact same problem yesterday, I was reading my CVV upside down.
Amazon proposes a delivery drone flight plan
sure wish someone had explained why they disagreed instead of downvoting me :\
Are you a consultant? It would make sense that companies that need to hire a consultant for these types of things are the companies that aren't currently doing them.
Do you remember what the odd questions were that he asked you while you were unicycling?
I admire his clarity of purpose:

This is my lifetime project. Before I retire, I want to make this happen.
I’m 39, so I hope to make the whole thing happen in the next 20 years. I’m a
little bit nervous, but also excited, because I know I'm doing the right
thing. I am a risk-taker. I am betting all of my credibility on this.
OP here. IMO, I think the reason Venmo trumps is because it's P2P payments rather than for retail / enterprise. Most of the hacks using Venmo are about tipping your friends or discouraging bad behavior, etc.

Plus, Braintree / Venmo are frequent sponsors.
> We can setup manageable and productive fisheries that not only can sustain populations but also continue to reproduce and be healthy.

We're not, really, though. :/

As long as the demand is highest for the least sustainable fish, someone will haul out and net it for us.
>Getty was looking for vendors to tag photos they’d acquired when they bought iStockphoto. Machine learning can handle a lot of the image recognition, but images of celebrities from different angles or with shadows needed to be processed by a human.

How does one find out about such vendors who are looking for contractors to do the work? Is there some B2B board for the tender process?
Please see http://www.feld.com/archives/2012/04/the-tragedy-of-calling-... for a good rant on this topic.
Sadly, no, not in detail. I could fill in some answers, but I wouldn't be sure I wasn't making them up. I think it was about torque versus the power available at different parts of the cycle, but it might have been something completely different.

Knowing Conway, it probably was.

The thing about riding a unicycle is that you don't think of staying on top of it, you think about keeping it underneath you. Falling forwards? Pedal faster to bring it back under you. Falling backwards? Stop pedalling so you catch up. The side-to-side balance largely looks after itself when you're riding - it's different when you're idling.

But I'm not sure that's what he asked about. It was 31 years ago.
I hope I don't come across as too patronizing, but Amex cards do trip end users up sometimes- the CVV number being 4 digits, and on the front of the card, unlike Visa & MasterCard... I've personally made the mistake of reading the wrong numbers off my Amex cards a few times.
You're lead engineer. You're a valuable contributor. You've got a problem. Your CEO has offered very reasonable advice. I recommend re-evaluating the reasons you have given for rejecting it. If the company is any good it is likely that the CEO has discussed the issue with the board and the cofounder. Any board worth its salt would see fucking over a cofounder as the kiss of death. Risk of lawsuit dampens enthusiasm for future investments, while a buyout burns through cash for no value except in a case where the cofounder is actively harming the company...and in that case the company is almost certainly already hosed.

As you acknowledge, there may have been a misalignment between your expectations and talents and those of the company. It's an experience worth learning from.

You're the lead engineer. A lead engineer's role is not restructuring the cap table. The focus on programming chops underpinning your argument and clawing at a little pie instead of making the pie bigger suggest a narrowness of view that seems to be missing the bigger picture.

Good luck.
> dram latency does not depend on the memory technology, rather it depends on the array size

Wait, what? You mean they are making us wait 10ns for row open and 10ns for row close just for shits and giggles? Or did you mean to say "bandwidth"? I'm confused (genuinely, not sarcastically).
The Sea Shepherds were cutting their illegal nets and taking their buoys, and were reporting them to the local authorities whenever they approached a harbor. The fishing boat had no way of selling its catch or taking on more supplies without first losing the Sea Shepherds tailing them.
Thanks. Yeah I bought an Arduino and some parts, but never got past the first bug robot build.

I'm also wondering where people interested in this stuff gather, and where some of the better tutorials / blogs / books are.

You're right though, I need to just start putting parts together.
He even has a quadrature (as in, sine and cosine) oscillator for any frequency, using only integer adds and multiplies, which would obviate the lookup table used in this post. It's a bit like masswerk's post above, except with a derivation of what to set "epsilon" to.

The book has been out of print forever, and I waited months for my copy, but it was worth it...
Ha, I thought someone would accuse me of this so (as I was buying something elsewhere at the same time) I screenshotted it and used the screenshot to type in the details. Can't share it, of course, but rest assured that not only did it work, but also that my CVV is not easily confused to be upside down. I also have the card right here in front of me.
Docker is part of the first generation of a good idea - containerization. The problem is that there's too much stuff in the box. Each application doesn't need its very own copy of everything. You get portability at the expense of maintaining your own distro. There will be a second generation of this, hopefully not so bulky.
> safe had a usb port.

nothing else to read here.
This tutorial shows how to deploy a micro docker container with WordPress. Each microcontainer has its own instance of Nginx and PHP-FPM. An Nginx server as a proxy sits on the front end serving connections to one or more sites hosted in the containers. It uses Alpine Linux and persists all data on the host's file system. The logging is also available on the host system. The benefit of doing it this way is that each site sits in its own container, so if it is compromised, no harm comes to any other site or services running on the host system.

It also does not link containers, instead opting to attach the database to the first IP address of the network Docker sets up, thereby avoiding the need for complicated service discovery. It also includes instructions on how to deploy Redis on the same box and use that with WordPress. Also includes instructions on how to do SSL for each site. It's being used in production.

http://www.dockerwordpress.com/
I am not personally running it yet, but I have heard no major issues. El Capitan's improvements seem to be almost entirely UX related.
Ha ha, not to worry, I did use the four digits on the front. This is my primary card. They have a "what is this?" too to look at and help with the CVV that corresponds exactly to my card.
They do their best to interfere with their fishing practices, following them around and pulling up their illegal nets, and sending their location to Interpol.

It's likely that whatever remaining shred of legitimacy such operations have is highly dependent on not having high-def video of their operations on TV and the internet as well.

As the article states, what they do that is most harmful to them is to follow them around and notify any port they attempt to dock at, so they can't get supplies (esp fuel) without risking arrest.
> ...it doesn't mean the work went to waste or that you somehow squandered the one chance you [had] to contribute materially.

While I did learn a lot through the process of contributing to free software, it's also time I could have spent making software that paid for itself. Still, it is good to be reminded of the positives. Thanks.
Wouldn't surprise me if African startups only became interesting to sites like Techcrunch when they receive foreign investment. I bet there are African startup news sites that have been reporting on startups there for years. Yup, see http://www.itnewsafrica.com/category/startups-2/ for an example.
Briefly: the NYT has no true peers, which is why it's called "The Paper of Record." Nationally, globally and locally, it plays an indispensable civic role, to say nothing of its value qua "content on the internet." Much of their reporting shapes the conversations that define many, many dimensions of contemporary life, and if they were to disappear quite a bit of important truth would go uncovered. Journalism is not merely something to be consumed, it is a necessary part of the social ecosystem. The New York Times is too big to fail, and is easily among the most important corporations of any size, period, despite it's small capitalization.

edit: for what it's worth, my father was a journalism professor and sometimes-head of one of the top journalism programs in the US, so I grew up hearing a lot about this sort of thing!
I once stumbled on a bug this way. I reached for a key to do something, a coworker reached for a different key to do something else, and the program crashed. And we looked at each other and asked, "What keys did we hit?" (It took maybe five minutes to figure out, which isn't very bad.)
Honsestly, if this is something you are interested in, you should read the article. It's quite good and covers all the details of how the ship is wanted by Interpol and where these activists get the legal authority for what they do out there.
I think part of the New York Times' problem is that they're trying to keep both parts of the business alive, but the two ad channels compete with each other. At some point I would hope that the family controlled board decides to go all in on being a digital-only press. Everyone works remote, with small regional offices as necessary. They retain their artists, photographers, editors, writers, and other content producing staff. They retain their existing technology team that works with the editorial team on the cool features as was posted.

The print business and assets are spun out as a separate company providing white label newsprinting services (perhaps as The New York Times Print Services Company), and eventually sold.

I think they can continue to run the dual mode business for 5-10 more years, but eventually the numbers on print won't make sense anymore.
I had great luck with this technique when friends forced me to play Mortal Kombat or Street Fighter or other similar uninteresting-to-me video games as a kid.

They always thought it was "unfair" when I beat them.

Well maybe you shouldn't enjoy playing such poorly designed games then!

Applies equally to poor security practices. Play stupid games, win stupid prizes.
I don't mean any disrespect, and I do agree with the point about "encourages them to go deeper...", but I think "any flotation device" "besides a life jacket" is a little bit hardcore. We can't make everything 100% fool proof and 100% safe in every way without removing all activities. Parents need to pay attention to their kids' swimming abilities and govern their activities accordingly. If a kid can't swim really well, the wave pool (or at least the deep end of one) is not a safe place to be at all.

Less than 1000 deaths by drowning is a really small number in a country with tens of millions of children swimming every year.
Those are things that happen to the UI immediately after asking it to navigate to a site that you typed in.

Now that you've demonstrated the UI changes that happen immediately after you type in a URL and press Enter, what UI changes happen when you click a link that leaves the page?

That's the complaint of yours that I was addressing in my comment. :)
When I went away to college I made a conscious decision to meet people. I'm an introvert and, previous to then, was never the type to just go up and introduce myself to someone else. Ever since I went to college though I've been exactly that person. I'll happily meet someone else and get to know them.

I'm still an introvert but I didn't let that stand in my way.
runsnakerun is another good visualizer for cProfile:
http://www.vrplumber.com/programming/runsnakerun/
I agree. Clicking the video didn't seem to work for me the first time, so I just figured that wasn't how the site worked and wasn't entirely sure why this was a "Show HN" as I assumed it was probably interactive but seemed not. More helpful (and prominent) text than a single line in the bottom without an autoplay video would have helped, as the text there can be out of view/hard to notice.
Scrooge – Rescue your money from online subscriptions
If the user stories don't include cleaning up bad code, then cleaning up bad code is not a priority for the product owner. That's a feature not a bug.

As Uncle Bob points out, when code doesn't have tests, programmers are rightfully afraid of touching it. One approach to legacy systems that limits the risk of breaking working code is Eric Evans "anti-corruption-layer" [0] approach.

Good luck.

[0] http://allegrotech.io/working-with-legacy-architecture.html
Hey Sean, Dan Whaley from Hypothes.is here. We would absolutely love your edits and updates! Happy to collaborate on this. You can email me ... dwhaley@h...
I'd definitely not let him out of my reach, he's far too young.
Anatomy of a Lie
and listening to the child's various physiological indicators, so can auto-deploy itself. (and/or notify you of a potential issue)
Aggregators are the future of E-Commerce
> I don't classify these as technical debt because

Apologies if this is too meta, but that is the most interesting part of your comment for me. It conceals a massive assumption which all devs make, resulting in very different conclusions.

What IS technical debt?

My own preference for the answer is Uncle Bob's description, which is this: technical debt is any production code that does not have (good) tests.

But regardless, any attempts to address technical debt must necessarily begin with a common understanding of what technical debt actually is.

I've rarely seen teams agree that understanding and I think that contributes to their problems.
> AWS is not always so cost-effective when you truly dig in and crunch the numbers.

If you have a consistent level of traffic (i.e. you don't have inordinately wild upswings/downswings like e.g. Reddit), AWS isn't even remotely cost-effective. I was going to do the math to compare our current physical server infrastructure with AWS, and even if you factor in that physical servers need to be in pairs (for redundancy) and over-provisioned (for traffic spikes), I didn't even get as far as back-of-the-envelope math before it was obvious that AWS was completely infeasible.
I don't have a github account.

I just suggested a reason why someone might choose to use a conventional HDL.
Problems with Flux