skysight-inc/HackerNews huggingface dataset:
> AstraZeneca’s vaccine remains in use in Australia, but official health advice is to opt for Pfizer or Moderna if you’re under 60. But AstraZeneca continues to be distributed, particularly in low-income countries.

Interesting thing of note here: I keep reading this. Even the Wikipedia page on AstraZeneca suggests that it’s still used in many European countries. In Austria (where I live) while if’s technically possible to vaccinate with it, you absolutely will not be able to get it. It hasn’t been stocked for more than a year and a half. It has been effectively suspended since and everyone who got it, was boosted with one of the MRNA vaccines instead.

I would like to understand why the reporting on in (including the Wikipedia page) is so reluctant to mention the effective suspension of it.

I’m not familiar with the situation in Australia but I would be quite surprised if it’s still in use.
This is a great way to formulate the difference. In my mind, Google does search, which is not the same as synthesis. ChatGPT is a synthesis engine. I think there is room for engines like ChatGPT to also return links to the training documents that were most relevant to producing an answer. At that point, it would be doing search and synthesis at the same time.

I am not sure if neural networks have been trained to do this yet, but it would be very cool to see a network that produces both generated output and the most relevant input data that led to that output, by somehow keeping track of the influence certain inputs have on various learned features and internal structure of the network. I think of this as an index.

