skysight-inc/HackerNews huggingface dataset:
ZKP inherit this definition from the complexity class of interactive proofs (IP) that is usually defined this way. As pointed out in a comment below, IP = PSPACE. Interestingly enough, changing the definition of IP to perfect correctness (1 instead of 2/3) does not make IP any weaker. However, requiring perfect soundness (0 instead of 1/3) would result in IP = NP.
So I had this number from the (reputable) news but I googled it and found e.g. the Ärzteblatt as a source: https://www.aerzteblatt.de/nachrichten/128476/Intensivmedizi... (German)

TBH I would not be surprised if the actually don't know the exact numbers. But even if it's "only" 2594 it's still too many.

You could call it deliberate however if the working conditions for people under such heavy load are not improved.
Hardware video decoding is done by a single-purpose chip on the graphics card (or dedicated hardware inside the GPU), not via software running on the GPU. Adding support for a new video codec requires buying a new video card which supports that codec.
Probably vaccination rate for adults, not everybody.
Take Walmart as an example. If a country, it would rank 25th economically (above 188 other countries and the likes of Austria, Argentina, Norway, Ireland, and South Africa).[1] Walmartian central planning scales at least that far.

1. https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3524078
Not just movie dialogue. I find that some TV dialogue is difficult also. Often enough, I will replay some pieces of dialogue only to give up after several attempts in working out what was said.
The 90% figure has sometimes been quoted in Denmark but it doesn't include people not eligible for vaccination. Now that smaller kids are offered the vaccine this ratio has decreased and really shouldn't be used at all. The percentage of people in Denmark that have started vaccinations of the total population is 78% with 76% having completed their vaccinations.
In my experience the real issue with Linux is that it’s hard to set up. Especially when you have/get an OS preinstalled with Windows, to just using Windows. And that most applications / drivers don’t support it nearly as well.

There are many many distributions. When I started Linux, I first tried Ubuntu because that was recommended to me. Ubuntu is installed with Xfce which looks and basically is clunky and outdated. Setting up WiFi was a PITA because my laptop doesn’t even have an ethernet port, and i couldn’t do much else without wifi. I had to configure some stuff via the command line because there were no settings for it, and install a new trackpad driver. Eventually I gave up Ubuntu because it was too hard to use with my trackpad.

Later on I installed Debian which IMO should be recommended. But i couldn’t properly install regular Debian. After some research I had to install “nonfree” Debian from some confusing site, because my computer needs a nonfree Wifi driver (again, no Ethernet port). Setting up Wifi was an even harder PITA.

At least Debian was usable and had good trackpad support once I set up. Plus I have to admit the graphics are way better than even macOS and Windows. It’s also very noticeably faster than macOS, running the same programs. But actually installing it wasn’t easy.
My wide one is in vertical centered with the tall ones, so the talls are above and below. It's rad, I could have a nice tie-fighter image fill it (if I used image background)
Also seems that whatever the infection severity, unvaccinated people would still like to make their own choices
I am double vaccinated, pro vax, would get booster if I can, but if this happens in my country I will join the riots.
I dont have solution, but if people dont want to get vaccinated they shouldn't be forced, period.

I am afraid this pressure will create people that are against all vaccines, and when we get like 20% of new parents not vaccinating their new lockdown babies (which are a lot, everyone i know who can be pregnant is pregnant), the Pandora's box will open, measles and polio and shit will come crawling back.

I feel we could do more to incentivize people to be less packed, like taxing working from the office and incentivize working from home, or subsidize working longer hours in retail and gyms. And possibly we could do better with masks and more tests, e.g. send families 1 test per week so they can stop the spread quicker.
On the other hand, a NVIDIA ARM acquisition could really spark RISC-V adoption. Maybe.
> without either party re-consenting to the new agreement

This can also happen time with non-marriage contracts, which is why prudent drafters include severability clauses
Quantum hackers can bring down Bitcoin: expert
LOL. A throwaway account’s fantastical “observations” versus the measurements and analysis from the best universities in the world. FO.
Until CEOs start going to jail for this stuff, it's prudent to expect every company you do business with will soon lose all your personal information to a bad guy. If the company makes an especially big deal about "protecting your personal information," expect it to happen even sooner.
> countries have reached the point where the majority of Covid patients in their ICUs are vaccinated at well below 100% vaccination.

Which countries are you talking about? It's certainly not the case for Germany, and I don't know any other European country for which this would be the case.
Most developed countries have populations with high proportion of elderly people, just look at their population pyramids. Their population is generally older on average, as the country has long life expectancy, a low death rate, but also a low birth rate.
Station A | Software, marketing, operations | Full-time remote (US-only) | https://stationa.com

