skysight-inc/HackerNews huggingface dataset:
It has zero impact on a static type system, but it has huge impact on any run-time type checking.

So, for example, you can't really do dynamic typing and type erasure. More generally, you can't do any dynamic type checking, including casts when types have been erased. OCaml does a more complete version of type erasure, and also lacks a casting operation. Because you can't safely cast if the run-time can't dynamically verify that the cast is valid.

(Tangentially, and Java is a great example of this - static and dynamic typing are not a binary. There are actually quite a few different kinds of type disciplines, and, in practice, it's common for languages to do some things statically and some dynamically.)

The soundness problem for Java is that, with the way it did generics, they don't really fit cleanly into Java's original type discipline. There are some things that tradition would have dictated be handled dynamically, but can't be in the case of generics because generic types only have partial run-time type information. At the same time, they weren't handed by the compiler, either, presumably because, historically, they fell outside the type checker's bailiwick. So they ended up being nobody's responsibility, and just not checked.

Nowadays we do generally get warnings for the most common situations where this happens, but there's no real way to fix them. You just silence the warning with an annotation to tell the compiler, "Trust me, I know what I'm doing." Meaning that, yeah, there's even a little bit of weak typing in Java. At least as of Java 5.
Could anyone knowledgeable about radio tell me what's the pros/cons of this over something like APRS [0]? I guess for pros this wouldn't require a ham radio license and it's encrypted, but APRS is possible out of the box for certain radios?

[0] http://www.aprs.org/aprs-messaging.html
Vaccine induced immunity is natural too, it's the same mechanism, exposure to an antigen triggers a response in the body.

Really, "naturally immune" would imply a pre-existing immunity to the infection.
It's the same as the general minimum in only 7 states.

Yes, the general minimum wage is a problem too. But in 43 states the tipped minimum is a greater problem.
Maybe I misinterpreted oc, but I understood that « choosing what to work on » was about choosing precisely what project you want to work on and not just doing the job you wanted but on the project of your boss.

Because that is really rare and close to impossible if you are not an entrepreneur : I have. personally never ever worked on a really interesting project, and tbh, the few times I switched jobs following my attraction to the product, it went terribly wrong.

I’m not saying that you can’t be happy and fulfilled in this situation : my current company is really nice and I’m happy to be paid correctly to do what I wanted to do, but our products are extremely boring and I would never choose to work on my current project if I had a true open choice. And I don’t think I’m the exception on this one.
You've never inherited a terrible, unmaintainable React or Angular app? I have on multiple occasions, and in fact my team is dealing with one right now. I'd prefer a jQuery mess to an Angular/React mess any day of the week. With old-school jQuery apps, at least I can get them to build and can debug the control flow.
What do you mean? There is no way to make it simpler because that is what it is: markets are not some kind of hyper-intelligent, sentient being. If you put garbage in, garbage comes out (and markets operate within a regulatory/social construct that means they do not accurately predict the future). You will never be able to "assess" it (just as most "proof" of EMH is non-existent, it is as precise as it is wrong).

Right, and I am saying the logic used in that link is wrong (it is also circular...everything is always priced in, how do you know? Because the price says so...saying that seasonal patterns reflect risk is also bizarre, there is no fixed notion of risk in financial markets, every investor has a different liability profile). Saying that you cannot make money from doing something (wrong), is not the same thing as saying it is the best prediction or that the market reflects all information or whatever (again, these are inherently unknowable statements). Btw, this is usually obvious when, unlike academics, you have to think forwards rather than backwards...there was lots of information inflation was going to rise, that is why a significant minority of people thought it was going to happen...the market didn't price this in, that is it. What happened is the perfect example of expectations not being well-grounded in reality...but ofc, circular logic of EMH: everyone predicted this, it was in the price all along.
Can someone explain (preferably steel man) the GOP argument here?
At 41 y/o I am going mostly through the same. Without my wife I would have become a completely numb robot. But even if you don't have a good partner -- or friends, or your older family -- to turn to, I'd recommend the following:

Engage in interviews but be upfront: you're not looking to prove yourself, you are not interested in stocks / futures / options / whatever, you're not scared of tough work but you're also looking for a good work-life balance, and you're willing to take a small pay cut for not taking on all the responsibilities that senior programmers are expected to have.

Say something like this: "I have all the chops to not only be a senior programmer but also a team leader; I have all the necessary qualities but I don't want to practice them for a while. I'd like to use those skills simply to be the best colleague you have."

I don't know you so the following might be severely misplaced and please forgive me if so: but I'd advise you to take A LOT of walks in nature. Even if you don't have some nearby, find a routine every now and then: take a taxi to a nearby big park (or bike/drive to it), and force yourself to just not think about anything.

Additionally, re-read a favourite book -- even if it dates back to your teenage yours.

You likely have a lot of negative inertia in your brain and you need to engage in semi-passive lifestyle to help it remove the negativity by itself which usually happens by eating well and sleeping as much as you need.

Finally, consider cannabidiol (CBD / cannabis) pills. They are absolutely harmless, they cause no hallucations at all, you can't overdose on them (I am getting those with 15% concentration), and their general effect is to slightly alter your brain chemistry in the direction of reducing anxiety. It will help you look at things from a new angle and I found it extremely therapeutic because this in turn helped me deal with my problems in sustainable and lasting ways. (Unlike before when my knee-jerk reactions only made things worse with time.)

Meditation, if you can master doing it for 30-40 minutes, works wonders too. Mind you, some people need weeks of practice every day until they feel this tranquil state of mind. Eventually everybody succeeds though.

I wish I could actually help you because I think I know what you're going through. There is a way out but sadly it never happens exactly as we want it, e.g. we can't just not work until we feel better. But there are middle grounds that help achieve the same result, albeit slower and with a bit more deliberate effort.

I hope you manage to pull through.

(EDIT: Forgot to mention something important: cardio exercises! Forget strength training. Absolutely learn basic yoga for stretching -- especially the exercises that deal with your core area because they will heal your guts and bowels! -- and do loads of cardio: run, bike, plank, nevermind which one. Find your cardio thing. Again, forget about strength training. We the sedentary people need to get our metabolism going again. Make your heart pump faster, consistently and regularly. That's the exercise that's going to make the biggest difference for your mental health.)
>which all but rules out most non-technical people who don't even know what HTTP is

This is why they call it web3. web1 had the same initial problems. Use Brave.
We will only reach a singularity with respect to coding. There are many important problems beyond computer coding like engineering and biology and so on
That was my parents. Both worked into their late 60s. Both dead before 75. The amount of retirement they even had a chance at enjoying amounted to about three years.
Definitely not trying to assume malice. I meant it when I said, "unwitting".
Human beings need something to do to have a fulfilling life. I do not agree at all that the ultimate goal of society is to automate everything that’s possible. I think that will be horrible overall for society.
This is a pretty argument if you can even call it that. He's basically saying that anti-testing policy isn't popular. There's no substantive argument. It sounds like one of his kids missed admission to a preferred school and now he's whining in The Atlantic.

It's a sucky predicament to just ask schools to solve discrimination. And, more to his point, to ask white parents to potentially sacrifice their own kids' education for the good of the many. I think school admissions are the culmination of so many other societal errors. We wouldn't have such a fight over school admissions if our schools weren't so unequal. And our schools wouldn't be so unequal if our housing wasn't so unequal. Stopping testing-based admissions is like throwing a monkey wrench into an injustice machine.
> however you want

I don't see any attribution here.

MIT may say "substantial portions" but BSD just says "must retain".
Sure they are. For example your Roth IRA contributions can be taken out at any time. You’ve already paid taxes on them. The interest though has to wait until I believe 55 years old. You should do your own research (you as in anyone reading this) to see what investment options are right for your personal goals.

> No, it is not possible to find a house for a family of four where I live for less than $200k

Well we weren’t talking about you specifically, but Americans in general. If you need $10mm retire in the Bay Area or something g ya know that’s just what you’ll personally have to work on. I don’t have an answer for you. You can buy affordable houses and live comfortably in almost anywhere in America. In fact there are people who retire and move to other countries, or live very frugally on much less, like $400,000.
Nothing is perfectly safe. All the vaccines you have taken have side effects. So does the food you eat and the Sun exposure you get.

The current data we have shows the vaccines are very safe to a high degree of certainty. If you had created a bar beforehand, they’d have met it. But you can always keep moving the goalposts.
>Meanwhile, Google is introducing “Developer identification requirements” to “help us better understand your needs.” In addition to providing your email address and phone number, the following information will also be required:

>Your account type — whether it’s personal or belongs to an organization

>A contact name

>Your physical address

>Verification of your email address and phone number

It seems an odd juxtaposition, you get a lot of people on HN who claim to advocate for privacy, yet don't bat an eye at and even cheer on needing to provide google with your physical address just publish an app on the play store in the name of security.
>shelled out $500, and he had his MRI in less than half an hour.

What happens if you're poor and don't have anyone to turn to for the $500? Will it take the same time to get a free MRI as it does in Canada? Can you get it fro free at all in the US? (Real question, I don't know how it works and am curious)
Shopify App Store waives fees for first $1m revenue
Show HN: A fun way to check Bitcoin’s price
LA reinstates indoor masking for Covid vaccinated due to delta variant
Most word processors will export to HTML.
> [on Linux+Firefox] If I double- or triple-click-and-hold, I can drag the mouse to expand the selection word-wise or line-wise, not just character-wise. This works with the paragraphs of text in the body of this blog post, too.

Thank you and submitter, incredibly useful to learn this.
I have experienced first hand several cases of k8s gone wrong. In the end I have come to the conclusion that most companies don't really need the complexity of k8s.

Seriously, most k8s projects I have been involved with required so much effort to bootstrap and keep it going, it just blew me away!
The experience for the average developer was just frustrating and infuriating: AWS ECS to the rescue!

Some will argue: vendor lock in! Really? I bet most services out there are already vendor locked in, just go with the flow and make your life easier.

I have seen companies failing because investing so much in building infrastructure, supposly vendor lock in free (or so they thought) that they lost sight and did not invest enough building the actual product: no revenue -> party is over.

Don't make the same mistake.
I'm both of those things, what happens to my value?
And outside of some specific professions, the yearly flu shot is entirely optional. We don't have people running around screaming that you're a murderer or that you should be excluded from society if you choose not to get it. It's a personal medical decision, and that's the end of it.
Correct, but now this policy doesn't seem very wholesome or sustainable, since it relies on deceiving the candidate to hiding itself and its resulting fire-rate.
The OP didn't pass this option to Docker, and it seems it's pretty well established to be a significant footgun[1].

I don't have a horse in this race, as I don't use Docker for a plethora of reasons dating back to it's inception. There are plenty of far superior containers to use. Just adding this footgun to the list of reasons...

[1] https://github.com/moby/moby/issues/4737
What an illogical thing to say. Florida is its own state - are they all dead? No. And I have no good reason to suspect that Florida or Texas or etc are actually fudging their numbers to hide a negative trend. Too conspiratorial for me to just believe that.
So my area doesn't have very many good companies for tech workers. There aren't a lot of tech jobs open here for intermediate devs. Most of the ones I do see are showing estimated salaries 10-20% less than mine already.
I am pretty sure that Kubernetes is just a buzzword they included to get clicks. You can definitely spend money in the cloud using Kubernetes or not using Kubernetes, and in the Kubernetes case, disabling node autoscaling doesn't eliminate the ability to spend money by submitting an API object. The article mentions PVs (which will be auto-provisioned whenever you request one; this feature is so core to Kubernetes that it works without effort even if you aren't using the cloud provider's managed Kubernetes offering) and cloud storage (write a byte, now you're spending money to store that byte), and it's right -- those things cost money and make spend unpredictable. But, it really has nothing to do with Kubernetes. They may have well as said "using Intel CPUs makes cloud spend unpredictable", because Intel CPUs are capable of executing instructions that call APIs to spend money in the cloud. Technically true, but kind of grasping at straws.
I don’t think low interest rates tell even half the story of affordability. 200k at 10% is equivalent to 400k at 3.5%. But we haven’t seen 10% rates since 1989.
The article explains why jQuery doesn't promote bad development patterns. That is a consequence of bad development and a misunderstanding of what jQuery is.
You're using the word "memorized" in a very loose way.
So just to be clear, you're saying that in order to be successful, you have to be lucky, primarily?
It is not logic, it is science. The mask prevents droplets from your lungs from dispersing throughout the air. It is not as good at sealing your respiratory system from droplets in the air.

https://www.sandandsteelfitness.com/wp-content/uploads/2020/...
Plain reinforced concrete is fine to repair and work with. Very basic: Erect temporary supports around the area if its load-bearing, saw-cut/hammer out the working area, splice and retie any reinforcement, prepare the existing concrete surface for a fresh pour, pour and cure.

Certainly more involved and time consuming than, say, replacing some siding or moving a wall inside a stick built house but its all doable.

Pre/Post stressed components? Yeah good luck.
People used to make fun of chinese companies for copying other sites
1. I suppose 10^12 brighter than the Sun for 1 second is like standing right next to a large nuclear blast, or a series of them to extend the irradiation phase to 1 second. It would take less than 1 second for an observer to evaporate, but the time is important to see if e.g. the surface of the planet would turn to cinder and glass.

2. I suppose it's still possible to illustrate. We can imagine that the spacetime gets "bulged" a bit, so light rays become slightly bent when passing it. It's likely impossible to notice with a naked eye from inside without being torn by tidal forces. But it's quite visible from some distance: pictures of gravitational lensing on astronomical scale are easy to find.
I certainly understand that reaction, but I don't think it's crazy.

I just joined one. My primary care physician recommended it. It's about 28% the cost of the regulated ACA plans in my area for my size family. Read that number again. And, it covers everything (except no pre-existing conditions) except for things like cosmetic surgery.

The list of things that the ACA plan didn't cover at all was confusing and pretty lengthy, and it had a $9k deductible (or more, many of the cheaper plans had $15k deductibles) per family member, and double that (two family member's worth) for a max family deductible. To me, that is crazy. And, for the cheaper plans, they required coinsurance, so if I had a disease that would cost $200k, I would owe $67k.

