skysight-inc/HackerNews huggingface dataset:
> This is a backdoor immigration cut, nothing more.

H1B is a non-immigrant visa.

> Remember that it's not just new entrants that need H1B processing: it's immigrants currently in the country that need to transfer their visa type.

Immigrants already admitted to the US can not get and would not benefit from a non-immigrant visa.

Non-immigrants in the US might seek a different non-immigrant visa, but preventing them from getting one is not an immigration cut. It does not reduce the number of immigrant visas issued.

> What, are they supposed to leave or risk being denied a visa forevermore?

Yes, non-immigrants are supposed to leave when their eligibility for their non-immigrants visa status expires. That's what a non-immigrant visa means. (Even dual-intent non-immigrant visas: those just do not prohibit you from entering with the intent of seeking an immigrant visa while in non-immigrants status, but doing so displaced another prospective immigrant, so cutting the number of people in a position to do it has zero effect on immigration.)

> Not to mention, they've already paused green card processing

Well, yes, that's an actual immigration cut. No need for a back door.
> not using YouTube api

Which means, like youtube-dl, it will break every week or two
I completely sympathize with the difficulty in understanding the notation and wish it were more accessible. I struggled with it for some time. But as someone who eventually learned it, I find it to be fairly sensible. What would be a better way to write the that judgment?
You are confusing cynicism with expressing criticism. They are 100% orthogonal.
Try American/Euro Truck Simulator :) Not the same crazy realistic graphics, but it helps!
The Dark Decade Ahead
If you want to read a somewhat longer treatise about dependent types and language, try the book "Modal Homotopy Type Theory". Modal logic has been basically invented for linguistic problems.

I don't think dependent types are essential for giving language a formal semantics though, I think discourse representation theory has a more direct approach.
Is it possible to get a destination that's impossible to reach with the given fuel?

The game started me roughly over Washington DC and told me I had to get to Dallas, and I barely made it past Nashville (which is almost a straight line) before running out of fuel.
Because the city cannot function without it.
Not saying that it is in any way practical or useful in the real world, but I think there are approaches which are more geared towards what we might understand as 'emulating' rather than modelling an effect. It seems that emulators can be learned from data with surprising efficiency [1]. These would be amenable to parameter control.

[1] https://arxiv.org/abs/2001.08055
Unless they opened it before you even receive the device.
I appreciate you taking the time to look at that.

I'm glad there are people out there taking the accessibility issue seriously, what you said does make me more inclined to evaluate framework-based solutions. Nice to know at least parts of the most popular JS platforms are maturing enough for this to be easier for devs to implement.
Even as a regular Joe it was easy for me to distinguish them, and though I was not very confident in my guess, I did guess correctly as well.

It was close though, so maybe for say a beginner on a shoe-string budget it would be perfectly acceptable.
Inter-regional disease vectors. Air travel is a pandemic engine.

https://news.ycombinator.com/item?id=23142043
I've started working on a Q&A site that parses Slack logs and creates a thread on the site based on me asking people on Slack on how to do different things in our system. The problem with Wikis is friction. I'm hoping that reducing this to copy, paste and click OK will help.
Bidirectional Cloud Drive Sync Utility
Thinking out loud:

When the universe was at 9000K, the vast majority of these elements did not exist or only existed at negligible concentration. Look up “Big Bang nucleosynthesis”. It would be interesting to see if the result is reproduced at all when looking at only light elements.

Of course the bin width makes little difference. Bigger bins would just smooth the curve.

There is probably a huge bias in that this looks at transitions that are interesting to the NIST database. As the authors allude, there are huge numbers of transitions that almost, but don’t quite, ionize at atom. Similarly, there are huge numbers of X-ray transitions in which inner electrons are kicked to very high levels or removed entirely. I don’t know to what extent the latter is well represented in the database.

For that matter, there are transitions between bound states and unbound states. Imagine that you light up Hydrogen at 13.6 eV plus a little bit. I think you can still eject elections — the excess energy can be carried away as kinetic energy. (There can be issues with simultaneously conserving energy and momentum.). The unbound states are genuinely continuous.

