skysight-inc/HackerNews huggingface dataset:
Synthesizing small programs for big impact – most influential paper (POPL 2020)
ARM is very well supported. I have had zero issues using a Raspberry Pi. As for cross development there is an excellent tutorial targeting the STM32F3DISCOVERY dev board, https://docs.rust-embedded.org/discovery/

I attended a hack session where the attendees had zero Rust experience and they were able to get blinken led running in under an hour. Basically 10 fullstack web developers were able to open the package on the devkit, install rustup on windows/mac/linux and start writing firmware and updating the board.

Pretty solid I'd say.
As a self taught developer I also found Neo4j's query language (Cypher) to be way easier to read than sql. Especially for building complex relationships between data which I find to be kinda a pain in sql. Also the web interface for viewing your database is really easy to use. Although I should say I've switched to using more sql databases over the past year or two because there are way more hosting solutions that support them out of the box.
I thought I'd heard of this before. In fact when I saw "Sail" here in the title I figured it was the one you were referring to.
When they say home internet, I'm pretty sure they mean an internet connection at home. A cellular LTE connection is just that.
How big is a device emulation mentioned in the article? How many of them are necessary?
Amazon's Machine Learning University is making its courses available to public
I'm sorry, but I can't possibly humor calling a job you're willingly partaking in a "hostage" situation. If Uber is offering them a better deal than what they were going through, even if it's still a bad one (by your standards), why should we forbid these people from taking it?

I live in a developing nation that takes refugees from communist hellholes and the gig economy is helping them out big time by providing the less advantaged ones with a chance at life, all while improving the lives of its users through the service. And it's not just good economically, by creating new markets they help grow the economy and prevent the spread of xenophobia caused by foreign actors participating in a stagnant economy.

Unless you have solved poverty in your country and no one would ever willingly work in such a job you're only causing harm to other people by strangling Uber and similar companies out of existence.
Mac-tag system enables molecular microscopy of proteins
Yes, and look at how her father treated her. Completely different.
We've had a handful of requests for native app support, so it's definitely something we'd like to do eventually, although we're more likely to start with Electron since it will be easier to port from our existing SDK.

That's good feedback on addressing the trust issue head-on, we'll work on that.
Honestly, I think anyone who has written Rust, even low level Rust, intuitively understands that it wouldn't even be close. It's not really worth measuring - like measuring C vs Java, no one really needs to do it because it's so obvious that C will have many times more memory safety issues.
Scientific Clues That We Are Living in the Matrix
Fido (Dog)
I don't understand -- how is an "LTE broadband connection" not a "home internet connection"?
I support this right. It is a fundamental human right. With cameraphones everywhere the space around us is becoming polluted -- panopticonic -- in many senses.

Pair this with a cultural climate who's standards are changing so quickly -- anyone can be taken out of context.

Everyone get's angry when "an elite" does something ... well they are still human. My hope is that they make this process easier so that every human being can enjoy the freedom of not having their life documented and observed at every moment.
But that is with ample benefit of hindsight.
The genius of early (Uber X) Uber was that it launched a service that was illegal, but got away with it and paved a road to legality because it was significantly better than its competitors, liked by customer (read: voters), and displaced competitors no one had much sympathy for.
>Housing would be much better if we could get it to follow anything like the technology price value trend.

Do you think people would be willing to buy a house for cheap with the trade off being that Google and Facebook get to collect data on everything you did inside the house, and then got to display ads inside the house?
I assume this would be a custom implementation.

For example, tag an EC2 instance with "CronStart: 0 8 * * " and "CronStop: 0 17 * *". Then have a service that queries EC2 instances with CronStart/CronStop tags, and start/stop the instances according to these schedules.

I haven't looked for any services that does this out-of-the-box, but it would not particularly complicated to implement on e.g. AWS Lambda.
>They should have used a binary encoding; 22 bits (all they have given us) is not enough information to uniquely encode the string "REDHANDED".

