skysight-inc/HackerNews huggingface dataset:
It depends on whether you generate using rustc 1.28 or rustc 1.36, and whether you're compiling with or without optimzations. This does not crash in unoptimized rust (either 1.36 or 1.28) but it will crash in optimized rust 1.36.

https://godbolt.org/z/8Yxl2c

I think though (as your question indicates); that the author misses the point of why people care about "What the hardware does". At the end of the day, assembly code is going to execute, and that assembly code is going to (despite the authors protestations to the contrary) have well defined memory of one value or another. The moment you start saying "Rust has a third value of uninitialized" the question comes up "How is that abstraction enforced by the hardware?" This is valuable information for understanding how the language works.

From the authors discussion, I was expecting some sort of sentinel value being checked; however, instead, the uninitialized memory access is detected by the compiler and it panics uniformly regardless of the actual memory state.

The idea that one should only worry about the abstract virtual machine of rust seems like an encouragement of magical thinking. "Don't worry about how any of this works, the compiler will just make it happen". This will not go over well with many people who are curious about learning Rust.

However, if the author is arguing "Don't let the behavior of a naive enforcement of a Rust safety construct dictate how the optimized version should work" this seems like a more interesting position; but it's not clear that is the argument being made here.
> it’s more known for its color-grading features

Can't you move this to a preprocessing / postprocessing step, i.e., out of the editor?
Boeing's FBW is about as good as Airbus's FBW.

One big difference is that the pilot and co-pilot's yokes on a Boeing plane are mechanically connected to each other so they share the feelings. Airbus uses "sidestick" controllers which aren't quite as nice but are perfectly adequate.

Boeing, however, uses FBW only on their large aircraft, but not on the 737, which is their most flown aircraft. All Airbus planes are FBW, because their competitor to the 737, the A320 is FBW.
Wow, Nim has some gery interesting concepts, is it backed by a heavyweight like Go and Rust are?
It's great to see so much interest in space exploration. However, we should put more effort into exploring our own planet. We've literally only scratched the surface.

I bet that if we spent even half as much money as we spend on space programs, trying to get to Earth's core, we would advance science and technology a lot faster. Also, we would have a way better idea of how the magnetic field works and how to harness it - maybe we'd even figure out how to have global wireless communication and gps just with underground technology (no satellites needed).

It's as if we are traveling across the universe on this amazing organic spaceship (Earth), but we are on the outside. We should figure out what's inside and how to get there.
Current 737MAX, 1 AOA sensor. As long as the pilot has been through the simulator with a run-away MCAS.
By tool I mean something more than a language. Something like a proof assistant, but more visual: it would show the different "views" (parts) of the already provided code, let the user to focus on just arbitrary parts, but at any time switch back to the whole picture.

I don't know much about proof assistants but I did not see how someone can force the assistant to focus only on particular parts and save these parts for later time.

There might be multiple holes in the implementation and I would like to study them sometimes together but sometimes separately.
> Can we please stop with this asinine assumption that only people who did not try a Tesla can possibly dislike them? It got old 5 years ago.

Still works with everyone I tried. Do you know what really got old something like 7 years ago? The claim that you can't drive long distances in a Tesla. Hansjörg Gemmingen just reported hitting 900000 Km in his Model S (from 2015 I believe) after driving ~50000 Km in 2 months.

> Tesla has pretty good acceleration (other than the roadster, nothing you couldn't get with an ICE)

OK, how much is an ICE that gets the 2.6s 0-100 Km/h of the Model S Performance? And what comfort does it offer?

> FWIW, in the same period I did 2 2000+ mile drives

In 1 day? Impressive. Or we are talking about completely different things.

> But I somehow doubt that this market is large enough to "drive German automakers out of business in 2 years" as some claim here, or even to make a significant dent in ICE car sales, absent some drastic legal or tax pressure.

German newspapers already reported on recent losses by Daimer, BMW and explicitly mentioned EV (and their failing transition) as one reason.
Most of the headcount growth is cloud atm. But even so. They hire top talent exclusively pretty much. So It‘s advantageous to retain as many as possible and let them choose projects or build new ones. It doesn‘t matter. Worst case the project doesn‘t go anywhere, at best it‘s something useful or successful. Either way, the main point is to stop them running off to other FAANG‘s. Talent is the most important thing they have and it‘s important for them to stay the top employer for new hires.
The EU Galileo GNSS has been down for 3 days
Did the launch get called off, or did the programme?
Out of topics I'm in no way am a tech-savvy or Internet security/ piracy etc. advocates by any means (although I've been looking into it). Q the article is straightforward to follow and comprehend , that I have not once google up any technical words. I like the writing in this.
What happens then?
Feature request: automatically generate architecture diagrams from Terraform (or other 'infrastructure-as-code') files.
It's not a hand wave - my argument is that those things could all be better developed, and indeed have been, by programs that are directly focused on that kind of technology development. Ancillary technologies are nice, but why settle for ancillary development that MIGHT yield things that are useful, instead of directly focusing your technology development on those useful things in the first place?
People are most definitely making unique form factors like that:

