skysight-inc/HackerNews huggingface dataset:
They're 50-80k a tire on a cat797 and the truck has 6. Mine roads aren't the same as normal people roads, top layer can vary between what you see on a gravel road to basically really crap with chunks bigger than your fist. Add on to that you're carrying anywhere between 60 to 400 tons.
Kind of off topic, but the latencies in which they operate are out of this world. Amazing stuff
WeWork scrambles to remove office phone booths after cancer-causing agent found
That's a component and a big component of it is the non-technical managers and wannabe founders that are working with the indian software engineerings and failing to articulate anything in anyway for any engineer to accurately deliver upon.
I got you, friend. The salaries for those are public and readily available to you here: https://www.h1bdata.info/index.php?em=Uber+Technologies+Inc&...
About a dozen are really >$200k.
Why "weird"? Texas is a great country.
100% of SV companies sponsor H1 visas. And there are no tight timelines or anything. Sometimes you can run into an RFE that can delay your approval. But RFEs for software engineering are fairly rare
Arduino Nano and NodeMCU IoT Starter Kit
CO2 injection is not R&D, but established operating procedure. Its use can count to what determines recoverable reserves.
Please think architecture (2007)
will.i.am was touring in middle school and he was a signed recording artist years before he and others formed the black eyed peas. Where the are you coming up this lie that he created the group from nothing?
China’s President Xi Urges Accelerated Blockchain Technology Adoption
the other really great life-saver for me is the proxy icon on windows... just drag it out to another app to open itinerary another editor/viewer, or right click it to get the path and click one of the folders in the pop up to open it in finder.... always miss that in windows and linux... always hunting for where the file i’m currently viewing is
The other interesting thing is it can be used within a 100% carbon capture power plant that happens to generate more liquid CO2 which is inherently trapped within circuit of the plant. (and is presumably tapped off to sequester in places - this is said to be better than trying post collect and sequester the gas in a regular system).

https://en.wikipedia.org/wiki/Allam_power_cycle
The long gun registry would have failed even if it had been delivered on time and under budget, to spec. They had less than 10% compliance with the law and putting 5-10% of the population in jail was never going to happen. Much like Prohibition in the states banning things that large portions of the population have no problem with doesn’t work, and the Canadian populace is plugged in to the US media enough to know that a gun registry is a prerequisite for any campaign of confiscation.
0 stocks? Source?
I bowled leagues and in competition from the 80s through the early 2000s. It was great fun.

The best years were the earliest ones. During my teen years, I'd go to the bowling center on Saturdays to watch the professionals on tv. Earl Anthony, Mark Roth, Marshal Holman-- all great bolwers and better entertainers. After the show, my friends and I would hit the lanes for some low-stakes 'pot' games, where the winner would take home a few dollars.

Those days seem sadly gone. I hope some day they might come back.
I'm skeptical of UBI too, but I think it would work best with the following combination:

1. UBI (including some fractional amount per child)
2. Free universal healthcare (i.e. Medicare is no longer age-limited)
3. Better education & free public universities
4. Some kind of higher tiers of UBI for disabled people who really need it (judged strictly)

And then get rid of every single other means-tested benefit (including Social Security), as well as tax-advantaged retirement plans (which overwhelmingly benefit the already well-off), and get rid of the favorable tax on LTCGs and carried interest; everything pays full-freight income tax. After this, benefits are either free to everyone (i.e. healthcare) or you pay full freight out of your UBI. And UBI is not scaled by CoL, because it doesn't make sense to subsidize landlords in expensive cities.

And even with all of that, it's not clear that it won't be vastly more expensive than the current system, making it effectively unaffordable. There's also the issue that some people will not spend their money correctly, e.g. they'll fritter it away on drugs/alcohol and not have enough to pay rent or buy food. So you'd need some kind of combination of food stamps and Section 8 housing vouchers, paid out of UBI, for people who need to be forced to allocate their money correctly (as there will no longer be any separate means-tested food stamps or housing assistance).

