skysight-inc/HackerNews huggingface dataset:
> Is it possible to hand the Virgil compiler a mix of source and binaries

Not currently, no. I've thought about trying a completely transparent behind-the-scenes incremental compilation scheme, basically hiding customly-formatted object-file equivalents somewhere on disk (and/or in memory), checking source file modification times, and stitching them together like a linker would, but I did the cost/benefit analysis and since I am generally working on programs < 50KLOC in size, it's not a problem I have yet. (Relatedly, in my bug/debug/rebug cycle, aka development, I often run my programs in the compiler's built-in interpreter, which only parses and verifies the code, and then interprets IR directly, saving 90% of compilation time).

As for linking with other languages, I think it's considerably easier to have the Virgil compiler generate a ".o" [1] that is relocatable (i.e. linkable) and describe the imports/exports of a Virgil module in the Virgil language [2]. Then this ".o" could be linked in with the existing C/C++ ecosystem, rather than me trying to replicate linking in my compiler. The Virgil compiler really likes being able to nail down static (virtual) addresses; I suppose it can keep doing most of that if it doesn't have to link with too many other object files that constraint its placement choices.

[1] The Virgil compiler can generate either ELF32, ELF64, or MachO binaries, so it's incremental work to set a few flags on sections and work out how to emit relocation entries.

[2] I have a prototype of this for the Wasm target, so that Virgil programs can import unknown functions from modules, and the compiler generates a Wasm module with appropriate imports.
Taking the current COVID vaccines won't end any pandemics, either.
Foreign Object support in SVG is an optional part of the 1.1 SVG. Yes, it's true that only browsers support it in practice.

The reason for its usage is historic. Originally, this project was the underlying diagramming library only, that uses the SVG DOM for rendering. There was no application and no SVG export, that wasn't a function of the library.

FOs in SVG gave us the whole range of HTML in shape labels. So, as well as complex text formatting, we used it for tables, complex composites, etc. There a large legacy of shapes that use complex HTML for labels, we can't drop support for those.

The app itself came later and the SVG export function even later. It was fairly easy to generate because we can take it from the SVG DOM. But, converting HTML to SVG requires parsing the full HTML specification and generating the SVG to maintain compatibilty. This is an horrifically large task, it would require probably 5+ people full time, we don't have that resource.

I'm not sure calling it SVG is "tacky". It is part of the SVG 1.1 spec, albeit an optional one, it's not like it's isn't SVG at all. But yes, it causes confusion, thus the entry in the README [1], "It is not an SVG editing app, the SVG export is designed only for embedding in web pages, not for further editing in other tools."

Even using SVG for word wrapping alone, we've repeatedly asked critics how to do that without HTML for measuring the font metrics, we're yet to receive an answer how to do that in JavaScript. We've had plenty of comments pointing out this is wrong, we need a practical alternative thought out in detail.

[1] https://github.com/jgraph/drawio
This might be pedantic, but your rewriting seems to assume intent where there may have been none. The phrase "in such a way" is adverbial, modifying "surmounted" in the original, but your "designed" is adjectival, modifying "casing."

Since the casing is supposed to be malleable, it might not have necessarily been designed to line up the bearings, and it was only through a particular way of surmounting the casing that got them lined up.
>> No one is going to fire you for that

https://www.hrreporter.com/labour/news/fort-mcmurray-alta-tr...

>> No store would deny you entrance for that

You can’t really wear a seatbelt into a store but i can cite examples of being denied service for refusing to wear one (taxi, airplane, fun fair ride, etc.)

>> No government will deny basic services to you for that

You get fined by the government if you don’t wear a seatbelt.

https://www.google.com/amp/s/www.independent.co.uk/news/worl...
I agree. And apart from the legal questions, it is annoying to search for someting, get a website with a copyright 2021 notice and no info that it was actually written in 2016.
Earnestly, yes let’s talk about unhealthy eating and heart disease! Let’s talk about the food system, food education, food availability, pricing, and governmental subsidies. Let’s talk about the socioeconomic factors behind unhealthy lifestyles.

Let’s talk about heart disease! Let’s talk about racial and sex disparities in heart disease. Let’s talk about class disparities in heart disease. Let’s talk about why these disparities exist.

Public health is super fascinating and very complicated. We should be talking about it more!
No, NAP is pretty clear. It's just some people treat it as a silver bullet, when it's only a fundamental building block. Libertarians are not against having contractual jurisdictions which would mandate being vaccinated on a certain territory, as long as you can quit that jurisdiction at any time.

It's not clear that getting vaccinated would stop you from spreading the virus though.
1) We used to share desktops with family before multi-user was a thing desktops did.