https://www.flickr.com/photos/amatecha/41021237041/in/album-...

https://www.flickr.com/photos/amatecha/31638862398/in/album-...
Could the Apollo 11 moon landing be duplicated today? ‘Lots of luck with that’
Dutch roll isn't a stability problem in the same way the problem that MCAS corrects for is a problem.

All aircraft experience Dutch roll. It's an inevitability.

Control stick force inversion on approach to stall is absolutely not an inevitable consequence of large aircraft design. Yaw dampers are specifically required as a labor saving device on civil transport aircraft with swept wings; but all pilot's are aware of Dutch Roll.

None were made aware of the failing behavior that MCAS corrects.
The launch was delayed. Happens all the time with rockets.
What is the difference between an iPadOS laptop and an iPad with a keyboard-case?
>And I find your claim of "tone deafness" as a bad hack to shut down conversation you find uncomfortable or don't otherwise like. It's disingenous at best, and stops much needed communication between well-meaning parties.

If you go back and read my original post, I only dedicated one sentence to the tone deafness comment, and then addressed the other unrelated points they were making. I only elaborated on the tone deafness comment when I was specifically asked about it. So no, nobody is trying to shut down conversation and I would appreciate it if you not try to assign ill intent to my posts.
An Algorithm May Decide Your Next Pay Raise
You don't have the whole picture from what you have seen. Have you been to SF? Have you been to LA. Have you seen problems caused by drugs in US? Every country has problems
Ok, but how are you going to test for accessibility?
Watch Live: Launch of ISRO Chandrayaan 2
Advanced Memory Management in Swift
yeah, DR16 is a huge jump forward on the editing side. Several of the big YouTubers have been test-driving it and have said many good things vs. Premiere.

I think if they had a monthly subscription option like Premiere & Avid do, they'd get a lot more people willing to give switching a try. The free version is VERY solid, but $300 just to get 4k support is a pretty big showstopper for a lot of potential converts.
I think you're misreading the supreme court ruling because you're misinterpreting the term unavoidably unsafe.

"In short, “unavoidably unsafe” is simply a legal term that means the manufacture is not liable because they cannot do anything to make the product safer. It does not mean that the product is dangerous and should be avoided."

This could apply to peanut butter because of peanut butter allergies. The manufacture is not liable for someone who dies of a peanut butter allergy when they eat peanut butter because this is not due to manufacturing defects but is due to the inherent nature of peanut butter being "unavoidable unsafe".

This does't mean peanut butter or vaccines are dangerous.
Yep; something he readily admits to in his ted talk as something he royally messed up. That doesn't mean everything he says or does is bullshit. Basically all he is saying that cattle grazing and fertilizing land can be a good thing and if you do it in a somewhat data driven way by actually looking at how the land responds, you can get some impressive results.
It is remarkable how so many tech spaces seem to be positively marketing eating disorders nowadays. Like, seriously, some of the rhetoric here is very similar to stuff I've seen on pro-ana spaces.

Please, it may be physically healthier to fast, but it's a very easy slippery slope into full-on EDs. Eat, but eat less if you want the benefits.
I agree generally (when the two are entirely separated), however on the actual context the interesting thing about so much taxpayer subsidization for stadiums in the US, is that it means the entire thing becomes partially taxpayer subsidized including player salaries. The players often can earn so much in part because the stadiums generate so much (varies depending on the league and TV contracts, etc). Taxpayer funds have directly & persistently assisted, decade after decade, in the sports leagues being built up financially. I think cumulatively it is to such an extent that you could never say there is such a thing as wholly private spending in any of the major US sports leagues (I realize this varies country to country).
I play around. I want to see what kind of output some different inputs cause.

Works better with composable concepts and where you can get quick feedback.

Bret Victor has had some excellent thoughts on this area.
This isn't true. Unless you live in an extraordinarily high crime area or are a cop or into crime yourself you probably don't know a victim of gun violence. Mass shootings of unrelated civilians whether random or ideologically motivated grab headlines but are statistically rare and do not rank as a significant cause of death.

The gun violence problem would have to get at least a few orders of magnitude worse to approach the opiate problem. To kill as many people would take many mass shootings per day.
I'm wary of non-Intel CPUs but I might try out Ryzen if I need a new CPU.

Going to get something of this caliber if the RTC 2080ti FTW3 I'm getting ends up being bottlenecked by my i5-6600 trying to get 144fps out of some games (mainly Apex which seems poorly optimized)
> you have no friggen clue what you're talking about

