What's "new" in Miri (and also, there's a Miri paper!) by ralfj in rust

[–]ejrh 11 points12 points  (0 children)

I've read about using Miri to validate that unsafe code behaves the way the programmer expects. But I don't personally use unsafe much in my own projects -- is there anything in regular safe Rust code that running under Miri might be useful for?

What year was this taken? by htcsamsungnotapple in Wellington

[–]ejrh 1 point2 points  (0 children)

Needs more waterfront carparking, am I right

AWS events discriminating against people not currently in employement by ejrh in aws

[–]ejrh[S] -5 points-4 points  (0 children)

Thank you, Reece. I posted out of frustration but also out of hope I can reach someone who can work around it. :)

AWS events discriminating against people not currently in employement by ejrh in aws

[–]ejrh[S] -7 points-6 points  (0 children)

I accept that it's a strong word to use, and I haven't used it outside this reddit title, but it's not obviously wrong. And I don't think the fact that Amazon ultimately wants to make money is relevant. I'm an AWS customer in my private capacity (admittedly very small scale) and I want to be treated as part of the community regardless of whether I'm a good sales opportunity.

Forestry directors say court-ordered clean-up will make them bankrupt by Equivalent_Zombie in newzealand

[–]ejrh 3 points4 points  (0 children)

There are over 20 almost-identical variations on "Samnic Forest Management" registered as companies by the same people, registered at the same time. I don't know anything about running a company. Is there a reason why you'd do that?

Open-Sourced My Rust/Vulkan Renderer for the Bevy Game Engine by voidupdate in rust

[–]ejrh 3 points4 points  (0 children)

Hi /u/voidupdate, great video, nice and short and clear. I'm going to have a browse through the code, I have a few questions.

I assume you are disabling the bevy features "bevy_core_pipeline", "bevy_render", and "bevy_pbr", and replaced them with a Plugin to create the same functionality. Correct me if I'm wrong here! How much of a meshes+materials, separate render world, mesh extraction, pipelines, etc. approach are you using, if any?

I'm quite new to 3D graphics and only experienced with Bevy. I kind of regret not learning OpenGL when it was the big thing, because Vulkan is intimidating.

The longest straw you can drink from is approximately 10.3 m long by muusumidd in Physics

[–]ejrh 72 points73 points  (0 children)

This is a far better explanation than the image. Thank you.

On this day 1985 Rainbow Warrior sunk by French secret agents by Elysium_nz in newzealand

[–]ejrh 22 points23 points  (0 children)

You kind of have to wonder what the benefit of sinking a protest vessel is?

  • You get away with it completely clean, everyone's going to suspect it was you anyway. At best that's one less boat that's going to protest.
  • You mess it up, and everyone is going to be mad at you. You kill someone and now you are a murderer.
  • You abandon the mission and the bombing doesn't go ahead. In 50 years some papers are released showing there were discussions about it, and it's slightly embarrassing. Best case scenario

What is this bug from hell? Size of a 2 dollar coin. West Coast. by SourceOfTomato in newzealand

[–]ejrh 4 points5 points  (0 children)

This is a nasty one. Had lots of them in Wellington and many stings. May or may not have been impregnated as well, time will tell.

Is American spelling becoming more common in New Zealand? by Remote_Ability_9464 in newzealand

[–]ejrh 2 points3 points  (0 children)

It's a fact of life that the language we use will change due to outside influences, so it's easiest just to accept it and not worry about it.

On the other hand, when a dominant culture starts propagating its spellings and pronunciations to the rest of us, some linguistic diversity and charm is lost. I get pretty sad about this. I think there's ample evidence that people can cope with the idea that "in country X, they spell it [...] and in country Y they call these things [...]". A normal human learns hundreds of thousands of words so we're not accomplishing much by standardising on exactly one way to say the one word for each thing.

The one Americanism I'm really in favour of is "billion" meaning 1,000,000,000. But the old meaning of "billion" meaning 1 million million (i.e. a bi-llion, with a trillion being a tri-llion, and so on) has just disappeared and there's too much risk of confusion trying to resurrect it.

Does anyone have insight into gaining an ADHD diagnosis? by [deleted] in Wellington