I could see something like this working in smaller, well-connected, yet independent communities, but I'm struggling to see how it could scale up to a country the size of the US. The rich would be paying so much more in taxes to essentially subisidize many people who might choose not to work at all, that I think it's inevitable they'd manage to overthrow it.

Like you, I think from a realpolitik view of things (if nothing else), that it can't work.
All the non-discoverability of vim, without the power!
Really, we need a general rule of "Lay people off and your access to H1-B's is blocked for 5 years." You get to keep the H1-B's you have, but no more.
Commodore USA had a trade in offer that you got 100$ off the cost of a C64 if you bought a new C64 and traded in the ZX81. You could pick up ZX81s for 50 bucks at the time. Meanwhile Commodore was flooded with ZX81s that they didn't know what to do with. Then the C128 came along and the needed Z80 chips. The rest is history.
It does, but only if you state the theorem in a particular way. Let's say that you have a verifier A, that checks theorems in Peano Arithmetic (PA). Inside that logic, you can define what a computer is, how it executes, what PA is, what a verifier is, and what it means for a program to verify theorems of PA. Then you can have a sequence of bytes (verifier B), and prove that they represent a program that verifies theorems of PA.

What have you proven? Well, verifier A (using PA) proves that "verifier B proves theorems of PA". That means that "if B says phi is true, PA |- phi". We would have a hard time actually running verifier B inside the logic of verifier A (that entails running all the steps of the computation B does as theorem applications inside verifier A), but even if we did, we would obtain a proof of "PA |- phi". If we assume A correctly implements PA, then that means PA |- "PA |- phi". In general, this is the best we can do. If we assume further that PA is a sound axiom system, i.e. when it proves facts about numbers then we won't find concrete counterexamples, then this strengthens to PA |- phi and then to phi itself, so we've learned that phi is true.

The plan is to prove inside verifier A (that is, MM0) the statement "Here is a sequence of bytes. It is an executable that when executed has the property that if it succeeds on input "T |- phi", then T |- phi." The bootstrapping part is that the sequence of bytes in question is in fact the code of verifier A. In order to support statements of the form "here is a sequence of bytes", the verifier also has the ability to output bytes as part of its operation (it's not just a yes/no oracle), and assert facts about the encoding of those bytes in the logic.
You would just prove that it is equivalent to a simple specification of the axiomatic system.
For employee shareholders of common stock, their stock has the same market value that anyone who's buying for the first time through a broker sees. It's not like they are going to be forced to hand over proceeds of sales on the market back to investors.
you have an interesting observation that has a good point but the premise is just so wrong.

most people in the world have very undiscerning palettes and many of those people absolutely would not be interested in trying new foods.

foodie is not a negative term, so nobody is bothered by it. and colloquially foodies are a distinctive group of people that have gravitated towards a set of foods outside of what's common their original culture/region.

if you live in a world where that's the default, congratulations. since thats not the default, you're the weird one.
When the two are side by side, the White text appeared easier to read. When covering one up and only looking at the other, then the other way around, the black text was certainly crisper for me, and someone else here pointed it out as well.

As such, I wonder how the survey was conducted. It may or may not be useful at all otherwise.

One thing that also seems to intuitively make this seem to make sense- driving at night, it is much harder to read gas prices from the big light signs when green is used than when red is... The lighter (and or brighter?) green simply bleeds over much more.
Yishan Wong's response to that worry starts out:

> The pre-internet era was boring. Some may say that it was just as stimulating but in different, more "vibrant, outdoorsy" ways, but they are wrong. I have lived in both and the internet definitely makes life more interesting. In fact, combining the outdoors with the internet is one of life's greatest pleasures.

https://www.quora.com/How-did-people-waste-their-time-in-the...

I'm not sure I'm convinced but it was an interesting very short essay.
Does anyone else think it's disappointing that an organisation as evil as the Pentagon used the acronym JEDI?

Perhaps this proposal should have been called Synchronised Information Technology Holdings.
One exaggeration for another.

H1B are highly restrictive, but you can change job under an H1B. It’s just more difficult/tedious/dangerous for a number of reasons.
In my original version I didn't use a nested array of strings, but [Olzd](https://news.ycombinator.com/user?id=olzd) pointed out a way you could do that and I added it as a theoretical first attempt (theoretical since it wasn't my first attempt, but would have been had I been better at APL).

