skysight-inc/HackerNews huggingface dataset:
> what do they think Google and AWS do

Reading the article, it seems they think Google and AWS don't do formal verification of the hypervisor. Since they won a grant from Amazon to do this (1), I'm going to guess that maybe they're right?

(1) https://www.amazon.science/research-awards/recipients/ronghu...
>Actually, vaccinating all kids is normal

Vaccinating children with 20-100 year old (~1-4 generations of human feedback/testing) vaccines is normal, vaccinating them with 1 year old experimental vaccines is not.

In my opinion, people in high risk groups (elderly/preexisting conditions) should take the vaccine, but low risk healthy individuals should wait as long as possible for more feedback about the potential downsides.

Older at risk age groups have lived a full life and will mostly die in 20 years, so side effects are less of an issue but having otherwise healthy kids potentially live 70-80 years with permanent side effects is criminal.

Waiting N years is the correct approach like somebody else stated. Don't rush to be a guinea pig if you are not high risk.
The other reply was correct. Transferring a star is simple. I wanted to figure out how to sell it. I suppose that is also my fault of not understanding ethereum/nft terminology, not just Urbit.
Ignore the overly-excited university press release office and read the paper, A Secure and Formally Verified Linux KVM Hypervisor: http://nieh.net/pubs/ieeesp2021_kvm.pdf

> Commodity hypervisors are widely deployed to support virtual machines (VMs) on multiprocessor hardware. Their growing complexity poses a security risk. To enable formal verification over such a large codebase, we introduce microverification, a new approach that decomposes a commodity hypervisor into a small core and a set of untrusted services so that we can prove security properties of the entire hypervisor by verifying the core alone. To verify the multi-processor hypervisor core, we introduce security-preserving layers to modularize the proof without hiding information leakage so we can prove each layer of the implementation refines its specification, and the top layer specification is refined by all layers of the core implementation. To verify commodity hypervisor features that require dynamically changing information flow, we introduce data oracles to mask intentional information flow. We can then prove noninterference at the top layer specification and guarantee the resulting security properties hold for the entire hypervisor implementation. Using microverification, we retrofitted the Linux KVM hypervisor with only modest modifications to its codebase. Using Coq, we proved that the hypervisor protects the confidentiality and integrity of VM data, while retaining KVM’s functionality and performance. Our work is the first machine- checked security proof for a commodity multiprocessor hypervisor.
Given the bulk interception capabilities of countries on their own citizens the irony is they justify the powers because they don't use them? (except they do, just not to support the country) The whole enterprise is illigitimate.

Early in my career in security (many years pre-Snowden) I thought Echelon was a fun conspiracy theory and it was really just something less extreme with good people doing important work. I do not anymore. Our societies should find a way to put an end to these agencies peacefully, not unlike nuclear test bans and disarmament.
> No, it's a method of automatically discarding valuable information.

So.. a filter.

I didn't claim it is a perfect filter. I did claim it is _a_ filter and one may subjectively decide it is a better choice than trying to track an ocean of issues which, if you're someone the size of Mozilla, will be a vast majority of "It crashed" useless issues anyway.

_If_ something is that important, it will come up again and closed issues can be referenced. Again, no claim that this is perfect from me.
I've never encountered a queue for any urgent care. Last time I made a GP appointment I did have to wait until the afternoon though.

But you're right, just pay £40 a month and get bupa if you want faster care for non urgent cases.
Yes but it was already relevant, since it was the lingua franca of higher education. It wansn't like Latin only became relevant later.

I'm just confused about who would even suggest Latin was "useless" in the first place. But maybe something is missing in the quote.
Yes France has already implemented this decision, without any involvement from the Council of the European Union.
Not to mention if the package name itself changes...
This sounds like dumb marketing material of "This is the only security software you need!"

Turing completeness means there's nigh infinite ways to convolute malware that will evade all scanners. And as long as users have capabilities to their data, they will be subject to attacks against data they have access to.

