Viewing profile — mrcsd

I really disagree with the straightforward reduction of engineering to 'math but practical', but I'm finding it hard to express exactly why I feel this way. The history of mathmati…

I don't think this is quite the same comparison. In Rust, multiple mutable pointers to the same object can exist at the same time. So, it's similar to C in this way. It is mutable …

Words are not reducible to technical statements or algorithms. But, even if they were, then by your suggestion there's not much point in talking about anything at all.

This is abhorrent. The feeling of safety underpins emotional well-being. What you advocate is only the repetition of past suffering. Without safety, what is left but fear?

I am often left confused by responses like this. I think it would be fair to suggest that some significant percentage of chidren suffer in schools or have harrowing experiences tha…

I'm 34, grew up in London, went to state primary school and private secondary school. dijit's account of schooling ressonates strongly with me.

If all disrespecting is to belittle and look down upon, then fair enough, I agree with you. What I meant, in perhaps an ill-phrased manner, was that overemphasised respect can ofte…

Disrespect is part of progress, respectful humans are liable to blindness of flaws. Just as part of youthful creativity is disregard for what has come before.

So, just like normal then? I don't disagree with being cynical about social media, but community belief is the overwhelming mechanism by which fact is decided throughout history, i…

Care to expand upon the issues you were running into with hypothesis? I'm genuinely curious as I may soon be evaluating whether to use it in a professional context.

Surely an ability to balance requires that both sides of an issue be deemed somehow legitimate, no? In which case, surely there must be some sort of "right" which forbids injuries …

> Writing a substantial amount of unsafe Rust really sucks the beauty out of the language. I really disagree with this take, given the examples of unsafe code the article chose to …

I agree with the spirit of your comment, but not the literal fact of it. Sure, interesting proofs require pulling out some interesting knowledge in the reasoning, but notions like …

Just thinking on my feet as to how I separate abstractions from indirections and it seems to me that there's a relatively decent rule of thumb to distinguish them: When layer A of …

Funnily enough, logical deductions or formal theorem proofs can be seen as a set of transformative steps from the initial premises to the conclusion, where no new information is ad…

IMO cognative load is much easier to manage when required (human) memory use is less of a factor. In practical terms, this means maximising the locality of reasoning, i.e., having …

Not necessarily. Since the argument to `.or_else` is a function, the fallback value can be lazily evaluated.

How can we make better tools if we don't blame tools?

In my experience, the connotations are very similar to English use. What matters is the context. Say sekuhara or sexual harassment at work: very serious connotation. Amongst friend…

> Based on their simulations, Fry and Madzunkov built small-scale models of their electrostatic shields and tested them in a particle beam at Brookhaven National Laboratory with go…

Recent Guardian article: https://www.theguardian.com/science/2023/dec/04/wobbly-space...

It sounds like you're working on a mature C++ codebase, so yeah, good reason to stick with that. But I'm curious whether you feel it's worth spending effort on this discipline, out…