2) With smartphones and tablets and the like providing most of the functionality that people once shared a desktop for (web browsing really), there seems little reason to share one anymore.

3) I think having multiple user profiles one could switch between would cover almost any remaining use cases without the complication of multi-user in the kernel itself.
That is anything but conclusive. It is easy to imagine why someone might want a die to be unfair
That's an interesting point to make and defendable but these declarations mentioned in another comment, I will assume to be true, coming from Trudeau, Canada's president:

“They don’t believe in science/progress and are very often misogynistic and racist....This leads us, as a leader and as a country, to make a choice: Do we tolerate these people?"

I have taken both shots, and will take the third but these declarations are appropriate for a mad man, not a country leader.
Classic Analog Spectrum Analyzer for Your Desktop
String comparison works as long as you order your date time by significance and zero pad all values, which they were doing with their date stamp anyway.

Plus if they weren’t then even numerical comparisons would fail eg 1012021 (Oct/1/2021) < 5102020 (May/10/2020) so you argument is moot.
A seat belt you can’t take off.
I saw this plane once in person, no picture will ever do it justice. That something that size can fly at all without being a dirigible is absolutely amazing.
The 100K lb capacity is interesting. An 18 wheeler truck has 80K lb capacity, I would have thought it could carry multiple full capacity containers.
> So what is out there for me, if not C++ or Rust?

Ada.

I write C++ professionally and used Rust for about a year, but don't use it anymore. In many ways, Ada feels like a much simpler implementation of the C++ feature set. The language lets you focus on intent, while still having a lot of control.

Yes, Ada's still alive and kicking, it has a package manager, documentation generator, parsing/semantic analysis library, and a language server. There's been a *massive* modernization push over the last year of the ecosystem. If you download Alire, you can install the FSF GNAT toolchain and get set up super easily. Some of the older parts of the GNAT tools are showing there age, but they're already there and the ecosystem is significantly better than you'd expect.

Regarding multi-platform support, I routinely swap between Linux and Windows testing things out.

> A lack of default arguments, a lack of basic arity overloading, a lack of variadic generics,

Ada features are opt-in, and you use what you want. It has default arguments, arity overloading, and destructors when needed (with Controlled types). Interfacing with C is super easy, as is bringing in compiler intrinsics. Generics (compile-time templates) are a little weird because you can instantiate an entire package (namespace) with types/functions. They can also take other packages as parameters or you can just write a singular generic function. However, it's missing compile-time ops, variadic generics, and move semantics.

- https://learn.adacore.com/

- https://alire.ada.dev/

- https://pyjarrett.github.io/programming-with-ada/comparison....

- https://www.adaic.org/advantages/ada-202x/
Also japan is mountainous and any extra flat land has traditionally been reserved for making food.
your link does not work
Where is the court system? The court system has been very much in lines with these stupidities we have been seeing around mandates and so on, which makes me make a much more cynical claim. Leaders like Justin Trudeau don’t give a damn about science/progress and public health and well being for example. If they did, we wouldn’t be this far along the crisis and still be talking about this. My thinking is they are setting these things as a precedent (through legislative and court system rubber stamping these policies) for the next crisis. Could it be a looming debt crisis and using that crisis as a pretext to have more control on property rights and other basic rights in the constitution? Who knows. But if one thing, if a set of “experts” (who have been proven wrong in many instances and have done a terrible job in public communication) calls something a crisis then all your basic rights in constitution can be annulled using that as a pretext. That precedent has been established clearly and sadly court system has done nothing but rubber stamping this.
> You must under no account employ “bombastic, shake-you-by-the-shoulders direction” (Simran Hans, The Observer).