Please do better than this, regardless of how wrong or ignorant another comment is. Your post gives us no information other than about yourself.

If you know more, please share some of what you know so the rest of us can learn. Please don't just name-call. This is in the site guidelines: https://news.ycombinator.com/newsguidelines.html.
The objectively best advice you can get is to buy index funds - either ETFs or through a Vanguard account. This will give you the highest probability of a favourable outcome over the long term.

Unfortunately people also find this advice to be too boring and therefore usually ignore it. I expect that’s what you’ll do, too - no offence intended.

Best of luck!
Deaths per journey is absolutely dominated (edit: aka very low) by walking which is also completely uninteresting.

You can slice the numbers in many ways, but in truth you can only substitute similar distances between modes of transit. Aka you can’t substitute a 1km car trip for a 10,000 km aircraft trip. Making deaths per passenger distance the only meaningful metric.
Well for starters, it's difficult to balance an iPad + keyboard-case on your lap.
anandtech reported differences in their benchmark because of an updated BIOS version, is there any mention of what BIOS was used while benchmarking the 3900X?
Science is not based on "obviousness" and "It would be very surprising if it wasn't." is not an argument, it is a confirmation that your are guessing. If someone has data, a point can be made, otherwise we can assume and "are you trolling" is not an appropriate reaction.
Things I recommend you buy and use
NASA's yearly budget is over $20 billion
Of course you still need to have servers somewhere. The decentralized parts are these: blockstack identity (which is stored on blockchain) and the fact that all user data is not stored on one server, but on multiple nodes. The user can choose what node to store their data on. It can be your own hosted node too.
And to think that the Intel processor is over $1500 more expensive.
Yes this is one main feature what I am looking for. I have just replied to another comment where I mention holes but ask a more concrete question about focusing different parts of the system when you have multiple holes. Can you please examine it?

Off: may I ask how did you end up with F# and how old are you? I can't really decide the average age of programmers who do know dependent types.
> You don't need to take in all of the complexity at once.

It's such an obvious thing, but so true and so easy to get wrong. I'm really looking forward to your Phoenix app!
leaving out the discussion of how much force is required and how strong a pilot is, the hand crank for the stab trim has mechanical leverage. the pilot turns a crank that is geared to move a cable. the amount of leverage is determined by mechanical design. it could be geared to move a stabilizer on a plane N times as large...more turns though.
Because it's faster not to do that and these compilers don't attempt to behave in safe or predictable ways when UB is invoked.
Natural and healthy foods that will boost your libido – FitnessHealths
How do you find 67g switches? I built quefrency with 67g Zilents and while they are comfortable I wonder if they are a bit too stiff for fingers joints health
> Taxi industry may fail entirely? Sell puts on car max because market will soon be flooded with depreciating assets

Why would you do that? When you sell puts, your upside is limited to the premium and the downside is close to unlimited (the full value of all the shares at strike price). Whereas if you were to buy calls, your downside is limited and upside is unbounded.

And FWIW, speaking in layman's terms, I would consider two long positions with opposite prospects to be inverse.
Metabolic Debugger for Biology
IMO MCAS (the version properly respecified and reimplemented, of course) really fits in the "envelop protection" category (even if slightly pre-emptive), why do you classify it otherwise?
As exciting as this is, there’s some curious bits in here. Why is the 9980XE Cinebench score “simulated?” Why is AMD 64 and Intel 64 a separate feature? (Not to say there are zero differences but I don’t think there are many intentionally - maybe some ring 0 differences?)

It is also said there are “no reasons” to consider the 9980XE.. but I can see a few actually. It has more cores and threads, for starters.

I do agree the Ryzen here is a clear winner in value. It is Much cheaper even if it does not win in absolute performance.
Chat Service like Aardvark, miss it so badly!
I did mention Defense and other science projects. 2 things that are mostly publically funded, although morally I don't see where the difference lies. If you believe in a kind of Peter Singer redistribution of wealth then why stop at public money.

But I'm willing to bet that if SpaceX or whoever ever do become fully self-sustaining, a large proportion of people will continue to view space technology as frivolous and unnecessary toys for rich people, instead of valuable research and development that helps everyone.
Yet they are so desperate to continue making money that they had to adopt Linux and containers to stay relevant.
I'll go with separate Kubernetes clusters. The cost is more systems to manage, but they will be simpler and pretty much identical, and some low but not zero resource waste with each cluster you add.

Ill add that there are few well established companies that have adopted this approach, AWS, Google and Azure to name a few.
It's only a target at this point. This tool doesn't seem to be currently used by professionals in a professional setting so it is not a professional tool. It may become one, one day, and I which them the best, but it is not.
Distributed Bio
Structural subtyping doesn't imply lack of soundness, OCaml object types have structural subtyping too and OCaml is sound.
>However, very little energy was spent on questioning whether spending in space was right thing to do.

