skysight-inc/HackerNews huggingface dataset:
Big displays are spendy, but small ones aren't so bad[1]. They would be good for a sensor readout or something, at least?

1: https://www.adafruit.com/product/1028
How, in your world, would they be making closer to 3000 every two months?

[Edit: Forming unions doesn't automatically lead to rising wages - or if it does, it may do so at the price of fewer jobs. It isn't automatically going to lead to all the subsistence farmers getting good-paying factory jobs.]

> There is a history and a context to why labor is so cheap and regulations are so lax.

In Latin America, perhaps. In China? Korea, back in the day? Vietnam?
Why do you expect a private monopoly to allocate capital more efficiently than a publicly run utility?
We can talk about it when Tenderloin is gone. What hypocrisy!
Definitely agree that equity compensation carries risk.

However, I've seen equity pitched as a way to "make up" for the lower cash comp a startup might offer.

This is probably the wrong way to look at equity. The expected value of the equity might make up for lower cash comp, but that's with a large sample size. Employees don't get that benefit at all.

It's definitely up to the employee to understand the risks, but frequently they don't, and employers don't actively educate their employees.
Uber receives more foreign-worker visas as it lays off hundreds of employees
Use WebXray to Identify the Third-Party Domains Which Collect User Data
It just hasn’t been cost effective until now. Tesla saw this and started with a very expensive roadster and just recently ended up with more affordable options like the Model 3.

Industrial equipment is either making money or spending it. I look forward to the cost optimization that will come with battery powered heavy machinery.

Thinking aloud: how can the electrical grid keep up? Surely we need to invest in this area, too.
Histone lactylation links metabolism and gene regulation
Microsoft Wins Pentagon’s $10B Contract
> Microsoft took nothing except a small mezzanine round (to align incentives with the I-bankers) right before IPO.

> to align incentives with the I-bankers

What does that even mean?
I do, because all the people at my office using the desktop app complain about bad syncs, sudden filling up of the local hard drive and general slowness
I wish he would do this again. Windows 10 is evolving into a major shitshow.
World Economic Forum to build blockchain platform
70% market oriented is a far cry from 0%. Fortunately, a free market doesn't have to be 100% in order to be effective.
Graded regulation of cellular quiescence depth by lysosomal dimmer switch
Right.. I'm very bullish on Tesla and on EVs in general but I was responding to "Why would anyone buy a similar, lower-range car that's 25% cheaper" which doesn't seem like a complicated question.
Everything the author complains about is a feature of the Kindle.

Just use your iPad if you want more than an “electronic book”.
That's a seriously fantastic point.

I think most voters in democratic systems conflate the two and miss this in it's entirety.
Exchange trusted ssh CA public keys
In this case the imperial unit fitted well.
Thanks for taking the time to post this. It was a fun read.
I eat out at a sit down restaurant maybe once every two months.

Have never ridden in a cab.

Drink coffee, but don't feel that the ability to pull the spigot on a coffee urn warrants a tip.

Don't drink alcohol.

Wife cuts my hair about once every six months.
It was supposed to show you your changes had gone from 1/1,000,000 to at least 1/2.
Have they?

Unequivocally yes! Understanding this ironclad fact is one of the most important things to understand about changes in the world economy over the last 50 years.

China has gone from a country full of subsistence farmers to a country of middle class wage earners.
> Visual

