skysight-inc/HackerNews huggingface dataset:
I'm a Gen Xer. The majority of my friends are Gen Xers and Millennials. I have a few friends who are Boomers, and a few who are Zoomers.
My understanding is that he also had a history of giving light sentences, not just to upper middle class defendants, and that his banishment has gone well beyond losing his job.

https://www.washingtonpost.com/sports/2019/09/11/recalled-ju...
It's a restriction, even if it turns out to be a 95% subset of C, because without restrictions, the halting problem would prevent effective verification.

> In fact you can't really get away from the need for a clear formal description of what the contract does anyway.

The code is its own description. The point is verification: does the code implement the contract?
The so called gig economy was built upon a unsustainable business model that depends of exploitation of workers.

It's not just Uber. All companies in the gig economy work like this. It's not only about paying minimum wage and benefits either, it's also about shifting the costs of doing business to the workers calling them independent contractors.

As independent contractors, drivers need to pay for their car, pay for gas, taxes, insurance and maintenance costs, but if they were employees from the beginning, all these costs would be getting out of the Uber's pockets.
Chewing gum systems tend not to fail catastrophically though, due to a general lack of trust in the solution. Formal verification often instills a sense of confidence that means few, if any, failsafes are put in place.
The only systems that have figured out moderation at scale are Wikipedia and StackExchange. But see what HN thinks about that.

Nobody wants to admit that the only type of moderation that actually works at scale is an entrenched group of somewhat-expert overly-attached users gatekeeping contributions with (what looks like to the novice and sometimes even to the established user) extreme prejudice on a website with intentionally highly limited scope.
When you think of C/C++ your first thought is move fast and break things?

What have they moved fast on and what's breaking for you?
Whenever I see such a corporate communication, my mental process is to immediately imagine the meeting that led to its creation, having attended many such meetings.

Recently I've resorted to explaining various news items to my kids as "well, there would have been a meeting, and their lawyer would have said this... and the marketing person would have said that... and then they tried to figure out how to put out a statement that was true but didn't get them sued..."
A massive, monoculture blob of either the cheapest and fastest to produce, or a reasonably effective as far as cost/time/damage output unit, used to just roll over the opponent's base.

So, a few hundred riflemen or dozens and dozens of tanks.

The death part of it comes from the numerical advantage, if an enemy unit walks into range of many times its number it'll get blown to hell before it can inflict meaningful damage, even if it is a technologically superior or inherently stronger unit.
> I think the harmful inequality in a population comes only at the first few steps of the Maslow’s pyramid, i.e. access to food and shelter.

In a democracy, do you think it's ok that one person has an incredible amount more influence over society compared to others, not because of their ideas but because they can give more to politicians?
I for one would be interested in a worked example for how you think this could be better, maybe as part of the internals thread?

https://internals.rust-lang.org/t/blog-post-rustacean-princi...
A situation that arises rather often in Axis and Allies, Civ4, Starcraft 2.

It results because of math. To defeat 100 units of equal strength requires *more* than 100 units (!!!).

Take for example 100 Zealots (Starcraft / Starcraft 2 melee unit). If you send 1-Zealot vs the 100 Zealots, it will die before it deals much damage.