Station A is the first AI-powered clean energy marketplace that aims to make clean energy cheaper, more accessible, and more transparent to everyone. Our mission is to transition the world to 100% clean energy.

We are a seed-stage company and passionate team of ten, based in the San Francisco Bay Area. Multiple projects have now run through our marketplace, we have over 2,000 providers in our network, and we have a growing pipeline of more than $600M in clean energy projects under evaluation by buyers. We're now looking to scale our impact and enable anyone to easily power a building with 100% clean energy.

We have four new openings:

- Software Engineer: https://boards.greenhouse.io/stationa/jobs/4186439004
- Senior Software Engineer: https://boards.greenhouse.io/stationa/jobs/4186466004
- Marketing Leader: https://boards.greenhouse.io/stationa/jobs/4186393004
- Operations Manager: https://boards.greenhouse.io/stationa/jobs/4183936004
Not your product to fix, unsupported usage is still trouble they have to deal with and pay for. When you make your own product, you are of course free to let fixers and freeloaders use your service as they see fit on your dime.
It isn't. Closing off certain places isn't done just because those particular places have an increased risk of infection but also to stop people from traveling to and from those places.

I live in western Germany. Home office mandates in my country were for a large part to stop people from commuting in crowded trains every day, even if their actual workplace might not have had a high infection risk.

I live near a busy shopping street. Back in march 20, there was a blanket order to close everything in that street - cafes, malls, mom&pop shops, etc. The street consequently was deserted for a few months. Later, restrictions got more targeted, with an overall goal to keep untested and unvaccinated persons out. And this may lower the infection risks for individual stores, but I can just observe that the street itself is as busy again as before the pandemic.
I have a Merrill Lynch account. I signed up to trade options and they asked me to read and agree to a 80 pdf. I have this "thing" about reading things before I agree to them - so I read it. By the time I got to page 10, I had lost interest and moved on.
People were allowed in parks. The hyperbole comes here in that the parks closed during certain seasonal events that tend to draw huge crowds.
Is thumb-only particularly good for density, compared to being able to mix instruction sizes?
Which is exactly the right trade-off for embedded CPUs, where RISC-V is most popular right now.

If desktop/server-class RISC-V CPUs become more common, it's not unreasonable to think they'll add an extension that covers the needs of managed/higher-level languages like RISC-V.

Even for server-class CPUs you could argue that you absolutely want this extension to be optional, as you can design more efficient CPUs for datacenters/supercomputers where you know what kind of code you'll be running.
This feels like a good description of narcissistic behaviour, at least from my personal experience. Not sure if there's an existing term in psychology for it since it's not quite gaslighting, but I do like frame control as a term.
> The pricing is designed to meet everyone's needs.

That's a surprisingly charitable interpretation.
Just please cite the studies you mentioned. There is way too much nuance to be boiled down to such general claim.
Is there an analogue for this to show that a person must know something even if they pretend they don't?

Say I'm a middle man escrow service with an untrusted channel, and trusted A has sold a secret X to untrusted B using me, and B now wants to sell X to untrusted C on my platform. Is there a ZKP way to both make sure B doesn't scam C by sending a fake secret, and C doesn't scam B by saying they received a fake secret? Obviously while me and snoopers never knowing what X is?
I tested and seems, that x is the first implicit parameter, y - second, z - third. It is as stated in their online documentation.
When you try following example:

{y+x*z}[1;2;3]

It gives result:

5

And in Q you cannot define implicit parameters with names, for example,: a, b, c. But You can define parameters explicitly:

{[a;b;c]a+b*c}[1;2;3]

I still think that their implicit parameters are keywords. Similarly as keyword 'it' in Kotlin programming language is used to refer to the single parameter of the lambda expression.

In KatLang there are no predefined implicit parameter names. The user is the one who defines implicit parameters by declaring the implicit parameter names.
YouTube age-restricts French presidential candidate's announcement video
It's a tiny bit glib to lament 'science denialism' in a pandemic for which we do not have any living memory of dealing with, a new kind of disease for which there are many unknowns, serious concerns with equipment and personnel shortages, high mortality, time constraints, a state of emergency, and most evidently the very low social cost of 'not gathering in groups' outdoors.

In hindsight, they probably didn't need to go that far, but that's hindsight.

Along with the vaccine denialism, the other thing that has surprised me among the concerns of the plebes, is how they have difficulty grasping what an emergency implies.

There is a term called 'Fog of War' that military people are aware of, hinted at in the term 'No Plan Survives Contact With The Enemy'.

Running government is like running a company - it's operational. But governing in an Emergency is more like running a startup but where all your personnel are 9-to-5 functionaries not used to such situations. It's managed chaos at best, nothing will be optimized.
Are they expecting to live 100 years from the point of writing? Till death of the author seems most sensible.
>who's perfectly okay with a single laptop monitor?

