skysight-inc/HackerNews huggingface dataset:
I found the explanation of natural infection rather interesting in this piece however unfortunately I have not been able to find the original source:

“Natural infection exposes us to all the proteins of the virus – not just one like the vaccine – leading to a wider response by the immune system. Even someone who has a low level of antibodies will be protected by T-lymphocytes, a cellular protection – and given this response directed at more viral proteins, new variants will have more difficulty entering the organism” (1).

The quoted immunologist is on twitter and is relatively conventional (2).

I have attempted to research this specific line some but because there is so much skewing with searches right now I haven't had too much luck. Suppose partially why I share it in comment form is I never felt it was of quality for a post submission eg.. it's not the original source. I do think if that quote is accurate then the issue of testing for t cells et al to determine whether someone has been infected prior to vaccination might be a good way to go especially if the concluding remarks by Camara et al hold true in that "the second BNT162b2 vaccine dose results in a reduction of cellular immunity in COVID-19 recovered individuals" (3).

Both my brother and I have uc. My brother got the vaccination and developed a pretty bad flare up. My uc condition has always been a bit more severe than his. I know I have had the virus and even volunteered to help out months later when sister and her husband got sick and nothing developed on my end. Considering Akinosoglou et al hypothesis, "that, even though, COVID-19 vaccination does not provoke de novo immune mediated adverse events, it is possible that, the immunologic response triggers pre- existing underlying dysregulated pathways" (4), I have been wary of taking the vaccine with the additional knowledge that I had the natural infection. Luckily in that I am self employed and work from home, most of my shopping is done online even prior to the pandemic so I feel at least I'm well positioned to wait it out a bit longer until research down the road with less upfront bias emerges.

1. https://www.portugalresident.com/new-data-shows-natural-covi...
2. https://twitter.com/lgraca
3. https://doi.org/10.1101/2021.03.22.436441
4. https://doi.org/10.1016/j.clim.2021.108721
> During the pandemic my eye sight worsened pretty quickly and I have glasses for the first time ever

You are not alone[1].

> Does anyone have actual experience reversing myopia?

Not me but I have heard from multiple independent contacts telling me that they reversed slight myopia through yoga at different period of time. And every time I hear that I try to search for scientific evidence and come back empty handed.

[1] https://needgap.com/problems/251-eye-strain-due-to-lockdown-... (Disclaimer: My platform)
Steve Mould did an explainer on the pollination cycle of figs: https://www.youtube.com/watch?v=a6jJzOc9gaE

Despite all this, I have no plans to alter my fig consumption at this time.
Why? A “create” button that takes you to a creation page is still a link to that page and should be a link. It looking like a button indicates an action that the user understands. It is accessible, semantically correct, and follows accepted design conventions. What is the problem?
Those values are for a 100,000 people, If you do the calculation for the people not affected

99.9785% of vaccinated are not infected
99.8714% of un-vaccinated are not infected

99.9999% of vaccinated are not hospitalized
99.9975% of un-vaccinated are not hospitalized

99.99996% of vaccinated are not dead
99.99904% of un-vaccinated are not dead

This is such a small difference.
> cursed

can we please stop using this stupid word? calling things "cursed" is the opposite of bringing any clarity to the world.
You didn't imply one was censored more than another. You claimed it's moderate Republicans being called Nazis and throwing in the anti-war leftists as false equivalence in an attempt to sound moderate. There are very real signs of fascism growing within the Republican party. From aligning against an "other" enemy to telling people they are the only ones who can stop the onslaught to telling people to be strong in resisting the election results to passing laws in 18 states to restrict voting. Over 60% of Republicans in the House voted to overturn the results of the 2020 election and over 70% of Republicans believe the election was stolen. This is tens of millions of people deluded by an obvious con-man with no sign of sanity in sight. I think the time for "both side" and false equivalence is well past over.
Not sure if I’m on the spectrum or what but it’s horrible trying to read expressions in a masked conversation, as in I can’t.

