skysight-inc/HackerNews huggingface dataset:
> Eliminating C programming bugs does not necessarily require switching programming languages. Other approaches to reducing bug rates in software include:

> - Static checkers that scan source code for bugs.

Does QEMU use a sound static analyzer (like IKOS [1])?

[1] https://github.com/NASA-SW-VnV/ikos
This sounds interesting - but how are people setting this up? I don't think i'd be able to use this out of the box, since i don't have a stand for my phone to position it like a webcam.
Was it lockdowns?

Or the beginning of the realisation that this is not the black plague come to wipe us out, and that it's going to affect mostly specific groups?

Edit: what they should map is probably a 'fear index'. Watching NYC / Gov. Cuomo on CNN every day, talk about 'hospitals overflowing' in NY, thinking 'OMG that is what is going to happen where I live soon' - literally Army Medical ships being sent in for civilian purposes, daily news clips of increasing numbers of deaths, all of the unknown - that was scary. We're no longer 'living in fear', rather, come to accept the uncomfortable terms of social distancing, not going to work etc.. The tone in the daily news is completely different. Also, we are now over the first wave of 'cognisance' of the situation. 3 months ago what happened was utterly unimaginable to all of us. Literally all businesses closing their doors, sports cancelled, we were in 'shock'. We're not in 'shock' anymore, we're dealing with 'the new normal'.
True. I emailed the mods.
A language that compiles to C does not inherit all of C's problems, and doesn't "punt" on it for undefined behavior. I mean, after all, Rust compiles to Assembly, which is even unsafer than C, but Rust is still considered safe.

A compiler has greater ability to enforce invariants that make the resulting code safe. The issues with C result from faulty humans; running through a program gives an opportunity for those issues never to occur to begin with.
Without being a mega corp, Mozilla execs won't get mega bonuses and become mega rich.

This is the fundamental problem with Mozilla.
That makes sense except for the irregular height. If they were all the same, or even if they were roughly parabolic themselves it would make more sense.

Perhaps it's an optical illusion. This photo seems more regular and confirms the tie-down aspect (I'm sure it's how the curvature is maintained).

https://forum.nasaspaceflight.com/index.php?action=dlattach;...
Even still, firing the DevTools team is equally as worrying as shuttering Servo.
Maybe anecdata here but I read this post, had a need for your service, and moved on because it wasn't native. You may not be getting requests because people like me won't even bother looking past the fact it's JavaScript and will either roll our own or stick with the cloud vendors C++ SDKs.

If you do go native, please expose it through a C API and not C++ or Rust.
We know that in general if you have more money you will end up spending it faster, but has anyone ever tried to quantify this?

If it turned out to be a square root or even a cube root function, I would not be surprised.
The question being posed isn't wrong, it's just incomplete:

> "What worker doesn't want to have unemployment insurance at a time of Covid-19 crisis? What worker doesn't want to know that they'll get paid for overtime if they work 60 hours in a week or 12 hours in a day? What workers wouldn't trade their ability to set their own hours for these benefits?"

The answer, as it turns out, is a lot of workers.
To quote the article:

>When people say “GPL increases freedom” then they’re right. When others say “GPL limits freedom compared to MIT” then they’re right too. It’s just a matter about which freedoms exactly we’re talking about, and for who.

I think it's pretty clear that the freedom the FSF is advocating for is freedom for the user primarily, and only secondarily for the developer. They're a political organization and this is one of their principles, and those who counter with effectively "but what about my freedom to restrict the user?" are missing the point.

You may disagree with the FSF's position on ideological grounds, but if you do so it's unhelpful to argue that something is "more" or "less" free without first establishing common definitions. You probably have different working definitions of "freedom" in that context at that point, and arguing without reconciling those is likely to result in the two parties arguing right past each other.
Any plans for any 'chat-bot' like features to handle the common questions/tasks that might be covered easily/in an automated fashion?
No idea if I am ADHD, I could just have a lot of energy - because I focus well.
Firecracker is fantastic, but it's also --- to its great credit --- substantially smaller than Servo.
They operate under illegal business models to produce impossibly low costs, driving out all legitimate competitors, including municipal infrastructure.