Most amazingly, there's no deductible except for the $400-per-visit deductible. (There's no free maintenance or co-pays or anything like that.) Everything is covered after the $400-per-visit deductible, and there's virtually no maximum. Go to the ER, max of $400. Go for a checkup, probably pay it yourself (unless it exceeds $400).

(One could argue that they should cover an annual checkup, but if it was just a matter of adding $150/year to everyone's plan, what's the point; that's an arbitrary amount that can be budgeted in once you know to expect it. Since it's people of that religion only, some built-in pre-qualification occurs to eliminate people who would just abuse the system.)

These health share non-profit organizations have paid out billions by cooperating and coordinating among their members, and you negotiate with the hospital directly as a cash patient and make your own choice of care and providers.

It's somewhat akin to how a credit union is dissimilar to a bank.

I personally find the idea fascinating and certainly prefer it to forced socialized medicine.
You're spreading doubt about vaccines during a pandemic. Please stop.
Under that definition (printable plus whitespace controlling characters) a BASE64 encoded document is plain text. I'm not sure that makes it a very useful definition.
> There is, instead, a somewhat involved (if somewhat informal) process designed to ensure that each patch is reviewed for quality and that each patch implements a change which is desirable to have in the mainline.

- https://www.kernel.org/doc/html/latest/process/2.Process.htm...
Do Covid vaccines kill 2 for every 3 they save?
This sounds unbelievable - could it be true? I am not qualified to analyze these claims. What does HN say?
My company will not hire people back after they leave.
GP isn't saying that he is lucky each game, he's saying he was lucky to be born with the body he has and he was lucky to get the coaching opportunities that came with that.
You can easily google difference in differences.
A reasonable question. But, it's very hard to watch a "serious" movie or read a "serious" book while at the beach. There's a reason why there exists a genre called "beach reads". I am not going to watch Almodovar or Bunuel or Bergman or Aronofsky or Inarritu on the beach.