That's not true. Public opinion about the moon missions was divided throughout the whole program, and a lot of effort was spent debating it. It is only in retrospect that it seems like a no-brainer, because everyone who was against it has been forgotten and we know it was a success.
Personally I've kept with the old style by using https://old.reddit.com/r/topic1+topic2+topic3
This is driven by programmers' insatiable thirst for performance. Compiler writers are constantly judged on benchmarks, and the only way to squeeze that last flop out of a piece of code is to take the specification to its extreme.

UB is always about optimisations and performance. Incidentally, this is why I don't think talking about "nasal demons" is productive. The compiler mostly just uses UB to assume: ah, this can't happen, so I can optimise it away. Often that means valid programs go faster. We wanted it: we got it.

From my limited experience (and it's been a while), -O0 (no optimisations) is really quite reliable, even if you do all kinds of UB shenanigans.
I don't really care if it's flying in 2020. I'm not getting on one, and won't be flying any airline where there's a possibility of me ending up on one.
I think they're trying to capture new people to the site, outside of the original tech nerd demographic. To do this they made reddit look at lot more like YouTube.

Personally I just hate the lack of information density. It just feels bloated, slow, and too much whitespace.

New users probably don't care though. I remember the original interface would scare off some people originally because they thought it was ugly.
Gah!

While reading the article I followed links and secondary links, and searched, and I now have 18 resulting tabs open.

The last one is this: https://en.wikipedia.org/wiki/Special:Search?search=decentra...

and the first link on that search result page is to TBL's Solid project, which seems to be Yet Another DWeb effort.

Should I think of this, and other Dwebs, as an eventual global replace for FBook et al?

Or is/will it be more like superpowered personal web pages? And will my aunt have to run her own ... node?
Startup Investor School links for the curious:

- Videos: https://investor.startupschool.org/

- Blog post: https://blog.ycombinator.com/startup-investor-school/
https://www.bbc.com/news/world-europe-48780685

Already happening: "Europe's five hottest summers since 1500 have all been in the 21st Century."
Autism. So text based communication isn't impaired. Also led me to spend a lot of time on the computer so I naturally got better at using them. I send a lot of emails at work and my co-workers will usually try and deal with walkups. Writing is a strong point for me.

There's little problems with communication like having the emotional intelligence to tell when your co-workers are having a hard time and when to back off and treat them differently. I lack that which puts extra stress on them. I tend to say too much and make my team lose face and cause us political problems. So I try to compensate by doing such a good job my co-workers won't be under as much pressure to work hard and my team will be doing such a good job we won't get in shit.
The site quotes "40 watts lower power draw" as a reason to prefer the AMD CPU, but what they're actually comparing is TDP, Thermal Design Power. The TDP for Ryzen 3900X is noted as 125W, but it's actually 105W. According to Anandtech, the power threshold that is allowed to be delivered to the socket for 105W TDP CPUs is 142W.

The 3900X probably does use less power than the i9 9980XE, but TDP is not power usage.

https://www.anandtech.com/show/14605/the-and-ryzen-3700x-390...
People with guns are significantly more likely and capable to commit crimes. Open carry in many social circles is like walking around in prison tattoos.

Source: http://www.cjcj.org/uploads/cjcj/documents/jpj_firearm_owner... As this study points out no database of US gun ownership exists, which makes these studies harder to carry out.

PS: Police are also a surprisingly violent group. Still unlikely to randomly shoot someone, but as a rational risk assessment they rate much higher than many groups like young kids.
I doubt it. There isn't really any competitor right now and Reddit has a lot of credibility from stuff like AMA's with celebrities.
Is it just me or is AMD seriously underpricing their processors? They could easily sell them for at least 20-30% more.

Yeah, it might be that Intel is overcharging for theirs, but they already set the expected prices, and AMD needs the cash, so why not sell for slightly higher prices?
An underwater amusement park would be a nice goal to develop underwater construction technology actually. I could see that being important if the surface of the Earth becomes inhospitable and it perhaps could be popular enough as an attraction to be able to get early returns in the investment.
For small communities, yes. But I doubt it works even for just a large set of communities. Possibly a small set if you're careful. But WoT is too broken in reality.
> Mortality rates are actually higher when BMI is below 20

When you see the typical Japanese centenarian, who have a BMI around 19 (mean: 19.3±0.4, median: 18.9 (11.9, 30.2), https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5107392/), it contradicts this statement. I'm not Asian, and I'm taller (BMI is usually lower for taller ppl)

in conclusion, people have very different morphologies, so BMI isn't so significant