Or just the light pollution. I definitely think this has an affect on people. I used to live in AZ for awhile and the nights were so beautiful. I'd spend hours looking at the night sky. Now I'm in the PNW and almost never look up (something I've done pretty much my whole life). I'd think light pollution has similar effects as cloudy skies. I used to do some of my most creative thinking late at night staring at the stars. But maybe that's just a change in me. Maybe both.
I absolutely love my Kindle Paperwhite, I don't want to read books on any other electronic device, and I totally agree that it's in a weird spot, and I am afraid for its future. But I don't agree with the author that the lack of an "app story" or good web browsers is an issue. I like the Kindle specifically because it doesn't have apps and isn't designed for web browsing. Adding that stuff would not make it better at its purpose.
It could be. But small companies often give their employees inflated titles, where a "VP" is actually a small team lead with no executive responsibilities.
I've never understood if there are really people who commonly confuse red and green, or if others are making that assumption because it's commonly called "red green color blindness", but that assumption seems so ubiquitous, it makes me feel like I'm misunderstanding something. I'm red-green insensitive, and in reality that's exactly how it manifests, not as the inability to distinguish red from green. It's what you'd expect: Purples look more blue, greens look more yellow. That's (mostly) it.
Yeah, sometimes the comments are more cogent, clear and concise than someone paid by the word.
Close to a million protestors demand Chile president's resignation
If they use cookies and lots of user tracking, I'd estimate the big 4 bidding to do it on a budget of just few dozen mils.
Yes, and even a tiny penetration of the insulation will destroy the dialetric strength of the material, posing a substantial risk to humans.
The Kindle is fine...but for one thing. The author says using the software is like walking through soft sand. Eh, more like mud to me. C'mon, you've been making these things for over ten years, and I still hesitate to do any action more involved than turning a page.

Fix that, and I don't need anything else. It's the paperback book I always carry with me, only the book can be swapped out at a whim.
Fuck paywalls. New York Slimes
This is one of my favorite parts of OS X, and it's sad that there aren't many Linux DEs doing it: the persistent menu bar. It's always expected that it be right at the top of the screen, and utilized. Firefox and Chrome, by default, have survived hamburgerization...because it can't be hidden. Sure, an application that doesn't use it at all (yuck) can just not implement anything beyond the application name menu, but something like a browser has no choice but for the bar to be visible.
Software gets more complicated, and so bugs become more common. Hardware gets faster, so speed pressures are reduced on software, so it gets more layered and hence slower; and also more complicated. More layers of abstraction means more things to get wrong, so correctness becomes a serious problem. The world is increasingly reliant on software, so correctness becomes a serious concern.

That sums up the "software crisis" as it relates to correctness. Most theorem provers have been swept up in this. They are written in high level languages and frameworks made by people who paid no thought to verification and only slightly more than most to correctness. What's more, even some theorem prover languages have dubious correctness or semantics; Rust and Dafny are both languages that make a big deal about formal correctness but have no formal spec. (Rust is working on it.) Coq is not known to be consistent (the literature is full of "here is a proof that some subsystem of Coq has this and that property" but no one can handle the whole thing), not to mention that it has had a few soundness bugs in its history, one of which (Reals violate EM) wasn't even clearly a bug because no one knew what the model was supposed to be.

Agda is a free for all as far as I can tell, and Isabelle has some strange thing with axiomatic typeclasses that takes them out of the HOL world. HOL Light is pretty decent metatheory-wise, and the logic at least was formalized inside itself, but the implementation has not, and OCaml's Obj.magic is still there, ready to cause inconsistency if you feel like using it.

Lean has not had any soundness bugs to date, and the theory is well understood, but it is a massive C++ application and there are doubtless dozens of implementation bugs in there waiting to be found.

None of the big theorem provers are really appropriate for trying to prove correct, because either it is not known what this even means or it's trivially false and we all try to pretend otherwise, or it's an intractable open question.

These are the paragons of correctness in our world.

Can we do better? What does it even mean to do better? This paper aims to find out.
"I don't know what the typical career progression in manufacturing looks like, but if you can be replaced by some freshly hired 22 year old in China, you're probably in the bottom rung."

The point is that economic policies can make it so that a career in manufacturing in the United States does not need to compete with a career in manufacturing in China. To keep standards of living high in the USA, we need to wall off companies from undercutting and destroying our workers wages. It doesnt matter if it can be done cheaper in China, when we allow that it ruins the quality of life for American citizens. The only people it benefits are the people running the companies here in the USA and the people in China. The rest of the United States slips further towards being a third world country.
A private company sends excess capital to shareholders. A public utility is likely to send "excess" capital into politically driven projects.

Alternatively, neither private nor publicly run capital is good at discounting the far future.
> if I had to take time to go to a polling location, wait in line, then figure out what I'm voting for.

It is recommended to figure out who you're voting for before you enter the polling booth...
I don’t think the changes to selection and sharing in this update had any point.

Previously when I got an update I would think ‘oh, that tiny annoyance is finally gone!’, but now I just thought ‘why in fucks name did they find it necessary to change this’.
Donald J. Trump “To Tim: The Button on the iPhone Was Far Better Than the Swipe"
> The difference is metamath checks its 'cache' in to version control.

As I said in the initial post, there is an entire world of difference between checking the proof term and, well, proving. Coq can dump proof terms that can also be verified relatively quickly, but typically people prefer to run proof scripts in CI. And proof scripts actually search for the proof, rather than simply describe it. So, travis run time is not a terribly precise metric.

As for comparing the number of lemmas... In Coq one has "magical" tactics such as `omega' or `lattice'. Metamath doesn't have tactics (?), so I presume that's the reason they need so many lemmas in standard library; just like you need 100x time more code in asm than in Haskell.
Nah, you're ok. You might have read that in a Raj-from-big-bang-theory accent, not necessarily Indian :)
I assume that virtue signalling works much like normal POSIX signalling, except that a process must already be woke to send or receive such a signal.

The implications for power management are troubling, to say the least.
https://en.wikipedia.org/wiki/Signal_(software)#Contact_disc...

https://support.signal.org/hc/en-us/articles/360007319011-Ed...

https://signal.org/blog/contact-discovery/

But if you don't believe anonymity is an important component for security, you probably think hashes uploaded and deleted are perfectly secure, too, so we're probably not going to come to any agreement here.

Personally, I do wish they'd decouple from phone numbers and allow users an option not to transmit hashes for their entire contact list. I don't think these are unreasonable features for a messenger that's supposed to be designed for privacy and activism.
I totally agree that founders/hiring managers should be very clear on how employees are comped. However, in this specific case, I think a >= 1x preference is so utterly standard that employees of a startup need to do 5 minutes of due diligence and understand how their comp works.

For everyone reading this, there are 3 outcomes:

company failure, company success, middling

In the middling outcomes, people need to know the negotiated rules re: who gets what
Ask HN: How fast do you think EV's will be adopted?
The use of electric automobiles is increasing, but there is a lot of disagreement about how fast it is going to happen in the future.

At one end are people who think there is a tipping point coming pretty soon, and by 2030 EV's will be the majority produced. At the other end are those who think adoption is going to be very slow, and in 2030 ICE's will still be the great majority produced, and that will continue for many decades. And there are various views in between.

So what is your prediction as to what proportion of autos produced in 2030 will be EV's? And what is your reasoning?
Don was a pretty amazing guy. He was the chairman at NetApp when I was there and told me I was crazy to be pushing NetApp to use an untested AMD processor (Opteron) for the high end filer of the time.

What resulted was a solid discussion that ranged from how reliable AMD was to how important Intel was to Netapp, and how to measure the "betterness" of one technology over another. I really respected that he could be opinionated and listen at the same time, always willing to cede to a well reasoned argument about how he might be wrong about something. He was also really good at poking holes in an argument so I found myself on the defensive a lot!
Shitz, and here I go thinking I knew everything about these sorts of things by attending a 5-day lunch-time course at Capital Factory on Founders Academy Essentials… So much for those cap tables!
deepstream.io has similar functionality and supports postgres, rethinkdb and other databases. It is a great tool and promotes a very nice paradigm.
Way back in 2008, the Music app made use of this sort of feature (baked into UIKit). Table views can be "indexed," meaning you get A, B, C, etc down the side, and can swipe on it to move faster down the list.
I believe the parent post is saying that right-hand is better, but I'm curious on the question in either direction.
I've been to India, and within 1 a day of drinking bottled water I shit my guts out. Not only that but there are a ton of no-go zones for white westerners because of the insane islamic population you guys have.

No thanks, I'll stay in friendly western american and european countries for now. Indians need to stop defecating in beaches and clean up their country.
Your argument here is sound, if you assume this is true:

"It's sort of like saying that if we want to avoid global extinction we need to acquire space travel and populate distance worlds. Not knowing how to get to space, let alone travel to distance worlds, doesn't change the logic. The alternative is that we accept extinction."

My point, and the point of the economics article, is that this is not the case. We created this situation by shipping jobs over seas and enacting NAFTA/pushing for trade with China. Economic policies as well as other measures can protect and mitigate the devastating effects of offshoring all jobs. As the world becomes more connected wages will converge to an equilibrium, so the point of non free trade is to stop the equilibrium. If you don't, the USA becomes something like a third world country. It's that simple.
Rekka Bellum and Devine Lu Linvega, Hundred Rabbits – XOXO Festival [video]
During my commute, I walk around one of the most expensive real estate in the world. I am frequently greeted by people shooting up drugs on that street. The govt has been throwing immense amount of money at the problem.

So, your point is ?
If you adjust the funding for PPP you have to adjust GDP too :P
The key point in the briefing (and the “developing” article is fairly brief) is that Amazon was considered the front-runner for contract, but Trump has a personal vendetta against Amazon/Bezos and also made comments that he’d get personally involved in the JEDI decision (Joint Enterprise Defense Infrastructure).

So of course this invites the question of whether petty politics influenced a $10B govt deal.
English unite. Finally, after failed attempts with Esperanto and others, lots of educated people understand this single common language. Life is much easier. I am Czech and there are so little info in Czech on any technical subject so I rather search info straight in English. What I hate about Europe are these language barriers. There are so many countries with different languages, it is annoying that one is expected to talk differently after driving just 100 km. German, Polish, Slovak, Italian, Spanish, ...argh. This single language is a big advantage of USA! They will understand you in Miami, as they will in North Dakota or California. Very cool!
> On deep nets having better gaydars than average human: https://psycnet.apa.org/doiLanding?doi=10.1037%2Fpspa0000098

Didn't that recognition system boil down to being an eyeglass and eyeshadow detector?
Why would I tell you? If I had the next big idea, I'd keep it to myself and start my own damn company. Seriously, what kind of a question is this?
Natural selection still happens for humans. Natural selection just applies for our current environment, not some ancestral environment. It's not longer selecting for the ability to outrun lions. It's selecting for the ability to attract a partner, to want kids, and to secure a place to raise kids in.
I think a big reason it hurt so much is not globalization, but globalization without requiring human rights minimums or guarantees, and without actual open markets.

Cheap labor that rests on a foundation of abuse only creates a whole world that depends on there being people to plunder while the abuser accretes an armor of indispensability.

Allowing the participation of countries who operate by separate rules that are inherently advantaged or abusive does the same.

If the US hadn't been obsessed with industry and consumer-driven realpolitik and killing the faintest whiff of "communism" at any cost it might have been able to use its post-WW2 clout to create a globalization that worked, but to the surprise of no-one, greed was too good and functional globalization ultimately wasn't even much of a dream.
Unions aren't inherently anti-conservative, here's an example of a discussion that identifies specific positive aspects of unions.[1]

In particular, that discussion helps us define a "good" union: one that adds value for both the business and the workers it mediates between.

What makes a "bad" union, then? Well, in some industries, organization of labor won't add much value, so there won't be demand for their services. Union leaders will honestly believe they add value (like many organizations that can't acknowledge they're no longer in demand) and will lobby for laws to force unionization against the will of workers and businesses. That will become a bad union; its efforts will center preserving its own existence.

Worse, unions depend on solidarity, so the good unions will have to side with the bad unions if they want to be able to strike effectively.

And then their critics won't percieve any meaningful distinction between good and bad unions.

[1]: https://www.econtalk.org/mitch-weiss-on-the-business-of-broa...
I agree it was better before. One nice tip, though, is that you can press and hold the spacebar to turn the keyboard area into a trackpad of sorts to move the cursor. That’s totally undiscoverable but works well.
Article is pay only.
PG&E is a public utilty under the commonly understood definition. And you can fix a privately owned public utility through regulation in essentially the same way since its heavily regularted by California Public Utilities Commission.

But the state-owned public utilities are just as incompetently run. For example, the state-owned water utilities are mentally disabling young kids all across the country.

There is a common problem whether state-run or just state-regulated. The government wants to keep rates low. So they refuse to perform proper maintenance and upgrades.
I wonder how azure employees feel about this.
More like $30-$40 billion not $200 billion. The current PPP multiplier is somewhere between 3 and 4.

PPP is most useful when looking at domestically manufactured items and services. When looking at anything that needs to be imported, normal exchange rates are a much better tool. In fact due to import duties in India, many international goods are more expensive in India that in most of the west.
How about they just don’t mess with functionality that has been working that way since literally the first version of iOS?
Yes, I’ve been using it almost every day for a decade, so I know where everything is by this point – but even when it was released I liked it almost immediately, because it surfaced useful style, paragraph spacing and table editing functions that used to be buried in menus. I prefer the ribbon interface in LibreOffice now, too. Next time you get lost (and it still happens to me just as it did in the menu era), I suggest using the search box instead of your memory of Office 2003.
They could disagree about the emotional significance of abstract symbol games, but they wouldn't disagree about their conclusions.
A day in the life of a Danish forensic pathologist
Bring back skeuomorphism.

A little bit of shadow would sort that out ;)
Probably really good as many/most are stockholders too. I know I do.
That's not true, their desktop breakpoint is 1024px. If the window is wider than that, there's no hamburger menu, and clicking "Sign in" reveals a menu that takes up 1/3 of the right side of the screen.
If you mash the "esc" key just as the article loads, and continue tapping it you can read it in its entirety.
Currently the sinclair group has substantial influence over most of America’s small market news stations.