I do feel awfully constrained on a laptop monitor. My perfect setup is a laptop and 32" 4k monitor. Email and chat live on my laptop, split screened, and my ide and terminal or web browser live on the big screen.

Honestly? Half of my problem is that window management sucks on os x, but IT doesn't feel comfortable with me running linux.
why not use captcha?
Reminder that Dante's Inferno was shitty fan fiction.
Bernie lost because he got less votes and supports in the primary, twice. "Dem party leaders" were against him but the voters decided. My vote in the primary went to him, but it wasn't "secret them" who stopped him, it was voters. "Many party leaders" were against Trump but he won the first time bc he got more votes.
Please check out this data, section "z-score by country": https://www.euromomo.eu/graphs-and-maps

Sweden indeed has a worse z-score compared to Norway or Denmark, but better compared to France, Netherlands or Belgium (or Germany, for that matter). And much better than Italy or Spain. I say they indeed found a sweet spot and escaped lockdowns.
there's no "hypothetical" to it.

if someone in power can bend the law to protect their power, they will.
I was thinking about exactly that. If they used simpler index would they be getting better results? There's not a lot of selective pressure so they just keep adding to the index algorithm.
My recommendation is to make a decision based on the topic that excites you. Even if you take a job in a candy shop and enjoy it, you may end up doing really well.

As for the high risk assumption, given that you are just finishing your studies, any of the domains you highlighted will be a low risk for you. The job market is hot, so worst case you will find a job in other company.

The fact you are on HN means that you already on the right path.
Formerly worked in Investment banking: it is a huge huge determinant of value.