The fact that the sequence can be interpreted as REDHANDED with a particular way of grouping the input is just being cute. Regardless of the grouping, it is a binary encoding of a 22-bit number, and so would have a one-in-2^22 chance of being reproduced at random.

Edit: To clarify: You're saying they should've mentioned 22-bits in the context of binary digits without mentioning Morse code, and if they did want to bring up Morse code they should've used trits or more bits to encode the stops. I'm saying that the fact that their 22-bit sequence can be interpreted in Morse code as a relevant word is just dressing, and does not detract from the point that the sequence was likely copied. Put another way, if someone tried to counter by saying their sequence could've been generated independently because "AU5EWRFE" and many other strings also encode to the same sequence, it would not affect the facts at all.
You can run lightweight vmagent [1] on your laptop. The vmagent collects all the metrics from your laptop and then sends them to remote storage when connection to the remote storage is available. It can send data to any remote storage system that support Prometheus remote_write protocol [2].

[1] https://victoriametrics.github.io/vmagent.html

[2] https://prometheus.io/docs/operating/integrations/#remote-en...
Is Microsoft finally getting its Windows update act together?
> Being able to apply CATs to old resources and start getting cost data back would be a huge improvement for my day-to-day work

For what services can't you do this? I recently made a script that iterated over all DynamoDB Tables, Lambdas, SQS, Kinesis Firehose/Analytics/Streams, S3 Buckets, etc. and added a tag to track cost on the individual services.

The only thing I can think of is that you will not have any data before the data you added the tag on.
Not sure I understand. You disagree with the way the company/organization is being run so much, so you stopped using their free product? Do you still like the actual browser?
The blog post proposes an incremental migration.

From the next to last section "How can we change programming language?":

> The reason I am writing this post is because device emulation, the main security attack surface for VMMs, can be done in a separate program. That program can be written in any language and this is where Rust comes in. For vhost devices it is possible to write Rust device backends today and I hope this will become the default approach to writing new devices.

For all those criticizing the knee-jerk impulse to rewrite, you're arguing against the wrong post!
Yeah! Brain dumps are a great tool.
A major QEMU contributor suggesting that future work on a specific subset of components (that are prone to vulnerabilities that are difficult to avoid in C) be done in Rust is not naïve. It's the beginning of a community discussion.
"For some time now" meaning less than 1 month, or long after this particular point was raised in the trial that just concluded.

And importantly, it's not actually in effect in the entire state yet. It's still just limited to the Bay Area, with the rollout to the rest of CA happening over the rest of the summer.
Tons of stuff. We've got everyone in FAANG but Netflix, Microsoft, Cloudflare... different people have different definitions of "widely-used/public."

Anyway, two big projects in a similar space to QEMU are Firecracker (the underlying virtualization tech for AWS Lambda + Fargate), and Crostini (the underlying virtualization tech for ChromeOS). Firecracker started life as a fork of Crostini and now there's a rich ecosystem going on in this space.

Don't forget the Rust code from Servo that lives in Firefox, too.
vmagent + victoriametrics :)
Big tech has pretty consistently failed to deliver on the rosy vision for the future they've been promising for decades. I can't imagine trusting Google to commit to building part of a city when they can't even stick to a mobile phone for a few years. If it went tits up I'm sure they'd just leave Toronto to foot the bill.
I'll never be able to get used to just putting 1 space after a period, and it really bugs me when editing a sentence deletes one.
The Servo parts in FF is a CSS "engine" right? My expectation is that at some point it gets rewritten to C++ like the rest (layout, RT, API, fonts, parsing, JS, UI) because having a minor part written in Rust (with an extra build system, test framework, API bindings to maintain) is only a hindrance to building a team able to pickup work of other members. Especially when that other language has failed to deliver, and not even demonstrated the feasibility to develop a competitive JS VM, nor fast-enough binding to eg FreeType.
I doubt the folks at Uber are losing any sleep over this.