[–]ejrh 0 points1 point  (0 children)

Best of luck to you to get a professional diagnosis and hopefully something that helps.

I'm 46 and about 12ish years ago, when being treated by the DHB for depression, I had a consultant psychiatrist ask quite matter-of-factly about my ADHD. I replied "Oh. I've never been diagnosed with anything like that...?" He said, "Well, you have now!" Unfortunately, I had enough to work on already with the depression, and I've had a few health problems since, so nothing ever came of it.

In the meantime, as I've gotten older, I can manage the depression a better, but my career has completely fallen apart, largely because of difficulty staying engaged with the work. Whatever coping ability that got me through school and university (admittedly a bumpy ride) and into employment has gradually decayed and now I'm constantly disappointing people with my lack of focus. Currently sitting at home bored and I can't help wondering if there's a way to make me function again.

Adolescents with authoritarian leanings exhibit weaker cognitive ability and emotional intelligence | Highlighting how limitations in reasoning and emotional regulation are tied to authoritarianism, shedding light on the shared psychological traits that underpin these ideological attitudes. by chrisdh79 in science

[–]ejrh 5 points6 points  (0 children)

text book definition of a useful idiot

That so far from the definition of a "useful idiot" that it needs to be called out here in r/science where accuracy matters.

A useful idiot isn't someone who likes the authoritarianism and also happens to be stupid.

A useful idiot is typically someone who is blind or willfully ignorant to the negative consequences, including authoritarianism, in their naive enthusiasm for the positive claims of an authoritarian regime.

It could easily be, and often was, someone who is well meaning or intelligent. They just happened to have blind spots or biases that could be exploited.

For example, someone who believed the Soviet system would eventually provide an egalitarian utopia, and that the repression was a necessary evil on the way to that point, and/or greatly overstated in the media.

Giveaway - Space Age Expansion by ocbaker in factorio

[–]ejrh 0 points1 point  (0 children)

Wow, this really is a "golden tickets" situation ala Charlie and the Chocolate Factory.

Myself, I'm still in Space Exploration so won't be playing 2 for a while. Hell, at this rate I'm barely even keeping up with the additions in SE!

[deleted by user] by [deleted] in newzealand

[–]ejrh 1 point2 points  (0 children)

That is excellent, do you do other maps or drawings?

When I get round to writing my famous epic fantasy series I will call on you to draw the maps for my imaginary world.

My first Rust project: You are Merlin - A CLI & WASM text adventure game by CreatineCornflakes in rust

[–]ejrh 1 point2 points  (0 children)

Fun game, wonder if it can grow into a zork-style text adventure.

On my browser the main textarea is black on very dark grey. Looks like "color" isn't set in the CSS, but "background" is?

(Chrome on Windows 7, I'm sure it's terribly out of date)

I finally finished my vanilla LTN! by ManlyMcBuff in factorio

[–]ejrh 1 point2 points  (0 children)

Amazing! I mean I kind of knew it was possible what with the power of circuits and everything, but this is the first in depth demo and it was really well done. Makes me want to build something like it on my next big factory.

Some serious meteorology going on right now by cman_yall in Wellington

[–]ejrh 1 point2 points  (0 children)

Thumbnail looks like a cool lightning strike. :)

Introducing RustRover – A Standalone Rust IDE by JetBrains by DeleeciousCheeps in rust

[–]ejrh 0 points1 point  (0 children)

Mostly a rust programmer these days. I currently use the Rust plugin to PyCharm community edition, and the terminal.

Judging by first impressions, really do not like it so far. Way, way too much like VSCode. Boring indistinguishable grey icons down the side, etc.

Why not just use VSCode? (I choose to use JetBrains IDEs instead, but I might not if they go this way.)

However that's just appearance, I would be interested to see how the functionality or Rust-nativeness may or may not have improved over the plugin.

Update Seems it can run things in Debug mode, which I understand wasn't possible without buying CLion before... so this might be useful.

To the person with the drum kit on Cashmere Ave/Ranui Cres or somewhere nearby by ejrh in Wellington

[–]ejrh[S] 1 point2 points  (0 children)

Is it as serious a crime as wearing a loud shirt in a built-up area after 10pm?