> Secondly, critics appear to be worried that the film is making fun of people—and that perhaps they might be among the targets.

The film absolutely does make fun of them. The news anchors make the same arguments about smiles being more important than substance. It would be hilarious if it were less real.
Here's my experience with Windows 10's updating: Every now and then, when I shut the PC down for the night, it updates itself first. Sometimes it finishes up on bootup, delaying startup by a minute or so.

That's it.
Which aren't transmissible through the air.
> If you removed that button people would copy and paste or screenshot and share.

I’m not sure if this would really be worse; it would slow down viral retweets and could induce users to add context or reframe the shared item to better suit their audience.

I mean, imagine what it would be like if someone in real life just constantly repeated things their friends said, word for word, to everyone in the room. Yes, people do sometimes parrot things from other people, but more often it’s modified, filtered through their own understanding and viewpoint, adapted to the present context and audience, and selected for relevance and appropriateness.
Or water invented man to carry itself up the hill.
The colored highlighting of the code regions in Telegram executable by IDA-Pro has left me skeptical.
Moving from 100% infected to 100% infected is not a reduction.

At some point, there is no realistic difference between R=10 and R=7. Everyone is getting this. Some of us have known that since March 2020.

If your theory includes "avoid being infected with coronavirus" and you live in a democratic country it is a flawed theory. Only full home isolation or hazmat suit rituals will suffice.
You can if you rack up too many unpaid fines.
Maybe if they had tons of cash somehow, they would have bought it already, just like how Signal was able to buy signal.org (even with or without donations) regardless.

Assuming everyone here from many companies from large corporations / startups to small open-source companies know how expensive some domain names are.
Dublin’s light and intercity rail is affected by leaves too. It’s a major problem for rail adhesion in autumn.
He reminds me of the character in the Twilight Zone episode “Time Enough At Last”

https://m.youtube.com/watch?v=oLoNGRVeC7Y
Some months ago, I had to explain to some folks in my neighbourhood that a vaccine is not like some "magic shield" that we see in video games. A vaccine (mRNA or based on an inactive virus) teaches our body to create anti-bodies. The virus enters the body, the body creates anti-bodies, the virus is dealt with.

The vaccine efficacy (how well it teaches the body) and the body's own anti-body efficacy (how effective the anti-bodies are against the virus) also have a role to play.

Thus, a vaccinated person can still be infected, and can even spread the virus around. The sooner the virus is dealt with within their body, the sooner they no longer have a virus to spread. Isolation helps sooner, too. It is therefore possible for a triple vaccinated person to still get infected and to test positive for the infection.

Among various benefits of being vaccinated are the lowered load on hospital staff. The number of hospital beds and even oxygen cylinders does not matter as much as the availability of hospital staff. This pandemic helped highlight that around the world, there are already only a limited number of doctors and nurses, and that both of them are already over-worked. For e.g., I did not know that 30-hour shifts are considered normal. It got me thinking that I wouldn't want to risk receiving care from an over-worked and tired medical care giver whose judgement might have been impaired from sheer exhaustion.

Many of us vaccinated people are now able to safely isolate at home when we are infected with the Covid virus. We rush to hospitals only when the anti-bodies that we create are unable to deal with the Covid 19 virus. Over-worked hospital staff thus focus on a far lesser number of patients. There are now more beds available for those who need them. These included those vaccinated but ill enough to require external medical care, not-yet vaccinated, vaccine-hesitant, those who can't be vaccinated, those who won't be vaccinated.