Tl;dr. Grandiose claims require grandiose proof.
Redox OS is pretty cool, but without at least one big corporate sponsor it won't be able to amass the ecosystem needed to be viable for most use-cases. That said, I believe it's almost self-hosting now, so definitely a real OS that you can run software in today.
AFAIK when a closed/locked issue is referenced, watchers get notified. If they don't I agree they should.
> In Australia, it's currently a crime for citizens to leave without a permit.

As long as a country allows a citizen to leave, it doesn't matter if it's also against local laws. It simply means that the person should expect punishment if they were to ever return.
> But the grandiose framing seems a bit…

Appropriate/necessary for a publicly funded research project?
Maybe eventually, but not while it's experimental.
This would not apply to "economic refugees", because those would - if unwelcome - lack the permission by the target nation to take them.
> Resend ten years of hilarious memes and intimate conversations to whoever is on the other end?

AFAIK, it won't resend already received messages; if the other end didn't have a backup, these ten years of old messages are lost for that end. I don't know whether it will resend sent but not yet received messages, and it certainly will use the new key for new messages (but at that point, you already received the "key changed" alert).
By European skies, they just mean the skies over the European Union. News articles routinely say Europe when they man the European Union. Sometimes confusingly, but I think the context is clear here.
Reproducible Transport Data Analysis
Tip for web designers: Either have infinity-scrolling OR a
page footer at the bottom, not both.
They call for blood. You call for blood. This won't lead to less blood. As I stated in my comment and as you casually confirmed. I don't want blood at all.
I’d love to have the “Look up” option on the menu. Every time I right click I am again reminded of its absence. So, hopefully “soon”.
I don’t follow that logic. Should we ban anything that’s staggeringly unpopular, cutting of the long tail everywhere?
How many of those things work well on Linux/MacOS? Rust, Cargo, rust-analyzer, VSCode work on every major plateform. You also have access to the .NET ecosystem but it's not as easy as the Rust ecosystem since most of the packages are C#, not F#, and idiomatic C# and idiomatic F# are quite different. In terms of resources too, F# is quite poor compared to Rust.

Edit: another thing, compiling to native is not really a first class citizen on .NET. That makes it a bit worse to distribute tools compared to Rust, Go or OCaml. Scala also suffer from this.
Show HN: Transform Notion into RSS Reader with AWS Lambda and AWS CDK
Or, despite the assurance that using it as an "argument against government intervention of any kind… misses the point," almost any situation where government is involved. Because especially national government solutions have by nature an extreme power differential, are almost always conceived in the arrogance of unchallenged authority, and affect such complex systems, they almost invariably create a wide array of perverse incentives.
This site also has the coq source: https://microv.org/
That is a very common but misguided attitude towards criticism. It is fairly easy to determine you dislike something without necessarily knowing how it could be improved. Knowing how much people dislike something is useful information in regards to that thing. Maybe the author doesn't care, kudos to them in that case. There is nothing wrong with creating something which strongly divides people into love/hate categories. In any case, it is presented here for an audience and the audience can choose to respond as they see fit, they do not need to acquiesce to something distasteful to them.

From a cusiosity perspective, the aversion some people (including me) seem to have towards it makes me more curious if it suffers a strong selection bias. I tried a couple of questions but couldn't actually answer a single one. I was simply incapable of formulating an opinion on the question posed. I was even incapable of choosing one of the options simple to progress. That was what I found most amusing in it: my inability to answer a seemingly easy question.
Again not an expert, but from the paper:

> Key exclusion criteria included a medical history of COVID-19. Sera and blood samples were collected before the first administration of BNT162b2, three weeks after the first dose (right before the second dose), and two weeks after the second dose. A high percentage (56.3%) of individuals had been vaccinated with BCG in the past 12 months due to the fact that many participants participated in parallel in a BCG-trial. One individual was removed from the dataset after detecting high concentrations of antibodies against SARS-CoV-2 N-antigen at baseline.