Masks were not great for mental health, but apparently that doesn’t matter as much as virtue signaling.
For the most recent state I lived in, IDs are issues for four years. If lost during that time, they give you an identical replacement if in the first 2 years but require a new picture if replaced in the second half.
> VOCs getting past this N95 mask

VOCs getting past a well-fitting N95 mask is working as intended, isn't it? N95 filters particulates only.
Lunatic 0.5
Sure, but also, there's the convenience of getting a book electronically delivered to you in seconds; and the ability to carry hundreds of books with you as you travel.
I must be getting old because I literally don't get front end devs these days...

The landing page is like a few divs with some position centres. What would you even use a "component library" for in this case? The only thing on the entire page with any complexity whatsoever are the component demos (which are obviously part of this DaisyUI thing itself) and the code blocks/syntax highlighting, which I'm sure there's a billion libraries for already.

I'm really struggling to come up with any sort of other dependency that would help me build that page any faster than just opening the text editor and shitting out some HTML and CSS.

Do people just spend so much time working with Bootstrap and whatever other cruft that they just never bother to learn the basics?

At this level of simplicity and for churning out marketing pages where you don't care about maintainability, you're probably better off looking for a WYSIWYG editor rather than a library.
I can understand this and I respect your opinion. In my view, "not communicating and needing help 24/7" would imply a suffering distinct from just the feeling of helplessness or the desire not to be a burden. Such suffering does often lead to a wish to die, and one which may be distinct from the more psychotic wish to die ("suicidal ideation"). The latter is unfortunately much more common, and research shows it is not caused by circumstances but rather by psychiatric condition like depression. Unemployment for example, does not seem to cause suicide attempts, statistically, even though one might think there should be a correlation.

Also, I'd be careful to assume to know what I'd be feeling when I would be in such a situation. I'd be hesitant of my ability to judge for others if they'd rather have me dead, and I'd hope I would have serious misgivings in asking or wishing them to take steps in that direction.

In these things I like to apply concepts from Buddhist philosophy. Desire leads to suffering, where "desire" is more precisely defined as "wishing something that is wouldn't". Also, causing suffering or death does damage to the Karma, in Buddhist teachings. For me, this is reflected in personal experience and even some scientific findings that hurting people or even animals, does some damage to the psyche, if only in the process of getting numb to such feelings.
As long as we have engineers working for days each month on administrative stuff, a shortage of engineers seems to be far fetched.
In reality, it is both.

You don't have to own a house to have housing. Home ownership is, not a basic aspect of human life, sadly for many people.

But there is a limit to this idea, and housing is heavily regulated anywhere. Investment banks buying up houses, built for individuals, are just wrong on so many levels.
They give you a space that you input it in, if there's something missing

how was that hard to figure out
The colored bands seem to be semi-transparent, so all can be shown in the same graph instead of having to show an own one for each of them (i.e. it is purely a display problem where the bands overlap).
A good reason is because Java was explicitly engineered and targeted towards enterprise use-cases from the beginning by Sun, whereas Python was created as a mean to teach programming with a simpler language.
You need 1 extra server for the "monitor" process. And it can't yet auto-failover the monitor node, no ?
I read recently in a hn thread that masks have surprisingly little effect on facial recognition accuracy
I love email. It is just text, it is truly asynchronous (as in: nobody expects you to answer within a minute) it is sortable, searchanle, you can create automatic filters, everybody has email.

But the best thing is: you have to write everything into _one_ email. I don't have to follow someones fragmented train of thought and glue the shards together in order to make sense of them. No: they want something from me and so the burden of sorting their thoughts is on them.

I also don't hate chats, or a phone call, however this is for different communications. If you do important stuff everybody should know via chat (or worse: recorded speech messages in a chat) you might be doing it wrong.