Really, this pandemic won't truly end until we isolate and end the spread of the virus. Being vaccinated planet-wide and reducing the load on the hospital is our next best bet to ensure that those who need the medical care have less-overworked staff and beds and oxygen cylinders.

The various successful track record of anti-vaxx conspiracies, the true stories of the greed of medical companies/hospitals, the CIA messing with the polio vaccine in Pakistan + Afghanistan, the might-is-right approach by which some countries grab vaccines and waste them while other countries do not receive even a single dose, the hiding of data to save "face" and reputation, the political attacks based on data, politicians speaking up instead of scientists, scientists not knowing how to speak to media, media irresponsibly reporting news - all of these contribute to a general decline in the acceptance of vaccines.

In my lifetime, polio was almost-eradicated. Smallpox was eradicated even earlier. I am hopeful that in time, we'll all pull up our socks and eradicate Covid-19 as well.
The metal atoms do not have free will, and they cannot obtain, integrate or act on information.

I am lucky enough to live in a country where I have the opportunity and freedom to vote as I see fit. And because of that, me, and no one else, is responsible for how I vote.

With great power comes great responsibility.
Do you have a better strategy, or are you just practicing fallacies?

https://en.wikipedia.org/wiki/Nirvana_fallacy
Yet another "I'm smarter than everyone" post.

I'm pretty introvert and parties bore me. But the brightest thoughts and ideas, and the biggest intellectual challenges happen through conversations. It just takes time and effort (and less focus on ego) to go into deeper conversations with people and not feel "intellectually lonely"
Perhaps, I'm really not sure how often would that happen though.

I actually think the analogy is a relatively good one. Parallels also also run for the question of how much "paternalism" do we want (the limits of "for-your-own-good" argument). Interests of insurance providers (whether social or private) is also involved in both cases.

In the case of vaccines, immunocompromised people's health is also a consideration. And there is the issue of side-effects, especially for young people. And there is "bodily autonomy". And the stress on healthcare system, etc.

I think there could reasonable discussion about these issues. However, the sad reality is that things quickly get reduced to repeating trite "rallying cries".
There have been extensive studies of the risks of these vaccines, both during their trials and after public use, and these studies are continuing.

The regulators on several counties including the US have even publicly registered concerns about several of the vaccines, particularly the J&J single dose vaccine. None of these studies have been suppressed or censored, and they are ongoing and I see debate about them going on in the press and on forums like this all the time.

Some social media platforms ban provably false statements on this and other topics, and sometimes those restrictions go too far. That is not the same thing as banning all public debate.
>You have to provide documentation of owning a parking space in order to be able to register a vehicle.

This is amazing! Free parking is a scourge in urban areas
I am responding to your comment - you say that asserting your rights by not taking the vaccine won't end the pandemic, while I am saying that taking it won't end it either.
I'm not following. Didn't that already occur?
The problem in Canada is that the health care is so bad that people are worried that if something goes wrong you are screwed.

My son broke his arm and he has to wait 3 weeks for a cast. I've been waiting for a general doctors appointment for 6 months yet, been waiting 4 years to have a compressed disc looked at. It's sad.

To make it worse it's almost impossible to find the vaccine and when you do it's a several hour wait and often it runs out.

I think there is more to it than everyone is a racist homophobe trump supporter. Most people who say things like that are often an abortion that failed.
Almost every big city has problems with trains running late or being cancelled, I think it's more common than you might think. I live in Stockholm and before the pandemic (when I commuted daily on the pendeltåg and before that, with the roslagsbana) I agree with you it could be pretty bad (there were several days where they simply closed off the trains and everyone had to squeeze into much smaller replacement buses, and a few times when even the replacement buses didn't run - you had to find a cab to get home... and good luck finding one.. but at least the government covered the fee if you could show there was no other alternative at the time) but having lived in a few other countries, I've seen all sorts of crap like that as well, and other things that nearly never happen in Stockholm are quite routine at other places, like stations and trains where passengers squeeze like sardines, buses so full some people go hanging outside the doors (the bus driver is supposed to close the door, ofc, but the situation is so precarious they try to let in as many as they can as they know how terrible it is to be just left behind because there's no space), robberies on night buses (which to my knowledge can happen in Stockholm but are extremely rare)...
Maybe the ability to “make a difference” while being disconnected from the community enough to not see the dysfunction is the dysfunction.