By "platform co-op," the OP means an organization as proposed and promoted by https://platform.coop/ : "Platform cooperatives are businesses that use a website, mobile app, or protocol to sell goods or services. They rely on democratic decision-making and shared ownership of the platform by workers and users." Sounds great... but it's unclear to me if the people promoting these organizations have fully thought through the kinds of incentives necessary for scaling up successfully in order to compete with the likes of Uber.
Warning: The Word of the Day for Aug 11 at Urban Dictionary is pretty NSFW.
The project was killed for the right reasons; the residents, people that have to deal with its consequences and for whom the benefits were vaguely defined, opposed it.

If smart cities are inevitable, then a mega-corporation like Google with all the resources in the world should be jumping at the opportunity to build a new settlement where none currently exists. Shouldering the cost of such a project should not be a hindrance for them considering the potential economic benefits for themselves.

Let them create their own proof of concept and incentivize people to live and work there. The shift to remote work in the Covid age makes this much more feasible now than in the past.

No need to glom their surveillance technology on to an existing metropolis where people are already settled and don't have the option to opt out to any meaningful degree.
> Regardless of how you feel about data and surveillance and privacy or whatever, at least ad targeting has a long proven track record of actually delivering low real prices to consumers.

That really depends on how you define "real price", doesn't it? It's a price I'm not willing to pay.
So you have a home internet connection provided by an LTE broadband connection. As a software developer, sounds like you're part of the 70%.
I recommend reading the book Atlas Shrugged by Ayn Rand. California will attack and attack and attack because those in government believes they are morally superior. The only way they will learn is when Capitalists fight back by "turning off the engine of the world".

Who is John Galt?
I'm not normally one to promote Hollywood but the film Greyhound (2020) with Tom Hanks does an _excellent_ portrayal of this technology (albeit slightly more primitive) in fighting German U-Boats in WW2. Well worth a watch if this interests you.
Entertainment value is separate from practical value and feasibility.
Yeah, it's a simple technique that we also recommend. Our extension has a timer for that reason.
The problem is that Google is stealing content and placing it on search so the user never goes to the source, By blocking it with robots they block themselves from google results AND Google may already keep scraping the content.
> Increase the costs of running the service, and you don't have work anymore.

This hasn't been found to be the case when increasing the minimum wage, though.
Prefer "Avoid premature optimisation and keep your options open."

The word "but" should be used when introducing a contrary or adversative expression; premature optimization is a means of keeping your options open.
Using patient interviews to prioritize features for a health tech product
Note that this is a survey of Americans who are currently employed. It should be '70% of all currently employed Americans require home internet'.
This statistic is likely inflated by the currently high unemployment numbers in sectors that cannot work remotely, and it overlooks the large portion of the populace that is not part of the work force.
There is no end to this debate. The buck stops at the law. As of today this is fair and objective. Without this we have no framework to judge right or wrong. You can handwave around this but this is the best jurisprudence has come up with over the years. Do you have a better system than pitchforks on HN?
How I Secured a Software Engineer Job in 4 Weeks
Sure. I have seen projects that allow you to select the fpga core at boot time. Also, the ZX Spectrum Next already seems to support clock speeds that would be an issue for games, so they must already have some "boot in compat mode" feature.
I'm sure over time they will retrofit their APIs to better support tag policy enforcement. I am glad they err on the side of maintaining a stable API, so I can see why things are the way they are.

For now, we enforce our policy during code review. Everything is deployed via terraform/terragrunt so it is pretty easy. We have plans to mostly automate this via static code analysis.
When I worked at a large US-Based CPU company about 10 years ago I was always wondering why we didn't have a tool like this. Instead the ISA semantics were described in multiple word docs. Everything was mostly* manually created from those docs - it was fraught with the possibility of error. I did hear from someone who had worked at the same company in the 90s that they had had a tool akin to Sail back then that was based on an ML language (Oh, and it seems Sail is written in OCaml!) - it seems like Nirvana had been achieved then, but then paradise was lost by the time I was working there.