I know someone whos boss would send multiple 15 min speech messages a day into a group chat to all employees. To find the information you needed to know you would have to listen through the whole thing, write it down for yourself etc. And this times 40 employees just because one person didn't bother.
I also had the same issue with these. So i started using these AI narrator platforms. These are generally used to convert ebooks into audio books but i used it for pronunciations and accents. I used the one called Narration Box. Here is the link- narrationbox.com
commit dd8297b0669f8e69b03ba40171b195b5acf0f963
Author: Richard Smith <richard@metafoo.co.uk>
Date: Fri Oct 30 18:30:56 2020 -0700

PR42513: Fix handling of function definitions lazily instantiated from
friends.

When determining whether a function has a template instantiation
pattern, look for other declarations of that function that were
instantiated from a friend function definition, rather than assuming
that checking for member specialization information on whichever
declaration name lookup found will be sufficient.

clang/include/clang/AST/Decl.h | 14 +++-
clang/lib/AST/Decl.cpp | 61 ++++++++++++--
clang/lib/Sema/SemaDecl.cpp | 84 +++++--------------
clang/lib/Sema/SemaDeclCXX.cpp | 11 +++
clang/lib/Sema/SemaTemplateInstantiateDecl.cpp | 110 ++++++++++++-------------
clang/test/SemaTemplate/friend.cpp | 7 ++
6 files changed, 159 insertions(+), 128 deletions(-)

https://bugs.llvm.org/show_bug.cgi?id=42513
Honestly, what are you talking about? I was responding to this original quote:

> They are putting themselves at risk surely, but the risk doesn't really spread to people who have been vaccinated.

This is false because no vaccine provides 100% protection. You even here have agreed we me. Your point that people should complain to vaccine manufacturers about efficacy is both irrelevant and misguided.
I have a desk with dual monitors and a laptop dock where I do most of my work, but sometimes that just isn’t where I want to be. The biggest win is the flexibility, I can be in bed, on the sofa or outside and do the same stuff I do sat at my desk.
Stacks v1.4 – The secure Trello alternative now has Automations
RTS games typically run deterministic simulations locally, and only sync inputs, with no real need for an authority. The anti-cheat mechanism is simply the fact that simulation state has to stay in sync, and artificial changes would trivially desync.

Of course, this leads to the standard RTS cheat — map hacking — because the client has to have everything by definition. But you have enough entities in an RTS that syncing full state, or even delta, gets ridiculous quickly, so it’s just something that has to be dealt with. Fighting games also tend to do something similar — deterministic lockstep with rollback — which also sensibly runs with no authority (again, you can’t teleport/wallhack because you’re only passing player inputs, and moving just your character is the same as the sim desyncing)

But my main point is that an authoritative server is not a guaranteed architecture for multiplayer games — the game design should definitely factor in (as it does in OP’s case).
Whilst I entirely agree with that statement, what does that say of Anthony Albanese who, along with the party he leads, seems unable to land any political punches on said buffoon?
Asia has been living in a masked world for at least two decades. It's not a major inconvenience, and it doesn't infringe on anyone's freedoms. Westerners really need to stop being such spoiled entitled children about this situation, and cowboy up and do what it takes to eradicate this pandemic.
That's so wrong
I remember when some Windows code has been leaked, people explicitely skipped reading it to avoid getting sued if they were to work on Linux kernel or Wine in the future. Reading code can most certainly lead to a copyright breach and Microsoft of all corporates should know this.
Can't reproduce. A link to your google translate page would be nice. I get "As a general murmur and some clown trial would end in time petty embarrassed"

https://translate.google.com/?sl=auto&tl=en&text=Yle-m%C3%B6...