I didn’t look for real, but the NIST data has too many entries to represent just the spectra of cold atoms. I have a sneaking suspicion that researchers are measuring emissions from hot gasses or plasmas, perhaps heated near 9000K.
The cloudsync module at pypi can be used from the command line to run a daemon which monitors files for changes and synchronizes them between providers.

For example: `cloudsync file://home/me/gdrive gdrive://folder`

In addition the cloudsync python module can be installed via pip, and the library can be used in software (LGPL) that performs file synchronization. This also provides a unified interface for working with cloud files.

By design the interface is the minimal needed to support sync across a broad set of providers. Metadata that is not needed for sync is not supported.

Support for new cloud providers can be easily added by anyone producing a module that uses the "cloudsync.providers" plugin endpoint. As long as the 'provider tests' pass, any cloud service should work with the sync system.

We're currently supporting the local filesystem (via watchdog), along with OneDrive, GDrive, Box and Dropbox.

This library is probable most similar to rclone, which is much more mature for those who want a single-direction 'rsync' like service without support for events.
I've worked in places where everything is in email. That's become less common as email discoverability in court has become a thing. It wasn't some magical paradise.

As with all things, there are no absolutes. Don't blame tools for broken process. End of the day, you need to have a common process to debate, make, and memorialize decisions.
GIFs should not be compared to videos, for one GIF is 30 year old technology with obvious limitations, however, there is still demand due to its portability. It also creates better effect if its very short clip, which most GIFs are. I appreciate you checking it out.
I figured it out without using JavaScript. The trick is to use a <th> on the first child of each tr, which becomes the sticky left column. Position sticky works on th’s.

It’s not ideal, but this works on about 95% of all browsers.
This might be a stupid question, because I don't really know what I'm talking about.. But is there a way this could be used to improve physics engines? My understanding is that a physics engine generally uses continuous collision detection. I don't know if noise plays a roll in casting for collisions, but if you could cast less rays, and fill in the holes in the same way... that seems like it could improve performance there too?
Yes, it absolutely 100% will, depending on what you mean by handwaving “glitch”. VST is built into chains, and a flaky plugin will derail an entire performance, often making downstream plugins crash. I’m speaking from extensive experience writing plugins and performing with them in multiple hosts and trigger setups. It’s not a robust protocol, but it gets the job done.

Are you speaking from some experience with which I’m unfamiliar where it’s okay for DSP code to fail hourly? Trying to understand your viewpoint.
My comment was WRT to a better model for developing SPAs and complex Webapps, not sunsetting the Web in general.
It's helpful to use Spanish Flu as a proxy. It was almost completely overlooked by historians, mostly due to it coming on the heels of WWI, but look at what 1921 and beyond looked like. Back to normal. That's with the same social distancing and mask-wearing measures we see today. But no vaccine.

What's clear is society now seems to be willing to let COVID run its course (and kill discriminately) as long as we keep below hospital capacity. If we allow that to happen, then we'll reach herd immunity, regardless of vaccine availability, within a couple of years.

Let's just hope it doesn't mutate.
This[1] demo does pretty convincing dynamic lighting without the need for RTX relying just on regular shaders. To me nvidias RTX looks like a gimmick with the sole purpose of enforcing vendor lock-in.

1.: https://www.youtube.com/watch?v=GtU2194C-D4
My doctor ... wondered aloud if this was all in my head.

Just as a PSA: This is all too common with obscure conditions.

Before I finally got a proper diagsnosis, I spent months on antibiotics with doctors unsure what to do and when I expressed my concern with them having no answers and being unable to fix me that this could kill me, I was asked if I wanted to speak with a psychiatrist.