*'mostly' because there was a research group that was working on tools that would read the word docs and do some automation, though they seemed mostly still experimental... and it also seemed like a really bad way to approach the problem, but they were working with what the designers were used to - Word Docs.
Or even.....a cable stayed bridge.
They're not cheap, but I hear the Mountie[0] works well for physically mounting your phone (or iPad) to your laptop screen.

[0] https://tenonedesign.com/mountie.php
Would you not agree that government ministers who can impose economic sanctions on the Lukashenko regime have more power than regular voters since they sit at the top of the power hierarchy?
> has an order of magnitude more security issues

But then there is a LOT more C/C++ software as well, so it makes sense that when you have a lot more code you'll also have a lot more bugs.

> than (similarly well written) software in other languages.

Why isn't that similarly well written software being used instead of the C/C++ software when the latter ends up with more bugs?

> And until recently C and C++ were more or less the only viable options for writing it.

I do not think that this is the case, there have been alternatives for pretty much as long as C existed. For example Object Pascal existed for decades before Rust and while it doesn't have as many compile-time guarantees as Rust does, it still is safer than C and C++, provides a similar amount of functionality while not losing in terms of low level functionality. Yet outside of a few exceptions (mainly during Borland's heyday) people still went with C or C++ despite those languages not providing anything special compared to it.

And there have been other languages too - i've seen Ada being brought up often as a much safer language (safer than Pascal too) with a strong type system, yet still being usable even on tiny devices.

What makes people stick with C and C++ when other solutions existed for years and how would Rust change that when other languages apparently failed?
Lenovo ThinkPad T14s AMD Review
I have a few things in LaTeX. I recently started using TexPad on my iPad, which I like.

However, I wish it was easier to extract formulas to include in either Notability or on GitHub, where I keep a lot of Markdown notes.

Often I want the simplicity of Markdown with a few equations.

$\frac{a}{|\Omega|}$
Imagine shutting down food delivery in a pandemic is going to be a popular decision.

I imagine not.
Why wouldn't they fit squarely into the category of contractors? They set their own hours and use their own equipment. The fact that the platform sets dynamic prices doesn't change this. Contracts to do work in times with more demand command higher prices in plenty of other industries. Caterers probable charge more during the holidays, right?
I mean, consider the alternative, which is how taxis used to work. Investors like Gene Friedman would own fleets of medallions, and drivers would rent the medallioned cars. Or drivers would own their own medallion. Definitely, for sure, the drivers were not employees.

One big difference was that there were no big public companies to sue. In Chicago, clever class action lawyers tried suing the city, since they set all of the standards that are the basis of the employee/contractor distinction. It got up to the 7th Circuit, where Posner wrote an an opinion that went basically "uh, no."
I’m sorry to say, but there’s nothing new here.
My guess: currently used as towing points to tension the parabolic structure. You can see some wires in the picture. And probably also a helpful structure during construction.
You’ll be surprised by the answers to this on HN.
Right. Because taxis don't typically operate at a loss. Whether it's laws like the ones in California or it's just Uber and Lyft having to be profitable, I have little doubt that you'll see large price increases. I actually don't really understand why they haven't just bitten the bullet and done so before now.
It's because c or c++ hasn't had a decent alternative for a long time.

Rust has the ability to compete with them. Other languages don't. So it's ripe for distrupting projects that are normally written in c.
Fred Saberhagen made this a plot point in one of his Berserker stories. Going by my highly suspect memory...

A damaged Berserker captures an atlas showing an occupied system nearby, and heads there with its last reserves of power to destroy the system.

The human who didn't stop the Berserker is charged with a crime against sentience, but is acquitted when he reveals the secret: The occupied system was a fake, in the tradition of cartographers going back to the Middle Ages on Sol.
>Lockdown with family in one’s dwelling isn’t prison.