And here the archive.is snapshot https://archive.is/hXIEW which shows yet something different...
Tax accountants are still around even after Intuit and TurboTax. How is another similar project going to end their careers?
https://github.com/vercel/commerce
An analogy... I live in Australia, here there are endless straight highways through the outback. Beside the highway there are thousands of huge termite mounds with thousands upon thousands of termites in each one. Termites live a pretty organised and civilised life in their mound, they even probably wander onto the highway a fair bit, but have no idea what they have walked on to, or furthermore conceive the big picture of what the purpose of the highway is or even that a city or town is at the end. The analogy is of course that we are the termites, and the universe is the highway, outback, roads and cities. It would take quite an inconceivable leap for a termite to stumble onto the beginning of the meaning of the highway, let alone everything else.
Google seems to have locked common swear words to their real meanings. It was popular pasttime to teach Google to translate them into politicians' names. For example "Dickhead" was the longest time "Kekkonen".
Maybe you should have been at the press conference to explain his remarks, because it seems a lot of people didn't interpret things correctly: https://time.com/5835244/accidental-poisonings-trump/
Let's never get raises because landlords will also raise rent.
Does anyone knows about something similar but for building graphical HTML editors? I need to create an editor for non technical people where they will be able to drag and drop certain elements and set some of their properties. And the result of this building has to be html and css.
The kernel of a proof assistant is one of the most important components because it represents the foundation of reasoning in that logical system. There's a lot of introductory literature now, such as [0][1][2][3].

> What kind of axiomatic basis is being used in ACL2 and similar systems?

ACL2 uses first-order logic and term rewriting, but this significantly hinders proof automation (done by ad-hoc searches).

> Or do the different systems have significant differences with how and what they can prove?

Yes. First-order logic can only quantify over individual elements of a set, second-order logic can quantify over sets, and so on. Higher-order logic is the foundation of assistants like Isabele/HOL light, which let you use classical reasoning.

Alternatively (and better from an engineering standpoint) are assistants based on type theory, such as Agda, Coq and Lean. Their kernels are just type checkers, which are relatively small programs, so theorem proving in those systems is literally just functional programming with a fancy type system (though exactly how those proofs are constructed is a UX choice).

> Do the systems allow explorations in reverse maths, trying to derive stuff with as little axioms as possible?

Yes, in Coq you can print out the axioms (on top of the type system) that a result depends on. See [4] for information on Coq's logic and what axioms you can safely add (they are necessary for certain areas of math).

[0] (Coq) https://softwarefoundations.cis.upenn.edu/

[1] (Agda) https://plfa.github.io/

[2] (Isabelle) http://concrete-semantics.org/

[3] (Lean) https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_g...

[4] https://github.com/coq/coq/wiki/The-Logic-of-Coq
Nice concise summary - It's worth noting this publication does not appear to have been peer-reviewed yet.

That said, the relatively large sample size (52238 Employees of the Cleveland Clinic Health System) provides strong statistical power, which should give the results serious credibility.

If these results hold (ie there are no systematic errors in their design or analysis), the next logical step would appear to be a similar analysis which accounts for newer variants of concern (eg delta).

Is anyone aware of such publications?
No, the Boring company claims 155mph as a maximum speed limit for their loop system in general, not as the intended speed for this specific loop system.
Isn't being in water for so many hours kind of bad for you?

Also, similar question if the water is warm/hot and there's a lot of steam.
That's work from home brilliantly summarized, very true.

However, I have my doubts about productivity in smaller teams and startups. Being in the same space physically I think speeds up a lot of things. In small teams and esp. at early stage startups your whole day is a meeting where things are discussed and resolved spontaneously. Sometimes it is important to have an environment where information is exchanged dynamically and in an unordered fashion, as opposed to structured meetings, schedules and planning that become necessary in fully remote teams.

Then there's the social part. At least don't forget to do regular meetups in real life if you can.

Honestly, I'm very divided over this. Is there a way to have the spontaneity and dynamism of working in small teams in real life, and have the comfort and freedom of working from home?
Seems more like an "okay, but" than a "yes, and".
104% of all stats are slightly off.
I want to note that I was talking about tailwind vs bootstrap and others in the abstract, less so about DaisyUI specifically.