I wish medical doctors would be trained to never, ever dismiss anything as "all in your head."
How to Create Basic DMZ Network in OPNsense
I wonder if this measurement takes I to account the voulenteer time that could be gained by letting new members get a foothold.
"The productivity of Interface Builder"? You must be joking.
A Stoic's Game Theory
Can we agree this idea of a "personal brand" is both harmful and oxymoronic? You are a person, not a product. You have a reputation. This is like adding fuel to the idea that management should look upon the people who work for them as "resources".
I can't find any description by the authors of how NIST is compiled besides "comprehensive", so I don't understand what you refer to.
> Additionally, there might be time pressures, political pressures, engineering constraints, access problems, and more.

All of those (except possibly "engineering constraints") are merely excuses for why it ended up being garbage, not reasons why it's not garbage.

This conversation goes both ways. When someone calls my work garbage, I can sit there and try to come up with excuses, or I can say "yes it is!" and we can move on towards a solution. Just because someone takes a swing doesn't mean you need to fight them.

Curiously, I only see the author's response in software. In every other field I've worked in, an experienced person is free to call something garbage (or worse), and the recipient of this criticism is expected to not waste everyone's time by making excuses. You'd think the internet would give us a thicker skin, not a thinner one.
I assumed it was related to the Kinect usage.
You might be able to combine it with the recent work on minimizing models to obtain something that is small enough to run reliably in real time.

Although the unusual structure of the net here may mean you're doing original and possibly publication-level work to adapt that stuff to this net structure.

If you were really interested in this, there could also be some profit in minimizing the model and then figuring out how to replicate it in a non-neural net way. Direct study of the resulting net may be profitable.

(I'm not in the ML field. I haven't seen anyone report this but I may just not be seeing it. But I'd be intrigued to see the result of running the size reduction on the net, running training on that network, then seeing if maybe you can reduce the resulting network again, then training that, and iterating until you either stop getting reduced sizes or the quality degrades too far. I've also wondered if there is something you could do to a net to encourage it not to have redundancies in it... although in this case the structure itself may do that job.)
IANAL but posting a "tiny ad in a small unknown paper" does not meet this H1B requirement. The requirement itself has many facets, including posting in Sunday editions of widely spread newspapers in the area the job will be, posting with the state workforce agency, and additional requirements that can be met by doing things like holding job fairs. It's a combination of things to help find local talent first. Not making any statements on efficacy, just pointing out that what you said does not meet visa advertisement requirements and anecdotally sounds like the kind of anecdote boomers would FWD:FWD:FWD:FWD: around to try to drum up anti immigrant sentiment.
I think this clause is standard for cadets. I don’t agree with it but I remember looking into becoming a cadet when I was much younger.

I distinctly remember EasyJet: you basically had to go to a bank to get the loan for the whole cost of your pilot training (300k GBP iirc) in your name. If you failed to pass any of the mandatory exams and steps during your training, you’d be kicked out and have to repay the loan back on your own. If you made it as a pilot, EasyJet would deduct part of your salary to pay back.

It seemed like a very shitty arrangement for the cadet/pilot wannabe where you basically shoulder most of the risk for the privilege of working as a pilot for EasyJet.

I didn’t enroll to become a pilot. I don’t regret it.
Our highschoolers pick it up just fine, and are building complicated proofs within 3 lessons. That's not intended as any sort of attack, but it does make it hard for me to believe that the notation is particularly difficult to learn.

Some things are difficult to learn without a good teacher. New notation is probably toward the top of that list.
And there's really no way to study something like type systems without inventing some sort of notation.
You can go back and read early papers in mathematical logic before the notation was invented.
They take pages upon pages to communicate very simple things.
> I have yet to encounter someone who is against supporting local businesses

I am. I'd rather just pay a higher income tax and have that fund UBI, and save myself the money by buying cheap instead of local.

Asking consumers to spend more money on feel-good slogans is the same as a regressive tax.

Your neighborhood is decaying? It's not because welfare is broken, healthcare is broken, and law enforcement is useless, it's because you, the working-class consumer made the wrong choice.