Particularly for a lower-dividend, higher growth company like Nvidia, the vast majority of the present value comes from the terminal value (what someone else will pay you for it when you're done holding the investment), made even more extreme by low interest rates.
Thank you! Who do I blame in my setup then? Any idea why Netflix doesn't allow configuring a default to stereo? Or why my PS4 doesn't have a choice for stereo for HDMI Audio Output (it just allows choosing between 5.1 and 7.1)? Is it just a conspiracy to sell speakers??

More to the point: in a world where Netflix and PS4 default to 5.1 output, should we not expect everyone with just two speakers to be getting crappy sound?
The ability to set texture beneath tabs bar and have it colored according to either theme color or site accent color remains still broken, since few major versions already. Shame because I really liked that little feature; despite of my reports, nobody dared to see what's up with this issue.

Overall, it's a really good browser that fits my needs with few extensions. I've moved to Vivaldi after Firefox released version 60 - my heavily customized profile was damaged beyond recovery; luckily I had already bookmarks backed up and passwords stored outside.
It's not the government who cried for help because of overflowing ICUs, it was the hospitals.
the author recognizes and appreciates the successes we've had, but his point is that while things aren't as good as they could be using crypto instead of organizing and doing "the work" is not going to solve things. if nothing else because you'll end up with the same centralized control at some point or suffer while the system tries to self correct (if it even could). it is all a distributed system already so making another system, with higher built in costs, does not solve the problem.
There are very few positive signs Nvidia would be a good caretaker of ARM IP, continue to push new innovated and open designs and mass adoption.

Nvidia's entire business and philosophy regarding their chip designs are kind of antithetical to what ARM was achieving.
What's arrogant about what I wrote?
A sweet spot, were the elderly first were not properly protected, and then euthanized instead of given at least a treatment effort? Not even C-Pap, just panic-relieve and pain-medication. Not even given a choice, just scratched out of the book by politics.

https://www.reuters.com/article/idUSKBN2841CG

It was a reckless betrayal of the elderly population of sweden.

I'm all for the freedom of self-euthanization, if a person longs for that and no, this can not be compared with what went down.

Which can be best described as a remnant from a horrific pre-worldwar 2 "survival of the fittest" mindset being dragged into the light.
You can use trademarks without permission, you can disclaim the origin to avoid any possibility of confusion. AIUI EU courts have frowned on attempts to extend copyright using trademarks.

It feels like a lewd art piece would clearly not be from Disney in any case so trademark really wouldn't be an issue.

I learnt v.recently that UK copyright since 2015 has allowed parody and pastiche (following an EU directive from ~2001), so with a disclaimer on origin you might be able to have your Mickey manga right now?

I guess it will depend on whether Disney can buy another copyright extension in the USA and pay off enough people to push those changes to other jurisdictions based on very spurious notions that we somehow have to harmonise with USA.

This is not legal advice and in no way relates to my employment.
>" People weren't even allowed to go to parks or hikes"

This is total BS. I live in Toronto and I've never seen so many people in parks as I have during COVID lockdowns. What was discouraged is big companies having party in the parks.

I cycled every day in various Toronto's parks so speaking from experience.
The content of science, the body of knowledge, by definition, not supposed to be based on authority. Authority means that exactly the same counterfactual statement is considered either right or wrong based on whether the speaker of that statement has authority.

Science is currently not ultimate or final because is it is changing. For science to be ultimate and final, it would mean that tomorrow's science is the same as today's science. Nothing new or different can follow that which is ultimate.

However, we need to assert social authority in order to defend a discourse against the fallacies like "argument from authority" or other unproductive disruptions.
There are very few highly developed countries that fell from that status without being at war.

Argentina is the only one that comes to mind.

Planning for the apocalypse isn't really planning, but I guess we all need hobbies.
Every country had to find some balance between freedom and health. I don't think Sweden is to blame more than anyone else. They had less death than most European countries.

Following you reasoning, how many more death did the US have compared to China? would you advocate to lock up people like China did?
I get what you mean, but part of the whole initial appeal of Google was that it gave much more relevant results initially than Altavista or the other options. That was why Google put in the audacious "I'm feeling lucky" button.
Yep, we regularly use assign & pipe to avoid the 80% case I think the article is about:

```

df2 = df.assign(new_col_1=f(df))

```

or

```

def add_new_col_1(df): return df.assign(new_col_1=...)

df2 = df.pipe(add_new_col_1)

```

We do use reified compute DAGs in some places, but by that point, we're using dask anyways, and that kind of code ends up more annoying than if we could avoid. Speaking as someone who has done years of FRP/streams/etc., if users can stick with direct control flow or things that look like it (async/await), help them do it :)

RE:Immutability, it's a convention that eliminates some classes of bugs, so quite nice when a team does it. Code written by senior / reviewed teams are nice b/c these things add up to either a pleasant experience or perpetual paranoia for the day-to-day:

* A lot of our code is in notebook envs, where the ability to move cells up/down matters, so we try to only do single assignments to avoid non-reproducibility bugs

* Similar in production, but more about when someone comes back and wants to edit or log. having to undo the name reuse is annoying, and may lead to bugs when you don't notice it
Science: Sun rises in the east
A: Sun rises in the west
B: Here is some evidence that sun rises in the east (recommendation) (or) You're insane for not believing in that (pressure?)

Is B trying to use components of frame control to take over A's reality?

IMO the article feels very convoluted
The only title on the list I recognize, such a timeless classic.
All you have to see is NVIDIA's trashy effort on Linux and locking-down what-would-otherwise-be-open hardware from being usable by open-source drivers...
FYI, the policy to delete logs, just deletes them from your aws account, but they are still accessable/recoverable from aws side if needed. So this guy, that worked as cloud lead in ubiquiti was stupid enough to think it will hide his traces by deleting logs :DD it might have worked if he deleted them in bare metal server itself,but in aws it just deletes from account/s3, but can be recovered by AWS support. so this is how they got all the logs and found that it was him that logged in with his own aws user, and ip address from surfshark.
> or to modify content so it takes advantage of a big monitor

here's looking at you, GitHub diff div

document.querySelector(".application-main .container-xl").style.maxWidth="100%"

/me shakes his fist
In music, often you can't understand the lyrics at first, and sometimes not at all. When talking to people, often you can't understand every word or syllable. People go to operas where they can't understand the language at all.

There is much more to communication than the literal words.
I really love how the results organize multiple matching pages from the same domain. This is really cool.
If your desk is on a slight slope fix your desk. LOL

I bet Objective-C developers would love the long lines of using it set to 22 degrees, though :)
This is not a pathological case, it is normal operation.

A computer is supposed to compute, but the RISC-V ISA does not provide everything that is needed for all the kinds of computations that exist.

The 2 most annoying missing features are the lack of support for multi-word operations, which are needed to compute with numbers larger than 64 bits, but also the lack of support for detecting overflow in the operations with standard-size integers.

If you either want larger integers or safe computations with normal integers, the number of RISC-V instructions needed for implementation is very large compared to any other ISA.

While there are people who do a lot of computations with large numbers, even the other users need such operations every day. Large number computations are needed at the establishment of any Internet connection, for the key exchange. For software developers, many compilers, e.g. gcc (which uses precisely libgmp), do computations with large numbers during compilation, for various kind of optimizations related to the handling of constants in the code, e.g. for sub-expression extraction or for operation complexity lowering.

So every time when some project is compiled, libgmp or other equivalent library for large numbers might be used, like also every time when you click on a new link in a browser.

So this case is not at all pathological, except in the vision of the RISC-V designers who omitted support for this case.

That was a good decision for an ISA intended only for teaching or for embedded computers, but it becomes a bad decision when someone wants to use RISC-V outside those domains, e.g. for general-purpose personal computers.