What lead me to make the comment was the discussion point that "btn btn-primary" was so much more useful than 20+ tailwind classes. I agreed (it's something I have come across as well), but

It's clear that Daisy UI will get you up and running quickly and there are lots of similar projects out there that do things like this, but the meta discussion around whether we're going in circles or if we've actually moved forward and found a nice mix between what was the bootstrap style (1-2 classes that do all the work) and tailwind/tachyons (5-10+ classes that do the work).

To make the discussion less meta -- is the future things like DaisyUI? Bootstrap like classes but with the outlet for overriding not being manual CSS but actually being tailwind-style classes? In the past it was Bootstrap + your special large class/baked in styles, but in the future maybe it's "btn btn-primary box-shadow" or whatever, clearly a middle point of sorts
Recruiting Trends for 2021
Theoretically it could free up frequencies to reuse with 5G as well. A better question IMHO is, will they use one of those frequencies to provide better long-range coverage?
I find the project this guy has been involved in quite fascinating. Super creative way of designing interfaces.
Well, see, this is the kind of attitude that gets people concerned. I'm not aware of any expert or health official who believes that eradicating the pandemic is possible. If you've gotten the impression that our public health response is about reaching some future point where Covid-19 is gone and nobody ever has to worry about it, you're being misled.
I don't know of anyone who's "dictating" that you get the vaccine and I would oppose anyone who wants to make vaccinations literally compulsory.

But given how extremely well tested it is, given its utterly astonishing and indisputable efficacy, given that the upsides greatly outweigh the risks[0], I have no problem with society applying a bit of societal pressure on people to get vaccinated voluntarily.

[0] Obviously this is the case when talking about known risks, likely but unproven risks, or even unlikely but plausible risks. But it's still true EVEN IF you accepted all of the wacky paranoid nonsense about vaccine safety and their beliefs about "long term risks". I haven't heard any anti-vax argument that makes the vaccine out to be even one tenth as bad as the disease it protects you from.
First word was a (leftist) trigger-word. Somebody made a great effort to teach Google to not translate any sentences containing it. This issue has now been corrected, when it became public.
That's a great suggestion @cosmaioan. I'm working on a Version 3 which will support SVG files. I might look in to adding this style of line. Thanks.
Also, 62% of remote workers are dishonest.
Text to Speech with JavaScript
Interesting point. Haskell introduces monads not so that you can have them but so that you can not have them!
Have to watch out for the piecosts too!
Yeah, this seems more like the combo of ease of Bootstrap + the extendability of Tailwind.
Whenever I read a comment like this I feel like talking to someone who’s never used Tailwind nor written inline CSS. How do you write inline CSS for pseudo-classes like :hover, :focus, :disabled? Media queries for breakpoints and dark mode? Not to mention more advanced features like divide-, space-, group-hover:, etc.
Which is why I get annoyed at the flood of maskless wonders in UK shops since 'freedom day' (I am 65, and have a chronic respiratory illness). And I wonder whether the Great Unmasked coincides with the Great Unvaccinated.
I am a dual citizen who is leaving Australia and returning to the states in a week's time. You are allowed to leave granted you are not planning on returning within 3 months or on compassionate grounds. However, getting back is a whole other story.

The issue is returning travelers relying on loose quarantine measures that have resulted in the outbreak we are currently experiencing here in Sydney.

However, I do agree with you, the government has failed on multiple accounts with the vaccine roll-out and is paying the price now. People's patience here, especially those from other countries, is starting to wear thin.
Those VMs were used to decide who owns (eg) a network packet, which is important for exokernels since the tiny kernel is only there to multiplex the hardware so needs to know ownership, but is really nothing at all like eBPF.
My odds of getting in a car wreck today are tiny. If I wear a seatbelt today it will almost certainly not matter. My odds of getting in a car wreck over the course of years are not so tiny, and wearing a seatbelt makes a big difference.
England's Upper Classes – A Dangerous Cult
I'm saying that the sample here is very much biased towards exploits which were detected and analyzed.

Very often, whenever something looks wrong it's just routine to reset and restore.
This is even more common nowadays with clouds made of stateless containers.