https://en.m.wikipedia.org/wiki/Sinclair_Broadcast_Group

I support disrupting this model but I don’t trust facebook to do it.
I mean, ideally electronics are designed so that it’s impossible not to understand them if you’ve been raised in a more or less progressive civilization.

It’s just that often they are not, and both good and bad design comes without a decent manual.
Where is the USB C on my iphone? Why do I need a dongle to connect my brand new I phone to my brand new MacBook? Why do the headphones that came with my iPhone not work in my MacBook?

Why does my magic mouse not charge via USB C? My keyboard? It has been years now, why hasn't this happened within the company? Shouldn't Tim Cook be banging a pot and pan outside every team's door asking why they haven't gotten with the program?
> This is a developing story and will be updated.

Developing story. There are just two paragraphs in the article so far. I can copy paste it here if you'd like but archive.fo is probably more authoritative (should be done archiving in a minute)

https://archive.fo/ASobP
I haven’t done any research but I wonder if trump has it in for Amazon since they have a monopoly that so far hasn’t been challenged much.
With that, the founders/core group can deploy VC cash injections to stay paid and in charge vs closing shop. Quitting can be really hard for highly driven people or those thinking their idea is going to work even when the numbers say it isn't making money.

There's an incentive mismatch then for them to pursue VC funding and keep going while employees with stock won't notice their probably worthless options becoming definitely worthless options or at best a bonus when all is sold. Like my own performance/holiday bonus at a stable firm, options are nice and possibly count toward total compensation but aren't hard cash and should not be relied upon as an investment or in your budget. Bird in hand and all that.
Whether petty politics influenced it or not, I bet Amazon sues, and just drags out the award even longer.