My first attempt did some stuff with subtracting items in an array from their neighbor. Now with info I got from [mlochbaum](https://news.ycombinator.com/user?id=mlochbaum) I have another version that uses windowed reductions.

So those are three versions there; after that I just split it up just to see where that leads and that actually ends up feeling a lot like the Haskell / Futhark solution to me.
This is not really news; it's been all over the news like a week ago; Raleigh is just late to the party.
Unfortunately it's all about the e-ink.
Do those limits take into account multiple sources hitting your eye at once? Maybe with laser pulses the odds of that happening for any length of time is nil
70 Electricity Puns That Will Give You a Laugh
It might be hard to independently charge parallel batteries - you'd have to electrically isolate them and re-connect them after charging, right?

Or would you have something like one battery per wheel or axle if you had multiple motors?
> Even if a company agrees to a Green Card they often tie the employee for few more years through payback of fees should they exit early.

To be fair, if you're a software engineer the fees, while high, are pretty doable. Especially with a few years of savings under your belt.

source: just signed some papers to start and pay for a green card process.
If you cannot find another job, and quit your current job, is your visa terminated and you’re possibly deported if on an H1B? And your employer possibly requires you reimburse them for all sponsorship fees?
That is an interesting read - compiler writers got hung up on creating auto-vectorization where Cuda is essentially manual vectorization. And that's the thing. Once you find ways that writing a massively vectorized program on a GPU makes sense, why would you write a program where you had to hope your program gets vectorized?

That said, as I understand things, vectorization can fail with Cuda if you allocate more kernels than exist on the chip, in which case the chip may run the kernels in serial, producing surprising results.
Meh, not sure how much more there is to do to specialize for transformer specifically. TPU and GPU are mainly just fantastic matrix multipliers. And transformer is partly designed with this hardware in mind: the operations are basically the same operations you see in a CNN. And in fact, one of the nice parts of the transformer is that you can run it without RNN, making it even better optimized for the matrix multipliers.

Furthermore, tpus are a moving target themselves: as ML needs change, the team build new operations and optimizations into the next generation of chips.
> Finally, I think it weakens the approachability of your third paragraph argument (why bother, states should do it instead) that it comes after your second argument (environmentalists don't even help the environment) or your first argument (vegans annoy me because I can't eat gluten, why aren't people listening to me).

Yes, this is true.

I would dispute your distillation of my first paragraph. It is not vegans or vegetarians that annoy me, it is the fact that groups and organizations are choosing to catering first and foremost for people who have fundamentally chosen not to eat something, rather than those who cannot eat something because of a physical disability. It means the interests of rich, abled-bodied people are once again being put above the interests of disabled people (Who are more likely to be poor, because they have invested a significant amount of money in coping with their disability -- as a celiac, for example, bread is 3x the price of normal bread, for a loaf about half the size (this is true for most other grain-based things)).
Competitive just means it's on a similar level as your competition. If your competition is paying more for this simple work you're not competitive.
And yet I see grey text all the time. In fact, your own comment looks grey to me now.
I hope you’ll still pay your taxes though!
> I can't, for example, afford most of our "cloud architect" or "security architect" candidates.

First, you can generally read "architect" as "waste of oxygen" on most software resumes. I have known 4 people who were actually good "architects", and none of them put it on their resume.

Second, perhaps you should grow those people in house, hmmmm?

Third, be prepared for those people to leave when they get better than the "architects" you are seeing.

> Maybe time to ask for a raise?

Probably. But if you're one of the principals in a startup, you understand silly things like "cashflow" and "bankruptcy".
I can run many things off of solar without batteries. Calculators are commonly sold this way.

It makes perfect sense that this should work scaled up to a whole house. As long as the Sun is shining, there should be power.
Breitbart in the “trusted news” section? Wow...
This blogpost is very light on details. It doesn’t at all say at which stage in the search process BERT is used.
Having been a MSFT watcher through all three eras, I have to say I've been especially impressed with Satya Nadella.

I really thought the age of the web would spell Microsoft's downfall. I couldn't see past the desktop. But Satya found the cloud and brought back the mojo. Excellent move.
Ask HN: What do you use to track events and create reminders?
I'm trying to figure out what people use as a service to track what they have coming up. The company I work for is very forgetful about certificates and such, and I'm trying to find a solution, whether it be aimed at businesses, or personal (I'm sure we can make that work).
I went to Dropbox to try this out but got redirected to "Dropbox Business" which doesn't have a hamburger.

And then spent nearly 5 minutes trying to get back to "Regular Dropbox".

But wait... I'm at the root of dropbox.com. Is... Dropbox "non-business" dead? I stopped using it a while ago because of their inexorable push into "enterprise" features that I didn't care about, but I never expected them to outright kill the product.
These are base salaries. Now filter your list by software engineer and San Francisco. Median base salary is close $150k. Now add yearly bonus and Uber's RSUs and see how many have total comp >200k. Cheap labor narrative violated.

Edit: I also filtered your list by "Senior Software Engineer" in SF and the results are mind blowing with cheap H1 pulling 150-200k base salaries. I will not be surprised if some of these are TC $400k, as FAANG typically pays as much in base salaries

Sincerely hoping I was able to help you as a "friend" giving you better information
On the second point, the successful penetration of family planning into the western world means that most people do not have children until they can support them. So it is actually worse to lose income and go down to income level X than to have only been at income level X (and for a shorter amount of time) because someone in the first situation has likely had kids by now whereas someone in the second situation hasn't.

And at the risk of stating the obvious, it is in society's best interest to support families, because children are literally the next generation and everything will quickly collapse if it becomes economically untenable for most to have children. So society has to set itself up in a way that promotes the ability for most people to have and support families.
There’s truth in what you’re saying, especially in the “things mostly suck, so expect that” world.

But in the ideal world you’re wrong... it’s fundamentally easier to start with a mobile design and make some specific interventions to make it work well on desktop than to do the opposite.

Whether anyone actually makes those interventions is, as you indicate, somewhat unlikely.
Not lottery. There are allocations (or were) per country to give it a more even spread. I know greencard applications still work like that based on origin of birth.

Also the H1B process has always felt like who can create the most compelling application. Remember this is a specialization visa and you are basically demonstrating why (a) you cannot find such talent locally and (b) the value it will add to the US economy. So large companies with creative legal counsel do have an advantage over small shops.
Google calendar is an obvious answer, but I'd be happy to know how many people actually use it.
Counter example: Hong Kong. It had no industrial policy whatsoever and went from a bombed out ruin in 1945 to the first world in 40 years based on unilateral free trade, while taking in massive numbers of refugees from China.

Completely executed trade policy works but so does free trade if you have rules of law and security of contract and property.
I'd start with this line:

<meta content='width=device-width, initial-scale=1, maximum-scale=1' name='viewport'/>

(I also can't zoom, android/firefox)
"Don’t think I would have figured that out."

This, unfortunately, describes half the features of iOS. Apple is deeply in love with the undiscoverable UI - and then NOT DOCUMENTING it.

Drives me absolutely crazy.
When 'color contrast' is mentioned he is referring to the example with the toggle tokens, with widely different brightness for the active (blue) and inactive (light gray) states. I suggest re-reading the article, since the author agrees completely with you - your last sentence is a straight paraphrase of this:

> If you’re using competing color hues to differentiate states, you need another visual cue besides color. But if you’re only using color contrast to differentiate states, it’s likely accessible to color blind users.
Doesn’t render well on mobile. The pictures smash the text to the right instead of moving it below.
I'm sitting in front of a device that will let me peruse what is practically the collected sum of all human knowledge, play all the games, watch all the movies, listen to all the music, communicate in realtime in multimedia with anyone, anywhere in the world, almost all for free, and will send a pizza to my house if I'm hungry.

And I'm still bored.
Let me get this "Texit" referendum started
Korea didn’t do step 1 and it did fine. Their post war land reform lead to farms so small that there were no tractors in the country until something ridiculous like 1970.
At the same time free trade happened because specialization (comparative advantages) help everyone.

The decrease in US wages is offset by the decrease in prices (due to the increased efficiency of the whole global and local economy).

The problem is that individual workers are not strongly incentivized to relocate, retrain, rethink their life.

Just look at Appalachia. There are still villages/towns where people sit around on welfare and do basically nothing plus moan about how that particular mine has run out. This has been going on forever. Humans are not that strategic masterminds when it comes to planning for the future. See also how paradigm shifts coincide with a new group rising in power because the old guard is too wedded to their ideology.
Right, and here’s the dirty part of this process... some applications are under hiring agencies that later push those approved to the likes of Uber who might have maxed out their own allocations.
I was arguing against reveals vs revealed because I thought you were making a different point. I understand what you meant about that difference now.

I'm still not sure what the difference between these models has to do with my point about goat-car-goat. That can't happen in either model when we say that I'm picking door 1 and Monty is picking door 2.
I still sometimes have to remind myself that no, those people probably aren't crazy.
The problem with that is getting the batteries to surface. Underground mines operate in either of two access methods: shaft to surface or ramp to surface. In shaft to surface you use an elevator to move all the ore and waste out of the mine for processing, in ramp to surface you'll either use a conveyor belt or use trucks like these to run from where they're loaded to surface. Trucks are also used in shaft access to move ore internally but generally not to surface. In the truck to surface the swap would work but in a shaft access scenario you'd have to throw the batteries into the elevator which has an impact on the proportion of the time you use the shaft for ore. Also usually those trucks are left near where they're needed the operators get picked up at the end of their shift and the next guy gets dropped back at the equipment at the start of his shift. So positioning of these chargers would be tricky. The payoff in terms of savings in ventilation though are where the benefits come for these though. Price of electricity can be very high depending on where the mine is since it's very common to operate off grid in remote locations.
"You see the updates in real time without having to refresh the page" seems like a perfectly reasonable statement.

I submit that being pedantic about such things is frequently its own form of pretension.
Uber’s stock compensation is with RSUs, not options. H1Bs receive RSUs just like other employees. There is no discrimination based on visa status at these companies. You can also transfer companies while on H1Bs and also transfer some of the green card process.
FANG? I am not familiar with this acronym.
My current smartphone was released in 2009; the second one that I use if the first one can't do the job anymore is from 2012. Both nicely repairable, with replacable batteries etc. Am I able to say that phones shouldn't be throwaways or are those not old enough for you? :P
10^4 Powerpacks!
The answer is in the hp per ton numbers for heavy equipment. The ratio's are a lot lower than passenger vehicles.

D6K tractor, ~30,000 lbs, but only 125 hp.

vs

Tesla 3, 3500 lbs, and 260hp.
Where is the recommendation for using green and yellow? I can't find that.

I understood the recommendation to be 'use extra visual cues', except when only 'color contrast' (basically two contrasting-brightness colors, and the color itself has no significance) is being used. I'm colorblind too and totally agree.