You seem to be forgetting about the sizable percentage of the population that lives alone in their small dwelling. I know a lot of these people and my own anecdata indicates a lot of them are having mental health issues.

>Imprisonments is about much more than a loss of mobility.

Well sure, but I think it would be hard to argue that confinement and the resulting lack of mobility isn't the primary role of a prison.

And even in prison, we let prisoners eat with friends, play sports with friends, work with their friends, visit with family, etc. These are all things most of us felt we couldn't do during the height of lockdown.

And why do we allow prisoners to do all those things? Because we recognize that it's inhumane to deprive people of social interaction for extended periods of time.

To further reinforce this, what do we do when someone's in prison, and we want to punish them more? We decrease their mobility and increase their isolation by putting them in a small room by themselves.

Please note, I'm not arguing that lockdown was the wrong move, or that we shouldn't continue to consider various lockdown measures.

I am saying that we shouldn't be dismissive of concerns about the toll long term isolation is having on people's mental health. And that consideration of various lockdown measures should be taking into account these mental health concerns and weighing them against public health concerns.
Real Time Lightning Map
Congrats on launch and thanks for the story.

It seems like there is convergence between instrumentation (analytics events) and messaging.

Do you think this is the case? If so, do you plan to tackle this as well? If not, how would this slot in alongside Mixpanel or Amplitude?
Rust uses a mixture of affine and ... "regular"? types. My understanding is that affine is a looser version of linear because the type doesn't have to be consumed.

You can have dtors in non-affine types (types that implement the Copy trait) in Rust as well. I'm really only talking about C++ style destructors. Those don't require linear or affine types. But, I agree, that in a managed language, having a linear type is one way to get predictable destructors to run.

Strangely, Swift has deinit{} for its class types (ref-counted), but not for its struct types (value types).
This doesn't really make sense to me. Only 30% of Americans have jobs where they can't work from home? Truck drivers, factory workers, cashiers, taxi drivers, etc all make up less than 30% of America? I dont buy that.

Smells like selection bias to me... are they interviewing people already at home because their work allows it?

They do mention -

> There are certainly some folks who work in healthcare, grocery stores, auto shops, etc., where you wouldn't think a strong home internet connection was a requirement.

But I still remain skeptical that so many claim they require home internet. At the very least work email can be done on a phone.
I wouldn’t take those stories seriously. He spent a lot of time generating stories and anecdotes about himself.

Today a PhD student would come up with something like path integrals and would barely be granted a PhD.

Real science and showmanship are different things.
The Product Manager’s Guide to Parenthood
Mountain View’s Mozilla to lay off 250, close Taiwan location – SFChronicle.com
I don't understand how you can be a sailing/rigging nerd and say that isn't a cable.

Last time I checked nautical cables do not carry photons or signals. Arresting cables, bowden cables are also cables that do not do so.
its closed now https://communityimpact.com/austin/central-austin/impacts/20...
> "What’s happened is that the very talented [...]"

That's not what's happened. What's happened is classified. Nobody outside the UK government and the involved people at OneWeb knows exactly what was discussed. The policy expert the Guardian contacted is just venturing a guess. And it's very easy to make anyone look like a fool when you are allowed to create your own version of the facts.
Looking at this page, it seems like they can't set their fares, but only a "fare multiplier", so effectively, Uber still decides.
Ask HN: What is the future of Rust after the Mozilla layoffs?
HN, would it be wise to build a new open source embedded system in Rust after the Mozilla layoffs were announced?

Does Mozilla have the resources to continue to support Rust? Will another company like Amazon or Microsoft step in to sponsor Rust?

Do these open questions make investing in Rust projects as a startup too risky?
I think it is simpler than that. The OP is not freelancing. This is effectively a job. He is underpaid but HAS EXPERIENCE! and just needs to find a new job.