In fact, even if you send 10 Zealots vs 100 Zealots, the 10-Zealots will almost certainly die before dealing any lasting damage. (All Zealots have a "shield" that regenerates. You probably won't even get past the shield).

As such, 100 Zealots can perpetually kill 10 Zealots over-and-over again. Your 100 Zealots can kill 1000+ Zealots (as long as they only attack 10-at-a-time).

----------------

Same thing with Axis-and-allies infantry / tanks, or many other strategy games. The "strength" of a ball of units is the *square* of their size.

That is to say: 100-Zealots is 100x stronger than 10-Zealots (!!), not 10x stronger as you may initially assume. As such, both players end up building a bigger-and-bigger death ball as a primary tactic (which is in fact, unfun and stale).

In Starcraft: Brood War, your 100-Zealots could only be grouped into groups of 12, meaning you need 18 actions to attack-move the group. In Starcraft 2: your 100-Zealots can all be in a single group, so you only need 2-actions (one selection + one A-move) to attack-move the group.
Anecdotal search? How so, please explain.
> The whole thing looks super easy for Microsoft to break in a future Windows release unfortunately.

There are more aggressive techniques available that cannot be turned off very easily. TrustedInstaller is the first one that comes to mind. If you cant politely ask the registry, you can always nuke edge from orbit.

I hope Firefox keeps pushing down this route. Make your installation process as inflammatory as possible. I would encourage a "Remove all existing web browsers" checkbox in the final pane of the installation process - Default selected, of course. Give them a proper taste of their own medicine.
I think we are going to find that the places that remain successful post-vaccination are those who encourage and subsidize business trips to trade shows. Getting all of your people together at an OSCon or similar convention can facilitate some of those connections without having to host everybody in your headquarters, which are likely not set up for it.
It's not particularly rare. Even if prostate cancer will only kill a small percentage of men that have it, it's such a common cancer that it still ends up killing around 34,130 men a year in the US making it the second leading cause of cancer death in men in the US. Figures are similar for other countries.

source: https://www.cancer.net/cancer-types/prostate-cancer/statisti...
What "concerns"? Again you have stated and quoted nothing other than vague "it's the structure" or allusions to "too much power". What about the structure? What power are you alluding to?

What are your concerns, exactly? Do you even have any, or are you just being dramatic about "big company bad"?
I heard the whole division is shutting down so probably won't be long now.
That’s a tempting explanation except that in my case it appears after OS upgrades.
Said this somewhere else recently, but I've never seen a Confluence that wasn't a disaster, magnified by the modern rate of turnover.

Ostensibly Google/Amazon put a lot of thought and work into formalizing institutional practice and knowledge, and it likely helps that most competent engineers are gunning for a long-term role at those kinds of firms, but I've yet to see anything resembling such where I've worked.
... but the object has a vtable in the exemple ? a call being optimized because the compiler can infer that a specific call site does not need a vtable, does not mean that the vtable isn't there taking up space in the object.

proof: https://godbolt.org/z/W9MMGvTEz

proof at runtime (to make sure that the compiler doesn't "lie" about the size, we check the stack address of the variable constructed after the one with a virtual, and after the one without ; in the first case it's 16 bytes after, in the second 1 byte): https://godbolt.org/z/s11o9do4n ; basically in the simplest indirect measure possible that we can make of the object's size, the vtable is there
That assumes the camara always has a view and that there's no VPN or other layer protecting the traffic.
You heard it here first: We need to privatize roads, mail, DNS, TCP, etc. These shared systems are clearly hindering progress.
Maybe, but I didn’t mention the EU. I said Europe.
What are the concerns? Could Amazon fork rust? Personally, I've never cared about the politics behind software projects.
https://github.com/dafny-lang/dafny

Dafny Cheat Sheet: https://docs.google.com/document/d/1kz5_yqzhrEyXII96eCF1YoHZ...

Looks like there's a Haskell-to-Dafny converter.
Large ball of units that you move into your enemy territory to cause death. They can be a lot of fun, but 20 years ago they presented a significant challenge to pathfinding algorithms on slow CPUs. As noted above, different games used different strategies to address them.
Nobody is complaining that Facebook has exceptions for automatically suspending accounts just because people are misreporting them as abusive. The issue is, and has always been, exceptions to the content-based rules which are supposed to apply equally to everyone.
It's relevant because it's an example of where an account needs special rules/treatment because of the status.

It's saying "Do we all agree that some accounts, such as Zuck's, might need different treatment?"

Because once you have established that, it's clear why some other accounts might need different/special treatment compared to the typical user.
A Screenwriter's Omnibus: Tips, tricks, & tirades
Are you looking? They get full fairly often:

https://www.theguardian.com/society/2017/jan/28/hospitals-da...

https://time.com/5107984/hospitals-handling-burden-flu-patie...

That's just 5m of naive searching.
> Or should it just be seized by the government when they die?

Probably. Use it to fund infrastructure and social programs. The person gets to enjoy the wealth they created in their lifetime, and then society gets to enjoy the wealth once they're gone.
> gang bangers

Perhaps you meant "gang members".
What about people that had COVID before and decided not to get vaccinated because of that? What about pregnant people that decided against it? What about people that had legitimate medical reasons not to get vaccinated? Who, exactly, should be making a life and death decision for each person that comes in?
Why do you think that forum is accurate? How do they do it?
COVID vaccination records are currently spotty and not always available. Are you suggesting we turn people away unless we can conclusively prove their vaccination status? Anyone who got vaccinated in a state (or country) without readily accessible records gets turned away? The whole concept is infeasible.
I dunno - he was as far as I know (a medium amount but not a lot) a pretty normal person and...his personality comes much less to the fore in his work compared to later era composers. I've tried reading his letters - they're strictly business. He was in many ways a consummate professional of the pre-personality-cult era. Though there's something nice about that in and of itself.
>You can either see his history and trust that he wants to get as much done with as little said as possible or say you trust Amazon

Or I can trust neither, and expect that both sides act like adults and actually state their concerns and accusations rather than vague "just trust me, you should be upset" statements.

Whipping everyone into a furor with vague concerns without actually giving enough information to address those concerns is the worst form of "discussion", if you can even call it that.
You don't end up in an ICU bed if you have low risk options.
That's exactly why it matters that LLVM is officially getting a Fortran frontend. This will make it possible to leverage these optimization strategies and bug fixes across languages and projects.
"Alabama Gov. Kay Ivey (R) [..] allocated $12 million in federal funding this month to bring travel nurses to Alabama hospitals experiencing staffing shortages, such as the ones that DeMonia’s family encountered."

We are seeing nurse shortages in Canada as well. Mostly due to poor working conditions (long hours, no paid sick-leave in some jurisdictions). Some low staffing even attributed to evading forest fire smoke (anecdotal).

It's very hard to find the info in Canada. But, it would be interesting to see historical fluctuations in ICU capacity, how much spare capacity is maintained, and how much capacity is taken up by COVID patients.

A 2015 study found that critical-care capacity varied across Canada and should be addressed to avoid regional disruptions for spikes in need[1].

Healthcare systems were perhaps already stressed, and requiring adjustment and improvements, and COVID pushed them over the edge.

[1] https://ccforum.biomedcentral.com/articles/10.1186/s13054-01...
How many of those have verified all the public keys? If you never do verification e2ee is basically meaningless.
I have questions:

1. Can you really blame it on Amazon?

2. Shouldn't you actually blaming that on other companies too, like the rest of the FAANGs for starters, for not hiring rust contributors?

3. Aren't the people involved with Rust at Amazon at fault for putting up with the supposedly dirty stuff without saying a word? The paycheck is too fat to do the right thing?

I'm honestly quite fed up with the hypocritical BS of our industry. Mr
Klabnik is calling out Amazon, while not calling out the people that prefer the proverbial "fat paycheck" over "the right thing".

I'm quite fed up of people calling out FAANG and similar companies for their toxic behavior while working there in the name of the fat paycheck, or applying as often as possible to get a job there, effectively contributing to those toxic behavior (directly or indirectly).

Those people the Mr Klabnik is so explicit in defending are probably smart and competent enough to go work anywhere, there are probably a number of companies that would accept them to work on Rust. Yet they stay at Amazon.

It's not Amazon's fault here.

The fault is in the people from the Rust team deciding to work/stay at Amazon.

I call BS.

(edit: i'm getting downvoted yet this post hasn't received a proper reply yet)
I also have never heard a proven argument against Uber.

- Uber passengers LOVE the service. Way more than taxi service or public transportation.
- Since Uber started, drunk driving injuries/fatalities are down 30%-35%.
- Drivers can be anyone with a working car. There is no "interview". You get background checked and your car is inspected.
- Drivers get to write off miles.
- Drivers get discounts on service at Jiffy Lube and tire stores.

Now if people are worried about employment practices, why not look at Walmart, Amazon, Target, and most retail stores. They intentionally staff people with erratic weekly hours, keeping shifts to 4 hours (no breaks or lunches required) and no one reaches 35 hours to enforce benefits.

You can't compare Uber to Retail.

I'm 100% liberal and support progressive worker protection, but Uber isn't actually hurting anyone. Only the Taxi industry and the cities that used to make a fortune on selling "medallions" to license taxis. In Chicago those were $400k and in NYC they were even more. So imaging you're a Taxi company with 200 medallions. Uber basically just shredded your net worth.

That's who has really seen pain. Not workers.
Rust isn't the only community that's at risk of getting coopted by corporate sponsors. The PostgreSQL core team now has an explicit policy that no single company employs more than half its members -- but to follow it, last year, they had to expand membership (after companies employing 50% of the prior core team merged, and they didn't want to boot anyone).

https://postgresql.fund/blog/is-it-time-to-modernize-postgre...
Turning away pacients? Really?
When I was a kid I shared the second Red Alert CD with my friend. We used the Modem multiplayer option to dial each other directly to play 1:1.

So many great memories.
I thought that already happened? I think they are just selling what they have now but stopped development. Keyence, Flir and a few other established machine vision companies have stereo systems but nothing like RealSense, which was trying to make stereo more of a mainstream application.
You can't just say "cut them out" without some replacement way of disseminating similar knowledge around. The media has plenty of issues, but as a whole, they are still the best way we have of doing that. At least with media we have a good sense of where their bias is from outfit to outfit and can take in additional information or get it from multiple sources to combat those biases.

So I put the question back to you, what would replace it? And one answer I won't accept is individuals without any oversight at all - that isn't a viable answer (i.e. blogs, video, social media, etc.).
And panopticons.
I actually really like Zig's stance on this. Not having company members on the Board + trying to employ developers from the community helps with the issues that Rust is currently facing. Of course due to Rust's history things work differently, but hopefully Steve's comments will get them to look at this issue more critically
the author is a well-known Jewish actor and comedian, and definitely not a Nazi. while this should be an unnecessary prerequisite for using a flippant "Sieg Heil" to make a "this authoritarianism, especially with regards to speech, is reminiscent of Nazi Germany" comparison—especially post-2016, when doing so jumped the shark entirely—it underscores the ridiculousness of the supposed offense.
Don't think that's the main reason. Hollywood has no compunction or lack of skill to embellish or dramatize a mundane life if they need to.

I suspect Bach's place at the top is received rather than recognized, which is not to say he doesn't deserve it. His skill lays in counterpoint and other facets of harmony. His music has structural elegance and ornamental beauty, not the full orchestral rabble rousing of Beethoven or delicate pianism of Chopin. Not exactly directly translatable to a poster or trailer.
I imagine any fees/fines/consequences for not having a vaccine passport will be relatively more of a burden for the poor to bear. This same argument has been made for/against requiring voter id laws in the US.
>The moment hospitals made being vaccinated a requirement for receiving care (which is horrific and would never happen), every single unvaccinated COVID patient would simply lie and say they were vaccinated.

How would this work if by getting vaccinated you get a record of the vaccination? The card everybody receives isn't the only record of vaccination. There's some database (or multiple). Hence why in California specifically you can look up your name and cross-reference it with where you received the vaccination and it'll show you your digital record along with a QR code that links to it.
My vax card existed in paper form only until I showed it to my GP at my next physical who then entered it into Epic.

Could CVS have reported it to someone? Maybe. Did they? All evidence points to “no”.
Not really, there's a difference between limiting inheritance (which is mostly unearned) vs limiting profiting on your own ingenuity.
Nope, Gap is also offered when you're financing the car, it's meant to cover the gap between the value of your car and the loan total, since the moment you drive off the lot you're upside down, so if you crash 5 minutes later and the insurance only wants to cover the "value of the car", gap would cover the remaining loan balance.
Yes, that's it. And it's used to eliminate bias.

I found a good explanation at https://www.youtube.com/watch?v=xquB4rDbsvc at about 14min.
No offense, but you're really showing your ignorance of healthcare and COVID severe enough to seek hospitalization.
You can just use Greek words in Latin ! They certainly did often enough that it doesn't carry any prejudice. The declension system is very similar and Latin is by itself highly flexible, I wouldn't go as far as calling Greek particularly more sophisticated (and I'm usually very wary of assigning inherent qualities to languages). But it does carry along a cultural environment that's more focused on philosophy. You could say the same of Latin and law.
> That's not unique in NZ. The US and UK

Which is why it's a problem. My guess is these countries will all be able to offer much more $ in a battle for these workers.
Not always monoculture. The most effective deathballs have a balanced composition of units which complement each other.
This is a real shame - I just finished lobbying to use these at work after some very successful initial prototypes.

Does anyone have any experience with the TI mmWave sensors[1] for AMR collision avoidance?

[1] https://www.ti.com/sensors/mmwave-radar/overview.html
It's unfortunate that one needs to make up a god to be exempt from the some of the most awful governmental abuses like conscription, but I'd rather have such an exemption than not have it at all.
> immigration being dominated by a few populous countries in absence of country caps.

Why is this bad?
Perhaps those people are prioritizing making sure they personally have done the right thing (or more cynically, are covering their own asses) over shielding Google.
Most of your response treats the service and its flaws as an engineering problem, whereas the ramifications in the real world aren't something Facebook gets to absolve itself from. They need to own the problem completely. If they can't solve the issue through engineering, it is their responsibility to hire hundreds of thousands of moderators.
> I guess if you squint really hard you could call those "ads"

I don't think those are nearly as bad as ads for third party products and services, but they're still ads.
For anyone missing the required context here:

The “Renaissance institute” that sponsored this “research” is a far-right think tank associated with the FvD, which can be charitably described as far right nationalists, or less charitably as a bunch of actual racists and fascists.
Steve's boss to the rescue, another noted SJW twitter personality.

Hey Bryan, next time you fund a bunch of criminals to loot and burn down Emeryville - I hope they burn down Oxide Computing as well.
RIP Jekyll (The Genesis of the Jamstack)
Publicly-funded (basic) research doesn’t result in innovative, competitive and successful businesses forming to serve various needs.

In other words, society needs more than just basic research and bureaucratic administration of basic government services.
Interesting story, esp. as an example of the difference between math and science.
Those distrustful of vaccination are unlikely to sign up for trials

Or are the trials being conducted clandestinely?
More than he has to? Dude already named names. Cat's out of the bag, might as well go all the way.
Power Used Mining Bitcoin Only Thing Stopping Sentient Comps from Wiping Humans
While I hope this gets sorted out in a nice way, I do hope Amazon's influence brings more focus on to using Rust for Web services. A lot of people and companies are using it as a systems language but it definitely has some good potential to compete with Go and Java in web services segment. Of course, the ecosystem is almost there but its not deep enough to be fully say yes for arewewebyet.com
That's effectiveness against infection. Go look up effectiveness numbers against symptomatic infection, hospitalization, and death.
Why is it horrific to not treat people who aren't vaccinated, given you have to triage? I agree that if you don't need to triage then we absolutely treat everyone. But once you're exceeding capacity and know you have to turn people away, then I think triaging based on vaccination status is reasonable.
Are you basing the question on your experience with the French immigration system? In other words, why would there be a 1-year+ wait for an interview?