Which just gives me lots of questions. By excluding people that already had COVID-19, how can you be sure it's the vaccine that's causing this and not the vaccine causing the same changes as covid19?

As in what if COVID-19 causes the change in innate immune system response and for some reason the vaccine mimicks that. Also they only tested Pfizer and not the "more traditional" vaccines, how can they confidently link it to mRNA technology?

> potentially permanently.

They only tested 2 weeks after the second dose, is that really enough time to be making such statements?

Again, I'm completely uneducated on the topic, but it seems like a lot of assumptions are being made with lots of variables unaccounted for.
In many parts he talks with several words in a fast burst, a pause where he's probably breathing in, and then another few words in a fast burst.

I guess it's a quirk of his, but it gets tiring...
That's right. It's all use-case based. Indiscriminately closing issues automatically is definitely wrong. Automatically closing issues that cannot be reproduced or have other issues is a perfect use-case for stale bot.
this is the interesting bit
> This means the company needs one employee at minimum

Maybe not -- for example, we don't know if there are other permanent employees already, and then, not hiring more people can be acceptable
Jerikan: A configuration management system for network teams
So uneasy to look at this on my vertical monitor 1080x2560, all I see is a giant Insert rectangle and a horizontal scroll. But I appreciate that work anyway because all that areas are clickable and it will not be easy to rearrange that diagram for 1% users with strange looking monitor.
The most useful command, in my experience, is ‘:s’—it alone justified the use of Vim for me. I occasionally drop some lines in Vim, use ‘:s’ and paste the result into the terminal—simply because it's much easier to edit multiple shell commands this way than to figure out how to do it with sed or whatnot.
What about the Hacker News?
Clone seems to be the shallowest kind copy permitted by the type and ownership system.
I can't think of anything like a tram station in Amsterdam, at least for most stops (maybe Centraal?).

Some cities have raised tram platforms - Manchester UK and Stuttgart DE come to mind. Not sure if you need a ticket to be on them, doesn't make sense as the ticket machine is on the platform.
Just a reminder for the readers:

1. Averages and medians have no reasons to be similar or even close.

2. "Averages" do NOT behave the same way at all in high dimension than intuition suggests. If you answer 100 questions it is expected that you will be an extreme outlier on specific dimensions even if you are average "globally".

Not that the website argues otherwise mind you.
Reasons for Cloudless IoT in the article:

Privacy is not the only reason why you’d want to avoid the cloud. Other reasons include stability, persistence, data privacy, security, and necessity.

tl;dr

Provide two versions for your users: full and local. The full version with the cloud is easy to use and easy to access. The local version operates only with the mini-cloud. It may not be as easy to use and will not provide full access, but it will not use the cloud.
I'd actually be fine with criminals using this to leave my country...

Housing and feeding criminals is expensive. Letting them leave permanently is in my eyes a better solution.
Which would become an one-way route, because once a nation has become a criminal-refugee paradise, why would third countries accept them travelling to their shores?
Hacker Needed
I am recommending everyone to a very trusted, reliable and gifted hacker. She is competent, and provides excellent services. She is very affordable and charges way less, Contact HACKERSEXPERT7 AT GMAIL DOT COM ‪ Many services she can render include: Social Media Hack( Snapchat, WhatsApp, Instagram, Facebook/Messenger, Twitter, Viber etc.), GPS Location Tracking, Recovering of lost bitcoin/ bitcoin account, Incoming calls Restriction, Intercepting and Retrieving Instant Messages, Grade Hacking, Credit Score Increase, USSD Control Commands, WhatsApp Spy, Viber Spy, Facebook/Messenger Spy, Skype Spy, Hacking into Databases of all kinds, Calendar Monitoring, Internet Usage Monitoring, Remotely Accessing SMS, Game Hacking and Cracking, Key Logging, Remote Email Spying, and more. What made me had trust in her was her offer of total Refund of any displeasing services but i didn't have to use that Choice. Contact her HACKERSEXPERT7 AT GMAIL DOT COM OR text: ‪+1 (872-204-4483)/ WhatsApp: +1(313-512-6425)
Did you use hotmail? It was absolutely awful.
To be horribly pedantic about it, they haven't actually implemented the decision because the decision hasn't formally been enacted yet. (Decision is actually a technical term in European Union law – EU legislative acts can be classified as directives, regulations, decisions, or recommendations. I'm not sure in this case what type of legislative instrument they are going to use – it could be either a regulation or a decision, it won't be a directive or a recommendation.)