Also it's an awful Prisoner's Dilemma. If I'm faithful, it makes a tiny dent in the odds of any given business closing. Why not defect, if my vote won't count for anything in the end?
> Your typical tech company is likely to be sophisticated enough to onboard skilled workers outside the US and support them working remotely, in which case, they are not impacted by this policy.

Do you really think that ?

We have worked with team members in different time zones (Europe, India, China), and even with WFH it is a massive headache to work with someone whose schedule runs with a 12 hour offset.

Also, the COVID crisis makes relocation a massive pain in the ass for anyone who is being moved countries as of this time.

> This behavior has been documented in great detail.

Exactly, and still, time and again, the US govt. wants to solve the issue with a blunt tool that kicks everyone, highly skilled or not, out of the country.

It is easy enough to find companies like this. Ban companies that run IT consultancies from hiring H1Bs, unless they pay the market rate. Blanket ban companies who are known abusers (Infosys, TCS).

My faith in Hanlon's razor has dwindled over the last few years. This isn't incompetence. This is malice. The visa laws are always sufficiently less exploitative than the career/monetary gains of working here as an immigrant. (especially pronounced for Indian/Chinese candidates for whom a GC is impossible). I do not find that to be a coincidence.
In the case of Qatar, you just have to read the news.

e.g., https://www.independent.co.uk/news/world/middle-east/fifa-qa...
90% of all stock trading the last 19 years was company buybacks. The fed has one job: liquidity.

Mark Blyth's various commentries the last few weeks are very enlightening.
Most PhDs start with H-1Bs. So with longer freezes (not that anyone is hiring right now) you risk losing an entire cohort of the best scientists in many fields.
Yes the rules would have to be more tightly specified (for example, keeping the same salary for a year, or the employee count be for the same position)

Especially in the US where people make a competition of adhering to the letter but not the spirit of the law (explains a lot about how the US sees GDPR)
I am not clear how this is a true mobile experience versus an iPad. This seems like an iPad competitor, not a MacBook Pro competitor, and the iPad is quite a mobile solution.

It’s a much different solution than this, for sure, but it is a mobile solution.

I recently got a 10.2 inch iPad to add to my home setup of a 27-inch iMac and a 12.9 inch iPad Pro because I wanted something super portable that I could do work on when I am chasing the kids around. It’s really portable, and I can get a surprising amount of work done on it.
"testing performance under pressure"

What kind of companies are these that their engineers need to write perfect code under severe (i.e. on the order of minutes) time constraints? Are they constantly opening sockets for Jack Bauer?

The only whiteboard questions I find useful as an interviewer are the super-easy ones that weed out the bozos who have somehow slipped through the initial filter. Things like "can you write a SQL join".

What I find most predictive are conversations with candidates about how they evaluate tradeoffs, approach system design, what do you do when you get stuck? Typically if they can pass the bozo filters and talk cluefully about these things, they will likely be a productive coder on straightforward applications. Which is most applications; many companies vastly overestimate the inherent complexity of their products.
Why does it mean that? Just enact a law that requires equal payment for immigrants and locals.

The competition should be solely on skill and its a disgrace that companies are allowed to hire H1-Bs to save money.

Corporations need to be regulated to hell, it's been proven over and over.
The Underground Efforts to Get Masks to Doctors
Elastic Data Exposure Grows to 3.2 PB
You're right in the "this is one more tool in the belt" sense but there are modelers like the Kemper and Fractal already out there that make your guitar sound like... anyone... and they are really convincing. I'd argue this is almost a solved problem. Still cool, nonetheless.
So, your wife had to be a slave for a ruthless company for several years to finally earn her US Citizenship.
>I think this is the most important metric as far as “re-opening the economy” goes but it seems to be largely ignored by politicians.