I can't watch trashy movies either, but my tolerance for them is more flexible at the beach.
In 2012 or so we doubled down on jQuery UI, specifically the widget factory and a few dozen custom widgets extended from a custom parent widget. That application is STILL in production today, chugging along in both the private and public sectors.
Yes, though with the caveat I no longer do civil litigation.
Oh, you mean

usernames

or

GECOS

or

handles

I've never referred to names as ldaps and I would find it horribly confusing to do so...
When I referenced their contention on Fair Use, that's not what I was referencing, but instead Github CEO Nat Friedman’s comment in this thread that “In general: (1) training ML systems on public data is fair use”.

https://news.ycombinator.com/item?id=27678354
In practice, tipped employees typically get 0 dollar paychecks from their employers; the business assumes that your tips bring you up to the minimum wage, whether true or not, and they pay taxes on your behalf accordingly. This is also typically calculated on a pay period basis, rather than by hour or by day, which results in overstaffing during slow periods to the detriment of all employees, because as long as you get up to the general minimum wage via tips (which is a paltry wage), the business still pays you peanuts.
Property taxes normally go up with inflation too.
> > I posit the "housing" part of the CSI is almost completely inelastic and only reflects what people pay in rent/mortgage, not the cost of entry.

but the CPI covers both owners equivalent rent (if you owned your house) and rent (if you rent)?