The Uber business plan has always been to break the law at a massive enough scale that they can buy new laws before enforcement catches up with them.
There was nothing remotely close to 'lock-down' in the US.

We just stopped going to the office, restaurants, close quarters public spaces.
> I get that you could cheat if you had a regular keyboard, but if you're learning to type, why would you do that?

I sometimes look to align myself when I've had my hands off the keyboard, and now that I've got the wrong keycaps on some letters[1], it throws me off sometimes (I'll start on K or ; instead of L). However, when I'm actually typing, I almost never look at the keys (usually only when I'm pausing anyway, and more to take my eyes off the screen for a second). My only training has been using a keyboard for 20+ years.

It's not 'proper' touch typing - I almost never use my little fingers (I use three on my left hand, but bias towards just using index/index and middle on my right), I've got a tendency to reach across with either index finger depending on what I've just typed, and my hands at rest are around AWD/JIO rather than the home row - but I've never felt limited by my typing speed (80-100 WPM if I'm copying something).

I suspect my typing style is largely habits developed from gaming more then typing when growing up (rest on AWD and being more fluent with my left hand).

[1] Laptop keyboard - S where I should be (I got an S sent by mistake for a broken C key, and the I broke later), moved Fn keys to replace L and E
there are a ton of phone mounts on amazon, it depends on where you need the phone. the desk clamp+goose neck ones are quite versatile, sometimes a simple phone stand like this is ok https://www.amazon.co.uk/dp/B07DHH95V1/
Stylo, the component you're talking about, was written in Rust after multiple attempts to write it in C++, which all failed. So, I would hope that that isn't what happens. It sounds like a waste of time.

> having a minor part written in Rust

"every single CSS bit touches this code" isn't a minor part, and it's not the only part. https://4e6.github.io/firefox-lang-stats/ is a sorta flawed metric but it reports nearly 10% being Rust.
You have to start somewhere... and many LOS users do not mind Google. They just want an up to date ROM.
For many restaurant owners, it may well be cheaper to shut down some locations, file for the entity's bankruptcy liquidation, break its leases and renege on its financial obligations, fire its employees, and let its lenders take over its remaining assets... than to continue personally putting money into the entity month after month after month to fund operating losses.

Many would-be-diners seem to be waiting until there's a proven-safe vaccine and/or until Covid-19's longer-term health consequences are better understood before going back to indoor restaurants (e.g., inside malls, office buildings, etc.) as they did before the pandemic.
That would be true if there was no vaccine coming and everyone was going to get it eventually. But if we expect a vaccine sometime in the next year or so, we can try to minimize the number of cases and deaths until then.
So far about 1.5% of the US has tested positive for it, so maybe 2-10% have been exposed. If we can keep that under 20%, that will be a lot fewer deaths than if we let it run free to herd immunity levels at 95%.
Back when it was on the PL shootout, ATS was consistently in the top five for performance. However, it was also consistently the worst in program size, comparable to Ada (but even more loquacious). Between that and the lack of existing uptake it would probably be difficult for QEMU to adopt.
Looks cool. There is a lot of demand for customer chat apps.

What would it take to integrate with something like Google Dialog Flow?
The article is only three bullet points one of which is:

> If the appeal doesn’t work out for Uber, it will bank on voters to determine its fate in voting on Proposition 22, which would exempt drivers for app-based transportation and delivery companies from being considered employees.
Characterizing Latency Overheads in the Deployment of FPGA Accelerators
That’s a very cynical view.
What about You and I who also have a down payment and a mortgage?
You can argue that Uber was exploiting workers, but at the same time, none of them were forced to work. All made a free choice. And now “The State” has essentially legislated them out of their jobs.
The State has literally said, “you’re too stupid to realize you’re being taken advantage of, so you can’t work this job”.
I’d say that “The State” is far more of a problem here than Uber.
Probably vmagent could be useful for your case? See https://victoriametrics.github.io/vmagent.html#use-cases
Yeah, seems odd. I remember seeing that retail is still the #1 employer not too long ago, and that doesn't require internet.
The law has most definitely been changed. If the law were a human, it wouldn't be old enough to walk.

https://en.wikipedia.org/wiki/California_Assembly_Bill_5_(20...
Include Your Tests in Coverage
Yeah, somehow I thought their mission was to build the best web browser, silly me!
IME Firefox on Android works well for most, if not all, of the websites I have visited.

Regarding the tiny drop comment: you have to start somewhere. Why not with the users who have the most tolerance and technical skills?
There have been alternatives to those languages pretty much as long as they existed. Pascal was a common alternative to C for example, as was Object Pascal for C++ (both appearing around the same time) and Ada also existed for years and provided a much safer alternative to any of those while still being usable for low level programming.

Yet C and C++ still persisted. What makes Rust different this time?
There are absolutist remarks because people know whether or not their own well-being has improved, much better than a study that attempts to declare what their reality is. More than ever, I’m suspicious that social scientists might have an agenda. And their methods are, as usual, not even close to physical sciences.
That is nice
Simulation, Consciousness, Existence – Hans Moravec, 1998
I was just going to say exactly this.

It’s amazing to see them doing this with such incredibly basic technology.

- Having to draw their ship and the submarine and constantly update its movement.

- sonar guy is just looking at a screen that blips every now and then.

- all communication by morse code - must be horrendously slow in the heat of battle

- even communication within the ship is passed between multiple people so big chance of Chinese whisper type errors.

I don’t know how realistic it is to real life but it gives you an appreciation for how smart and situationally aware the captain of the ship needs to be.
First up, the person writing the blog post is actively involved in QEMU development. It's not some random person evangelising use of Rust. It's most definitely not naive for them to suggest such a thing, but instead exactly how such things ought to be done.

Secondly, you may be started to find out that the QEMU developers seem to be in agreement, with the interest related to Rust for vhost-user, and considering ways interfaces etc. might make that feasible.

OPs post to the QEMU development list, thread makes for interesting reading: https://lore.kernel.org/qemu-devel/CAJSP0QWF8g7r5VqU_PRbskWZ...
Do you know what is the Candlestick Chart?
Watermarking, while similar is not the correct word, though the purpose of watermarking and this steganographic embedding is the same.
The power balance between employer (Uber) and their drivers is completely out of balance. To claim that the drivers can just ignore Uber would be false, and neither are they able to effectively unionize because they are not officially employees. As such, they cannot negotiate effectively as a group, which means Uber has all the negotiation power.

Again, I am not saying that this is the same case for developing nations; there maybe was no work and/or ability to unionize in the first place. But for large parts of the world this was the case, and Uber just “disrupted” the negotiation abilities of the drivers.

I believe we’re looking at this from two different points of views, a developing nation vs a developed nation (I’m from The Netherlands).
Wow, my initial thought was, either this is a deeply flawed analysis, or I am just totally wired differently than other people. Lockdown was _awful_, and we didn't even do it as long in Texas as in many places. Many friends of mine have expressed a lot of feelings of rage, despair, etc. during the lockdown. Whoever the people are that felt better, I don't know them, or at least they don't talk to me about how they're feeling.
> California, including especially the Bay Area, LA, and San Diego, has public transportation

You really had me for a moment until I realized you're joking :)

In all seriousness, public transportation in California is the real joke.

> It is possible to visit every major city and national park in CA using just public transportation.

Sure, and it's possible for me to canoe to Antarctica but it's not a reasonable way for anyone to travel.
Genius does give the tools to crowdsource lyrics, meanings, and comments. Google brought the rights to display lyrics but not lyrics themselves..they just steal that from other companies and rehost it with their own ads. Copyright law was not designed to handle this, which is something that is obviously morally wrong and will eventually harm consumers. Google has stated: 'if you don't want to be crawled, use Robots.txt' which because they have 90% market share, is clearly impossible for Genius. It's downright evil.
Quantum computing breakthrough as scientists find solution biggest hurdle
It seems that the controversies in the comments come from the inexact title. It should have been ,,Why QEMU should incrementally move from C to Rust'', or something similar, that reflects the content of the article better.
I'm wildly out of my depth, but why couldn't Uber drivers be regulated effectively as micro-franchises? The dynamics seem pretty similar -- drivers benefit from the Uber marketing, brand (which brings trust which is necessary in a business as personal as getting into a stranger's car) and "secret sauce" (the dispatch network and app experience). Uber wants to control some aspects of each "franchise" like the cleanliness of vehicles, making sure that they don't discriminate against customers in unappealing areas, and, to some extent pricing. This is necessary to maintain the Brand and keep customers coming back. Uber doesn't want to get into all aspects of running the franchise (setting hours, making sure drivers are only driving for them etc), because it would un-profitable to do at such scale -- just like McDonalds doesn't want to get deal with the management of individual restaurants.
100%. I picked it because we're in a thread about QEMU, and it's an important part of a well-known product. I am also glad that it's a lot smaller, as it should be. I figured that, when discussing a "halo project," popularity is more important than sheer size.
Google bought 12 acres of waterfront property and was working on development. Aside from the usual level of involvement (meetings, permitting, etc) the city had no skin in the game.
I'm not convinced. Look at the most recent patch notes. It's ridiculous to be working on fluff like this when they don't have the core gameplay mechanics figured out (and this is just the fluff that they've actually completed):

- Bartenders will be seen keeping their work environment tidy by wiping down counters, disposing bottles, and polishing glasses, and chatting with patrons dynamically.

- Action that lets the player wipe their visor clear when it has become too obstructed by snow/rain/moisture. This action is available through the default keybind of LShift+Z or through the Inner Thought menu.

- We are introducing a new mechanic to planets that causes the temperature to rise and fall with the day and night cycle. This means that planets should be warmer during the day and cooler during the night.

Meanwhile, players still fall through the floors of ships, experience disconnects every 10 min, and PvP is an unplayable lag-fest. At least bartenders will now wipe down the counter after a player falls though it.
On a tangential thought, it's interesting to me that a company (magicleap) that has raised several billion dollars generates so little value compared to other companies its size that this is the most notable output from them in a year and I thought it was a phd project until I looked at the project owner. Anyways, it's a very interesting project and thanks for sharing.
Army advances learning capabilities of drone swarms
Bad science.

Rust code does have unsafe at times, so it can still have memory safety issues.

It may not matter that your program is memory safe if it was written by people who don't understand the problem domain and doesn't work correctly. E.g. for qemu, it's perfectly possible to be absurdly vulnerable -- giving target code control of the host -- without any memory safety bug at all.
You can work as a factory worker and still require internet access for scheduling days off, getting payroll information, etc. In fact, it's likely that people not working desk jobs are those most in need of home internet access, as they might not be provided such at work.
> This also papers over a potential defect

That's what suppressing warnings tend to do, yes.

> but also introduces a potentially semantic-breaking process into your compilation pipe.

Only if the beautifier is broken.

> What you're compiling is no longer that source you have a proof about.

It sure is, again, unless the beautifier is broken.
> I'm conflicted about this because i believe drivers deserve benefits but also uber should not be forced to pay full benefits for someone who drives just a bit on a weekend night.

> Where is the line of hours driven until you get benefits? I dont know, but I think that is the wrong question.

I wonder if there is a reason it could't work like this:

• If you work N hours in a week for employer X, where N meets the benefit threshold, T, for some type of benefit, the employer has to provide that benefit.

• If N does not meet that threshold, the employer has to make a payment of N/T x C to the State, where C is the weekly cost for the person to pay for that benefit themselves.

• The State keeps track of these payments on a per worker basis and works with the benefit providers to use them as a subsidy on the worker's cost to buy the benefit.

For example, for health insurance, if Bob drove 40 hours a week for Uber, Uber would have to offer Bob the same health insurance they provide their full time employees.

If Bob only drives 10 hours a week for Uber, delivers food for Grubhub 15 hours a week, and does 10 hours waiting tables at a cafe, none of those would have to provide health insurance, because the threshold is 30 hours. But Uber would have to contribue 1/3 C, Grubhub 1/2 C, and the cafe 1/3 C to the State for Bob's health insurance. That would be enough to cover Bob getting health insurance on his state's ACA market.

It would actually be more than enough. If the excess carries over to be used in weeks when Bob works less than 30 hours total, then as long as Bob averages 30 hours of work a week, he has health insurance.
https://www.youtube.com/watch?v=s1w5R2PGCb4
With the rise of Craigslist and the Internet, mainstream media is more reliant than ever on advertising. If there's a cute story about someone being nice, well, that's cute but boring. But if there's someone being horrible, gosh, I'm going to rush to go over and stare at the car crash, judge them for being horrible, be angry that they're horrible, feel smug about the fact that I'm not horrible. Possibly go on some sort of screed about "those people". All the meanwhile, I'm watching the advertisement because I really have to see whatever the thing is right after that.

"The media", in so far as it's a monolithic group (it's not), needs to get us riled up, divided, and angry. Not for some nefarious shadow government pulling the strings reasons, but because they need to pay the bills.

What's fascinating is how well the media as a whole manages to do it. Some portion of the masses can accept a mainstream point of view (eg wearing masks), but it seems a certain percentage of people just really have to not. And to those people (who are all the same), "alternative outlets" sell them on being special and that they are the only thinkers out there. Not like the rest of the sheep wearing muzzles. It would be funnier if it weren't literally life-threatening right now.

Step back, consider your principles, and draw your own conclusions. But it has to be okay if those conclusions simply accept what the mainstream narrative is telling you. Which is wear a mask, especially when indoors with groups of people.
General and Administrative. For example, a catered lunch from a fancy restaurant that will have friends of the execs attend as a part of some presentation would be charged into G&A line.
What does the Happy Hacking Keyboard usually run price wise?
So the outrage over "workers rights" is delayed until Uber can no longer exploit them?
Unless you don't clock out on your timesheet until you get home ...
I'm just not convinced this is a thing that's happened. Which cities have avoided investing in municipal infrastructure just because Uber exists?
Why white men don't get involved in diversity and inclusion
Seems like they underestimate everything that the internet powers, chat apps and email perhaps.
If you don't want to be scraped, just say so in your Robots.txt!'

It's leverage to force companies into picking being stolen from or being never seen.
The last news in the news section of the libresilicon site you linked was from 2018 - is it in active development still?
Yeah, there's no discussion on this blog post of what a lot of people are doing in writing project-specific linters, static analysis passes, code generators and so on that just ensure higher code quality which to me is more bleeding edge when it comes to actually helping. There's also no mention of the fact QEMU is tightly bound to other C based projects like libvirt and KVM and having developers be able to switch back and forth is extraordinarily useful. It wouldn't just be replacing QEMU but also the ecosystem around QEMU. It's not like QEMU is the application at the end of a dependency chain, it's in the middle for a lot of users.
Right, you get price increases instead, which are a more regressive way to guarantee a basic minimum standard of living than a publicly funded safety net.
NIST SP800-217 Zero Trust Architecture [pdf]
It should be in preferences somewhere. Let me grab a screenshot: https://imgur.com/3hM8J0y

It's under "Misc" in the options, not "Auto-save"
Brilliant way to gain access to The Economist. Kudos, maestro.
Feed bees; grow Lavender!
Lyft is also a target of this injunction. It isn't clear yet that Lyft will begin complying with AB5.