I’ve never fully understood the languagism stuff and I have openly mocked “… considered harmful” but maybe languagism should be considered harmful. Seriously, if you like writing software, isn’t the tooling a medium? Bad tools is no fun but you can still make software, you can solve problems, you can see it work, that’s what it’s about, right?
Mandated COVID-19 vaccination of individuals with the current EUA approved vaccines.

The devil is in the details. The EUA designation was pushed through because there was no other, "obvious" treatment (despite proven efficacy of a combination of prophylactic treatments).

They are testing this thing on us. Even if it works I do not consent to be tested on.
I can't speak to their well-known-ness or influence, but they're definitely one of my favorite cppcon speakers[0]

The community is lessened by their departure

[0] https://www.youtube.com/watch?v=7THzO-D0ta4
About to have our 3rd so I can relate. I have a backlog of books and I just slowly chip away at them. Nights, nap time on the weekends sometimes.
Your body is undoing the vaccine just fine. It's just ARN, it's discarded after a while. Didn't you learn that in your bio classes or did you think it would never be useful?
The rest is just practice for that precious immune system. What's wrong about it? Don't you trust it to do the right thing?

I personally don't because I know about autoimmune diseases, but hey, you seem to be of that "crowd" who only talks in quotes because they don't understand much.
Oh did we do a randomized double blind trial to prove that ?
Especially because people who are overweight have a 70% more chance to get very ill from covid.
if i recall correctly, 500
“i’ve heard of ~100 cases therefore statistical data feels irrelevant”
https://www.healthline.com/health-news/leaky-vaccines-can-pr...
> I can't get away from thinking of the experience 58x14 is describing is a failure of game design. 58x14 has fond memories of this because they were playing an entirely different much more exciting hacking game than the crappy grind that Runescape's designers had built and intended for the majority of their playerbase.

I can’t stop myself from reading this as an argument about the real world :)
The grinding pricess certainly gets boring sometimes so we begin hacking a more exciting game on top of it for sure ;)
github only has a picture. nothing anywhere suggests nano can be connected to shield. this has appeared twice in HN.
or spooks?
Clarifying the above I found this: https://www.nolo.com/legal-encyclopedia/when-us-citizens-can...

The important quote is this:
“ For all the acts listed above, it is not enough to appear to commit the act—even voluntarily—to lose U.S. nationality; the person must also commit the act in order to relinquish the nationality.”

It seems US gov policy is to interpret the law linked in the parent comment such that nearly no one (even traitors and rebels!) have the intent to renounce US citizenship and furthermore it is almost impossible to unambiguously prove that intention.

Since no other nation is going to presume to tell the US gov who its citizens are (not), there is very little recourse or due process available.
Ask HN: Who wants to collaborate?
We have the monthly "Who is hiring?" and "Freelancer? Seeking freelancer?" threads. But what about people who don't want to work for money and are not looking for people who want to work for money but still want to work together on cool projects?

For free to make the world better or to start a startup.

If you do, please post your project or your skills!
The first ones that dont understand probabilities are politicians with their binary responses.
Exactly my original point.

Invalid input is invalid input
Not criticizing you, but no, it’s a string which happens to have a natural ordering. The fact that it happens to look like a number is irrelevant.
If we believe the Metaverse is about to be big, then something to support that.

Some sort of input device? Perhaps a feedback device?

Some technology that would be attractive to a larger company, even if it’s not perfected.