> A longstanding criticism of the reported unemployment numbers is that it doesn't take into account those who have given up / dropped out of the labor force

You mean U1-6 that the BLS puts out? There's a good reason for why some are excluded. eg. if you count only the people that are working, then your numbers would be biased if the number of retirees is going up or if people are studying rather than working. Even if you count working age adults it's still problematic because it's affected by people transitioning from/to homemaking. Women entering the workforce would have halved that number, but I doubt people would hail that as some sort of massive victory in terms of unemployment.

Likewise just using raw home prices is problematic because it's tied to interest rates (since it's an asset). Raising mortgage rates will certainly drive down housing prices, but whether that's actually better for consumers is debatable. Your purchase price might be lower but your interest would be higher, making it a wash.
I'm not sure what you're saying -- are you saying that I inaccurately stated the experimental results of the study, or are you disputing their clinical relevance? I didn't really make any claims about the clinical relevance of this antibody study, but I do think that it suggests that the current CDC guidance (of recommending 2 doses even for those previously infected) might be overkill and that it would be worth further study of whether 1 dose (or even 0 doses) would be sufficient (including against variants) for those previously infected.

I don't know of any study of the Delta variant (or other recent variants) comparing immunity acquired from infection versus immunity conferred by vaccination -- AFAIK, it's still unknown how these compare and whether a vaccination might provide additional immunity against variants. IIRC, the mRNA vaccines were developed to target key parts of the virus that are thought to be unlikely to mutate without decreasing virus viability.
I think it's more that this tool is only capable of automating the non-creative work that thousands have done already.

It's still insanely impressive (assuming the examples aren't more cherry picked than I'd expect).