You make a good point about SEO. SEO is going to be obsolete in the near future. The SEO game is basically an adversarial attack on Google, which Google itself actually promotes and encourages website builders to do! In the future, we are going to look back on the cat-and-mouse game of SEO and see it as primitive and antithetical to the goal of search.
https://pgbarman.org/
That was word for word what I was going to respond with until I saw your post.
> (If ever there was a cue for a career change or opportunity to make a whole lot of money, it's this. Don't ignore this one! You're still early enough to take advantage.)

Details?
That's a website very light on details — what are they building?
I'd say caveating statistics or advice it doesnt actually understand and frequently misinterprets or makes up is the most consistently valuable part of its answers...
Interesting. Does anybody know how to list available channels in FreeBSD?
you're describing the paradox of tolerance.

The problem isn't that there's a line at which it becomes ok to remove yourself from, or them, forcibly.

The problem is that line has to be very very extreme, which is why you're using the Nazi example, but it's being applied to very non-extreme things, which is why so many people disagree with you.
> I can use Rust, but I have never been on good terms with Rust. I have a story of rewriting part of our production code as Rust extension, which turned out to be 3-4 times faster, but we ditched it anyway, because maintenance cost would be too high

That would be an interesting tale, especially in light of helix / ruru / magnus (why so many?) (and I don't know how they compare to pyo3 in terms of ease of use).

I can see it if they used "raw" rb_sys though, that seems... not much of an improvement over C unless the API is really small and you can quickly bail out to safe Rust: https://briankung.dev/2022/02/02/writing-a-rust-gem-from-scr...
A better comparison would be if the Crystal compiler was implemented in Ruby, how slow would it be?

Node is fast but there is an initial startup penalty, especially if the project has many files to load at runtime for interpretation. I bet it's spending a lot of time on require().
> I can't count the number of times I've clicked through to a link expecting to find more context than the excerpt on the search page and that content isn't there.

Excellent: this quite quickly tells you that the search result was wrong. So you quickly got very relevant context and can tell at a glance that there is no source. You don't get any such context when GPT provides an invalid answer.
The problem is that you feel that the number is wrong, not that you know it is.
PF4 was already considered the culprit for a while, but formerly it was thought that negatively loaded DNA activated it.

Incorrect administration is still a risk, but not systemic / wide enough for the clotting cases I guess. And, you'd (1) expect cases to go down over time and (2) see them in mRNA vaccines as well.

So, no, PF4's been consensus for a while, this study gives a probable theory on why PF4 gets activated.
Is this on AWS where instances get reaped and can't be transparently migrated to a different physical machine like that can on GCP, or is my info out of date? (Just haven't been on AWS for my latest projects.) Because yeah, that would also keep me up at night if random instances will randomly get deleted. My proposal that pets are actually totally okay relies on that not being the case.

My real, pointed question is: what was the opportunity cost of cattelizing that vs any of the other work you could have done in that time? Because given a fresh instance but I'm allowed to use the rest of my infra, setting that machine back up in the morning should just be to instantiating the right docker container on the host and copying the license file in. Depending on what the vendor software does, I probably still wouldn't ASG that until it had actually happened more often than once a month - there are so many more things to stress about! Even if this were the splunk license checker, losing some log files would be quite disappointing but not the absolute end of the world - if you're losing api calls to stripe or the equivalent that's a different matter!
I agree he is a genius in this regard, seeing the core of an issue clearly. I also think the world tolerates more from brilliant people, and this is why you in some workplaces have primadonnas. But look at some of the things Torvalds says, it is just ...intolerable. He once asked someone if he was dropped on the head as a baby because he had a suggestion that went against Torvalds'.
I have a ZSA Moonlander split keyboard and for better Emacs ergonomics, I have Ctrl under my right thumb, and Alt under my left thumb.

But twisting the palm to hit Ctrl always struck me as a terrible idea, maybe because I have large hands. Better remap Capslock.
Former Employees detail Musk‘s erratic behaviour
Quite a few devices implement Zero-wait DFS.

https://docs.engenius.ai/cloud-white-papers/zero-wait-dfs#wh...
For most programming questions at least, the highest placed result links are StackOverflow answers related to your query (if any exist, of course). I would say this alone invalidates your "virtually guaranteed" claim.
You've got a good point there, but we also need to consider the time frame. I'm talking about the first quarter and my predictions may be way too pessimistic. Once the virus infects the urban population (~60%) it will slow down. IHME forecasts 300k deaths in Q1.

The subvariant spreading in China is Omicron BF.7 with basic reproduction number of R0>=10. That means that herd immunity will be reached at 1-1/10 = 90% of population or higher, so by the end of 2023 the death toll may indeed exceed 1 million, depending on the exact IFR which is still uncertain.
https://archive.ph/AAChq
> The other side, […] believes that the correct social construction of ascribed gender is that it should be based on some aspect or combination of aspects of biological sex (often based on a stereotype that elides the fact that choosing different aspects of biological sex for this purpose would result in different assignments.)

Gender distinguishes men from women, male-like thoughts, acts, emotions, capabilities and appearances from female ones. Other than for the direct purposes of reproduction, why would we want or need to classify individuals into the social groups of men and women?

You see, there’s a third group that flatly denies the desirably of socially constructing something called ‘gender’ at all.
And what is the true legal limit?
to use full power on 6GHz, the router needs to upload its GPS location to a central server to get the available frequencies. Worse than 5GHz in my opinion
Or you get a HHKB and solve all your keyboard problems peramanently, personally I use the HHKB JP because I simply need the arrows. How fujitsu have not made a HHKB with american layout AND arrows is beyond me.
I'm not a racist, but... I'm all for free speech, but...
I'm a simple guy. Excess property checking not just on object literals would be a wonderful Christmas present.
Papas=PaaS, or? If Papas I am unfamiliar with the term.

If PaaS, isn’t Gcloud itself the PaaS? For instance cloud run, the product inside Gcloud, is ephemeral and stateless, which wouldn’t be at all good for trying to make a DB.
A C/C++ header file that converts Intel SSE intrinsics to Aarch64 NEON intrinsic
[1,2,undefined,3]
.filter(<T>(x: T|undefined): x is T =>
typeof x !== 'undefined'
);

Yes builtin lang support would be better, but that gets you out of trouble in a pinch, without adding more 5 line npm baggage.

N.B. if you are in a JSX file, you'll need to add a comma: `<T,>`
Why reskin, redesign or rewrite something that has been stable and just fine for 10-15 years? Especially if you only access it once in a blue moon
The question is that if you can have "write me a letter", would you still go for "find out how to write a letter"? Needless to say you can actually have model to explain to you "how to write a letter" better than Google. How do I use Google now (kind of, because I switched to duckduckgo actually)? Mostly to search for answers to a question, a error message or something. It can be solved with ChatGPT, except ChatGPT is not as convenient given I can type in address bar, browser will bring me to a search page. For me Google is a gateway to StackOverflow, wiki, documentations, blogs, it is very much replaceable.

No one currently uses Google search to draft letter not because we don't want to, because Google is not able to solve the problem, hence we settle with a two-step solution, find out how then do it.

Another thing I use Google search (again duckduckgo) is for navigation, I remember partial name of a website, and use it to find the link to the page.
On this day in history, President Truman dies after suffering from pneumonia
OK listen, spekcular. You haven't responded to any of my comments about constructive logic.

> But, historically speaking, that was not what people had in mind.

You have opinions about what you'd like from foundations. They are dogmatic and are not the opinions of those mathematicians working on foundations. Those mathematicians are interested in constructive logic, computability, the computational meaning of mathematics, replacing sets with topological spaces, replacing sets with objects closer to mathematical practice, etc.

> Further, the reason I get grumpy when HoTT stuff is posted here is that the postings are rarely explicit about just why, exactly, they think HoTT should supplant ZFC as the accepted foundation of mathematics

Nobody's really saying that. That's your own combative fanatasy or confusion. You're not a logician; you don't know foundations; and you're ignorant of logic-in-CS, based on your inability to understand some of the terms used and the following remark you've made:

> It is sometimes quite useful in practice to recognize that two isomorphic objects are not literally the same. So I am skeptical of any approach that wants to blur those distinctions.

That word salad alone should make people stop listening to you. But this is HN, so *shrug*.

You are right maybe about combinatorics, but in this sort of maths, you are useless and oddly narrow-minded.
Breaking Other Peoples Toys: Sabotage Thesis from Naval Postgraduate School
You invoke LEM when you can't decide computationally whether a proposition is true or not. If you could decide, you wouldn't invoke it.

Admittedly, I exaggerated a bit because my comments were already too long. You can always prove an algorithm correct by using LEM somewhere. It's just nice to have a mathematical universe where "everything is computable" which immediately rules out LEM.
It's because author added extra spacing so the notes happen to land in musical intervals ?
You're correct that the current state of the art isn't great and may in fact be worse than you imagine [1].

An important fact, though, is that there has been little serious sustained effort to push for hydrogen production until now.

Just recently we have seen papers on new techniques [2] some of which are already being tested at trial industrial scales [3]

What is happening now is similar to vaccine development during COVID - accelerated parallel development of stages; the heavy industry side of hydrogen development is being pushed and built on the assumption that key stages will be improved in both incremental and hopefully radical ways.

The message from the climate side of these developments is there's little to no time to waste.

[1] https://pubs.rsc.org/en/content/articlelanding/2021/se/d0se0...

[2] https://www.chemistryworld.com/news/seawater-splitting-syste...

[3] https://www.chemistryworld.com/news/water-splitting-device-s...
I saw it like a million years ago, I don't remember much of it. Given the enthusiasm here I'm going to watch it again this week!
> that can accept any number of functions

So, `(a -> b) -> (b -> c) -> (c -> d) -> ... -> a -> z`.
It's man against man, not man against nature.
I didn't like that option, because I found I tend to hold Ctrl to do some action (maybe copy text from some panel), and if I change my mind and release it, the ESC might close the window I'm looking at.

It's happened more than once with Chrome's Inspector or in the shell. It would be even worse with Emacs in terminal mode, where ESC is a prefix key.
In Australia, everyone 18 years and above can book an AstraZeneca vaccination appointment:

https://covid-vaccine.healthdirect.gov.au/booking/

Meanwhile they rolled the dice and decided that Moderna is no longer available for 6 years and up, but remains available for children aged 6 months to <6 years.
its not even king of gaming anymore, proton has taken care of that
Many states or municipalities require conduit for >=110V. Some require licensed electricians to perform all work, along with permits and building inspector approvals. Yes, even for pulling a new circuit from an existing panel.
And Ruby code deployment story got another nightmare to tell! Not only now you require GCC and a bunch of -dev pages just to install the gems, now entirely different language toolset
I don't change habits depending on the site that is linked. And I appreciate a summary in the comments.
> then you don't need to worry about "the DFS problem" as it is well known and will have been accounted for in the design.

What does this mean? The DFS check doesn’t exist? Or they just reboot nearby devices several minutes apart to allow enough time for DFS to complete?
The marginal costs of production are near zero effectively. The marginal costs of acquiring and retaining a customer are far from zero for a lot of overvalued enterprise saas companies.
I'd imagine the story is just "we don't really write that much in Rust so going back after a break is a PITA"
You didn’t read the article did you. It makes no difference.
You mean just for searching ? If you use IntelliJ, double press Shift key and search away… Tab to change search context.
In Spain. In the past it was quite hard to break the 40-50K euros barrier.

In the last year I have seen more and more offers on the 65-75k range. With puntal 100K.
You’re absolutely correct, the largest bureaucracy in Europe definitely doesn’t waste any money. What ratio would be less fucking weird?
There's a reason wired backhaul is considered best practice.
Rust Bitcoin Cash Library
> AFAIU one group think gender should be a social construct, rather than a biological one

Gender is a social construct by definition.

This all starts with the purely descriptive observation that when you analyze the informal man/woman distinction that exists de facto in society, there is a component that is inherently biological (visible traits, hormonal differences, etc.) and a component that is arbitrary social convention (clothing, color schemes, etc.). Having different terms for those components helps, and so the first one is called sex and the second is called gender.

This is all purely descriptive and I don't think anybody reasonable has major disagreements about it on either side of this topic.

The question is whether and what kind of normative conclusions one can or should draw from the observation.

For example, very conservative folks would make the normative statement that gender expressions must align with sex (women can't wear pants, men can't wear dresses, that sort of thing). There are two major strikes against this position as far as I'm concerned: first, it's clearly very illiberal; second, even ignoring the illiberalism, it doesn't leave room for the few people who, through no fault of their own, don't fall neatly into the sex binary. Those folks are left in a Kafkaesque situation of having no real way of complying with such a rule.

Some trans activists also make questionable normative statements, such as "transwomen are women". That's a normative statement because it implies that the word "woman" should be used to refer to a person's gender instead of a person's sex. It's no wonder they clash with some feminists who point out that, while there may be significant overlap, the life experiences of transwomen are generally not the same as those of women (in the sex sense), and there are situations where the distinction matters.
Just lie
If removing “noise” was trivial, we would all have perfect radios.
> One could set up a dress code or any other arbitrary policy as a proxy to refuse entry to any group, without explicitly doing so.

Not in the US you can't. If a policy, even when applied equally, unduly affects a protected class, it's unconsitutional.

For example, if a restaurant enacts a "no headwear" policy it's still unconstitutional because by and large this is primarily going to affect the muslim population (and a segment of the jewish population), but will have very little effect on anyone else.

If the policy was instead "no headwear with words on it" the policy would NOT be unconstitutional because it does NOT unduly affect a specific group of people.

There are other exceptions, of course, generally around security. You can imagine a bank not allowing the full covering of ones face for security reasons even if that does appear to target people who wear burka's day to day.

---

so long story short is that it's not super simple, but in the US you absolutely cannot try and get around it by proxy and there is established law on how to identify this.
C + WASM maybe but then I'm pretty sure the compiler will not be as good as javac to tell me about things that are wrong.

Java + WASM is probably what I'll end up with, don't like the AoT step from a distance we'll see.

I'm looking at all Risc/stack op/byte-code, and it's disheartening in how many ways humans can copy the same thing differently.

C#, RISC-V, Java, WASM, ARM, 6502 ASM, uxn, lox the list goes on and on...
DEVONThink!
> As soon as students raised a hue and cry over some issue — any issue — the administrators just rolled over, as though they were not actually in charge of the institutions they nominally oversaw.

If the students and their parents pay the administrators' salaries, they are in charge. These clashes between students and faculty tend to be much more maintainable in countries with free public education, because the students aren't customers.
No shit, people are replacing product support with it, not search engines...

Also OP fucked up re-redacting title from sense into nonsense.

But it would be interesting seeing ChatGPT-like but learned on say entirety of some fictional universe bibliography, wh40k chatbot that knows all the lore!
https://ziglang.org/learn/why_zig_rust_d_cpp/
Is there a website that lists companies that have policies like this (or more likely use companies like this).

Some kind of blacklist where you can see if a company you might use has values that align with your own?

There are companies that do ESG reports on companies, but something like glassdoor for consumers would be easier to use
The test is "who can afford more lawyers"
Because 7 was their last UI aimed squarly at the mouse and keyboard user.
The point is that if you search "best frypan reddit", you'll get real recommendations from real people who have actually used the product. Maybe you won't find the objectively best frypan on Earth, but you'll find a very good one along some information about why that particular product is good.

If you simply search "best frypan", you'll get lists of affiliate links to overpriced Chinese crap, written by someone who has never even looked at any of the products in person and frankly doesn't even care if they're any good.

Google shouldn't be expected to know everything, but it should know that someone searching for "best frypan" is looking for real recommendations and not literal spam pumped out by a content mill.

Searching for services like appliance repair or removalists are even worse, to the point where I'll now just ask on private Facebook groups for recommendations.
> the US has never been attacked on its own soil before in the modern age, except for 9/11, and the results there were catastrophic.

except for when the Brits burned Washington DC in Aug 1814.

And there was this little thing at someplace named after a rental car company, "Alamo" I think.

You could argue that the wars with the various indigenous people were not fought on US soil, because the soil wasn't "ours" until after we beat them.

Oh, wait, you said "in the modern age". Ok, so since WWI, no one has attacked the US.

So Pearl Harbor doesn't count?
vi/Vim has a very similar functionality: "/term↵" or "?term↵" searches for the next occurrence of term (forward or backward, respectively).
If we are talking at implausibility, Gravity is filled to the brim with it. It does a very lousy presentation of orbital mechanic: you don't point at a general direction of space station which is 70km away, give an impulse away from it and slowly drift to it. It is not how it works!
In the UK Ofcom recently (2020) relaxed the rules on Band C channels (channel 140+) to allow for indoor non-licensed use. These have been a godsend in a crowded environment, as the lower non-DFS channels are very crowded, while the DFS channels are, well, DFS.

https://draytek.co.uk/information/blog/ofcom-relax-the-rules...
So the people earning the other 90% do not count? I thought wealthier people doing whatever they want was a bad idea, but not if it's Googlers.
You can buy the cheapest version and upgrade the M.2 SSD
What's another underrated SciFi?
> Free speech can be used as the crowbar to motivate enough people to commit acts of vandalism and terrorism.

you mean like dumping tea into the ocean to protest taxes and standing up a militia to rebel in order to establish a new government?

we definitely wouldn't want that to happen!
as long as what you wanted were imaginary "facts"
Not in the "official" application. And microsoft deprecated it.
You have to use the web version.
yeah fair point, thanks for clarifying this
It is realy important for them because it will gently force you to provide them with the exact geolocation of your non wifi connected desktop.
I looked into this Dorian person, and it appears we have different definitions of "cancelled," as this person did give a talk at MIT, at a different building than originally planned.

It seems this person has made a handsome life being a spokesperson for conservative denial of systemic racism in America, I don't see someone actually harmed or "cancelled."

Also it sounds like students did exactly what MIT approves: they protested. For whatever reason the University decided then to move the venue. What exactly is the issue you have with this scenario?