They've just decided to do the same thing independently while they wait.
Your "strong argument" is in direct opposition to the fundamental principle of common law: precedent.
Sure, whatever.

The fact is that all abrahamists follow some version of a silly book in which some sky daddy told a man in a desert that they are the choosen people and that by following that specific man, they have the right to dominion over the earth.

These philosophies also all lay out rules for how and when they may tax, kill and enslave those of the other religion.

So yes, at least 50% of the earth’s population are OK with one group dominating the tax laws of the planet, as long as it is their group.
If you are using images that someone else createdbwithout permission or license that is copyright infringement. If you are also using data created from a service and use it in your product again without permission or license this is also copyright infringement.
This has been fixed recently and force clicking will look up the selection rather than try to do a Smart Selection.

I don’t know if it’s an macOS fix or Firefox fix, but it works like you’d expect now.
can someone explain to me why these multi billion dollar scientific publishing companies exist anyway? scientists write the papers and other scientists do the peer review, what does the company do? do they have a group of scientists on payroll to provide "high quality peer review" or something? what is the business model here?
>I fail to see how this is different than other EU countries.

That's a pretty colossal scale of failure, IMHO.

Inability to conform to platonic ideals of democracy and transparency != blatant autocracy.
That's probably sloccount or scc, not cloc.

At least for sloccount, the cost/effort estimation model has very little to do with reality in the modern world though.
macOS is just a new marketing term for OS X (albeit a different revision). Whereas classic Mac OS is fundamentally a different OS.
A similar point was made by Gabe Newell about gaming. Piracy is first about access and convieneience.

Also, most cases of piracy are of those who otherwise couldn't afford or would not have paid the theater experience. So the pirate is a ghost customer who only exists in the pirated world.

I never paid for western shows up until Netflix came along. I never paid for games until steam started using regional pricing. I never paid for music until Spotify.

