mrcsd

8 ms·

1.
by mrcsd 2y ago
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 mathmatical advancement is full of very grounded and
2.
by mrcsd 2y ago
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 references that must be exclusive.
3.
by mrcsd 2y ago
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.
4.
by mrcsd 2y ago
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?
5.
by mrcsd 2y ago
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 that they are going to carry with them through life until dealt
6.
by mrcsd 2y ago
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.
7.
by mrcsd 2y ago
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 often lead to stasis, where people might not want to change in c
8.
by mrcsd 2y ago
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.
9.
by mrcsd 2y ago
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, including now.
10.
by mrcsd 2y ago
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.
11.
by mrcsd 2y ago
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 to nature, without which there can be no legal sta
12.
by mrcsd 2y ago
> 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 exhibit. Trying to write C in Rust totally goes against t
13.
by mrcsd 2y ago
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 "surprising" or "interesting" are about
14.
by mrcsd 2y ago
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 code wraps layer B, then there are a few cases: 1
15.
by mrcsd 2y ago
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 added in the process. Which makes the conclusion (at a stretch
16.
by mrcsd 2y ago
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 everything you need in front of you to make a decision. One
17.
by mrcsd 2y ago
Not necessarily. Since the argument to `.or_else` is a function, the fallback value can be lazily evaluated.
18.
by mrcsd 2y ago
How can we make better tools if we don't blame tools?
19.
by mrcsd 2y ago
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 friends or in media (comdey/anime/etc): potentially friv
20.
by mrcsd 3y ago
> 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 good results—they showed that the ASPP software was fairly
21.
The Cool Headed Controllers Who Run the UK(theguardian.com)
1 points by mrcsd 3y ago|1 comments
22.
A postquantum theory of classical gravity?(arxiv.org)
1 points by mrcsd 3y ago|1 comments
23.
by mrcsd 3y ago
Recent Guardian article: https://www.theguardian.com/science/2023/dec/04/wobbly-space...
24.
Sam Altman wins power struggle, returns to OpenAI with new board(arstechnica.com)
3 points by mrcsd 3y ago|0 comments
25.
by mrcsd 3y ago
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, outside of working on a particular codebase? I d
26.
by mrcsd 3y ago
I've recently started writing daily, since September. Setting a daily word target was what worked for me, I do at least 1600 a day and try not to write too much more. If you're writing a first draft of around 90k words then it wil
27.
George RR Martin and John Grisham among group of authors suing OpenAI(theguardian.com)
3 points by mrcsd 3y ago|0 comments
28.
Freedom Is in Being Who You Are(blog.mrcsd.com)
2 points by mrcsd 3y ago|0 comments
29.
Understanding Position Automata(blog.mrcsd.com)
1 points by mrcsd 3y ago|0 comments
30.
JEP 437: Java Structured Concurrency (Second Incubator)(openjdk.org)
1 points by mrcsd 4y ago|0 comments

More ›