Basically all metrics have been ignored. Two weeks ago it was all "We're going to do a phased reopening with checkpoints based on the data.". A few armed protests later and my state (NC) at least is going full YOLO reopening everything but bars, based on absolutely nothing but hopes and prayers. New infections here haven't even remotely peaked, and are still rising by the hundreds every day. This is going to be a catastrophe.
> the power and elegance offered by the tech giants (Swift, C#/.NET etc.) continues to lap open source equivalents

Ignoring for the moment that both of those are open-source, I've used both of them for several years on major projects, and I'm not sure I see this "power and elegance" you refer to.

Did you mean to say "old concepts dressed in the newer fashion, and backwards compatibility"?
Wow, the comments on that blog are a dumpster fire.
Would you mind sharing what setup you have for the hardware controllers? I'm looking at getting this setup for a friend but I'm not sure where to go to get the peripherals.
You can fix that by having a contractually guaranteed maximum overhead they can charge for you. Make it a % and it incentives them to max out your pay. You can probably only demand those kinds of terms of you're highly sought after though.
H1B was always supposed to be a temporary worker program. People have been using it as an easier-to-get form of quasi-residency with the intention to move on to green cards. Everyone in the industry and govt have been winking and nodding at each other for so long that now there's a big pool of people who are basically residents without a right to stay other than nearly-automatic extensions. Govt gives businesses what they want with these workers, while superficially giving the public what they want with limits on green cards.

The green card process on the other hand just takes however many weeks or months it takes to process the paperwork. But there is a per-country limit per year. So if a vast number of people from your country are tying to immigrate you can end up in a really long line.

Citizenship has the requirement of being a permanent resident for a fixed number of years before you can apply.
Giphy is worth an estimated 300 million, gifs are extremely popular on mobile and discussion boards, your comment is not relevant to the actual marketplace.
This thread seems very astroturfed.
Don't worry about doctors getting visas. Have a look at the visa delivered by job: https://h1bdata.info/highestpaidjob.php

The top 15 paid job titles are all health related and well above $200k in average salary. Their organizations will always manage to get visas no matter what new fancy requirements might come up.
It's 2 highly influential senators (Tom Cotton and Chuck Grassley), one up-and-comer (Hawley) and then Ted Cruz. I'd especially pay attention to Senator Cotton, there's a lot of chatter about him having presidential ambitions, and it wouldn't surprise me to see him become the figurehead of the post-Trump GOP.
The Taliban live in a failed state with barely any civilization for decades already. What's to lose?

I highly doubt average American will be OK with that.
As if every local was as good as every foreigner.

God heavens. Just look around the Valley!
> The only drawback is Windows and its tooling. Which you can still circumvent with WLS.

WSL, and Terminal, is Windows tooling. It's a Microsoft project, a Microsoft compiled Linux kernel, a `wslu` package that runs in Linux is built by Microsoft, //$wsl using the P9 file server forked by Microsoft. It might sound like a nit pick, but they're spending a lot of time and effort and money to ensure Windows has a better Unix experience than macOS.
I am one of those Indian PhDs. Many of my friends are. I suppose it's easy for you and your friend (let's not get into an argument about who's stupider) to sip some coffee and say let's blow it up and wait for a few years when you have no personal effect.

Meanwhile I'm back in India, and completely lost in my mind on where and how I should proceed with my career.

I'm of the view that a country can choose whatever the hell they want about who to let in. Just stick to some rules with some consistency though. I came to America believing that there was a path that works a certain way, and that I could Hope for a better life in America if I follow it and work hard. Clearly your country hasn't kept your side of a gentleman's agreement there.

I suppose your friend is right, we Indian abd Chinese PhDs are idiots to think America is a fairer country than wherever we come from.
HN isn't a place to merely advertise a product to gain traction and marketing

Today I learned.
> Do you really think that ?

Yes. I have worked at both at a successful (ie profitable) fully remote startup that employs hundreds of people, and now at an enterprise that is fully remote with thousands of employees across several continents. If you can't manage teams remotely, you can't manage.
You'd probably like MATE then: https://mate-desktop.org/
What's the status for TN visas right now? The US/Canadian border is semi-closed now except for things like trucking. If you were just issued one, could you get across?