In every case it was about access, convieneience and the willingness of the service provider to meet me where my wallet was.
is this page's discord group still active? i couldn't join
The free hosting from DigitalOcean is for one year and ends on 12/31 this year. After that the public relay will cost me over $70/month (or maybe more, as that's the current cost covered but it continues to grow). I cannot afford that so around that time I'll try to get donations.
Who else sees a software dev analogy here. Perhaps we need a law that says every 10 years we have a "sprint" to address the "technical dept" of anachronistic laws.
Would this solve the extreme UI lag and make google hub finally useable?
> Turing completeness means there's nigh infinite ways to convolute malware that will evade all scanners.

No, it does not. Turing-completeness simply means that for certain properties which could be true or false about some software (like whether it halts), given an arbitrary piece of software, you won't always know whether or not it satisfies the property. It does not prevent you from assuming "No" in the cases where you don't know. Nor does it prevent there from being other properties (e.g., ability to access another user's data) for which the answer is always no.
I wish blog posts would pin links to commits on repos - and check their links.

404: https://github.com/trailofbits/semgrep-rules/blob/main/hangi... [1]

invalid URL: http://nd%20basic%20cross-function%20analysis/ [2]

[1]: https://github.com/trailofbits/semgrep-rules/blob/385c42a/go...

[2]: https://github.com/returntocorp/semgrep/pull/2913 from https://github.com/returntocorp/semgrep/issues/2787
I grew up in an area of upstate New York where the land was mostly apportioned into feudal estates by the Dutch. There were anti-rent rebellions in the 19th century and the descendants of the patroons stopped collecting the rent.

But… folks never had title to their land and were effectively stuck until a law was passed in the 1960s. It’s really interesting as the effect is that many families have lived there for 400 years, and newcomers all appeared in the 1970s onward.
This is of course great, but such hash based filters for images or videos can be circumvented easily by just flipping one bit (without corrupting the file). I guess what we really need is some kind of ML trained filter that has a great rate of success and a very low false positive rate.
I'm amazed anyone finds that useful. I've had to disable it due to constantly accidentally activating it.
I thought this was going to be a product announcement

Like a new better version of upwork or similar
Ask HN: My last job sucked, should I just let it go?
The last company I worked for (I quit a couple months back) was a nightmare. I was working 100~ hours per week, expected to work weekends, pay was lower than average and I was told by an exec that by law the US doesn't have to offer time off. I was never given an equity offer letter beyond what was agreed upon during negotiations (in other words I was lied to), and was repeatedly yelled at by the owner for no reason on various occasions.

Eventually I quit and my position was replaced with a friend / associate of the owner's (whom he had been in discussions with prior to me announcing I wanted to exit).

I signed no exit paperwork on my way out. In fact no one said anything to me. It was the most bizarre (and worst) job I've had in the last 20 years.

Should I write a blog post naming names and if so what does it gain me? Should I just let it go? Should I apply for unemployment even though I wasn't fired?
Wonder how long it will be before Google cancels it.
It's a SVG-file, not a website, so just scroll to fit, or blame your browser.
Inappropriate, because to someone who has real knowledge on the subject, it sounds like bullshit, and to everyone else it sounds like a quantum leap. Smells like Theranos.
I ended up here from reading HN stories in an RSS reader.
A lot of people actually clean their history every now and then.
> I find it unusual that people can think this came from a 'wet market'.

Why? Ebola, HIV (and others, I'm sure) originate in wild animals used as food. It's a perfectly reasonable explanation.
> Of course, it's not clear how much legal force the UDHR has.

I think we all know the answer to this question :)
From the UI standpoint proper uninstalling can be tied to deleting the app.

Otherwise a user-level app only used to have a preferences folder and uninstalling an app should not delete the preferences -- maybe you'll reinstall it later. Or at least it should ask for it.
> A dinner jacket and a black bow tie never with a winged collar.

How else will you show off the nice clip on your tie?

(:mischievous-face:, /s, et al.)
Preserves Schema
Show HN: Worldwide Load Testing with JMeter and Kubernetes on GCP
Indeed they do. Many of those families and dependents have individual bedrooms. During the day, when they're not sleeping in it, those rooms have sat empty because the person has been at school or the office.

Same argument as before, I guess. I could sit in there working away quite happily. No extra room needed.

Sure, it's not the case for everyone, and some people share bedrooms, but the blanket statement that "working from home essentially requires permanent rental of a room on your house you might otherwise use for something else, or not need in the first place" is a massive generalisation that doesn't apply to many households in which people have bedrooms and in which there is a lounge.

Sure, add a desk, change the furniture layout. I'm saving 25% of my rent by not having to commute. It's a two-bed flat; between us, we have 50% of the rent to spend again each month on furniture, rearranging things, or just renting a place with two extra rooms. Not that we need them, with three rooms available to work in during the day (two bedrooms and a lounge). My experience is not uncommon and in no way do we essentially need more rooms to work in.
removed LTD thanks for feedback
A similar trend is on Github

https://madnight.github.io/githut/#/pull_requests/2014/1

R has halved in percentage since 2018
I suppose they'll be banning us airlines too for forcing the Bolivian PMs plane to land in Vienna when looking for Snowden?
Sorry but we already proved that suspected cases were being included in 500k death count. Its less than 100k when gunshot and car accident with covid positive pcr etc are removed. PCR inventor said any test using beyond 28 cycles is 94% false positive. Fauci confirms this on video.
Food for thought: there are people on this board that make an order of magnitude less, simply due to location lottery. Half of FAANG level is still far from nothing.